Package tools.refinery.language.services

Class ProblemGrammarAccess

java.lang.Object

org.eclipse.xtext.service.AbstractElementFinder

org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder

tools.refinery.language.services.ProblemGrammarAccess

All Implemented Interfaces:

org.eclipse.xtext.IGrammarAccess

public class ProblemGrammarAccess
extends org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
class	ProblemGrammarAccess.ActionElements
class	ProblemGrammarAccess.AdditiveExprElements
class	ProblemGrammarAccess.AdditiveOpElements
class	ProblemGrammarAccess.AggregationExprElements
class	ProblemGrammarAccess.AggregatorDeclarationElements
class	ProblemGrammarAccess.ArithmeticUnaryExprElements
class	ProblemGrammarAccess.AssertionActionElements
class	ProblemGrammarAccess.AssertionArgumentElements
class	ProblemGrammarAccess.AssertionElements
class	ProblemGrammarAccess.AssignmentExprElements
class	ProblemGrammarAccess.AtomElements
class	ProblemGrammarAccess.BooleanBinaryOpElements
class	ProblemGrammarAccess.BooleanExprElements
class	ProblemGrammarAccess.CastExprBodyElements
class	ProblemGrammarAccess.CastExprElements
class	ProblemGrammarAccess.ClassDeclarationElements
class	ProblemGrammarAccess.ComparisonExprElements
class	ProblemGrammarAccess.ComparisonOpElements
class	ProblemGrammarAccess.ConcretenessElements
class	ProblemGrammarAccess.ConjunctionElements
class	ProblemGrammarAccess.ConsequentElements
class	ProblemGrammarAccess.ConstantElements
class	ProblemGrammarAccess.CountExprElements
class	ProblemGrammarAccess.DatatypeDeclarationElements
class	ProblemGrammarAccess.DefiniteMultiplicityElements
class	ProblemGrammarAccess.EnumDeclarationElements
class	ProblemGrammarAccess.EnumLiteralElements
class	ProblemGrammarAccess.ErrorPredicateKindElements
class	ProblemGrammarAccess.ExactMultiplicityElements
class	ProblemGrammarAccess.ExponentialExprElements
class	ProblemGrammarAccess.ExponentialOpElements
class	ProblemGrammarAccess.ExprElements
class	ProblemGrammarAccess.IdentifierElements
class	ProblemGrammarAccess.ImportStatementElements
class	ProblemGrammarAccess.InfiniteConstantElements
class	ProblemGrammarAccess.IntConstantElements
class	ProblemGrammarAccess.LatticeBinaryOpElements
class	ProblemGrammarAccess.LatticeExprElements
class	ProblemGrammarAccess.LogicConstantElements
class	ProblemGrammarAccess.LogicValueElements
class	ProblemGrammarAccess.ModalExprElements
class	ProblemGrammarAccess.ModalityElements
class	ProblemGrammarAccess.ModuleKindElements
class	ProblemGrammarAccess.MultiplicativeExprElements
class	ProblemGrammarAccess.MultiplicativeOpElements
class	ProblemGrammarAccess.MultiplicityElements
class	ProblemGrammarAccess.NegationExprElements
class	ProblemGrammarAccess.NodeAssertionArgumentElements
class	ProblemGrammarAccess.NodeDeclarationElements
class	ProblemGrammarAccess.NodeKindElements
class	ProblemGrammarAccess.NonContainmentIdentifierElements
class	ProblemGrammarAccess.NonContainmentQualifiedNameElements
class	ProblemGrammarAccess.ParameterBindingElements
class	ProblemGrammarAccess.ParameterElements
class	ProblemGrammarAccess.PredicateDefinitionElements
class	ProblemGrammarAccess.PredicateKindElements
class	ProblemGrammarAccess.ProblemElements
class	ProblemGrammarAccess.QualifiedNameElements
class	ProblemGrammarAccess.RangeExprElements
class	ProblemGrammarAccess.RangeMultiplicityElements
class	ProblemGrammarAccess.RealConstantElements
class	ProblemGrammarAccess.RealElements
class	ProblemGrammarAccess.ReferenceDeclarationElements
class	ProblemGrammarAccess.ReferenceKindElements
class	ProblemGrammarAccess.ReferenceMultiplicityElements
class	ProblemGrammarAccess.RuleDefinitionElements
class	ProblemGrammarAccess.RuleKindElements
class	ProblemGrammarAccess.ScopeDeclarationElements
class	ProblemGrammarAccess.ShortLogicConstantElements
class	ProblemGrammarAccess.ShortLogicValueElements
class	ProblemGrammarAccess.StatementElements
class	ProblemGrammarAccess.StringConstantElements
class	ProblemGrammarAccess.TypeScopeElements
class	ProblemGrammarAccess.UnaryExprElements
class	ProblemGrammarAccess.UnaryOpElements
class	ProblemGrammarAccess.UnboundedMultiplicityElements
class	ProblemGrammarAccess.UpperBoundElements
class	ProblemGrammarAccess.VariableOrNodeExprElements
class	ProblemGrammarAccess.WildcardAssertionArgumentElements

