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

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

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

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

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

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

Methods in de.cau.cs.kieler.esterel.esterel.impl that return WeakAbortCase
 WeakAbortCase EsterelFactoryImpl.createWeakAbortCase()
           
 

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

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