nz.ac.waikato.modeljunit.gui.visualisaton
Class EdgeInfo
java.lang.Object
nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo
public class EdgeInfo
- extends java.lang.Object
- Author:
- Jerramy Winchester
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
EdgeInfo
public EdgeInfo(Transition trans,
VertexInfo src,
VertexInfo dest)
EdgeInfo
public EdgeInfo(Transition trans,
VertexInfo src,
VertexInfo dest,
java.lang.Boolean displayed,
java.lang.Boolean visited)
getAction
public java.lang.String getAction()
getTransition
public Transition getTransition()
getSrcVertexName
public java.lang.Object getSrcVertexName()
getSrcVertex
public VertexInfo getSrcVertex()
getDestVertexName
public java.lang.Object getDestVertexName()
getDestVertex
public VertexInfo getDestVertex()
setIsDisplayed
public void setIsDisplayed(boolean displayed)
getIsDisplayed
public java.lang.Boolean getIsDisplayed()
setIsVisited
public void setIsVisited(java.lang.Boolean visited)
getIsVisited
public java.lang.Boolean getIsVisited()
getSequences_
public java.util.TreeMap<java.lang.String,java.lang.Integer> getSequences_()
addTestSequence
public void addTestSequence(java.lang.String sequence)
setFailedEdge
public void setFailedEdge(java.lang.Boolean failedEdge)
- Parameters:
failedEdge_
- the failedEdge_ to set
getFailedEdge
public java.lang.Boolean getFailedEdge()
- Returns:
- the failedEdge_
setFailedMsg
public void setFailedMsg(java.lang.String failedMsg)
- Parameters:
failedMsg_
- the failedMsg_ to set
getFailedMsg
public java.lang.String getFailedMsg()
- Returns:
- the failedMsg_
Copyright © 2009 ModelJUnit Project. All Rights Reserved.