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

java.lang.Object
  extended by org.eclipse.xtext.service.AbstractElementFinder
      extended by org.eclipse.xtext.service.AbstractElementFinder.AbstractGrammarElementFinder
          extended by 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 red

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

Constructor Detail

QuartzGrammarAccess

@Inject
public QuartzGrammarAccess(org.eclipse.xtext.service.GrammarProvider grammarProvider)
Method Detail

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()