Nested classes/interfaces inherited from class org.eclipse.xtext.service.AbstractElementFinder

org.eclipse.xtext.service.AbstractElementFinder.AbstractEnumRuleElementFinder, org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder, org.eclipse.xtext.service.AbstractElementFinder.AbstractParserRuleElementFinder

Nested classes/interfaces inherited from interface org.eclipse.xtext.IGrammarAccess

org.eclipse.xtext.IGrammarAccess.IAbstractRuleAccess, org.eclipse.xtext.IGrammarAccess.IEnumRuleAccess, org.eclipse.xtext.IGrammarAccess.IParserRuleAccess

Constructor Summary

Constructors

Constructor	Description
ProblemGrammarAccess(org.eclipse.xtext.service.GrammarProvider grammarProvider, org.eclipse.xtext.common.services.TerminalsGrammarAccess gaTerminals)

Method Summary

Modifier and Type	Method	Description
ProblemGrammarAccess.ActionElements	getActionAccess()
org.eclipse.xtext.ParserRule	getActionRule()
ProblemGrammarAccess.AdditiveExprElements	getAdditiveExprAccess()
org.eclipse.xtext.ParserRule	getAdditiveExprRule()
ProblemGrammarAccess.AdditiveOpElements	getAdditiveOpAccess()
org.eclipse.xtext.EnumRule	getAdditiveOpRule()
ProblemGrammarAccess.AggregationExprElements	getAggregationExprAccess()
org.eclipse.xtext.ParserRule	getAggregationExprRule()
ProblemGrammarAccess.AggregatorDeclarationElements	getAggregatorDeclarationAccess()
org.eclipse.xtext.ParserRule	getAggregatorDeclarationRule()
org.eclipse.xtext.TerminalRule	getANY_OTHERRule()
ProblemGrammarAccess.ArithmeticUnaryExprElements	getArithmeticUnaryExprAccess()
org.eclipse.xtext.ParserRule	getArithmeticUnaryExprRule()
ProblemGrammarAccess.AssertionElements	getAssertionAccess()
ProblemGrammarAccess.AssertionActionElements	getAssertionActionAccess()
org.eclipse.xtext.ParserRule	getAssertionActionRule()
ProblemGrammarAccess.AssertionArgumentElements	getAssertionArgumentAccess()
org.eclipse.xtext.ParserRule	getAssertionArgumentRule()
org.eclipse.xtext.ParserRule	getAssertionRule()
ProblemGrammarAccess.AssignmentExprElements	getAssignmentExprAccess()
org.eclipse.xtext.ParserRule	getAssignmentExprRule()
ProblemGrammarAccess.AtomElements	getAtomAccess()
org.eclipse.xtext.ParserRule	getAtomRule()
ProblemGrammarAccess.BooleanBinaryOpElements	getBooleanBinaryOpAccess()
org.eclipse.xtext.EnumRule	getBooleanBinaryOpRule()
ProblemGrammarAccess.BooleanExprElements	getBooleanExprAccess()
org.eclipse.xtext.ParserRule	getBooleanExprRule()
ProblemGrammarAccess.CastExprElements	getCastExprAccess()
ProblemGrammarAccess.CastExprBodyElements	getCastExprBodyAccess()
org.eclipse.xtext.ParserRule	getCastExprBodyRule()
org.eclipse.xtext.ParserRule	getCastExprRule()
ProblemGrammarAccess.ClassDeclarationElements	getClassDeclarationAccess()
org.eclipse.xtext.ParserRule	getClassDeclarationRule()
ProblemGrammarAccess.ComparisonExprElements	getComparisonExprAccess()
org.eclipse.xtext.ParserRule	getComparisonExprRule()
ProblemGrammarAccess.ComparisonOpElements	getComparisonOpAccess()
org.eclipse.xtext.EnumRule	getComparisonOpRule()
ProblemGrammarAccess.ConcretenessElements	getConcretenessAccess()
org.eclipse.xtext.EnumRule	getConcretenessRule()
ProblemGrammarAccess.ConjunctionElements	getConjunctionAccess()
org.eclipse.xtext.ParserRule	getConjunctionRule()
ProblemGrammarAccess.ConsequentElements	getConsequentAccess()
org.eclipse.xtext.ParserRule	getConsequentRule()
ProblemGrammarAccess.ConstantElements	getConstantAccess()
org.eclipse.xtext.ParserRule	getConstantRule()
ProblemGrammarAccess.CountExprElements	getCountExprAccess()
org.eclipse.xtext.ParserRule	getCountExprRule()
ProblemGrammarAccess.DatatypeDeclarationElements	getDatatypeDeclarationAccess()
org.eclipse.xtext.ParserRule	getDatatypeDeclarationRule()
ProblemGrammarAccess.DefiniteMultiplicityElements	getDefiniteMultiplicityAccess()
org.eclipse.xtext.ParserRule	getDefiniteMultiplicityRule()
ProblemGrammarAccess.EnumDeclarationElements	getEnumDeclarationAccess()
org.eclipse.xtext.ParserRule	getEnumDeclarationRule()
ProblemGrammarAccess.EnumLiteralElements	getEnumLiteralAccess()
org.eclipse.xtext.ParserRule	getEnumLiteralRule()
ProblemGrammarAccess.ErrorPredicateKindElements	getErrorPredicateKindAccess()
org.eclipse.xtext.EnumRule	getErrorPredicateKindRule()
ProblemGrammarAccess.ExactMultiplicityElements	getExactMultiplicityAccess()
org.eclipse.xtext.ParserRule	getExactMultiplicityRule()
ProblemGrammarAccess.ExponentialExprElements	getExponentialExprAccess()
org.eclipse.xtext.ParserRule	getExponentialExprRule()
ProblemGrammarAccess.ExponentialOpElements	getExponentialOpAccess()
org.eclipse.xtext.EnumRule	getExponentialOpRule()
org.eclipse.xtext.TerminalRule	getEXPONENTIALRule()
ProblemGrammarAccess.ExprElements	getExprAccess()
org.eclipse.xtext.ParserRule	getExprRule()
org.eclipse.xtext.Grammar	getGrammar()
ProblemGrammarAccess.IdentifierElements	getIdentifierAccess()
org.eclipse.xtext.ParserRule	getIdentifierRule()
org.eclipse.xtext.TerminalRule	getIDRule()
ProblemGrammarAccess.ImportStatementElements	getImportStatementAccess()
org.eclipse.xtext.ParserRule	getImportStatementRule()
ProblemGrammarAccess.InfiniteConstantElements	getInfiniteConstantAccess()
org.eclipse.xtext.ParserRule	getInfiniteConstantRule()
ProblemGrammarAccess.IntConstantElements	getIntConstantAccess()
org.eclipse.xtext.ParserRule	getIntConstantRule()
org.eclipse.xtext.TerminalRule	getINTRule()
ProblemGrammarAccess.LatticeBinaryOpElements	getLatticeBinaryOpAccess()
org.eclipse.xtext.EnumRule	getLatticeBinaryOpRule()
ProblemGrammarAccess.LatticeExprElements	getLatticeExprAccess()
org.eclipse.xtext.ParserRule	getLatticeExprRule()
ProblemGrammarAccess.LogicConstantElements	getLogicConstantAccess()
org.eclipse.xtext.ParserRule	getLogicConstantRule()
ProblemGrammarAccess.LogicValueElements	getLogicValueAccess()
org.eclipse.xtext.EnumRule	getLogicValueRule()
org.eclipse.xtext.TerminalRule	getML_COMMENTRule()
ProblemGrammarAccess.ModalExprElements	getModalExprAccess()
org.eclipse.xtext.ParserRule	getModalExprRule()
ProblemGrammarAccess.ModalityElements	getModalityAccess()
org.eclipse.xtext.EnumRule	getModalityRule()
ProblemGrammarAccess.ModuleKindElements	getModuleKindAccess()
org.eclipse.xtext.EnumRule	getModuleKindRule()
ProblemGrammarAccess.MultiplicativeExprElements	getMultiplicativeExprAccess()
org.eclipse.xtext.ParserRule	getMultiplicativeExprRule()
ProblemGrammarAccess.MultiplicativeOpElements	getMultiplicativeOpAccess()
org.eclipse.xtext.EnumRule	getMultiplicativeOpRule()
ProblemGrammarAccess.MultiplicityElements	getMultiplicityAccess()
org.eclipse.xtext.ParserRule	getMultiplicityRule()
ProblemGrammarAccess.NegationExprElements	getNegationExprAccess()
org.eclipse.xtext.ParserRule	getNegationExprRule()
ProblemGrammarAccess.NodeAssertionArgumentElements	getNodeAssertionArgumentAccess()
org.eclipse.xtext.ParserRule	getNodeAssertionArgumentRule()
ProblemGrammarAccess.NodeDeclarationElements	getNodeDeclarationAccess()
org.eclipse.xtext.ParserRule	getNodeDeclarationRule()
ProblemGrammarAccess.NodeKindElements	getNodeKindAccess()
org.eclipse.xtext.EnumRule	getNodeKindRule()
ProblemGrammarAccess.NonContainmentIdentifierElements	getNonContainmentIdentifierAccess()
org.eclipse.xtext.ParserRule	getNonContainmentIdentifierRule()
ProblemGrammarAccess.NonContainmentQualifiedNameElements	getNonContainmentQualifiedNameAccess()
org.eclipse.xtext.ParserRule	getNonContainmentQualifiedNameRule()
ProblemGrammarAccess.ParameterElements	getParameterAccess()
ProblemGrammarAccess.ParameterBindingElements	getParameterBindingAccess()
org.eclipse.xtext.EnumRule	getParameterBindingRule()
org.eclipse.xtext.ParserRule	getParameterRule()
ProblemGrammarAccess.PredicateDefinitionElements	getPredicateDefinitionAccess()
org.eclipse.xtext.ParserRule	getPredicateDefinitionRule()
ProblemGrammarAccess.PredicateKindElements	getPredicateKindAccess()
org.eclipse.xtext.EnumRule	getPredicateKindRule()
ProblemGrammarAccess.ProblemElements	getProblemAccess()
org.eclipse.xtext.ParserRule	getProblemRule()
org.eclipse.xtext.TerminalRule	getQUALIFIED_NAME_SEPARATORRule()
ProblemGrammarAccess.QualifiedNameElements	getQualifiedNameAccess()
org.eclipse.xtext.ParserRule	getQualifiedNameRule()
org.eclipse.xtext.TerminalRule	getQUOTED_IDRule()
ProblemGrammarAccess.RangeExprElements	getRangeExprAccess()
org.eclipse.xtext.ParserRule	getRangeExprRule()
ProblemGrammarAccess.RangeMultiplicityElements	getRangeMultiplicityAccess()
org.eclipse.xtext.ParserRule	getRangeMultiplicityRule()
ProblemGrammarAccess.RealElements	getRealAccess()
ProblemGrammarAccess.RealConstantElements	getRealConstantAccess()
org.eclipse.xtext.ParserRule	getRealConstantRule()
org.eclipse.xtext.ParserRule	getRealRule()
ProblemGrammarAccess.ReferenceDeclarationElements	getReferenceDeclarationAccess()
org.eclipse.xtext.ParserRule	getReferenceDeclarationRule()
ProblemGrammarAccess.ReferenceKindElements	getReferenceKindAccess()
org.eclipse.xtext.EnumRule	getReferenceKindRule()
ProblemGrammarAccess.ReferenceMultiplicityElements	getReferenceMultiplicityAccess()
org.eclipse.xtext.ParserRule	getReferenceMultiplicityRule()
ProblemGrammarAccess.RuleDefinitionElements	getRuleDefinitionAccess()
org.eclipse.xtext.ParserRule	getRuleDefinitionRule()
ProblemGrammarAccess.RuleKindElements	getRuleKindAccess()
org.eclipse.xtext.EnumRule	getRuleKindRule()
ProblemGrammarAccess.ScopeDeclarationElements	getScopeDeclarationAccess()
org.eclipse.xtext.ParserRule	getScopeDeclarationRule()
ProblemGrammarAccess.ShortLogicConstantElements	getShortLogicConstantAccess()
org.eclipse.xtext.ParserRule	getShortLogicConstantRule()
ProblemGrammarAccess.ShortLogicValueElements	getShortLogicValueAccess()
org.eclipse.xtext.EnumRule	getShortLogicValueRule()
org.eclipse.xtext.TerminalRule	getSL_COMMENTRule()
ProblemGrammarAccess.StatementElements	getStatementAccess()
org.eclipse.xtext.ParserRule	getStatementRule()
ProblemGrammarAccess.StringConstantElements	getStringConstantAccess()
org.eclipse.xtext.ParserRule	getStringConstantRule()
org.eclipse.xtext.TerminalRule	getSTRINGRule()
org.eclipse.xtext.common.services.TerminalsGrammarAccess	getTerminalsGrammarAccess()
org.eclipse.xtext.TerminalRule	getTRANSITIVE_CLOSURERule()
ProblemGrammarAccess.TypeScopeElements	getTypeScopeAccess()
org.eclipse.xtext.ParserRule	getTypeScopeRule()
ProblemGrammarAccess.UnaryExprElements	getUnaryExprAccess()
org.eclipse.xtext.ParserRule	getUnaryExprRule()
ProblemGrammarAccess.UnaryOpElements	getUnaryOpAccess()
org.eclipse.xtext.EnumRule	getUnaryOpRule()
ProblemGrammarAccess.UnboundedMultiplicityElements	getUnboundedMultiplicityAccess()
org.eclipse.xtext.ParserRule	getUnboundedMultiplicityRule()
ProblemGrammarAccess.UpperBoundElements	getUpperBoundAccess()
org.eclipse.xtext.ParserRule	getUpperBoundRule()
ProblemGrammarAccess.VariableOrNodeExprElements	getVariableOrNodeExprAccess()
org.eclipse.xtext.ParserRule	getVariableOrNodeExprRule()
ProblemGrammarAccess.WildcardAssertionArgumentElements	getWildcardAssertionArgumentAccess()
org.eclipse.xtext.ParserRule	getWildcardAssertionArgumentRule()
org.eclipse.xtext.TerminalRule	getWSRule()
protected org.eclipse.xtext.Grammar	internalFindGrammar(org.eclipse.xtext.service.GrammarProvider grammarProvider)

Methods inherited from class org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder

getRules

Methods inherited from class org.eclipse.xtext.service.AbstractElementFinder

findAssignments, findByNestedRuleCall, findCrossReferences, findCrossReferences, findKeywordPairs, findKeywords, findRuleCalls

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.xtext.IGrammarAccess

findKeywordPairs, findKeywords, findRuleCalls

Constructor Details

ProblemGrammarAccess

@Inject
public ProblemGrammarAccess(org.eclipse.xtext.service.GrammarProvider grammarProvider,
 org.eclipse.xtext.common.services.TerminalsGrammarAccess gaTerminals)

Method Details

internalFindGrammar

protected org.eclipse.xtext.Grammar internalFindGrammar(org.eclipse.xtext.service.GrammarProvider grammarProvider)

getGrammar

public org.eclipse.xtext.Grammar getGrammar()

getTerminalsGrammarAccess

public org.eclipse.xtext.common.services.TerminalsGrammarAccess getTerminalsGrammarAccess()

getProblemAccess

public ProblemGrammarAccess.ProblemElements getProblemAccess()

getProblemRule

public org.eclipse.xtext.ParserRule getProblemRule()

getModuleKindAccess

public ProblemGrammarAccess.ModuleKindElements getModuleKindAccess()

getModuleKindRule

