Package com.semedy.reasoner.parser.oologic

Class OOLogicGrammarParser

java.lang.Object

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

org.antlr.v4.runtime.Parser

com.semedy.reasoner.parser.oologic.OOLogicGrammarParser

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

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	OOLogicGrammarParser.AggregationContext
static class	OOLogicGrammarParser.AggregationWithGroupingContext
static class	OOLogicGrammarParser.AggregationWithoutGroupingContext
static class	OOLogicGrammarParser.ArgumentContext
static class	OOLogicGrammarParser.ArgumentsContext
static class	OOLogicGrammarParser.AssignmentAtomContext
static class	OOLogicGrammarParser.AtomContext
static class	OOLogicGrammarParser.AtomWOModuleContext
static class	OOLogicGrammarParser.BoolExpressionContext
static class	OOLogicGrammarParser.BuiltinAtomContext
static class	OOLogicGrammarParser.CompareAtomContext
static class	OOLogicGrammarParser.ConstraintContext
static class	OOLogicGrammarParser.ConstraintsContext
static class	OOLogicGrammarParser.EdgeContext
static class	OOLogicGrammarParser.EnumerationContext
static class	OOLogicGrammarParser.ExpressionContext
static class	OOLogicGrammarParser.FactContext
static class	OOLogicGrammarParser.Facts_and_rulesContext
static class	OOLogicGrammarParser.FunctionContext
static class	OOLogicGrammarParser.GroundTermContext
static class	OOLogicGrammarParser.HeadatomsContext
static class	OOLogicGrammarParser.ImpliesContext
static class	OOLogicGrammarParser.InputVariablesContext
static class	OOLogicGrammarParser.LiteralContext
static class	OOLogicGrammarParser.LiteralsContext
static class	OOLogicGrammarParser.ModuleContext
static class	OOLogicGrammarParser.NumberContext
static class	OOLogicGrammarParser.OoMemberAtomContext
static class	OOLogicGrammarParser.OoPropertiesContext
static class	OOLogicGrammarParser.OoPropertyAtomContext
static class	OOLogicGrammarParser.OoPropertyContext
static class	OOLogicGrammarParser.OoPropertyNameContext
static class	OOLogicGrammarParser.OoPropertyValueContext
static class	OOLogicGrammarParser.OoSubClassAtomContext
static class	OOLogicGrammarParser.OrListContext
static class	OOLogicGrammarParser.PartofContext
static class	OOLogicGrammarParser.PathContext
static class	OOLogicGrammarParser.PathExpressionContext
static class	OOLogicGrammarParser.PredicateAtomContext
static class	OOLogicGrammarParser.QueriesContext
static class	OOLogicGrammarParser.QueryContext
static class	OOLogicGrammarParser.QuotedStringContext
static class	OOLogicGrammarParser.ReasoningRuleContext
static class	OOLogicGrammarParser.RuleAtomContext
static class	OOLogicGrammarParser.SemicolonContext
static class	OOLogicGrammarParser.SetContext
static class	OOLogicGrammarParser.SimpleBoolExpressionContext
static class	OOLogicGrammarParser.SimpleExpressionContext
static class	OOLogicGrammarParser.SubwayContext
static class	OOLogicGrammarParser.TermContext
static class	OOLogicGrammarParser.VariableContext
static class	OOLogicGrammarParser.VariablesContext
static class	OOLogicGrammarParser.WayContext

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
static final String	_serializedATN
static final int	ASSIGNMENT
static final int	BOOLEANOPERATOR
static final int	COMMENT
static final int	COMPAREOPERATOR
static final int	DOUBLE
static final int	DOUBLE_Q
static final int	EXTERNALDATATYPE
static final int	FLOAT
static final int	INTEGER
static final int	LONG
static final int	REFERENCE
static final int	RULE_aggregation
static final int	RULE_aggregationWithGrouping
static final int	RULE_aggregationWithoutGrouping
static final int	RULE_argument
static final int	RULE_arguments
static final int	RULE_assignmentAtom
static final int	RULE_atom
static final int	RULE_atomWOModule
static final int	RULE_boolExpression
static final int	RULE_builtinAtom
static final int	RULE_compareAtom
static final int	RULE_constraint
static final int	RULE_constraints
static final int	RULE_edge
static final int	RULE_enumeration
static final int	RULE_expression
static final int	RULE_fact
static final int	RULE_facts_and_rules
static final int	RULE_function
static final int	RULE_groundTerm
static final int	RULE_headatoms
static final int	RULE_implies
static final int	RULE_inputVariables
static final int	RULE_literal
static final int	RULE_literals
static final int	RULE_module
static final int	RULE_number
static final int	RULE_ooMemberAtom
static final int	RULE_ooProperties
static final int	RULE_ooProperty
static final int	RULE_ooPropertyAtom
static final int	RULE_ooPropertyName
static final int	RULE_ooPropertyValue
static final int	RULE_ooSubClassAtom
static final int	RULE_orList
static final int	RULE_partof
static final int	RULE_path
static final int	RULE_pathExpression
static final int	RULE_predicateAtom
static final int	RULE_queries
static final int	RULE_query
static final int	RULE_quotedString
static final int	RULE_reasoningRule
static final int	RULE_ruleAtom
static final int	RULE_semicolon
static final int	RULE_set
static final int	RULE_simpleBoolExpression
static final int	RULE_simpleExpression
static final int	RULE_subway
static final int	RULE_term
static final int	RULE_variable
static final int	RULE_variables
static final int	RULE_way
static final String[]	ruleNames
static final int	SCLASS
static final int	SIMPLE_STRING
static final int	SINGLE_Q
static final int	SINGLELINE_COMMENT
static final int	T__0
static final int	T__1
static final int	T__10
static final int	T__11
static final int	T__12
static final int	T__13
static final int	T__14
static final int	T__15
static final int	T__16
static final int	T__17
static final int	T__18
static final int	T__19
static final int	T__2
static final int	T__20
static final int	T__21
static final int	T__22
static final int	T__23
static final int	T__24
static final int	T__3
static final int	T__4
static final int	T__5
static final int	T__6
static final int	T__7
static final int	T__8
static final int	T__9
static final String[]	tokenNames
static final int	WS

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

