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

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

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

Methods in de.cau.cs.kieler.esterel.esterel that return Pause
 Pause EsterelFactory.createPause()
          Returns a new object of class 'Pause'.
 

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

Classes in de.cau.cs.kieler.esterel.esterel.impl that implement Pause
 class PauseImpl
          An implementation of the model object 'Pause'.
 

Methods in de.cau.cs.kieler.esterel.esterel.impl that return Pause
 Pause EsterelFactoryImpl.createPause()
           
 

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

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