public org.eclipse.xtext.EnumRule getModuleKindRule()

getStatementAccess

public ProblemGrammarAccess.StatementElements getStatementAccess()

getStatementRule

public org.eclipse.xtext.ParserRule getStatementRule()

getImportStatementAccess

public ProblemGrammarAccess.ImportStatementElements getImportStatementAccess()

getImportStatementRule

public org.eclipse.xtext.ParserRule getImportStatementRule()

getClassDeclarationAccess

public ProblemGrammarAccess.ClassDeclarationElements getClassDeclarationAccess()

getClassDeclarationRule

public org.eclipse.xtext.ParserRule getClassDeclarationRule()

getEnumDeclarationAccess

public ProblemGrammarAccess.EnumDeclarationElements getEnumDeclarationAccess()

getEnumDeclarationRule

public org.eclipse.xtext.ParserRule getEnumDeclarationRule()

getEnumLiteralAccess

public ProblemGrammarAccess.EnumLiteralElements getEnumLiteralAccess()

getEnumLiteralRule

public org.eclipse.xtext.ParserRule getEnumLiteralRule()

getDatatypeDeclarationAccess

public ProblemGrammarAccess.DatatypeDeclarationElements getDatatypeDeclarationAccess()

getDatatypeDeclarationRule

public org.eclipse.xtext.ParserRule getDatatypeDeclarationRule()

