org.eclipse.ocl.pivot

Interface Trigger

All Superinterfaces:

Element, Nameable, NamedElement, Visitable

All Known Implementing Classes:

TriggerImpl

public interface Trigger
extends NamedElement

A representation of the model object 'Trigger'. A Trigger specifies a specific point at which an Event occurrence may trigger an effect in a Behavior. A Trigger may be qualified by the Port on which the Event occurred.

The following features are supported:

• Owning State
• Owning Transition

See Also:

PivotPackage.getTrigger()

EMF generated code

Method Summary

Modifier and Type	Method and Description
State	getOwningState() Returns the value of the 'Owning State' container reference.
Transition	getOwningTransition() Returns the value of the 'Owning Transition' container reference.
void	setOwningState(State value) Sets the value of the 'Owning State' container reference.
void	setOwningTransition(Transition value) Sets the value of the 'Owning Transition' container reference.

Methods inherited from interface org.eclipse.ocl.pivot.NamedElement

getName, setName

Methods inherited from interface org.eclipse.ocl.pivot.Element

accept, allOwnedElements, getAnnotatingComments, getESObject, getETarget, getOwnedAnnotations, getOwnedComments, getOwnedExtensions, getValue

Methods inherited from interface org.eclipse.ocl.pivot.util.Visitable

eClass

Method Detail

getOwningState

State getOwningState()

Returns the value of the 'Owning State' container reference. It is bidirectional and its opposite is 'Owned Deferrable Triggers'.

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

Returns:

the value of the 'Owning State' container reference.

See Also:

setOwningState(State), PivotPackage.getTrigger_OwningState(), State.getOwnedDeferrableTriggers()

EMF generated code

setOwningState

void setOwningState(State value)

Sets the value of the 'Owning State' container reference.

Parameters:

value - the new value of the 'Owning State' container reference.

See Also:

getOwningState()

EMF generated code

getOwningTransition

Transition getOwningTransition()

Returns the value of the 'Owning Transition' container reference. It is bidirectional and its opposite is 'Owned Triggers'.

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

Returns:

the value of the 'Owning Transition' container reference.

See Also:

setOwningTransition(Transition), PivotPackage.getTrigger_OwningTransition(), Transition.getOwnedTriggers()

EMF generated code

setOwningTransition

void setOwningTransition(Transition value)

Sets the value of the 'Owning Transition' container reference.

Parameters:

value - the new value of the 'Owning Transition' container reference.

See Also:

getOwningTransition()

EMF generated code