public static class ExecutionNodeReader.KeYLessLink extends java.lang.Object implements IExecutionLink
IExecutionLink
which is independent
from KeY and provides such only children and default attributes.Modifier and Type | Field and Description |
---|---|
private IExecutionNode<?> |
source
The source.
|
private IExecutionNode<?> |
target
The target.
|
Constructor and Description |
---|
KeYLessLink() |
Modifier and Type | Method and Description |
---|---|
IExecutionNode<?> |
getSource()
Returns the source.
|
IExecutionNode<?> |
getTarget()
Returns the target.
|
void |
setSource(IExecutionNode<?> source)
Sets the source.
|
void |
setTarget(IExecutionNode<?> target)
Sets the target.
|
private IExecutionNode<?> source
private IExecutionNode<?> target
public IExecutionNode<?> getSource()
getSource
in interface IExecutionLink
public IExecutionNode<?> getTarget()
getTarget
in interface IExecutionLink
public void setSource(IExecutionNode<?> source)
target
- The source to set.public void setTarget(IExecutionNode<?> target)
target
- The target to set.