de.cau.cs.kieler.esterel.esterel
Interface Exit

All Superinterfaces:
EObject, Notifier, Statement
All Known Implementing Classes:
ExitImpl

public interface Exit
extends Statement

A representation of the model object 'Exit'.

The following features are supported:

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

Method Summary
 DataExpr getDataExpr()
          Returns the value of the 'Data Expr' containment reference.
 TrapDecl getTrap()
          Returns the value of the 'Trap' reference.
 void setDataExpr(DataExpr value)
          Sets the value of the 'Data Expr' containment reference.
 void setTrap(TrapDecl value)
          Sets the value of the 'Trap' reference.
 
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
 

Method Detail

getTrap

TrapDecl getTrap()
Returns the value of the 'Trap' reference.

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

Returns:
the value of the 'Trap' reference.
See Also:
setTrap(TrapDecl), EsterelPackage.getExit_Trap()
Generated:
This code was automatically generated.
Model element

setTrap

void setTrap(TrapDecl value)
Sets the value of the 'Trap' reference.

Parameters:
value - the new value of the 'Trap' reference.
See Also:
getTrap()
Generated:
This code was automatically generated.

getDataExpr

DataExpr getDataExpr()
Returns the value of the 'Data Expr' containment reference.

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

Returns:
the value of the 'Data Expr' containment reference.
See Also:
setDataExpr(DataExpr), EsterelPackage.getExit_DataExpr()
Generated:
This code was automatically generated.
Model element:
containment=true

setDataExpr

void setDataExpr(DataExpr value)
Sets the value of the 'Data Expr' containment reference.

Parameters:
value - the new value of the 'Data Expr' containment reference.
See Also:
getDataExpr()
Generated:
This code was automatically generated.