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

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

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

Methods in de.cau.cs.kieler.esterel.esterel that return ProcedureRenaming
 ProcedureRenaming EsterelFactory.createProcedureRenaming()
          Returns a new object of class 'Procedure Renaming'.
 

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

Classes in de.cau.cs.kieler.esterel.esterel.impl that implement ProcedureRenaming
 class ProcedureRenamingImpl
          An implementation of the model object 'Procedure Renaming'.
 

Methods in de.cau.cs.kieler.esterel.esterel.impl that return ProcedureRenaming
 ProcedureRenaming EsterelFactoryImpl.createProcedureRenaming()
           
 

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

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