fr.inria.aoste.trace

Interface LogicalStep

All Superinterfaces:

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

All Known Implementing Classes:

LogicalStepImpl

public interface LogicalStep
extends org.eclipse.emf.ecore.EObject

A representation of the model object 'Logical Step'.

The following features are supported:

• Constraint States
• Event Occurrences
• Next Step
• Previous Step
• Step Number
• Assertion States

See Also:

TracePackage.getLogicalStep()

Method Summary

Methods

Modifier and Type	Method and Description
org.eclipse.emf.common.util.EList<AssertionState>	getAssertionStates() Returns the value of the 'Assertion States' containment reference list.
org.eclipse.emf.common.util.EList<ConstraintState>	getConstraintStates() Returns the value of the 'Constraint States' containment reference list.
org.eclipse.emf.common.util.EList<EventOccurrence>	getEventOccurrences() Returns the value of the 'Event Occurrences' containment reference list.
LogicalStep	getNextStep() Returns the value of the 'Next Step' reference.
LogicalStep	getPreviousStep() Returns the value of the 'Previous Step' reference.
int	getStepNumber() Returns the value of the 'Step Number' attribute
void	setNextStep(LogicalStep value) Sets the value of the 'Next Step' reference
void	setPreviousStep(LogicalStep value) Sets the value of the 'Previous Step' reference
void	setStepNumber(int value) Sets the value of the 'Step Number' 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

getConstraintStates

org.eclipse.emf.common.util.EList<ConstraintState> getConstraintStates()

Returns the value of the 'Constraint States' containment reference list. The list contents are of type ConstraintState.

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

Returns:

the value of the 'Constraint States' containment reference list.

See Also:

TracePackage.getLogicalStep_ConstraintStates()

getEventOccurrences

org.eclipse.emf.common.util.EList<EventOccurrence> getEventOccurrences()

Returns the value of the 'Event Occurrences' containment reference list. The list contents are of type EventOccurrence.

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

Returns:

the value of the 'Event Occurrences' containment reference list.

See Also:

TracePackage.getLogicalStep_EventOccurrences()

getNextStep

LogicalStep getNextStep()

Returns the value of the 'Next Step' reference. It is bidirectional and its opposite is 'Previous Step'.

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

Returns:

the value of the 'Next Step' reference.

See Also:

setNextStep(LogicalStep), TracePackage.getLogicalStep_NextStep(), getPreviousStep()

setNextStep

void setNextStep(LogicalStep value)

Sets the value of the 'Next Step' reference.

Parameters:

value - the new value of the 'Next Step' reference.

See Also:

getNextStep()

getPreviousStep

LogicalStep getPreviousStep()

Returns the value of the 'Previous Step' reference. It is bidirectional and its opposite is 'Next Step'.

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

Returns:

the value of the 'Previous Step' reference.

See Also:

setPreviousStep(LogicalStep), TracePackage.getLogicalStep_PreviousStep(), getNextStep()

setPreviousStep

void setPreviousStep(LogicalStep value)

Sets the value of the 'Previous Step' reference.

Parameters:

value - the new value of the 'Previous Step' reference.

See Also:

getPreviousStep()

getStepNumber

int getStepNumber()

Returns the value of the 'Step Number' attribute.

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

Returns:

the value of the 'Step Number' attribute.

See Also:

setStepNumber(int), TracePackage.getLogicalStep_StepNumber()

setStepNumber

void setStepNumber(int value)

Sets the value of the 'Step Number' attribute.

Parameters:

value - the new value of the 'Step Number' attribute.

See Also:

getStepNumber()

getAssertionStates

org.eclipse.emf.common.util.EList<AssertionState> getAssertionStates()

Returns the value of the 'Assertion States' containment reference list. The list contents are of type AssertionState.

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

Returns:

the value of the 'Assertion States' containment reference list.

See Also:

TracePackage.getLogicalStep_AssertionStates()