de.cau.cs.kieler.esterel.esterel
Interface AwaitCase

All Superinterfaces:
AwaitBody, EObject, Notifier
All Known Implementing Classes:
AwaitCaseImpl

public interface AwaitCase
extends AwaitBody

A representation of the model object 'Await Case'.

The following features are supported:

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

Method Summary
 EList<AbortCaseSingle> getCases()
          Returns the value of the 'Cases' containment reference list.
 String getEnd()
          Returns the value of the 'End' attribute.
 void setEnd(String value)
          Sets the value of the 'End' attribute.
 
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
 

Method Detail

getCases

EList<AbortCaseSingle> getCases()
Returns the value of the 'Cases' containment reference list. The list contents are of type AbortCaseSingle.

If the meaning of the 'Cases' containment reference list isn't clear, there really should be more of a description here...

Returns:
the value of the 'Cases' containment reference list.
See Also:
EsterelPackage.getAwaitCase_Cases()
Generated:
This code was automatically generated.
Model element:
containment=true

getEnd

String getEnd()
Returns the value of the 'End' attribute.

If the meaning of the 'End' attribute isn't clear, there really should be more of a description here...

Returns:
the value of the 'End' attribute.
See Also:
setEnd(String), EsterelPackage.getAwaitCase_End()
Generated:
This code was automatically generated.
Model element

setEnd

void setEnd(String value)
Sets the value of the 'End' attribute.

Parameters:
value - the new value of the 'End' attribute.
See Also:
getEnd()
Generated:
This code was automatically generated.