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

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

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

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

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

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

Methods in de.cau.cs.kieler.esterel.esterel.impl that return AbortCase
 AbortCase EsterelFactoryImpl.createAbortCase()
           
 

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

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