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

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.VerifTaskElements
All Implemented Interfaces:
org.eclipse.xtext.IGrammarAccess.IAbstractRuleAccess, org.eclipse.xtext.IGrammarAccess.IParserRuleAccess
Enclosing class:
QuartzGrammarAccess

public class QuartzGrammarAccess.VerifTaskElements
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.VerifTaskElements()
           
 
Method Summary
 org.eclipse.xtext.Alternatives getAlternatives()
           
 org.eclipse.xtext.Keyword getDisProveAKeyword_3_1()
           
 org.eclipse.xtext.Keyword getDisProveEKeyword_2_1()
           
 org.eclipse.xtext.Group getGroup_0()
           
 org.eclipse.xtext.Group getGroup_1()
           
 org.eclipse.xtext.Group getGroup_2()
           
 org.eclipse.xtext.Group getGroup_3()
           
 org.eclipse.xtext.Keyword getLeftSquareBracketKeyword_0_0()
           
 org.eclipse.xtext.Keyword getLeftSquareBracketKeyword_1_0()
           
 org.eclipse.xtext.Keyword getLeftSquareBracketKeyword_2_0()
           
 org.eclipse.xtext.Keyword getLeftSquareBracketKeyword_3_0()
           
 org.eclipse.xtext.Keyword getProveAKeyword_1_1()
           
 org.eclipse.xtext.Keyword getProveEKeyword_0_1()
           
 org.eclipse.xtext.Keyword getRightSquareBracketKeyword_0_2()
           
 org.eclipse.xtext.Keyword getRightSquareBracketKeyword_1_2()
           
 org.eclipse.xtext.Keyword getRightSquareBracketKeyword_2_2()
           
 org.eclipse.xtext.Keyword getRightSquareBracketKeyword_3_2()
           
 org.eclipse.xtext.ParserRule getRule()
           
 
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.VerifTaskElements

public QuartzGrammarAccess.VerifTaskElements()
Method Detail

getRule

public org.eclipse.xtext.ParserRule getRule()

getAlternatives

public org.eclipse.xtext.Alternatives getAlternatives()

getGroup_0

public org.eclipse.xtext.Group getGroup_0()

getLeftSquareBracketKeyword_0_0

public org.eclipse.xtext.Keyword getLeftSquareBracketKeyword_0_0()

getProveEKeyword_0_1

public org.eclipse.xtext.Keyword getProveEKeyword_0_1()

getRightSquareBracketKeyword_0_2

public org.eclipse.xtext.Keyword getRightSquareBracketKeyword_0_2()

getGroup_1

public org.eclipse.xtext.Group getGroup_1()

getLeftSquareBracketKeyword_1_0

public org.eclipse.xtext.Keyword getLeftSquareBracketKeyword_1_0()

getProveAKeyword_1_1

public org.eclipse.xtext.Keyword getProveAKeyword_1_1()

getRightSquareBracketKeyword_1_2

public org.eclipse.xtext.Keyword getRightSquareBracketKeyword_1_2()

getGroup_2

public org.eclipse.xtext.Group getGroup_2()

getLeftSquareBracketKeyword_2_0

public org.eclipse.xtext.Keyword getLeftSquareBracketKeyword_2_0()

getDisProveEKeyword_2_1

public org.eclipse.xtext.Keyword getDisProveEKeyword_2_1()

getRightSquareBracketKeyword_2_2

public org.eclipse.xtext.Keyword getRightSquareBracketKeyword_2_2()

getGroup_3

public org.eclipse.xtext.Group getGroup_3()

getLeftSquareBracketKeyword_3_0

public org.eclipse.xtext.Keyword getLeftSquareBracketKeyword_3_0()

getDisProveAKeyword_3_1

public org.eclipse.xtext.Keyword getDisProveAKeyword_3_1()

getRightSquareBracketKeyword_3_2

public org.eclipse.xtext.Keyword getRightSquareBracketKeyword_3_2()