EOF

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
final OOLogicGrammarParser.AggregationContext	aggregation()
final OOLogicGrammarParser.AggregationWithGroupingContext	aggregationWithGrouping()
final OOLogicGrammarParser.AggregationWithoutGroupingContext	aggregationWithoutGrouping()
final OOLogicGrammarParser.ArgumentContext	argument()
final OOLogicGrammarParser.ArgumentsContext	arguments()
final OOLogicGrammarParser.AssignmentAtomContext	assignmentAtom()
final OOLogicGrammarParser.AtomContext	atom()
final OOLogicGrammarParser.AtomWOModuleContext	atomWOModule()
final OOLogicGrammarParser.BoolExpressionContext	boolExpression()
final OOLogicGrammarParser.BuiltinAtomContext	builtinAtom()
final OOLogicGrammarParser.CompareAtomContext	compareAtom()
final OOLogicGrammarParser.ConstraintContext	constraint()
final OOLogicGrammarParser.ConstraintsContext	constraints()
final OOLogicGrammarParser.EdgeContext	edge()
final OOLogicGrammarParser.EnumerationContext	enumeration()
final OOLogicGrammarParser.ExpressionContext	expression()
final OOLogicGrammarParser.FactContext	fact()
final OOLogicGrammarParser.Facts_and_rulesContext	facts_and_rules()
final OOLogicGrammarParser.FunctionContext	function()
org.antlr.v4.runtime.atn.ATN	getATN()
String	getGrammarFileName()
String[]	getRuleNames()
String	getSerializedATN()
String[]	getTokenNames()
final OOLogicGrammarParser.GroundTermContext	groundTerm()
final OOLogicGrammarParser.HeadatomsContext	headatoms()
final OOLogicGrammarParser.ImpliesContext	implies()
final OOLogicGrammarParser.InputVariablesContext	inputVariables()
final OOLogicGrammarParser.LiteralContext	literal()
final OOLogicGrammarParser.LiteralsContext	literals()
final OOLogicGrammarParser.ModuleContext	module()
final OOLogicGrammarParser.NumberContext	number()
final OOLogicGrammarParser.OoMemberAtomContext	ooMemberAtom()
final OOLogicGrammarParser.OoPropertiesContext	ooProperties()
final OOLogicGrammarParser.OoPropertyContext	ooProperty()
final OOLogicGrammarParser.OoPropertyAtomContext	ooPropertyAtom()
final OOLogicGrammarParser.OoPropertyNameContext	ooPropertyName()
final OOLogicGrammarParser.OoPropertyValueContext	ooPropertyValue()
final OOLogicGrammarParser.OoSubClassAtomContext	ooSubClassAtom()
final OOLogicGrammarParser.OrListContext	orList()
final OOLogicGrammarParser.PartofContext	partof()
final OOLogicGrammarParser.PathContext	path()
final OOLogicGrammarParser.PathExpressionContext	pathExpression()
final OOLogicGrammarParser.PredicateAtomContext	predicateAtom()
final OOLogicGrammarParser.QueriesContext	queries()
final OOLogicGrammarParser.QueryContext	query()
final OOLogicGrammarParser.QuotedStringContext	quotedString()
final OOLogicGrammarParser.ReasoningRuleContext	reasoningRule()
final OOLogicGrammarParser.RuleAtomContext	ruleAtom()
final OOLogicGrammarParser.SemicolonContext	semicolon()
boolean	sempred(org.antlr.v4.runtime.RuleContext _localctx, int ruleIndex, int predIndex)
final OOLogicGrammarParser.SetContext	set()
final OOLogicGrammarParser.SimpleBoolExpressionContext	simpleBoolExpression()
final OOLogicGrammarParser.SimpleExpressionContext	simpleExpression()
final OOLogicGrammarParser.SubwayContext	subway()
final OOLogicGrammarParser.TermContext	term()
final OOLogicGrammarParser.VariableContext	variable()
final OOLogicGrammarParser.VariablesContext	variables()
final OOLogicGrammarParser.WayContext	way()

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

