fr.inria.aoste.trace

Interface EventOccurrence

All Superinterfaces:

org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier, State

All Known Implementing Classes:

EventOccurrenceImpl

public interface EventOccurrence
extends State

A representation of the model object 'Event Occurrence'.

The following features are supported:

• Context
• Is Clock Dead
• Counter
• EState
• FState
• Was Born

See Also:

TracePackage.getEventOccurrence()

Method Summary

Methods

Modifier and Type	Method and Description
Reference	getContext() Returns the value of the 'Context' reference
int	getCounter() Returns the value of the 'Counter' attribute
EnableStateKind	getEState() Returns the value of the 'EState' attribute.
FiredStateKind	getFState() Returns the value of the 'FState' attribute.
boolean	isIsClockDead() Returns the value of the 'Is Clock Dead' attribute.
boolean	isWasBorn() Returns the value of the 'Was Born' attribute.
void	setContext(Reference value) Sets the value of the 'Context' reference
void	setCounter(int value) Sets the value of the 'Counter' attribute
void	setEState(EnableStateKind value) Sets the value of the 'EState' attribute
void	setFState(FiredStateKind value) Sets the value of the 'FState' attribute
void	setIsClockDead(boolean value) Sets the value of the 'Is Clock Dead' attribute
void	setWasBorn(boolean value) Sets the value of the 'Was Born' attribute

Methods inherited from interface fr.inria.aoste.trace.State

getReferedElement, setReferedElement

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

getContext

Reference getContext()

Returns the value of the 'Context' reference.

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

Returns:

the value of the 'Context' reference.

See Also:

setContext(Reference), TracePackage.getEventOccurrence_Context()

setContext

void setContext(Reference value)

Sets the value of the 'Context' reference.

Parameters:

value - the new value of the 'Context' reference.

See Also:

getContext()

isIsClockDead

boolean isIsClockDead()

Returns the value of the 'Is Clock Dead' attribute. The default value is "false".

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

Returns:

the value of the 'Is Clock Dead' attribute.

See Also:

setIsClockDead(boolean), TracePackage.getEventOccurrence_IsClockDead()

setIsClockDead

void setIsClockDead(boolean value)

Sets the value of the 'Is Clock Dead' attribute.

Parameters:

value - the new value of the 'Is Clock Dead' attribute.

See Also:

isIsClockDead()

getCounter

int getCounter()

Returns the value of the 'Counter' attribute.

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

Returns:

the value of the 'Counter' attribute.

See Also:

setCounter(int), TracePackage.getEventOccurrence_Counter()

setCounter

void setCounter(int value)

Sets the value of the 'Counter' attribute.

Parameters:

value - the new value of the 'Counter' attribute.

See Also:

getCounter()

getEState

EnableStateKind getEState()

Returns the value of the 'EState' attribute. The literals are from the enumeration EnableStateKind.

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

Returns:

the value of the 'EState' attribute.

See Also:

EnableStateKind, setEState(EnableStateKind), TracePackage.getEventOccurrence_EState()

setEState

void setEState(EnableStateKind value)

Sets the value of the 'EState' attribute.

Parameters:

value - the new value of the 'EState' attribute.

See Also:

EnableStateKind, getEState()

getFState

FiredStateKind getFState()

Returns the value of the 'FState' attribute. The literals are from the enumeration FiredStateKind.

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

Returns:

the value of the 'FState' attribute.

See Also:

FiredStateKind, setFState(FiredStateKind), TracePackage.getEventOccurrence_FState()

setFState

void setFState(FiredStateKind value)

Sets the value of the 'FState' attribute.

Parameters:

value - the new value of the 'FState' attribute.

See Also:

FiredStateKind, getFState()

isWasBorn

boolean isWasBorn()

Returns the value of the 'Was Born' attribute. The default value is "true".

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

Returns:

the value of the 'Was Born' attribute.

See Also:

setWasBorn(boolean), TracePackage.getEventOccurrence_WasBorn()

setWasBorn

void setWasBorn(boolean value)

Sets the value of the 'Was Born' attribute.

Parameters:

value - the new value of the 'Was Born' attribute.

See Also:

isWasBorn()