de.cau.cs.kieler.esterel.esterel
Interface TrapDecl

All Superinterfaces:
EObject, Notifier
All Known Implementing Classes:
TrapDeclImpl

public interface TrapDecl
extends EObject

A representation of the model object 'Trap Decl'.

The following features are supported:

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

Method Summary
 ChannelDescription getChannelDesc()
          Returns the value of the 'Channel Desc' containment reference.
 String getName()
          Returns the value of the 'Name' attribute.
 void setChannelDesc(ChannelDescription value)
          Sets the value of the 'Channel Desc' containment reference.
 void setName(String value)
          Sets the value of the 'Name' attribute.
 
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

getName

String getName()
Returns the value of the 'Name' attribute.

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

Returns:
the value of the 'Name' attribute.
See Also:
setName(String), EsterelPackage.getTrapDecl_Name()
Generated:
This code was automatically generated.
Model element

setName

void setName(String value)
Sets the value of the 'Name' attribute.

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

getChannelDesc

ChannelDescription getChannelDesc()
Returns the value of the 'Channel Desc' containment reference.

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

Returns:
the value of the 'Channel Desc' containment reference.
See Also:
setChannelDesc(ChannelDescription), EsterelPackage.getTrapDecl_ChannelDesc()
Generated:
This code was automatically generated.
Model element:
containment=true

setChannelDesc

void setChannelDesc(ChannelDescription value)
Sets the value of the 'Channel Desc' containment reference.

Parameters:
value - the new value of the 'Channel Desc' containment reference.
See Also:
getChannelDesc()
Generated:
This code was automatically generated.