getAggregatorDeclarationAccess

public ProblemGrammarAccess.AggregatorDeclarationElements getAggregatorDeclarationAccess()

getAggregatorDeclarationRule

public org.eclipse.xtext.ParserRule getAggregatorDeclarationRule()

getReferenceKindAccess

public ProblemGrammarAccess.ReferenceKindElements getReferenceKindAccess()

getReferenceKindRule

public org.eclipse.xtext.EnumRule getReferenceKindRule()

getReferenceDeclarationAccess

public ProblemGrammarAccess.ReferenceDeclarationElements getReferenceDeclarationAccess()

getReferenceDeclarationRule

public org.eclipse.xtext.ParserRule getReferenceDeclarationRule()

getReferenceMultiplicityAccess

public ProblemGrammarAccess.ReferenceMultiplicityElements getReferenceMultiplicityAccess()

getReferenceMultiplicityRule

public org.eclipse.xtext.ParserRule getReferenceMultiplicityRule()

getErrorPredicateKindAccess

public ProblemGrammarAccess.ErrorPredicateKindElements getErrorPredicateKindAccess()

getErrorPredicateKindRule

public org.eclipse.xtext.EnumRule getErrorPredicateKindRule()

getPredicateKindAccess

public ProblemGrammarAccess.PredicateKindElements getPredicateKindAccess()

getPredicateKindRule

public org.eclipse.xtext.EnumRule getPredicateKindRule()

getPredicateDefinitionAccess

public ProblemGrammarAccess.PredicateDefinitionElements getPredicateDefinitionAccess()

getPredicateDefinitionRule

public org.eclipse.xtext.ParserRule getPredicateDefinitionRule()

getConjunctionAccess

public ProblemGrammarAccess.ConjunctionElements getConjunctionAccess()

getConjunctionRule

public org.eclipse.xtext.ParserRule getConjunctionRule()

getRuleKindAccess

