nz.ac.waikato.modeljunit.gui.visualisaton
Class EdgeInfo

java.lang.Object
  extended by nz.ac.waikato.modeljunit.gui.visualisaton.EdgeInfo

public class EdgeInfo
extends java.lang.Object

Author:
Jerramy Winchester

Constructor Summary
EdgeInfo(Transition trans, VertexInfo src, VertexInfo dest)
           
EdgeInfo(Transition trans, VertexInfo src, VertexInfo dest, java.lang.Boolean displayed, java.lang.Boolean visited)
           
 
Method Summary
 void addTestSequence(java.lang.String sequence)
           
 java.lang.String getAction()
           
 VertexInfo getDestVertex()
           
 java.lang.Object getDestVertexName()
           
 java.lang.Boolean getFailedEdge()
           
 java.lang.String getFailedMsg()
           
 java.lang.Boolean getIsDisplayed()
           
 java.lang.Boolean getIsVisited()
           
 java.util.TreeMap<java.lang.String,java.lang.Integer> getSequences_()
           
 VertexInfo getSrcVertex()
           
 java.lang.Object getSrcVertexName()
           
 Transition getTransition()
           
 void setFailedEdge(java.lang.Boolean failedEdge)
           
 void setFailedMsg(java.lang.String failedMsg)
           
 void setIsDisplayed(boolean displayed)
           
 void setIsVisited(java.lang.Boolean visited)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

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)
Method Detail

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.