de.cau.cs.kieler.quartz.editor.services
Class QuartzGrammarAccess
java.lang.Object
org.eclipse.xtext.service.AbstractElementFinder
org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder
de.cau.cs.kieler.quartz.editor.services.QuartzGrammarAccess
- All Implemented Interfaces:
- org.eclipse.xtext.IGrammarAccess
public class QuartzGrammarAccess
- extends org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder
- 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 |
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 |
QuartzGrammarAccess(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 |
QuartzGrammarAccess
@Inject
public QuartzGrammarAccess(org.eclipse.xtext.service.GrammarProvider grammarProvider)
getGrammar
public org.eclipse.xtext.Grammar getGrammar()
getQrzFileAccess
public QuartzGrammarAccess.QrzFileElements getQrzFileAccess()
getQrzFileRule
public org.eclipse.xtext.ParserRule getQrzFileRule()
getPackagePathAccess
public QuartzGrammarAccess.PackagePathElements getPackagePathAccess()
getPackagePathRule
public org.eclipse.xtext.ParserRule getPackagePathRule()
getImportListAccess
public QuartzGrammarAccess.ImportListElements getImportListAccess()
getImportListRule
public org.eclipse.xtext.ParserRule getImportListRule()
getPointedNameAccess
public QuartzGrammarAccess.PointedNameElements getPointedNameAccess()
getPointedNameRule
public org.eclipse.xtext.ParserRule getPointedNameRule()
getMacroDefAccess
public QuartzGrammarAccess.MacroDefElements getMacroDefAccess()
getMacroDefRule
public org.eclipse.xtext.ParserRule getMacroDefRule()
getQModuleAccess
public QuartzGrammarAccess.QModuleElements getQModuleAccess()
getQModuleRule
public org.eclipse.xtext.ParserRule getQModuleRule()
getObservedSpecListAccess
public QuartzGrammarAccess.ObservedSpecListElements getObservedSpecListAccess()
getObservedSpecListRule
public org.eclipse.xtext.ParserRule getObservedSpecListRule()
getNameAccess
public QuartzGrammarAccess.NameElements getNameAccess()
getNameRule
public org.eclipse.xtext.ParserRule getNameRule()
getQNameAccess
public QuartzGrammarAccess.QNameElements getQNameAccess()
getQNameRule
public org.eclipse.xtext.ParserRule getQNameRule()
getQNameListAccess
public QuartzGrammarAccess.QNameListElements getQNameListAccess()
getQNameListRule
public org.eclipse.xtext.ParserRule getQNameListRule()
getStorageAccess
public QuartzGrammarAccess.StorageElements getStorageAccess()
getStorageRule
public org.eclipse.xtext.ParserRule getStorageRule()
getQTypeAccess
public QuartzGrammarAccess.QTypeElements getQTypeAccess()
getQTypeRule
public org.eclipse.xtext.ParserRule getQTypeRule()
getQTypeListAccess
public QuartzGrammarAccess.QTypeListElements getQTypeListAccess()
getQTypeListRule
public org.eclipse.xtext.ParserRule getQTypeListRule()
getDimListAccess
public QuartzGrammarAccess.DimListElements getDimListAccess()
getDimListRule
public org.eclipse.xtext.ParserRule getDimListRule()
getInOutNameAccess
public QuartzGrammarAccess.InOutNameElements getInOutNameAccess()
getInOutNameRule
public org.eclipse.xtext.ParserRule getInOutNameRule()
getInOutNameListAccess
public QuartzGrammarAccess.InOutNameListElements getInOutNameListAccess()
getInOutNameListRule
public org.eclipse.xtext.ParserRule getInOutNameListRule()
getInOutNameListCommaAccess
public QuartzGrammarAccess.InOutNameListCommaElements getInOutNameListCommaAccess()
getInOutNameListCommaRule
public org.eclipse.xtext.ParserRule getInOutNameListCommaRule()
getInterfaceAccess
public QuartzGrammarAccess.InterfaceElements getInterfaceAccess()
getInterfaceRule
public org.eclipse.xtext.ParserRule getInterfaceRule()
getInterfaceCommaAccess
public QuartzGrammarAccess.InterfaceCommaElements getInterfaceCommaAccess()
getInterfaceCommaRule
public org.eclipse.xtext.ParserRule getInterfaceCommaRule()
getInterfaceListAccess
public QuartzGrammarAccess.InterfaceListElements getInterfaceListAccess()
getInterfaceListRule
public org.eclipse.xtext.ParserRule getInterfaceListRule()
getVerifTaskAccess
public QuartzGrammarAccess.VerifTaskElements getVerifTaskAccess()
getVerifTaskRule
public org.eclipse.xtext.ParserRule getVerifTaskRule()
getControlListAccess
public QuartzGrammarAccess.ControlListElements getControlListAccess()
getControlListRule
public org.eclipse.xtext.ParserRule getControlListRule()
getAssumeListAccess
public QuartzGrammarAccess.AssumeListElements getAssumeListAccess()
getAssumeListRule
public org.eclipse.xtext.ParserRule getAssumeListRule()
getProofGoalListAccess
public QuartzGrammarAccess.ProofGoalListElements getProofGoalListAccess()
getProofGoalListRule
public org.eclipse.xtext.ParserRule getProofGoalListRule()
getFixpointEqListAccess
public QuartzGrammarAccess.FixpointEqListElements getFixpointEqListAccess()
getFixpointEqListRule
public org.eclipse.xtext.ParserRule getFixpointEqListRule()
getOptUtyExprAccess
public QuartzGrammarAccess.OptUtyExprElements getOptUtyExprAccess()
getOptUtyExprRule
public org.eclipse.xtext.ParserRule getOptUtyExprRule()
getOptUtyExprListAccess
public QuartzGrammarAccess.OptUtyExprListElements getOptUtyExprListAccess()
getOptUtyExprListRule
public org.eclipse.xtext.ParserRule getOptUtyExprListRule()
getUtyExprSelectListAccess
public QuartzGrammarAccess.UtyExprSelectListElements getUtyExprSelectListAccess()
getUtyExprSelectListRule
public org.eclipse.xtext.ParserRule getUtyExprSelectListRule()
getUtyExprAccess
public QuartzGrammarAccess.UtyExprElements getUtyExprAccess()
getUtyExprRule
public org.eclipse.xtext.ParserRule getUtyExprRule()
getUtyActionAccess
public QuartzGrammarAccess.UtyActionElements getUtyActionAccess()
getUtyActionRule
public org.eclipse.xtext.ParserRule getUtyActionRule()
getCase_listAccess
public QuartzGrammarAccess.Case_listElements getCase_listAccess()
getCase_listRule
public org.eclipse.xtext.ParserRule getCase_listRule()
getDUtyExprAccess
public QuartzGrammarAccess.DUtyExprElements getDUtyExprAccess()
getDUtyExprRule
public org.eclipse.xtext.ParserRule getDUtyExprRule()
getDUtyExprsAccess
public QuartzGrammarAccess.DUtyExprsElements getDUtyExprsAccess()
getDUtyExprsRule
public org.eclipse.xtext.ParserRule getDUtyExprsRule()
getGenericAccess
public QuartzGrammarAccess.GenericElements getGenericAccess()
getGenericRule
public org.eclipse.xtext.ParserRule getGenericRule()
getLocStmtAccess
public QuartzGrammarAccess.LocStmtElements getLocStmtAccess()
getLocStmtRule
public org.eclipse.xtext.ParserRule getLocStmtRule()
getSeqStmtAccess
public QuartzGrammarAccess.SeqStmtElements getSeqStmtAccess()
getSeqStmtRule
public org.eclipse.xtext.ParserRule getSeqStmtRule()
getStmtAccess
public QuartzGrammarAccess.StmtElements getStmtAccess()
getStmtRule
public org.eclipse.xtext.ParserRule getStmtRule()
getAtomicStmtAccess
public QuartzGrammarAccess.AtomicStmtElements getAtomicStmtAccess()
getAtomicStmtRule
public org.eclipse.xtext.ParserRule getAtomicStmtRule()
getNamedStmtAccess
public QuartzGrammarAccess.NamedStmtElements getNamedStmtAccess()
getNamedStmtRule
public org.eclipse.xtext.ParserRule getNamedStmtRule()
getNOTAccess
public QuartzGrammarAccess.NOTElements getNOTAccess()
getNOTRule
public org.eclipse.xtext.ParserRule getNOTRule()
getANDAccess
public QuartzGrammarAccess.ANDElements getANDAccess()
getANDRule
public org.eclipse.xtext.ParserRule getANDRule()
getXORAccess
public QuartzGrammarAccess.XORElements getXORAccess()
getXORRule
public org.eclipse.xtext.ParserRule getXORRule()
getORAccess
public QuartzGrammarAccess.ORElements getORAccess()
getORRule
public org.eclipse.xtext.ParserRule getORRule()
getIMPAccess
public QuartzGrammarAccess.IMPElements getIMPAccess()
getIMPRule
public org.eclipse.xtext.ParserRule getIMPRule()
getEQUAccess
public QuartzGrammarAccess.EQUElements getEQUAccess()
getEQURule
public org.eclipse.xtext.ParserRule getEQURule()
getBVCONSTRule
public org.eclipse.xtext.TerminalRule getBVCONSTRule()
getOCTCONSTRule
public org.eclipse.xtext.TerminalRule getOCTCONSTRule()
getHEXCONSTRule
public org.eclipse.xtext.TerminalRule getHEXCONSTRule()
getNATCONSTRule
public org.eclipse.xtext.TerminalRule getNATCONSTRule()
getREALCONSTRule
public org.eclipse.xtext.TerminalRule getREALCONSTRule()
getIDRule
public org.eclipse.xtext.TerminalRule getIDRule()
getML_COMMENTRule
public org.eclipse.xtext.TerminalRule getML_COMMENTRule()
getSL_COMMENTRule
public org.eclipse.xtext.TerminalRule getSL_COMMENTRule()
getWSRule
public org.eclipse.xtext.TerminalRule getWSRule()