public class ExecutionLink extends java.lang.Object implements IExecutionLink
IExecutionLink
.Constructor and Description |
---|
ExecutionLink(IExecutionNode<?> source,
IExecutionNode<?> target)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
IExecutionNode<?> |
getSource()
Returns the source.
|
IExecutionNode<?> |
getTarget()
Returns the target.
|
public ExecutionLink(IExecutionNode<?> source, IExecutionNode<?> target)
source
- The source IExecutionNode
.target
- The target IExecutionNode
.public IExecutionNode<?> getSource()
getSource
in interface IExecutionLink
public IExecutionNode<?> getTarget()
getTarget
in interface IExecutionLink
Copyright © 2003-2019 The KeY-Project.