addParseListener, compileParseTreePattern, compileParseTreePattern, consume, createErrorNode, createTerminalNode, 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, unrollRecursionContexts

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

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

Methods inherited from class java.lang.Object

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

Field Details

T__24

public static final int T__24

See Also:

• Constant Field Values

T__23

public static final int T__23

See Also:

• Constant Field Values

T__22

public static final int T__22

See Also:

• Constant Field Values

T__21

public static final int T__21

See Also:

• Constant Field Values

T__20

public static final int T__20

See Also:

• Constant Field Values

T__19

public static final int T__19

See Also:

• Constant Field Values

T__18

public static final int T__18

See Also:

• Constant Field Values

T__17

public static final int T__17

See Also:

• Constant Field Values

T__16

public static final int T__16

See Also:

• Constant Field Values

T__15

public static final int T__15

See Also:

• Constant Field Values

T__14

public static final int T__14

See Also:

• Constant Field Values

T__13

public static final int T__13

See Also:

• Constant Field Values

T__12

public static final int T__12

See Also:

• Constant Field Values

T__11

public static final int T__11

See Also:

• Constant Field Values

T__10

public static final int T__10

See Also:

• Constant Field Values

T__9

public static final int T__9

See Also:

• Constant Field Values

T__8

public static final int T__8

See Also:

• Constant Field Values

T__7

public static final int T__7

See Also:

• Constant Field Values

T__6

public static final int T__6

See Also:

• Constant Field Values

T__5

public static final int T__5

See Also:

• Constant Field Values

T__4

public static final int T__4

See Also:

• Constant Field Values

T__3

public static final int T__3

See Also:

• Constant Field Values

T__2

public static final int T__2

See Also:

• Constant Field Values

T__1

public static final int T__1

See Also:

• Constant Field Values

T__0

public static final int T__0

See Also:

• Constant Field Values

SINGLE_Q

