de.cau.cs.kieler.quartz.editor.services
Class QuartzGrammarAccess.VerifTaskElements
java.lang.Object
org.eclipse.xtext.service.AbstractElementFinder
org.eclipse.xtext.service.AbstractElementFinder.AbstractParserRuleElementFinder
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

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 |
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 |
QuartzGrammarAccess.VerifTaskElements
public QuartzGrammarAccess.VerifTaskElements()
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()