Uses of Interface
de.cau.cs.kieler.esterel.esterel.AbortCaseSingle

Packages that use AbortCaseSingle
de.cau.cs.kieler.esterel.esterel   
de.cau.cs.kieler.esterel.esterel.impl   
de.cau.cs.kieler.esterel.esterel.util   
 

Uses of AbortCaseSingle in de.cau.cs.kieler.esterel.esterel
 

Methods in de.cau.cs.kieler.esterel.esterel that return AbortCaseSingle
 AbortCaseSingle EsterelFactory.createAbortCaseSingle()
          Returns a new object of class 'Abort Case Single'.
 

Methods in de.cau.cs.kieler.esterel.esterel that return types with arguments of type AbortCaseSingle
 EList<AbortCaseSingle> AbortCase.getCases()
          Returns the value of the 'Cases' containment reference list.
 EList<AbortCaseSingle> AwaitCase.getCases()
          Returns the value of the 'Cases' containment reference list.
 EList<AbortCaseSingle> WeakAbortCase.getCases()
          Returns the value of the 'Cases' containment reference list.
 

Uses of AbortCaseSingle in de.cau.cs.kieler.esterel.esterel.impl
 

Classes in de.cau.cs.kieler.esterel.esterel.impl that implement AbortCaseSingle
 class AbortCaseSingleImpl
          An implementation of the model object 'Abort Case Single'.
 

Fields in de.cau.cs.kieler.esterel.esterel.impl with type parameters of type AbortCaseSingle
protected  EList<AbortCaseSingle> AbortCaseImpl.cases
          The cached value of the 'Cases' containment reference list.
protected  EList<AbortCaseSingle> AwaitCaseImpl.cases
          The cached value of the 'Cases' containment reference list.
protected  EList<AbortCaseSingle> WeakAbortCaseImpl.cases
          The cached value of the 'Cases' containment reference list.
 

Methods in de.cau.cs.kieler.esterel.esterel.impl that return AbortCaseSingle
 AbortCaseSingle EsterelFactoryImpl.createAbortCaseSingle()
           
 

Methods in de.cau.cs.kieler.esterel.esterel.impl that return types with arguments of type AbortCaseSingle
 EList<AbortCaseSingle> AbortCaseImpl.getCases()
           
 EList<AbortCaseSingle> AwaitCaseImpl.getCases()
           
 EList<AbortCaseSingle> WeakAbortCaseImpl.getCases()
           
 

Uses of AbortCaseSingle in de.cau.cs.kieler.esterel.esterel.util
 

Methods in de.cau.cs.kieler.esterel.esterel.util with parameters of type AbortCaseSingle
 T EsterelSwitch.caseAbortCaseSingle(AbortCaseSingle object)
          Returns the result of interpreting the object as an instance of 'Abort Case Single'.