de.cau.cs.kieler.synccharts
Interface Region

All Superinterfaces:
Annotatable, EObject, Notifier, Scope
All Known Implementing Classes:
RegionImpl

public interface Region
extends Scope

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:

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

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

copyright

static final String copyright

See Also:
Constant Field Values
Generated:
This code was automatically generated.
Method Detail

getStates

EList<State> getStates()
Returns the value of the 'States' containment reference list. The list contents are of type 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...

Returns:
the value of the 'States' containment reference list.
See Also:
SyncchartsPackage.getRegion_States(), State.getParentRegion()
Generated:
This code was automatically generated.
Model element:
opposite=parentRegion
containment=true

getParentState

State getParentState()
Returns the value of the 'Parent State' container reference. It is bidirectional and its opposite is 'Regions'.

If the meaning of the 'Parent State' container reference isn't clear, there really should be more of a description here...

Returns:
the value of the 'Parent State' container reference.
See Also:
setParentState(State), SyncchartsPackage.getRegion_ParentState(), State.getRegions()
Generated:
This code was automatically generated.
Model element:
opposite=regions
transient=false

setParentState

void setParentState(State value)
Sets the value of the 'Parent State' container reference.

Parameters:
value - the new value of the 'Parent State' container reference.
See Also:
getParentState()
Generated:
This code was automatically generated.