org.eclipse.viatra.dse.statecode.graph.impl

Interface IModelReference

All Known Implementing Classes:

EEdge

public interface IModelReference

Utility interface used in the generation of statecodes over arbitrary EMF models.

See Also:

GraphHash

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	getLabel() Returns the "label" of the edge.
IModelObject	getSource() Returns the source IModelObject that this IModelReference is pointing outwards from.
IModelObject	getTarget() Returns the source IModelObject that this IModelReference is pointing to.
boolean	isDirected() Returns whether this edge is bidirectional or not.
void	setDirected(boolean directed) Setter for the directed attribute.
void	setLabel(java.lang.String label) Sets the "label" of this edge.
void	setSource(IModelObject source) Setter for the source IModelObject.
void	setTarget(IModelObject target) Setter for the target IModelObject.

Method Detail

getLabel

java.lang.String getLabel()

Returns the "label" of the edge.

Returns:

the label.

getSource

IModelObject getSource()

Returns the source IModelObject that this IModelReference is pointing outwards from.

Returns:

the relevant IModelObject.

getTarget

IModelObject getTarget()

Returns the source IModelObject that this IModelReference is pointing to.

Returns:

the relevant IModelObject.

isDirected

boolean isDirected()

Returns whether this edge is bidirectional or not.

Returns:

false if this edge can be traversed in both directions, true otherwise.

setLabel

void setLabel(java.lang.String label)

Sets the "label" of this edge.

Parameters:

label - the new label.

setSource

void setSource(IModelObject source)

Setter for the source IModelObject.

Parameters:

source - the source IModelObject

setTarget

void setTarget(IModelObject target)

Setter for the target IModelObject.

Parameters:

target - the target IModelObject

setDirected

void setDirected(boolean directed)

Setter for the directed attribute.

Parameters:

directed - the new value.