Class JPipeParser

java.lang.Object

org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token, org.antlr.v4.runtime.atn.ParserATNSimulator>

org.antlr.v4.runtime.Parser

ca.mcscert.jpipe.lang.JPipeParser

public class JPipeParser
extends org.antlr.v4.runtime.Parser

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	JPipeParser.AbstractContext
static class	JPipeParser.ConclusionContext
static class	JPipeParser.ElementContext
static class	JPipeParser.EvidenceContext
static class	JPipeParser.Justif_bodyContext
static class	JPipeParser.JustificationContext
static class	JPipeParser.Key_val_declContext
static class	JPipeParser.LoadContext
static class	JPipeParser.Params_declContext
static class	JPipeParser.Qualified_idContext
static class	JPipeParser.RelationContext
static class	JPipeParser.Rule_configContext
static class	JPipeParser.StrategyContext
static class	JPipeParser.Sub_conclusionContext
static class	JPipeParser.Template_bodyContext
static class	JPipeParser.TemplateContext
static class	JPipeParser.UnitContext

Nested classes/interfaces inherited from class org.antlr.v4.runtime.Parser

org.antlr.v4.runtime.Parser.TraceListener, org.antlr.v4.runtime.Parser.TrimToSizeListener

Field Summary

Fields

Modifier and Type	Field	Description
static final org.antlr.v4.runtime.atn.ATN	_ATN
protected static final org.antlr.v4.runtime.dfa.DFA[]	_decisionToDFA
static final String	_serializedATN
protected static final org.antlr.v4.runtime.atn.PredictionContextCache	_sharedContextCache
static final int	ABSTRACT_SUP
static final int	AS
static final int	CLOSE
static final int	CLOSE_P
static final int	COLON
static final int	COMMA
static final int	COMMENT
static final int	CONCLUSION
static final int	ERROR_TOKEN
static final int	EVIDENCE
static final int	ID
static final int	IMPLEMENTS
static final int	IS
static final int	JUSTIFICATION
static final int	LINE_COMMENT
static final int	LOAD
static final int	NEWLINE
static final int	OPEN
static final int	OPEN_P
static final int	RULE_abstract
static final int	RULE_conclusion
static final int	RULE_element
static final int	RULE_evidence
static final int	RULE_justif_body
static final int	RULE_justification
static final int	RULE_key_val_decl
static final int	RULE_load
static final int	RULE_params_decl
static final int	RULE_qualified_id
static final int	RULE_relation
static final int	RULE_rule_config
static final int	RULE_strategy
static final int	RULE_sub_conclusion
static final int	RULE_template
static final int	RULE_template_body
static final int	RULE_unit
static final String[]	ruleNames
static final int	STRATEGY
static final int	STRING
static final int	SUBCONCLUSION
static final int	SUPPORT_LNK
static final int	TEMPLATE
static final String[]	tokenNames	Deprecated. Use VOCABULARY instead.
static final org.antlr.v4.runtime.Vocabulary	VOCABULARY
static final int	WHITESPACE

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

_buildParseTrees, _ctx, _errHandler, _input, _parseListeners, _precedenceStack, _syntaxErrors, matchedEOF

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

_interp, EOF

Constructor Summary

Constructors

Constructor	Description
JPipeParser(org.antlr.v4.runtime.TokenStream input)

Method Summary

Modifier and Type	Method	Description
final JPipeParser.AbstractContext	abstract_()
final JPipeParser.ConclusionContext	conclusion()
final JPipeParser.ElementContext	element()
final JPipeParser.EvidenceContext	evidence()
org.antlr.v4.runtime.atn.ATN	getATN()
String	getGrammarFileName()
String[]	getRuleNames()
String	getSerializedATN()
String[]	getTokenNames()	Deprecated.
org.antlr.v4.runtime.Vocabulary	getVocabulary()
final JPipeParser.Justif_bodyContext	justif_body()
final JPipeParser.JustificationContext	justification()
final JPipeParser.Key_val_declContext	key_val_decl()
final JPipeParser.LoadContext	load()
final JPipeParser.Params_declContext	params_decl()
final JPipeParser.Qualified_idContext	qualified_id()
final JPipeParser.RelationContext	relation()
final JPipeParser.Rule_configContext	rule_config()
final JPipeParser.StrategyContext	strategy()
final JPipeParser.Sub_conclusionContext	sub_conclusion()
final JPipeParser.TemplateContext	template()
final JPipeParser.Template_bodyContext	template_body()
final JPipeParser.UnitContext	unit()

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

