Uses of Interface
de.cau.cs.kieler.quartz.editor.quartz.ObservedSpecList

Packages that use ObservedSpecList
de.cau.cs.kieler.quartz.editor.quartz   
de.cau.cs.kieler.quartz.editor.quartz.impl   
de.cau.cs.kieler.quartz.editor.quartz.util   
 

Uses of ObservedSpecList in de.cau.cs.kieler.quartz.editor.quartz
 

Subinterfaces of ObservedSpecList in de.cau.cs.kieler.quartz.editor.quartz
 interface ProofGoalList
          A representation of the model object 'Proof Goal List'.
 

Methods in de.cau.cs.kieler.quartz.editor.quartz that return ObservedSpecList
 ObservedSpecList QuartzFactory.createObservedSpecList()
          Returns a new object of class 'Observed Spec List'.
 

Methods in de.cau.cs.kieler.quartz.editor.quartz that return types with arguments of type ObservedSpecList
 EList<ObservedSpecList> QModule.getObs()
          Returns the value of the 'Obs' containment reference list.
 

Uses of ObservedSpecList in de.cau.cs.kieler.quartz.editor.quartz.impl
 

Classes in de.cau.cs.kieler.quartz.editor.quartz.impl that implement ObservedSpecList
 class ObservedSpecListImpl
          An implementation of the model object 'Observed Spec List'.
 class ProofGoalListImpl
          An implementation of the model object 'Proof Goal List'.
 

Fields in de.cau.cs.kieler.quartz.editor.quartz.impl with type parameters of type ObservedSpecList
protected  EList<ObservedSpecList> QModuleImpl.obs
          The cached value of the 'Obs' containment reference list.
 

Methods in de.cau.cs.kieler.quartz.editor.quartz.impl that return ObservedSpecList
 ObservedSpecList QuartzFactoryImpl.createObservedSpecList()
           
 

Methods in de.cau.cs.kieler.quartz.editor.quartz.impl that return types with arguments of type ObservedSpecList
 EList<ObservedSpecList> QModuleImpl.getObs()
           
 

Uses of ObservedSpecList in de.cau.cs.kieler.quartz.editor.quartz.util
 

Methods in de.cau.cs.kieler.quartz.editor.quartz.util with parameters of type ObservedSpecList
 T QuartzSwitch.caseObservedSpecList(ObservedSpecList object)
          Returns the result of interpreting the object as an instance of 'Observed Spec List'.