public static final int SINGLE_Q

See Also:

• Constant Field Values

DOUBLE_Q

public static final int DOUBLE_Q

See Also:

• Constant Field Values

COMPAREOPERATOR

public static final int COMPAREOPERATOR

See Also:

• Constant Field Values

BOOLEANOPERATOR

public static final int BOOLEANOPERATOR

See Also:

• Constant Field Values

ASSIGNMENT

public static final int ASSIGNMENT

See Also:

• Constant Field Values

INTEGER

public static final int INTEGER

See Also:

• Constant Field Values

LONG

public static final int LONG

See Also:

• Constant Field Values

FLOAT

public static final int FLOAT

See Also:

• Constant Field Values

DOUBLE

public static final int DOUBLE

See Also:

• Constant Field Values

SCLASS

public static final int SCLASS

See Also:

• Constant Field Values

EXTERNALDATATYPE

public static final int EXTERNALDATATYPE

See Also:

• Constant Field Values

SIMPLE_STRING

public static final int SIMPLE_STRING

See Also:

• Constant Field Values

REFERENCE

public static final int REFERENCE

See Also:

• Constant Field Values

SINGLELINE_COMMENT

public static final int SINGLELINE_COMMENT

See Also:

• Constant Field Values

COMMENT

public static final int COMMENT

See Also:

• Constant Field Values

WS

public static final int WS

See Also:

• Constant Field Values

tokenNames

public static final String[] tokenNames

RULE_facts_and_rules

public static final int RULE_facts_and_rules

See Also:

• Constant Field Values

RULE_partof

public static final int RULE_partof

See Also:

• Constant Field Values

RULE_module

public static final int RULE_module

See Also:

• Constant Field Values

RULE_groundTerm

public static final int RULE_groundTerm

See Also:

• Constant Field Values

RULE_set

public static final int RULE_set

See Also:

• Constant Field Values

RULE_enumeration

public static final int RULE_enumeration

See Also:

• Constant Field Values

RULE_term

public static final int RULE_term

See Also:

• Constant Field Values

RULE_path

public static final int RULE_path

See Also:

• Constant Field Values

RULE_edge

public static final int RULE_edge

See Also:

• Constant Field Values

RULE_way

public static final int RULE_way

See Also:

• Constant Field Values

RULE_subway

public static final int RULE_subway

See Also:

• Constant Field Values

RULE_argument

public static final int RULE_argument

See Also:

• Constant Field Values

RULE_arguments

public static final int RULE_arguments

See Also:

• Constant Field Values

RULE_function

public static final int RULE_function

See Also:

• Constant Field Values

RULE_variable

public static final int RULE_variable

See Also:

• Constant Field Values

RULE_variables

public static final int RULE_variables

See Also:

• Constant Field Values

RULE_builtinAtom

public static final int RULE_builtinAtom

See Also:

• Constant Field Values

RULE_predicateAtom

public static final int RULE_predicateAtom

See Also:

• Constant Field Values

RULE_atomWOModule

public static final int RULE_atomWOModule

See Also:

• Constant Field Values

RULE_atom

public static final int RULE_atom

See Also:

• Constant Field Values

RULE_ooMemberAtom

public static final int RULE_ooMemberAtom

See Also:

• Constant Field Values

RULE_ooSubClassAtom

public static final int RULE_ooSubClassAtom

See Also:

• Constant Field Values

RULE_ooPropertyAtom

public static final int RULE_ooPropertyAtom

See Also:

• Constant Field Values

RULE_ooProperties

public static final int RULE_ooProperties

See Also:

• Constant Field Values

RULE_ooPropertyName

public static final int RULE_ooPropertyName

See Also:

• Constant Field Values

RULE_ooProperty

public static final int RULE_ooProperty

See Also:

• Constant Field Values

RULE_pathExpression

public static final int RULE_pathExpression

See Also:

• Constant Field Values

RULE_ooPropertyValue

public static final int RULE_ooPropertyValue

See Also:

• Constant Field Values

RULE_inputVariables

public static final int RULE_inputVariables

See Also:

• Constant Field Values

RULE_aggregationWithoutGrouping

public static final int RULE_aggregationWithoutGrouping

See Also:

• Constant Field Values

RULE_aggregationWithGrouping

public static final int RULE_aggregationWithGrouping

See Also:

• Constant Field Values

RULE_aggregation

public static final int RULE_aggregation

See Also:

• Constant Field Values

RULE_fact

public static final int RULE_fact

See Also:

• Constant Field Values

RULE_expression

public static final int RULE_expression

See Also:

• Constant Field Values

RULE_simpleExpression

public static final int RULE_simpleExpression

See Also:

• Constant Field Values

RULE_boolExpression

public static final int RULE_boolExpression

See Also:

• Constant Field Values

RULE_simpleBoolExpression

public static final int RULE_simpleBoolExpression

See Also:

• Constant Field Values

RULE_compareAtom

public static final int RULE_compareAtom

See Also:

• Constant Field Values

RULE_assignmentAtom

public static final int RULE_assignmentAtom

See Also:

• Constant Field Values

RULE_ruleAtom

public static final int RULE_ruleAtom

See Also:

• Constant Field Values

RULE_literal

public static final int RULE_literal

See Also:

• Constant Field Values

RULE_literals

public static final int RULE_literals

See Also:

• Constant Field Values

RULE_headatoms

public static final int RULE_headatoms

See Also:

• Constant Field Values

RULE_orList

public static final int RULE_orList

See Also:

• Constant Field Values

RULE_reasoningRule

public static final int RULE_reasoningRule

See Also:

• Constant Field Values

RULE_query

public static final int RULE_query

See Also:

• Constant Field Values

RULE_constraint

public static final int RULE_constraint

See Also:

• Constant Field Values

RULE_implies

public static final int RULE_implies

See Also:

• Constant Field Values

RULE_queries

public static final int RULE_queries

See Also:

• Constant Field Values

RULE_constraints

public static final int RULE_constraints

See Also:

• Constant Field Values

RULE_quotedString

public static final int RULE_quotedString

See Also:

• Constant Field Values

RULE_semicolon

public static final int RULE_semicolon

See Also:

• Constant Field Values

RULE_number

public static final int RULE_number

See Also:

• Constant Field Values

ruleNames

public static final String[] ruleNames

_serializedATN

public static final String _serializedATN

See Also:

• Constant Field Values

_ATN

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

Constructor Details

OOLogicGrammarParser

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

Method Details

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>

getTokenNames

public String[] getTokenNames()

Specified by:

getTokenNames 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>

facts_and_rules

public final OOLogicGrammarParser.Facts_and_rulesContext facts_and_rules()
                                                                  throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

partof

public final OOLogicGrammarParser.PartofContext partof()
                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

module

public final OOLogicGrammarParser.ModuleContext module()
                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

groundTerm

public final OOLogicGrammarParser.GroundTermContext groundTerm()
                                                        throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

set

public final OOLogicGrammarParser.SetContext set()
                                          throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

enumeration

public final OOLogicGrammarParser.EnumerationContext enumeration()
                                                          throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

term

public final OOLogicGrammarParser.TermContext term()
                                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

path

public final OOLogicGrammarParser.PathContext path()
                                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

edge

public final OOLogicGrammarParser.EdgeContext edge()
                                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

way

public final OOLogicGrammarParser.WayContext way()
                                          throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

subway

public final OOLogicGrammarParser.SubwayContext subway()
                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

argument

public final OOLogicGrammarParser.ArgumentContext argument()
                                                    throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

arguments

public final OOLogicGrammarParser.ArgumentsContext arguments()
                                                      throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

function

public final OOLogicGrammarParser.FunctionContext function()
                                                    throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

variable

public final OOLogicGrammarParser.VariableContext variable()
                                                    throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

variables

public final OOLogicGrammarParser.VariablesContext variables()
                                                      throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

builtinAtom

public final OOLogicGrammarParser.BuiltinAtomContext builtinAtom()
                                                          throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

predicateAtom

public final OOLogicGrammarParser.PredicateAtomContext predicateAtom()
                                                              throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

atomWOModule

public final OOLogicGrammarParser.AtomWOModuleContext atomWOModule()
                                                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

atom

public final OOLogicGrammarParser.AtomContext atom()
                                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

ooMemberAtom

public final OOLogicGrammarParser.OoMemberAtomContext ooMemberAtom()
                                                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

ooSubClassAtom

public final OOLogicGrammarParser.OoSubClassAtomContext ooSubClassAtom()
                                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

ooPropertyAtom

public final OOLogicGrammarParser.OoPropertyAtomContext ooPropertyAtom()
                                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

ooProperties

public final OOLogicGrammarParser.OoPropertiesContext ooProperties()
                                                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

ooPropertyName

public final OOLogicGrammarParser.OoPropertyNameContext ooPropertyName()
                                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

ooProperty

public final OOLogicGrammarParser.OoPropertyContext ooProperty()
                                                        throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

pathExpression

public final OOLogicGrammarParser.PathExpressionContext pathExpression()
                                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

ooPropertyValue

public final OOLogicGrammarParser.OoPropertyValueContext ooPropertyValue()
                                                                  throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

inputVariables

public final OOLogicGrammarParser.InputVariablesContext inputVariables()
                                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

aggregationWithoutGrouping

public final OOLogicGrammarParser.AggregationWithoutGroupingContext aggregationWithoutGrouping()
                                                                                        throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

aggregationWithGrouping

public final OOLogicGrammarParser.AggregationWithGroupingContext aggregationWithGrouping()
                                                                                  throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

aggregation

public final OOLogicGrammarParser.AggregationContext aggregation()
                                                          throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

fact

public final OOLogicGrammarParser.FactContext fact()
                                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

expression

public final OOLogicGrammarParser.ExpressionContext expression()
                                                        throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

simpleExpression

public final OOLogicGrammarParser.SimpleExpressionContext simpleExpression()
                                                                    throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

boolExpression

public final OOLogicGrammarParser.BoolExpressionContext boolExpression()
                                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

simpleBoolExpression

public final OOLogicGrammarParser.SimpleBoolExpressionContext simpleBoolExpression()
                                                                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

compareAtom

public final OOLogicGrammarParser.CompareAtomContext compareAtom()
                                                          throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

assignmentAtom

public final OOLogicGrammarParser.AssignmentAtomContext assignmentAtom()
                                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

ruleAtom

public final OOLogicGrammarParser.RuleAtomContext ruleAtom()
                                                    throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

literal

public final OOLogicGrammarParser.LiteralContext literal()
                                                  throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

literals

public final OOLogicGrammarParser.LiteralsContext literals()
                                                    throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

headatoms

public final OOLogicGrammarParser.HeadatomsContext headatoms()
                                                      throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

orList

public final OOLogicGrammarParser.OrListContext orList()
                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

reasoningRule

public final OOLogicGrammarParser.ReasoningRuleContext reasoningRule()
                                                              throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

query

public final OOLogicGrammarParser.QueryContext query()
                                              throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

constraint

public final OOLogicGrammarParser.ConstraintContext constraint()
                                                        throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

implies

public final OOLogicGrammarParser.ImpliesContext implies()
                                                  throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

queries

public final OOLogicGrammarParser.QueriesContext queries()
                                                  throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

constraints

public final OOLogicGrammarParser.ConstraintsContext constraints()
                                                          throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

quotedString

public final OOLogicGrammarParser.QuotedStringContext quotedString()
                                                            throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

semicolon

public final OOLogicGrammarParser.SemicolonContext semicolon()
                                                      throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

number

public final OOLogicGrammarParser.NumberContext number()
                                                throws org.antlr.v4.runtime.RecognitionException

Throws:

org.antlr.v4.runtime.RecognitionException

sempred

public boolean sempred(org.antlr.v4.runtime.RuleContext _localctx,
 int ruleIndex,
 int predIndex)

Overrides:

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