public class SCTransition extends java.lang.Object implements ISCTransition
Modifier and Type | Field and Description |
---|---|
protected static int |
cnt |
Constructor and Description |
---|
SCTransition(ISCRegion parentRegion,
ISCState from,
ISCState to,
java.lang.String label) |
SCTransition(ISCRegion parentRegion,
ISCState from,
ISCState to,
java.lang.String label,
boolean isReverse) |
SCTransition(ISCRegion parentRegion,
ISCState from,
ISCState to,
java.lang.String label,
boolean isReverse,
java.lang.String id) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object other) |
java.util.Set<ISCState> |
getEdgeFromSemantics() |
org.apache.commons.lang3.tuple.Pair<java.util.Set<ISCState>,java.util.Set<ISCState>> |
getEdgeSemantics() |
java.util.Set<ISCState> |
getEdgeToSemantics() |
ISCState |
getFrom() |
java.lang.String |
getId() |
java.lang.String |
getLabel() |
ISCRegion |
getParentRegion() |
ISCState |
getTo() |
int |
hashCode() |
boolean |
isInvolved(ISCState state) |
boolean |
isReverse() |
void |
setEdgeSemantics(java.util.Set<ISCState> from,
java.util.Set<ISCState> to) |
void |
setFromTo(ISCState from,
ISCState to) |
java.lang.String |
toString() |
void |
unregister() |
public SCTransition(ISCRegion parentRegion, ISCState from, ISCState to, java.lang.String label)
public SCTransition(ISCRegion parentRegion, ISCState from, ISCState to, java.lang.String label, boolean isReverse)
public java.lang.String getId()
getId
in interface ISCTransition
public ISCState getFrom()
getFrom
in interface ISCTransition
public ISCState getTo()
getTo
in interface ISCTransition
public java.lang.String getLabel()
getLabel
in interface ISCTransition
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object other)
equals
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public boolean isReverse()
isReverse
in interface ISCTransition
public boolean isInvolved(ISCState state)
isInvolved
in interface ISCTransition
public void unregister()
unregister
in interface ISCTransition
public void setFromTo(ISCState from, ISCState to)
setFromTo
in interface ISCTransition
public ISCRegion getParentRegion()
getParentRegion
in interface ISCTransition
public org.apache.commons.lang3.tuple.Pair<java.util.Set<ISCState>,java.util.Set<ISCState>> getEdgeSemantics()
getEdgeSemantics
in interface IEdgeSemanticTraced<ISCState>
public java.util.Set<ISCState> getEdgeFromSemantics()
getEdgeFromSemantics
in interface IEdgeSemanticTraced<ISCState>
public java.util.Set<ISCState> getEdgeToSemantics()
getEdgeToSemantics
in interface IEdgeSemanticTraced<ISCState>
public void setEdgeSemantics(java.util.Set<ISCState> from, java.util.Set<ISCState> to)
setEdgeSemantics
in interface IEdgeSemanticTraced<ISCState>