Class JPipeParser.Justif_bodyContext

java.lang.Object

org.antlr.v4.runtime.RuleContext

org.antlr.v4.runtime.ParserRuleContext

ca.mcscert.jpipe.lang.JPipeParser.Justif_bodyContext

All Implemented Interfaces:

org.antlr.v4.runtime.tree.ParseTree, org.antlr.v4.runtime.tree.RuleNode, org.antlr.v4.runtime.tree.SyntaxTree, org.antlr.v4.runtime.tree.Tree

Enclosing class:

JPipeParser

public static class JPipeParser.Justif_bodyContext
extends org.antlr.v4.runtime.ParserRuleContext

Field Summary

Fields inherited from class org.antlr.v4.runtime.ParserRuleContext

children, EMPTY, exception, start, stop

Fields inherited from class org.antlr.v4.runtime.RuleContext

invokingState, parent

Constructor Summary

Constructors

Constructor	Description
Justif_bodyContext(org.antlr.v4.runtime.ParserRuleContext parent, int invokingState)

Method Summary

Modifier and Type	Method	Description
List<JPipeParser.ConclusionContext>	conclusion()
JPipeParser.ConclusionContext	conclusion(int i)
void	enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
List<JPipeParser.EvidenceContext>	evidence()
JPipeParser.EvidenceContext	evidence(int i)
void	exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)
int	getRuleIndex()
List<JPipeParser.RelationContext>	relation()
JPipeParser.RelationContext	relation(int i)
List<JPipeParser.StrategyContext>	strategy()
JPipeParser.StrategyContext	strategy(int i)
List<JPipeParser.Sub_conclusionContext>	sub_conclusion()
JPipeParser.Sub_conclusionContext	sub_conclusion(int i)

Methods inherited from class org.antlr.v4.runtime.ParserRuleContext

addAnyChild, addChild, addChild, addChild, addErrorNode, addErrorNode, copyFrom, getChild, getChild, getChildCount, getParent, getRuleContext, getRuleContexts, getSourceInterval, getStart, getStop, getToken, getTokens, removeLastChild, toInfoString

Methods inherited from class org.antlr.v4.runtime.RuleContext

accept, depth, getAltNumber, getPayload, getRuleContext, getText, isEmpty, setAltNumber, setParent, toString, toString, toString, toString, toString, toStringTree, toStringTree, toStringTree

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

Justif_bodyContext

public Justif_bodyContext(org.antlr.v4.runtime.ParserRuleContext parent,
 int invokingState)

Method Details

evidence

public List<JPipeParser.EvidenceContext> evidence()

evidence

public JPipeParser.EvidenceContext evidence(int i)

sub_conclusion

public List<JPipeParser.Sub_conclusionContext> sub_conclusion()

sub_conclusion

public JPipeParser.Sub_conclusionContext sub_conclusion(int i)

strategy

public List<JPipeParser.StrategyContext> strategy()

strategy

public JPipeParser.StrategyContext strategy(int i)

relation

public List<JPipeParser.RelationContext> relation()

relation

public JPipeParser.RelationContext relation(int i)

conclusion

public List<JPipeParser.ConclusionContext> conclusion()

conclusion

public JPipeParser.ConclusionContext conclusion(int i)

getRuleIndex

public int getRuleIndex()

Overrides:

getRuleIndex in class org.antlr.v4.runtime.RuleContext

enterRule

public void enterRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)

Overrides:

enterRule in class org.antlr.v4.runtime.ParserRuleContext

exitRule

public void exitRule(org.antlr.v4.runtime.tree.ParseTreeListener listener)

Overrides:

exitRule in class org.antlr.v4.runtime.ParserRuleContext