public interface IExecutionLink
IExecutionNode
s.Modifier and Type | Method and Description |
---|---|
IExecutionNode<?> |
getSource()
Returns the source.
|
IExecutionNode<?> |
getTarget()
Returns the target.
|
IExecutionNode<?> getSource()
IExecutionNode<?> getTarget()
Copyright © 2003-2019 The KeY-Project.