de.cau.cs.kieler.quartz.editor.services
Class QuartzGrammarAccess.ObservedSpecListElements

java.lang.Object
  extended by org.eclipse.xtext.service.AbstractElementFinder
      extended by org.eclipse.xtext.service.AbstractElementFinder.AbstractParserRuleElementFinder
          extended by de.cau.cs.kieler.quartz.editor.services.QuartzGrammarAccess.ObservedSpecListElements
All Implemented Interfaces:
org.eclipse.xtext.IGrammarAccess.IAbstractRuleAccess, org.eclipse.xtext.IGrammarAccess.IParserRuleAccess
Enclosing class:
QuartzGrammarAccess

public class QuartzGrammarAccess.ObservedSpecListElements
extends org.eclipse.xtext.service.AbstractElementFinder.AbstractParserRuleElementFinder

Rating red

Nested Class Summary
 
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
 
Constructor Summary
QuartzGrammarAccess.ObservedSpecListElements()
           
 
Method Summary
 org.eclipse.xtext.Group getGroup()
           
 org.eclipse.xtext.Keyword getLeftCurlyBracketKeyword_1()
           
 org.eclipse.xtext.RuleCall getProofGoalListParserRuleCall_2()
           
 org.eclipse.xtext.Keyword getRightCurlyBracketKeyword_3()
           
 org.eclipse.xtext.ParserRule getRule()
           
 org.eclipse.xtext.Keyword getSatisfiesKeyword_0()
           
 
Methods inherited from class org.eclipse.xtext.service.AbstractElementFinder.AbstractParserRuleElementFinder
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
 

Constructor Detail

QuartzGrammarAccess.ObservedSpecListElements

public QuartzGrammarAccess.ObservedSpecListElements()
Method Detail

getRule

public org.eclipse.xtext.ParserRule getRule()

getGroup

public org.eclipse.xtext.Group getGroup()

getSatisfiesKeyword_0

public org.eclipse.xtext.Keyword getSatisfiesKeyword_0()

getLeftCurlyBracketKeyword_1

public org.eclipse.xtext.Keyword getLeftCurlyBracketKeyword_1()

getProofGoalListParserRuleCall_2

public org.eclipse.xtext.RuleCall getProofGoalListParserRuleCall_2()

getRightCurlyBracketKeyword_3

public org.eclipse.xtext.Keyword getRightCurlyBracketKeyword_3()