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()