public ProblemGrammarAccess.RuleKindElements getRuleKindAccess()

getRuleKindRule

public org.eclipse.xtext.EnumRule getRuleKindRule()

getRuleDefinitionAccess

public ProblemGrammarAccess.RuleDefinitionElements getRuleDefinitionAccess()

getRuleDefinitionRule

public org.eclipse.xtext.ParserRule getRuleDefinitionRule()

getParameterBindingAccess

public ProblemGrammarAccess.ParameterBindingElements getParameterBindingAccess()

getParameterBindingRule

public org.eclipse.xtext.EnumRule getParameterBindingRule()

getParameterAccess

public ProblemGrammarAccess.ParameterElements getParameterAccess()

getParameterRule

public org.eclipse.xtext.ParserRule getParameterRule()

getConsequentAccess

public ProblemGrammarAccess.ConsequentElements getConsequentAccess()

getConsequentRule

public org.eclipse.xtext.ParserRule getConsequentRule()

getActionAccess

public ProblemGrammarAccess.ActionElements getActionAccess()

getActionRule

public org.eclipse.xtext.ParserRule getActionRule()

getAssertionActionAccess

public ProblemGrammarAccess.AssertionActionElements getAssertionActionAccess()

getAssertionActionRule

public org.eclipse.xtext.ParserRule getAssertionActionRule()

getExprAccess

public ProblemGrammarAccess.ExprElements getExprAccess()

getExprRule

public org.eclipse.xtext.ParserRule getExprRule()

getAssignmentExprAccess

public ProblemGrammarAccess.AssignmentExprElements getAssignmentExprAccess()

getAssignmentExprRule

public org.eclipse.xtext.ParserRule getAssignmentExprRule()

getBooleanBinaryOpAccess

public ProblemGrammarAccess.BooleanBinaryOpElements getBooleanBinaryOpAccess()

getBooleanBinaryOpRule

public org.eclipse.xtext.EnumRule getBooleanBinaryOpRule()

getBooleanExprAccess

public ProblemGrammarAccess.BooleanExprElements getBooleanExprAccess()

getBooleanExprRule

public org.eclipse.xtext.ParserRule getBooleanExprRule()

getComparisonOpAccess

public ProblemGrammarAccess.ComparisonOpElements getComparisonOpAccess()

getComparisonOpRule

public org.eclipse.xtext.EnumRule getComparisonOpRule()

getComparisonExprAccess

public ProblemGrammarAccess.ComparisonExprElements getComparisonExprAccess()

getComparisonExprRule

public org.eclipse.xtext.ParserRule getComparisonExprRule()

getLatticeBinaryOpAccess

public ProblemGrammarAccess.LatticeBinaryOpElements getLatticeBinaryOpAccess()

getLatticeBinaryOpRule

public org.eclipse.xtext.EnumRule getLatticeBinaryOpRule()

getLatticeExprAccess

public ProblemGrammarAccess.LatticeExprElements getLatticeExprAccess()

getLatticeExprRule

public org.eclipse.xtext.ParserRule getLatticeExprRule()

getAdditiveOpAccess

public ProblemGrammarAccess.AdditiveOpElements getAdditiveOpAccess()

getAdditiveOpRule

public org.eclipse.xtext.EnumRule getAdditiveOpRule()

getAdditiveExprAccess

public ProblemGrammarAccess.AdditiveExprElements getAdditiveExprAccess()

getAdditiveExprRule

public org.eclipse.xtext.ParserRule getAdditiveExprRule()

getMultiplicativeOpAccess

public ProblemGrammarAccess.MultiplicativeOpElements getMultiplicativeOpAccess()

getMultiplicativeOpRule

public org.eclipse.xtext.EnumRule getMultiplicativeOpRule()

getMultiplicativeExprAccess

public ProblemGrammarAccess.MultiplicativeExprElements getMultiplicativeExprAccess()

getMultiplicativeExprRule

public org.eclipse.xtext.ParserRule getMultiplicativeExprRule()

getExponentialOpAccess

public ProblemGrammarAccess.ExponentialOpElements getExponentialOpAccess()

getExponentialOpRule

public org.eclipse.xtext.EnumRule getExponentialOpRule()

getExponentialExprAccess

public ProblemGrammarAccess.ExponentialExprElements getExponentialExprAccess()

getExponentialExprRule

public org.eclipse.xtext.ParserRule getExponentialExprRule()

getRangeExprAccess

public ProblemGrammarAccess.RangeExprElements getRangeExprAccess()

getRangeExprRule

public org.eclipse.xtext.ParserRule getRangeExprRule()

getUnaryExprAccess

public ProblemGrammarAccess.UnaryExprElements getUnaryExprAccess()

getUnaryExprRule

public org.eclipse.xtext.ParserRule getUnaryExprRule()

getUnaryOpAccess

public ProblemGrammarAccess.UnaryOpElements getUnaryOpAccess()

getUnaryOpRule

public org.eclipse.xtext.EnumRule getUnaryOpRule()

getArithmeticUnaryExprAccess

public ProblemGrammarAccess.ArithmeticUnaryExprElements getArithmeticUnaryExprAccess()

getArithmeticUnaryExprRule

public org.eclipse.xtext.ParserRule getArithmeticUnaryExprRule()

getNegationExprAccess

public ProblemGrammarAccess.NegationExprElements getNegationExprAccess()

getNegationExprRule

public org.eclipse.xtext.ParserRule getNegationExprRule()

getCountExprAccess

public ProblemGrammarAccess.CountExprElements getCountExprAccess()

getCountExprRule

public org.eclipse.xtext.ParserRule getCountExprRule()

getAggregationExprAccess

public ProblemGrammarAccess.AggregationExprElements getAggregationExprAccess()

getAggregationExprRule

public org.eclipse.xtext.ParserRule getAggregationExprRule()

getConcretenessAccess

public ProblemGrammarAccess.ConcretenessElements getConcretenessAccess()

getConcretenessRule

public org.eclipse.xtext.EnumRule getConcretenessRule()

getModalityAccess

public ProblemGrammarAccess.ModalityElements getModalityAccess()

getModalityRule

public org.eclipse.xtext.EnumRule getModalityRule()

getModalExprAccess

public ProblemGrammarAccess.ModalExprElements getModalExprAccess()

getModalExprRule

public org.eclipse.xtext.ParserRule getModalExprRule()

getCastExprAccess

public ProblemGrammarAccess.CastExprElements getCastExprAccess()

getCastExprRule

public org.eclipse.xtext.ParserRule getCastExprRule()

getCastExprBodyAccess

public ProblemGrammarAccess.CastExprBodyElements getCastExprBodyAccess()

getCastExprBodyRule

public org.eclipse.xtext.ParserRule getCastExprBodyRule()

getAtomAccess

public ProblemGrammarAccess.AtomElements getAtomAccess()

getAtomRule

public org.eclipse.xtext.ParserRule getAtomRule()

getVariableOrNodeExprAccess

public ProblemGrammarAccess.VariableOrNodeExprElements getVariableOrNodeExprAccess()

getVariableOrNodeExprRule

public org.eclipse.xtext.ParserRule getVariableOrNodeExprRule()

getConstantAccess

public ProblemGrammarAccess.ConstantElements getConstantAccess()

getConstantRule

public org.eclipse.xtext.ParserRule getConstantRule()

getIntConstantAccess

public ProblemGrammarAccess.IntConstantElements getIntConstantAccess()

getIntConstantRule

public org.eclipse.xtext.ParserRule getIntConstantRule()

getRealConstantAccess

public ProblemGrammarAccess.RealConstantElements getRealConstantAccess()

getRealConstantRule

public org.eclipse.xtext.ParserRule getRealConstantRule()

getStringConstantAccess

public ProblemGrammarAccess.StringConstantElements getStringConstantAccess()

getStringConstantRule

public org.eclipse.xtext.ParserRule getStringConstantRule()

getInfiniteConstantAccess

public ProblemGrammarAccess.InfiniteConstantElements getInfiniteConstantAccess()

getInfiniteConstantRule

public org.eclipse.xtext.ParserRule getInfiniteConstantRule()

getLogicValueAccess

public ProblemGrammarAccess.LogicValueElements getLogicValueAccess()

getLogicValueRule

public org.eclipse.xtext.EnumRule getLogicValueRule()

getLogicConstantAccess

public ProblemGrammarAccess.LogicConstantElements getLogicConstantAccess()

getLogicConstantRule

public org.eclipse.xtext.ParserRule getLogicConstantRule()

getAssertionAccess

public ProblemGrammarAccess.AssertionElements getAssertionAccess()

getAssertionRule

public org.eclipse.xtext.ParserRule getAssertionRule()

getAssertionArgumentAccess

public ProblemGrammarAccess.AssertionArgumentElements getAssertionArgumentAccess()

getAssertionArgumentRule

public org.eclipse.xtext.ParserRule getAssertionArgumentRule()

getNodeAssertionArgumentAccess

public ProblemGrammarAccess.NodeAssertionArgumentElements getNodeAssertionArgumentAccess()

getNodeAssertionArgumentRule

public org.eclipse.xtext.ParserRule getNodeAssertionArgumentRule()

getWildcardAssertionArgumentAccess

public ProblemGrammarAccess.WildcardAssertionArgumentElements getWildcardAssertionArgumentAccess()

getWildcardAssertionArgumentRule

public org.eclipse.xtext.ParserRule getWildcardAssertionArgumentRule()

getShortLogicValueAccess

public ProblemGrammarAccess.ShortLogicValueElements getShortLogicValueAccess()

getShortLogicValueRule

public org.eclipse.xtext.EnumRule getShortLogicValueRule()

getShortLogicConstantAccess

public ProblemGrammarAccess.ShortLogicConstantElements getShortLogicConstantAccess()

getShortLogicConstantRule

public org.eclipse.xtext.ParserRule getShortLogicConstantRule()

getScopeDeclarationAccess

public ProblemGrammarAccess.ScopeDeclarationElements getScopeDeclarationAccess()

getScopeDeclarationRule

public org.eclipse.xtext.ParserRule getScopeDeclarationRule()

getTypeScopeAccess

public ProblemGrammarAccess.TypeScopeElements getTypeScopeAccess()

getTypeScopeRule

public org.eclipse.xtext.ParserRule getTypeScopeRule()

getMultiplicityAccess

public ProblemGrammarAccess.MultiplicityElements getMultiplicityAccess()

getMultiplicityRule

public org.eclipse.xtext.ParserRule getMultiplicityRule()

getDefiniteMultiplicityAccess

public ProblemGrammarAccess.DefiniteMultiplicityElements getDefiniteMultiplicityAccess()

getDefiniteMultiplicityRule

public org.eclipse.xtext.ParserRule getDefiniteMultiplicityRule()

getUnboundedMultiplicityAccess

public ProblemGrammarAccess.UnboundedMultiplicityElements getUnboundedMultiplicityAccess()

getUnboundedMultiplicityRule

public org.eclipse.xtext.ParserRule getUnboundedMultiplicityRule()

getRangeMultiplicityAccess

public ProblemGrammarAccess.RangeMultiplicityElements getRangeMultiplicityAccess()

getRangeMultiplicityRule

public org.eclipse.xtext.ParserRule getRangeMultiplicityRule()

getExactMultiplicityAccess

public ProblemGrammarAccess.ExactMultiplicityElements getExactMultiplicityAccess()

getExactMultiplicityRule

public org.eclipse.xtext.ParserRule getExactMultiplicityRule()

getNodeDeclarationAccess

public ProblemGrammarAccess.NodeDeclarationElements getNodeDeclarationAccess()

getNodeDeclarationRule

public org.eclipse.xtext.ParserRule getNodeDeclarationRule()

getNodeKindAccess

public ProblemGrammarAccess.NodeKindElements getNodeKindAccess()

getNodeKindRule

public org.eclipse.xtext.EnumRule getNodeKindRule()

getUpperBoundAccess

public ProblemGrammarAccess.UpperBoundElements getUpperBoundAccess()

getUpperBoundRule

public org.eclipse.xtext.ParserRule getUpperBoundRule()

getQualifiedNameAccess

public ProblemGrammarAccess.QualifiedNameElements getQualifiedNameAccess()

getQualifiedNameRule

public org.eclipse.xtext.ParserRule getQualifiedNameRule()

getNonContainmentQualifiedNameAccess

public ProblemGrammarAccess.NonContainmentQualifiedNameElements getNonContainmentQualifiedNameAccess()

getNonContainmentQualifiedNameRule

public org.eclipse.xtext.ParserRule getNonContainmentQualifiedNameRule()

getIdentifierAccess

public ProblemGrammarAccess.IdentifierElements getIdentifierAccess()

getIdentifierRule

public org.eclipse.xtext.ParserRule getIdentifierRule()

getNonContainmentIdentifierAccess

public ProblemGrammarAccess.NonContainmentIdentifierElements getNonContainmentIdentifierAccess()

getNonContainmentIdentifierRule

public org.eclipse.xtext.ParserRule getNonContainmentIdentifierRule()

getRealAccess

public ProblemGrammarAccess.RealElements getRealAccess()

getRealRule

public org.eclipse.xtext.ParserRule getRealRule()

getTRANSITIVE_CLOSURERule

public org.eclipse.xtext.TerminalRule getTRANSITIVE_CLOSURERule()

getQUALIFIED_NAME_SEPARATORRule

public org.eclipse.xtext.TerminalRule getQUALIFIED_NAME_SEPARATORRule()

getIDRule

public org.eclipse.xtext.TerminalRule getIDRule()

getEXPONENTIALRule

public org.eclipse.xtext.TerminalRule getEXPONENTIALRule()

getSL_COMMENTRule

public org.eclipse.xtext.TerminalRule getSL_COMMENTRule()

getSTRINGRule

public org.eclipse.xtext.TerminalRule getSTRINGRule()

getQUOTED_IDRule

public org.eclipse.xtext.TerminalRule getQUOTED_IDRule()

getINTRule

public org.eclipse.xtext.TerminalRule getINTRule()

getML_COMMENTRule

public org.eclipse.xtext.TerminalRule getML_COMMENTRule()

getWSRule

public org.eclipse.xtext.TerminalRule getWSRule()

getANY_OTHERRule

public org.eclipse.xtext.TerminalRule getANY_OTHERRule()