addContextToParseTree, addParseListener, compileParseTreePattern, compileParseTreePattern, consume, createErrorNode, createTerminalNode, dumpDFA, dumpDFA, enterOuterAlt, enterRecursionRule, enterRecursionRule, enterRule, exitRule, getATNWithBypassAlts, getBuildParseTree, getContext, getCurrentToken, getDFAStrings, getErrorHandler, getExpectedTokens, getExpectedTokensWithinCurrentRule, getInputStream, getInvokingContext, getNumberOfSyntaxErrors, getParseInfo, getParseListeners, getPrecedence, getRuleContext, getRuleIndex, getRuleInvocationStack, getRuleInvocationStack, getSourceName, getTokenFactory, getTokenStream, getTrimParseTree, inContext, isExpectedToken, isMatchedEOF, isTrace, match, matchWildcard, notifyErrorListeners, notifyErrorListeners, precpred, pushNewRecursionContext, removeParseListener, removeParseListeners, reset, setBuildParseTree, setContext, setErrorHandler, setInputStream, setProfile, setTokenFactory, setTokenStream, setTrace, setTrimParseTree, triggerEnterRuleEvent, triggerExitRuleEvent, unrollRecursionContexts

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

action, addErrorListener, getErrorHeader, getErrorListenerDispatch, getErrorListeners, getInterpreter, getRuleIndexMap, getState, getTokenErrorDisplay, getTokenType, getTokenTypeMap, removeErrorListener, removeErrorListeners, sempred, setInterpreter, setState

Methods inherited from class Object

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

Field Details

_decisionToDFA

protected static final org.antlr.v4.runtime.dfa.DFA[] _decisionToDFA

_sharedContextCache

protected static final org.antlr.v4.runtime.atn.PredictionContextCache _sharedContextCache

JUSTIFICATION

public static final int JUSTIFICATION

See Also:

• Constant Field Values

IMPLEMENTS

public static final int IMPLEMENTS

See Also:

• Constant Field Values

IS

public static final int IS

See Also:

• Constant Field Values

EVIDENCE

public static final int EVIDENCE

See Also:

• Constant Field Values

STRATEGY

public static final int STRATEGY

See Also:

• Constant Field Values

SUBCONCLUSION

public static final int SUBCONCLUSION

See Also:

• Constant Field Values

CONCLUSION

public static final int CONCLUSION

See Also:

• Constant Field Values

TEMPLATE

public static final int TEMPLATE

See Also:

• Constant Field Values

ABSTRACT_SUP

public static final int ABSTRACT_SUP

See Also:

• Constant Field Values

SUPPORT_LNK

public static final int SUPPORT_LNK

See Also:

• Constant Field Values

LOAD

public static final int LOAD

See Also:

• Constant Field Values

AS

public static final int AS

See Also:

• Constant Field Values

WHITESPACE

public static final int WHITESPACE

See Also:

• Constant Field Values

NEWLINE

public static final int NEWLINE

See Also:

• Constant Field Values

COMMENT

public static final int COMMENT

See Also:

• Constant Field Values

LINE_COMMENT

public static final int LINE_COMMENT

See Also:

• Constant Field Values

ID

public static final int ID

See Also:

• Constant Field Values

STRING

public static final int STRING

See Also:

• Constant Field Values

OPEN

public static final int OPEN

See Also:

• Constant Field Values

CLOSE

public static final int CLOSE

See Also:

• Constant Field Values

OPEN_P

public static final int OPEN_P

See Also:

• Constant Field Values

CLOSE_P

public static final int CLOSE_P

See Also:

• Constant Field Values

COMMA

public static final int COMMA

See Also:

• Constant Field Values

COLON

public static final int COLON

See Also:

• Constant Field Values

ERROR_TOKEN

public static final int ERROR_TOKEN

See Also:

• Constant Field Values

RULE_unit

public static final int RULE_unit

See Also:

• Constant Field Values

RULE_qualified_id

public static final int RULE_qualified_id

See Also:

• Constant Field Values

RULE_justification

public static final int RULE_justification

See Also:

• Constant Field Values

RULE_justif_body

public static final int RULE_justif_body

See Also:

• Constant Field Values

RULE_template

public static final int RULE_template

See Also:

• Constant Field Values

RULE_template_body

public static final int RULE_template_body

See Also:

• Constant Field Values

RULE_load

public static final int RULE_load

See Also:

• Constant Field Values

RULE_element

public static final int RULE_element

See Also:

• Constant Field Values

RULE_evidence

public static final int RULE_evidence

See Also:

• Constant Field Values

RULE_strategy

public static final int RULE_strategy

See Also:

• Constant Field Values

RULE_sub_conclusion

public static final int RULE_sub_conclusion

See Also:

• Constant Field Values

RULE_conclusion

public static final int RULE_conclusion

See Also:

• Constant Field Values

RULE_abstract

public static final int RULE_abstract

See Also:

• Constant Field Values

RULE_relation

public static final int RULE_relation

See Also:

• Constant Field Values

RULE_params_decl

public static final int RULE_params_decl

See Also:

• Constant Field Values

RULE_rule_config

public static final int RULE_rule_config

See Also:

• Constant Field Values

RULE_key_val_decl

public static final int RULE_key_val_decl

See Also:

• Constant Field Values

ruleNames

public static final String[] ruleNames

VOCABULARY

public static final org.antlr.v4.runtime.Vocabulary VOCABULARY

tokenNames

@Deprecated
public static final String[] tokenNames

Deprecated.

Use VOCABULARY instead.

_serializedATN

public static final String _serializedATN

See Also:

• Constant Field Values

_ATN

public static final org.antlr.v4.runtime.atn.ATN _ATN

Constructor Details

JPipeParser

public JPipeParser(org.antlr.v4.runtime.TokenStream input)

Method Details

getTokenNames

@Deprecated
public String[] getTokenNames()

Deprecated.

Specified by:

getTokenNames in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token, org.antlr.v4.runtime.atn.ParserATNSimulator>

getVocabulary

public org.antlr.v4.runtime.Vocabulary getVocabulary()

Overrides:

getVocabulary in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token, org.antlr.v4.runtime.atn.ParserATNSimulator>

getGrammarFileName

public String getGrammarFileName()

Specified by:

getGrammarFileName in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token, org.antlr.v4.runtime.atn.ParserATNSimulator>

getRuleNames

public String[] getRuleNames()

Specified by:

getRuleNames in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token, org.antlr.v4.runtime.atn.ParserATNSimulator>

getSerializedATN

public String getSerializedATN()

Overrides:

getSerializedATN in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token, org.antlr.v4.runtime.atn.ParserATNSimulator>

getATN

public org.antlr.v4.runtime.atn.ATN getATN()

Specified by:

getATN in class org.antlr.v4.runtime.Recognizer<org.antlr.v4.runtime.Token, org.antlr.v4.runtime.atn.ParserATNSimulator>

unit

public final JPipeParser.UnitContext unit()
                                   throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

qualified_id

public final JPipeParser.Qualified_idContext qualified_id()
                                                   throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

justification

public final JPipeParser.JustificationContext justification()
                                                     throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

justif_body

public final JPipeParser.Justif_bodyContext justif_body()
                                                 throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

template

public final JPipeParser.TemplateContext template()
                                           throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

template_body

public final JPipeParser.Template_bodyContext template_body()
                                                     throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

load

public final JPipeParser.LoadContext load()
                                   throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

element

public final JPipeParser.ElementContext element()
                                         throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

evidence

public final JPipeParser.EvidenceContext evidence()
                                           throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

strategy

public final JPipeParser.StrategyContext strategy()
                                           throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

sub_conclusion

public final JPipeParser.Sub_conclusionContext sub_conclusion()
                                                       throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

conclusion

public final JPipeParser.ConclusionContext conclusion()
                                               throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

abstract_

public final JPipeParser.AbstractContext abstract_()
                                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

relation

public final JPipeParser.RelationContext relation()
                                           throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

params_decl

public final JPipeParser.Params_declContext params_decl()
                                                 throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

rule_config

public final JPipeParser.Rule_configContext rule_config()
                                                 throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

key_val_decl

public final JPipeParser.Key_val_declContext key_val_decl()
                                                   throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException