Package tools.refinery.language.parser.antlr.internal

Class InternalProblemParser

java.lang.Object
org.antlr.runtime.BaseRecognizer
org.antlr.runtime.Parser
org.eclipse.xtext.parser.antlr.AbstractInternalAntlrParser
tools.refinery.language.parser.antlr.internal.InternalProblemParser
public class InternalProblemParser extends org.eclipse.xtext.parser.antlr.AbstractInternalAntlrParser

  • Field Details

    • tokenNames

      public static final String[] tokenNames

    • Enum

      public static final int Enum
      See Also:

    • Import

      public static final int Import
      See Also:

    • LessThanSignHyphenMinusGreaterThanSign

      public static final int LessThanSignHyphenMinusGreaterThanSign
      See Also:

    • Count

      public static final int Count
      See Also:

    • False

      public static final int False
      See Also:

    • Must

      public static final int Must
      See Also:

    • LessThanSign

      public static final int LessThanSign
      See Also:

    • CircumflexAccentCircumflexAccent

      public static final int CircumflexAccentCircumflexAccent
      See Also:

    • LeftParenthesis

      public static final int LeftParenthesis
      See Also:

    • Unknown

      public static final int Unknown
      See Also:

    • Extends

      public static final int Extends
      See Also:

    • ExclamationMark

      public static final int ExclamationMark
      See Also:

    • ExclamationMarkEqualsSignEqualsSign

      public static final int ExclamationMarkEqualsSignEqualsSign
      See Also:

    • GreaterThanSign

      public static final int GreaterThanSign
      See Also:

    • RULE_ID

      public static final int RULE_ID
      See Also:

    • RULE_QUOTED_ID

      public static final int RULE_QUOTED_ID
      See Also:

    • Concretization

      public static final int Concretization
      See Also:

    • GreaterThanSignEqualsSign

      public static final int GreaterThanSignEqualsSign
      See Also:

    • ColonColon

      public static final int ColonColon
      See Also:

    • EqualsSignEqualsSign

      public static final int EqualsSignEqualsSign
      See Also:

    • VerticalLine

      public static final int VerticalLine
      See Also:

    • PlusSign

      public static final int PlusSign
      See Also:

    • RULE_INT

      public static final int RULE_INT
      See Also:

    • Contains

      public static final int Contains
      See Also:

    • RULE_ML_COMMENT

      public static final int RULE_ML_COMMENT
      See Also:

    • LeftSquareBracket

      public static final int LeftSquareBracket
      See Also:

    • Rule

      public static final int Rule
      See Also:

    • Module

      public static final int Module
      See Also:

    • Propagation

      public static final int Propagation
      See Also:

    • May

      public static final int May
      See Also:

    • In

      public static final int In
      See Also:

    • VerticalLineVerticalLine

      public static final int VerticalLineVerticalLine
      See Also:

    • Is

      public static final int Is
      See Also:

    • Extern

      public static final int Extern
      See Also:

    • ReverseSolidusSolidus

      public static final int ReverseSolidusSolidus
      See Also:

    • Comma

      public static final int Comma
      See Also:

    • As

      public static final int As
      See Also:

    • HyphenMinus

      public static final int HyphenMinus
      See Also:

    • LessThanSignEqualsSign

      public static final int LessThanSignEqualsSign
      See Also:

    • Solidus

      public static final int Solidus
      See Also:

    • RightCurlyBracket

      public static final int RightCurlyBracket
      See Also:

    • FullStop

      public static final int FullStop
      See Also:

    • Abstract

      public static final int Abstract
      See Also:

    • Pred

      public static final int Pred
      See Also:

    • Aggregator

      public static final int Aggregator
      See Also:

    • Multi

      public static final int Multi
      See Also:

    • Declare

      public static final int Declare
      See Also:

    • Default

      public static final int Default
      See Also:

    • Decision

      public static final int Decision
      See Also:

    • Atom

      public static final int Atom
      See Also:

    • CommercialAt

      public static final int CommercialAt
      See Also:

    • Semicolon

      public static final int Semicolon
      See Also:

    • EqualsSignEqualsSignGreaterThanSign

      public static final int EqualsSignEqualsSignGreaterThanSign
      See Also:

    • SolidusReverseSolidus

      public static final int SolidusReverseSolidus
      See Also:

    • QuestionMark

      public static final int QuestionMark
      See Also:

    • ExclamationMarkEqualsSign

      public static final int ExclamationMarkEqualsSign
      See Also:

    • True

      public static final int True
      See Also:

    • Datatype

      public static final int Datatype
      See Also:

    • Container

      public static final int Container
      See Also:

    • Partial

      public static final int Partial
      See Also:

    • Subsets

      public static final int Subsets
      See Also:

    • FullStopFullStop

      public static final int FullStopFullStop
      See Also:

    • RightSquareBracket

      public static final int RightSquareBracket
      See Also:

    • Candidate

      public static final int Candidate
      See Also:

    • Opposite

      public static final int Opposite
      See Also:

    • RULE_EXPONENTIAL

      public static final int RULE_EXPONENTIAL
      See Also:

    • RightParenthesis

      public static final int RightParenthesis
      See Also:

    • RULE_QUALIFIED_NAME_SEPARATOR

      public static final int RULE_QUALIFIED_NAME_SEPARATOR
      See Also:

    • EqualsSignEqualsSignEqualsSign

      public static final int EqualsSignEqualsSignEqualsSign
      See Also:

    • NumberSign

      public static final int NumberSign
      See Also:

    • AsteriskAsterisk

      public static final int AsteriskAsterisk
      See Also:

    • RULE_TRANSITIVE_CLOSURE

      public static final int RULE_TRANSITIVE_CLOSURE
      See Also:

    • Problem

      public static final int Problem
      See Also:

    • Class

      public static final int Class
      See Also:

    • Refers

      public static final int Refers
      See Also:

    • Shadow

      public static final int Shadow
      See Also:

    • RULE_STRING

      public static final int RULE_STRING
      See Also:

    • RULE_SL_COMMENT

      public static final int RULE_SL_COMMENT
      See Also:

    • EqualsSign

      public static final int EqualsSign
      See Also:

    • AmpersandAmpersand

      public static final int AmpersandAmpersand
      See Also:

    • Colon

      public static final int Colon
      See Also:

    • EOF

      public static final int EOF
      See Also:

    • Asterisk

      public static final int Asterisk
      See Also:

    • PlusSignEqualsSign

      public static final int PlusSignEqualsSign
      See Also:

    • RULE_WS

      public static final int RULE_WS
      See Also:

    • LeftCurlyBracket

      public static final int LeftCurlyBracket
      See Also:

    • Error

      public static final int Error
      See Also:

    • RULE_ANY_OTHER

      public static final int RULE_ANY_OTHER
      See Also:

    • Scope

      public static final int Scope
      See Also:

    • dfa4

      protected tools.refinery.language.parser.antlr.internal.InternalProblemParser.DFA4 dfa4

    • dfa35

      protected tools.refinery.language.parser.antlr.internal.InternalProblemParser.DFA35 dfa35

    • dfa40

      protected tools.refinery.language.parser.antlr.internal.InternalProblemParser.DFA40 dfa40

    • dfa47

      protected tools.refinery.language.parser.antlr.internal.InternalProblemParser.DFA47 dfa47

    • dfa53

      protected tools.refinery.language.parser.antlr.internal.InternalProblemParser.DFA53 dfa53

    • dfa62

      protected tools.refinery.language.parser.antlr.internal.InternalProblemParser.DFA62 dfa62

    • dfa67

      protected tools.refinery.language.parser.antlr.internal.InternalProblemParser.DFA67 dfa67

    • dfa77

      protected tools.refinery.language.parser.antlr.internal.InternalProblemParser.DFA77 dfa77

    • FOLLOW_1

      public static final org.antlr.runtime.BitSet FOLLOW_1

    • FOLLOW_2

      public static final org.antlr.runtime.BitSet FOLLOW_2

    • FOLLOW_3

      public static final org.antlr.runtime.BitSet FOLLOW_3

    • FOLLOW_4

      public static final org.antlr.runtime.BitSet FOLLOW_4

    • FOLLOW_5

      public static final org.antlr.runtime.BitSet FOLLOW_5

    • FOLLOW_6

      public static final org.antlr.runtime.BitSet FOLLOW_6

    • FOLLOW_7

      public static final org.antlr.runtime.BitSet FOLLOW_7

    • FOLLOW_8

      public static final org.antlr.runtime.BitSet FOLLOW_8

    • FOLLOW_9

      public static final org.antlr.runtime.BitSet FOLLOW_9

    • FOLLOW_10

      public static final org.antlr.runtime.BitSet FOLLOW_10

    • FOLLOW_11

      public static final org.antlr.runtime.BitSet FOLLOW_11

    • FOLLOW_12

      public static final org.antlr.runtime.BitSet FOLLOW_12

    • FOLLOW_13

      public static final org.antlr.runtime.BitSet FOLLOW_13

    • FOLLOW_14

      public static final org.antlr.runtime.BitSet FOLLOW_14

    • FOLLOW_15

      public static final org.antlr.runtime.BitSet FOLLOW_15

    • FOLLOW_16

      public static final org.antlr.runtime.BitSet FOLLOW_16

    • FOLLOW_17

      public static final org.antlr.runtime.BitSet FOLLOW_17

    • FOLLOW_18

      public static final org.antlr.runtime.BitSet FOLLOW_18

    • FOLLOW_19

      public static final org.antlr.runtime.BitSet FOLLOW_19

    • FOLLOW_20

      public static final org.antlr.runtime.BitSet FOLLOW_20

    • FOLLOW_21

      public static final org.antlr.runtime.BitSet FOLLOW_21

    • FOLLOW_22

      public static final org.antlr.runtime.BitSet FOLLOW_22

    • FOLLOW_23

      public static final org.antlr.runtime.BitSet FOLLOW_23

    • FOLLOW_24

      public static final org.antlr.runtime.BitSet FOLLOW_24

    • FOLLOW_25

      public static final org.antlr.runtime.BitSet FOLLOW_25

    • FOLLOW_26

      public static final org.antlr.runtime.BitSet FOLLOW_26

    • FOLLOW_27

      public static final org.antlr.runtime.BitSet FOLLOW_27

    • FOLLOW_28

      public static final org.antlr.runtime.BitSet FOLLOW_28

    • FOLLOW_29

      public static final org.antlr.runtime.BitSet FOLLOW_29

    • FOLLOW_30

      public static final org.antlr.runtime.BitSet FOLLOW_30

    • FOLLOW_31

      public static final org.antlr.runtime.BitSet FOLLOW_31

    • FOLLOW_32

      public static final org.antlr.runtime.BitSet FOLLOW_32

    • FOLLOW_33

      public static final org.antlr.runtime.BitSet FOLLOW_33

    • FOLLOW_34

      public static final org.antlr.runtime.BitSet FOLLOW_34

    • FOLLOW_35

      public static final org.antlr.runtime.BitSet FOLLOW_35

    • FOLLOW_36

      public static final org.antlr.runtime.BitSet FOLLOW_36

    • FOLLOW_37

      public static final org.antlr.runtime.BitSet FOLLOW_37

    • FOLLOW_38

      public static final org.antlr.runtime.BitSet FOLLOW_38

    • FOLLOW_39

      public static final org.antlr.runtime.BitSet FOLLOW_39

    • FOLLOW_40

      public static final org.antlr.runtime.BitSet FOLLOW_40

    • FOLLOW_41

      public static final org.antlr.runtime.BitSet FOLLOW_41

    • FOLLOW_42

      public static final org.antlr.runtime.BitSet FOLLOW_42

    • FOLLOW_43

      public static final org.antlr.runtime.BitSet FOLLOW_43

    • FOLLOW_44

      public static final org.antlr.runtime.BitSet FOLLOW_44

    • FOLLOW_45

      public static final org.antlr.runtime.BitSet FOLLOW_45

    • FOLLOW_46

      public static final org.antlr.runtime.BitSet FOLLOW_46

    • FOLLOW_47

      public static final org.antlr.runtime.BitSet FOLLOW_47

    • FOLLOW_48

      public static final org.antlr.runtime.BitSet FOLLOW_48

    • FOLLOW_49

      public static final org.antlr.runtime.BitSet FOLLOW_49

    • FOLLOW_50

      public static final org.antlr.runtime.BitSet FOLLOW_50

    • FOLLOW_51

      public static final org.antlr.runtime.BitSet FOLLOW_51

    • FOLLOW_52

      public static final org.antlr.runtime.BitSet FOLLOW_52

    • FOLLOW_53

      public static final org.antlr.runtime.BitSet FOLLOW_53

    • FOLLOW_54

      public static final org.antlr.runtime.BitSet FOLLOW_54

    • FOLLOW_55

      public static final org.antlr.runtime.BitSet FOLLOW_55

    • FOLLOW_56

      public static final org.antlr.runtime.BitSet FOLLOW_56

    • FOLLOW_57

      public static final org.antlr.runtime.BitSet FOLLOW_57

    • FOLLOW_58

      public static final org.antlr.runtime.BitSet FOLLOW_58

    • FOLLOW_59

      public static final org.antlr.runtime.BitSet FOLLOW_59

    • FOLLOW_60

      public static final org.antlr.runtime.BitSet FOLLOW_60

    • FOLLOW_61

      public static final org.antlr.runtime.BitSet FOLLOW_61

    • FOLLOW_62

      public static final org.antlr.runtime.BitSet FOLLOW_62

    • FOLLOW_63

      public static final org.antlr.runtime.BitSet FOLLOW_63

    • FOLLOW_64

      public static final org.antlr.runtime.BitSet FOLLOW_64

    • FOLLOW_65

      public static final org.antlr.runtime.BitSet FOLLOW_65

    • FOLLOW_66

      public static final org.antlr.runtime.BitSet FOLLOW_66

    • FOLLOW_67

      public static final org.antlr.runtime.BitSet FOLLOW_67

    • FOLLOW_68

      public static final org.antlr.runtime.BitSet FOLLOW_68

  • Constructor Details

    • InternalProblemParser

      public InternalProblemParser(org.antlr.runtime.TokenStream input)

    • InternalProblemParser

      public InternalProblemParser(org.antlr.runtime.TokenStream input, org.antlr.runtime.RecognizerSharedState state)

    • InternalProblemParser

      public InternalProblemParser(org.antlr.runtime.TokenStream input, ProblemGrammarAccess grammarAccess)

  • Method Details

    • getTokenNames

      public String[] getTokenNames()
      Overrides:
      getTokenNames in class org.antlr.runtime.BaseRecognizer

    • getGrammarFileName

      public String getGrammarFileName()
      Overrides:
      getGrammarFileName in class org.antlr.runtime.BaseRecognizer

    • getFirstRuleName

      protected String getFirstRuleName()
      Specified by:
      getFirstRuleName in class org.eclipse.xtext.parser.antlr.AbstractInternalAntlrParser

    • getGrammarAccess

      protected ProblemGrammarAccess getGrammarAccess()
      Specified by:
      getGrammarAccess in class org.eclipse.xtext.parser.antlr.AbstractInternalAntlrParser

    • entryRuleProblem

      public final org.eclipse.emf.ecore.EObject entryRuleProblem() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleProblem

      public final org.eclipse.emf.ecore.EObject ruleProblem() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleStatement

      public final org.eclipse.emf.ecore.EObject entryRuleStatement() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleStatement

      public final org.eclipse.emf.ecore.EObject ruleStatement() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAnnotatedStatement

      public final org.eclipse.emf.ecore.EObject entryRuleAnnotatedStatement() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAnnotatedStatement

      public final org.eclipse.emf.ecore.EObject ruleAnnotatedStatement() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAnnotationContainer

      public final org.eclipse.emf.ecore.EObject entryRuleAnnotationContainer() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAnnotationContainer

      public final org.eclipse.emf.ecore.EObject ruleAnnotationContainer() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleTopLevelAnnotation

      public final org.eclipse.emf.ecore.EObject entryRuleTopLevelAnnotation() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleTopLevelAnnotation

      public final org.eclipse.emf.ecore.EObject ruleTopLevelAnnotation() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAnnotation

      public final org.eclipse.emf.ecore.EObject entryRuleAnnotation() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAnnotation

      public final org.eclipse.emf.ecore.EObject ruleAnnotation() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAnnotationArgument

      public final org.eclipse.emf.ecore.EObject entryRuleAnnotationArgument() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAnnotationArgument

      public final org.eclipse.emf.ecore.EObject ruleAnnotationArgument() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleImportStatement

      public final org.eclipse.emf.ecore.EObject entryRuleImportStatement() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleImportStatement

      public final org.eclipse.emf.ecore.EObject ruleImportStatement() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleEnumLiteral

      public final org.eclipse.emf.ecore.EObject entryRuleEnumLiteral() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleEnumLiteral

      public final org.eclipse.emf.ecore.EObject ruleEnumLiteral() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleReferenceDeclaration

      public final org.eclipse.emf.ecore.EObject entryRuleReferenceDeclaration() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleReferenceDeclaration

      public final org.eclipse.emf.ecore.EObject ruleReferenceDeclaration() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleReferenceMultiplicity

      public final org.eclipse.emf.ecore.EObject entryRuleReferenceMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleReferenceMultiplicity

      public final org.eclipse.emf.ecore.EObject ruleReferenceMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleConjunction

      public final org.eclipse.emf.ecore.EObject entryRuleConjunction() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleConjunction

      public final org.eclipse.emf.ecore.EObject ruleConjunction() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleParameter

      public final org.eclipse.emf.ecore.EObject entryRuleParameter() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleParameter

      public final org.eclipse.emf.ecore.EObject ruleParameter() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleConsequent

      public final org.eclipse.emf.ecore.EObject entryRuleConsequent() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleConsequent

      public final org.eclipse.emf.ecore.EObject ruleConsequent() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAction

      public final org.eclipse.emf.ecore.EObject entryRuleAction() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAction

      public final org.eclipse.emf.ecore.EObject ruleAction() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAssertionAction

      public final org.eclipse.emf.ecore.EObject entryRuleAssertionAction() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAssertionAction

      public final org.eclipse.emf.ecore.EObject ruleAssertionAction() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleExpr

      public final org.eclipse.emf.ecore.EObject entryRuleExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleExpr

      public final org.eclipse.emf.ecore.EObject ruleExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAssignmentExpr

      public final org.eclipse.emf.ecore.EObject entryRuleAssignmentExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAssignmentExpr

      public final org.eclipse.emf.ecore.EObject ruleAssignmentExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleBooleanExpr

      public final org.eclipse.emf.ecore.EObject entryRuleBooleanExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleBooleanExpr

      public final org.eclipse.emf.ecore.EObject ruleBooleanExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleComparisonExpr

      public final org.eclipse.emf.ecore.EObject entryRuleComparisonExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleComparisonExpr

      public final org.eclipse.emf.ecore.EObject ruleComparisonExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleLatticeExpr

      public final org.eclipse.emf.ecore.EObject entryRuleLatticeExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleLatticeExpr

      public final org.eclipse.emf.ecore.EObject ruleLatticeExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAdditiveExpr

      public final org.eclipse.emf.ecore.EObject entryRuleAdditiveExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAdditiveExpr

      public final org.eclipse.emf.ecore.EObject ruleAdditiveExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleMultiplicativeExpr

      public final org.eclipse.emf.ecore.EObject entryRuleMultiplicativeExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleMultiplicativeExpr

      public final org.eclipse.emf.ecore.EObject ruleMultiplicativeExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleExponentialExpr

      public final org.eclipse.emf.ecore.EObject entryRuleExponentialExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleExponentialExpr

      public final org.eclipse.emf.ecore.EObject ruleExponentialExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleRangeExpr

      public final org.eclipse.emf.ecore.EObject entryRuleRangeExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleRangeExpr

      public final org.eclipse.emf.ecore.EObject ruleRangeExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleUnaryExpr

      public final org.eclipse.emf.ecore.EObject entryRuleUnaryExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleUnaryExpr

      public final org.eclipse.emf.ecore.EObject ruleUnaryExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleArithmeticUnaryExpr

      public final org.eclipse.emf.ecore.EObject entryRuleArithmeticUnaryExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleArithmeticUnaryExpr

      public final org.eclipse.emf.ecore.EObject ruleArithmeticUnaryExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleNegationExpr

      public final org.eclipse.emf.ecore.EObject entryRuleNegationExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleNegationExpr

      public final org.eclipse.emf.ecore.EObject ruleNegationExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleCountExpr

      public final org.eclipse.emf.ecore.EObject entryRuleCountExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleCountExpr

      public final org.eclipse.emf.ecore.EObject ruleCountExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAggregationExpr

      public final org.eclipse.emf.ecore.EObject entryRuleAggregationExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAggregationExpr

      public final org.eclipse.emf.ecore.EObject ruleAggregationExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleModalExpr

      public final org.eclipse.emf.ecore.EObject entryRuleModalExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleModalExpr

      public final org.eclipse.emf.ecore.EObject ruleModalExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleCastExpr

      public final org.eclipse.emf.ecore.EObject entryRuleCastExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleCastExpr

      public final org.eclipse.emf.ecore.EObject ruleCastExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleCastExprBody

      public final org.eclipse.emf.ecore.EObject entryRuleCastExprBody() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleCastExprBody

      public final org.eclipse.emf.ecore.EObject ruleCastExprBody() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAtom

      public final org.eclipse.emf.ecore.EObject entryRuleAtom() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAtom

      public final org.eclipse.emf.ecore.EObject ruleAtom() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleVariableOrNodeExpr

      public final org.eclipse.emf.ecore.EObject entryRuleVariableOrNodeExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleVariableOrNodeExpr

      public final org.eclipse.emf.ecore.EObject ruleVariableOrNodeExpr() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleConstant

      public final org.eclipse.emf.ecore.EObject entryRuleConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleConstant

      public final org.eclipse.emf.ecore.EObject ruleConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleIntConstant

      public final org.eclipse.emf.ecore.EObject entryRuleIntConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleIntConstant

      public final org.eclipse.emf.ecore.EObject ruleIntConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleRealConstant

      public final org.eclipse.emf.ecore.EObject entryRuleRealConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleRealConstant

      public final org.eclipse.emf.ecore.EObject ruleRealConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleStringConstant

      public final org.eclipse.emf.ecore.EObject entryRuleStringConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleStringConstant

      public final org.eclipse.emf.ecore.EObject ruleStringConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleInfiniteConstant

      public final org.eclipse.emf.ecore.EObject entryRuleInfiniteConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleInfiniteConstant

      public final org.eclipse.emf.ecore.EObject ruleInfiniteConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleLogicConstant

      public final org.eclipse.emf.ecore.EObject entryRuleLogicConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleLogicConstant

      public final org.eclipse.emf.ecore.EObject ruleLogicConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAssertion

      public final org.eclipse.emf.ecore.EObject entryRuleAssertion() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAssertion

      public final org.eclipse.emf.ecore.EObject ruleAssertion() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleAssertionArgument

      public final org.eclipse.emf.ecore.EObject entryRuleAssertionArgument() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAssertionArgument

      public final org.eclipse.emf.ecore.EObject ruleAssertionArgument() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleNodeAssertionArgument

      public final org.eclipse.emf.ecore.EObject entryRuleNodeAssertionArgument() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleNodeAssertionArgument

      public final org.eclipse.emf.ecore.EObject ruleNodeAssertionArgument() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleWildcardAssertionArgument

      public final org.eclipse.emf.ecore.EObject entryRuleWildcardAssertionArgument() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleWildcardAssertionArgument

      public final org.eclipse.emf.ecore.EObject ruleWildcardAssertionArgument() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleShortLogicConstant

      public final org.eclipse.emf.ecore.EObject entryRuleShortLogicConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleShortLogicConstant

      public final org.eclipse.emf.ecore.EObject ruleShortLogicConstant() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleScopeDeclaration

      public final org.eclipse.emf.ecore.EObject entryRuleScopeDeclaration() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleScopeDeclaration

      public final org.eclipse.emf.ecore.EObject ruleScopeDeclaration() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleTypeScope

      public final org.eclipse.emf.ecore.EObject entryRuleTypeScope() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleTypeScope

      public final org.eclipse.emf.ecore.EObject ruleTypeScope() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleMultiplicity

      public final org.eclipse.emf.ecore.EObject entryRuleMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleMultiplicity

      public final org.eclipse.emf.ecore.EObject ruleMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleDefiniteMultiplicity

      public final org.eclipse.emf.ecore.EObject entryRuleDefiniteMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleDefiniteMultiplicity

      public final org.eclipse.emf.ecore.EObject ruleDefiniteMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleUnboundedMultiplicity

      public final org.eclipse.emf.ecore.EObject entryRuleUnboundedMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleUnboundedMultiplicity

      public final org.eclipse.emf.ecore.EObject ruleUnboundedMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleRangeMultiplicity

      public final org.eclipse.emf.ecore.EObject entryRuleRangeMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleRangeMultiplicity

      public final org.eclipse.emf.ecore.EObject ruleRangeMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleExactMultiplicity

      public final org.eclipse.emf.ecore.EObject entryRuleExactMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleExactMultiplicity

      public final org.eclipse.emf.ecore.EObject ruleExactMultiplicity() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleUpperBound

      public final String entryRuleUpperBound() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleUpperBound

      public final org.eclipse.xtext.parser.antlr.AntlrDatatypeRuleToken ruleUpperBound() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleQualifiedName

      public final String entryRuleQualifiedName() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleQualifiedName

      public final org.eclipse.xtext.parser.antlr.AntlrDatatypeRuleToken ruleQualifiedName() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleNonContainmentQualifiedName

      public final String entryRuleNonContainmentQualifiedName() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleNonContainmentQualifiedName

      public final org.eclipse.xtext.parser.antlr.AntlrDatatypeRuleToken ruleNonContainmentQualifiedName() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleIdentifier

      public final String entryRuleIdentifier() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleIdentifier

      public final org.eclipse.xtext.parser.antlr.AntlrDatatypeRuleToken ruleIdentifier() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleNonContainmentIdentifier

      public final String entryRuleNonContainmentIdentifier() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleNonContainmentIdentifier

      public final org.eclipse.xtext.parser.antlr.AntlrDatatypeRuleToken ruleNonContainmentIdentifier() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • entryRuleReal

      public final String entryRuleReal() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleReal

      public final org.eclipse.xtext.parser.antlr.AntlrDatatypeRuleToken ruleReal() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleModuleKind

      public final org.eclipse.emf.common.util.Enumerator ruleModuleKind() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleReferenceKind

      public final org.eclipse.emf.common.util.Enumerator ruleReferenceKind() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleErrorPredicateKind

      public final org.eclipse.emf.common.util.Enumerator ruleErrorPredicateKind() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • rulePredicateKind

      public final org.eclipse.emf.common.util.Enumerator rulePredicateKind() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleRuleKind

      public final org.eclipse.emf.common.util.Enumerator ruleRuleKind() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleParameterKind

      public final org.eclipse.emf.common.util.Enumerator ruleParameterKind() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleBooleanBinaryOp

      public final org.eclipse.emf.common.util.Enumerator ruleBooleanBinaryOp() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleComparisonOp

      public final org.eclipse.emf.common.util.Enumerator ruleComparisonOp() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleLatticeBinaryOp

      public final org.eclipse.emf.common.util.Enumerator ruleLatticeBinaryOp() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleAdditiveOp

      public final org.eclipse.emf.common.util.Enumerator ruleAdditiveOp() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleMultiplicativeOp

      public final org.eclipse.emf.common.util.Enumerator ruleMultiplicativeOp() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleExponentialOp

      public final org.eclipse.emf.common.util.Enumerator ruleExponentialOp() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleUnaryOp

      public final org.eclipse.emf.common.util.Enumerator ruleUnaryOp() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleConcreteness

      public final org.eclipse.emf.common.util.Enumerator ruleConcreteness() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleModality

      public final org.eclipse.emf.common.util.Enumerator ruleModality() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleLogicValue

      public final org.eclipse.emf.common.util.Enumerator ruleLogicValue() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleShortLogicValue

      public final org.eclipse.emf.common.util.Enumerator ruleShortLogicValue() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • ruleNodeKind

      public final org.eclipse.emf.common.util.Enumerator ruleNodeKind() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • synpred1_InternalProblemParser_fragment

      public final void synpred1_InternalProblemParser_fragment() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • synpred2_InternalProblemParser_fragment

      public final void synpred2_InternalProblemParser_fragment() throws org.antlr.runtime.RecognitionException
      Throws:
      org.antlr.runtime.RecognitionException

    • synpred1_InternalProblemParser

      public final boolean synpred1_InternalProblemParser()

    • synpred2_InternalProblemParser

      public final boolean synpred2_InternalProblemParser()