|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Region
A representation of the model object 'Region'.
Regions represent a parallelism in SyncCharts. A State
may contain
multiple Regions and each Region may contain multiple States. The Regions
are then logically executed in parallel. A SyncChart gets represented by one root Region
that contains exactly one root State.
A Region is a Scope
and therefore gets identified by label and id
and carries an interface declaration. Hence a Region may declare
local signals or variables.
The following features are supported:
SyncchartsPackage.getRegion()
Field Summary | |
---|---|
static String |
copyright
|
Method Summary | |
---|---|
State |
getParentState()
Returns the value of the 'Parent State' container reference. |
EList<State> |
getStates()
Returns the value of the 'States' containment reference list. |
void |
setParentState(State value)
Sets the value of the ' Parent State ' container reference. |
Methods inherited from interface de.cau.cs.kieler.synccharts.Scope |
---|
getBodyContents, getBodyReference, getBodyText, getEntryActions, getExitActions, getId, getInnerActions, getInterfaceDeclaration, getLabel, getRenamings, getSignals, getSuspensionTrigger, getVariables, setBodyContents, setBodyReference, setId, setInterfaceDeclaration, setLabel, setSuspensionTrigger |
Methods inherited from interface de.cau.cs.kieler.core.annotations.Annotatable |
---|
getAllAnnotations, getAnnotation, getAnnotations, removeAllAnnotations |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Field Detail |
---|
static final String copyright
Method Detail |
---|
EList<State> getStates()
State
.
It is bidirectional and its opposite is 'Parent Region
'.
If the meaning of the 'States' containment reference list isn't clear, there really should be more of a description here...
SyncchartsPackage.getRegion_States()
,
State.getParentRegion()
opposite | = | parentRegion |
containment | = | true |
State getParentState()
Regions
'.
If the meaning of the 'Parent State' container reference isn't clear, there really should be more of a description here...
setParentState(State)
,
SyncchartsPackage.getRegion_ParentState()
,
State.getRegions()
opposite | = | regions |
transient | = | false |
void setParentState(State value)
Parent State
' container reference.
value
- the new value of the 'Parent State' container reference.getParentState()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |