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

All Superinterfaces:
EObject, Notifier
All Known Subinterfaces:
ProofGoalList
All Known Implementing Classes:
ObservedSpecListImpl, ProofGoalListImpl

public interface ObservedSpecList
extends EObject

A representation of the model object 'Observed Spec List'.

See Also:
QuartzPackage.getObservedSpecList()
Rating red
Generated:
This code was automatically generated.
Model element

Method Summary
 
Methods inherited from interface org.eclipse.emf.ecore.EObject
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eIsProxy, eIsSet, eResource, eSet, eUnset
 
Methods inherited from interface org.eclipse.emf.common.notify.Notifier
eAdapters, eDeliver, eNotify, eSetDeliver