|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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'. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |