Package crypto.rules
Class TransitionEdge
- java.lang.Object
-
- crypto.rules.TransitionEdge
-
- All Implemented Interfaces:
Transition<StateNode>
public class TransitionEdge extends Object implements Transition<StateNode>
-
-
Constructor Summary
Constructors Constructor Description TransitionEdge(Collection<CrySLMethod> _methods, StateNode _left, StateNode _right)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(Object obj)StateNodefrom()Collection<CrySLMethod>getLabel()StateNodegetLeft()StateNodegetRight()inthashCode()StateNodeto()StringtoString()
-
-
-
Constructor Detail
-
TransitionEdge
public TransitionEdge(Collection<CrySLMethod> _methods, StateNode _left, StateNode _right)
-
-
Method Detail
-
getLeft
public StateNode getLeft()
-
getRight
public StateNode getRight()
-
getLabel
public Collection<CrySLMethod> getLabel()
- Specified by:
getLabelin interfaceTransition<StateNode>
-
from
public StateNode from()
- Specified by:
fromin interfaceTransition<StateNode>
-
to
public StateNode to()
- Specified by:
toin interfaceTransition<StateNode>
-
-