cz.muni.stanse.threadchecker.graph.ResourceVertex Class Reference

Inheritance diagram for cz.muni.stanse.threadchecker.graph.ResourceVertex:

Collaboration diagram for cz.muni.stanse.threadchecker.graph.ResourceVertex:

Public Member Functions
	ResourceVertex (String name, Integer nodeID)
String	getName ()
void	setName (String name)
Integer	getNodeID ()
String	toDot ()
String	toString ()
boolean	equals (Object obj)
int	hashCode ()

Detailed Description

Class represents one Resource node in Resource Alloce graph

Author

Jan Kučera

Constructor & Destructor Documentation

ResourceVertex()

cz.muni.stanse.threadchecker.graph.ResourceVertex.ResourceVertex ( String  name, Integer  nodeID  )

inline

Member Function Documentation

equals()

boolean cz.muni.stanse.threadchecker.graph.ResourceVertex.equals ( Object  obj )

inline

getName()

String cz.muni.stanse.threadchecker.graph.ResourceVertex.getName ( )

inline

Implements cz.muni.stanse.threadchecker.graph.Vertex.

getNodeID()

Integer cz.muni.stanse.threadchecker.graph.ResourceVertex.getNodeID ( )

inline

hashCode()

int cz.muni.stanse.threadchecker.graph.ResourceVertex.hashCode ( )

inline

setName()

void cz.muni.stanse.threadchecker.graph.ResourceVertex.setName ( String  name )

inline

Implements cz.muni.stanse.threadchecker.graph.Vertex.

toDot()

String cz.muni.stanse.threadchecker.graph.ResourceVertex.toDot ( )

inline

Implements cz.muni.stanse.threadchecker.graph.Vertex.

toString()

String cz.muni.stanse.threadchecker.graph.ResourceVertex.toString ( )

inline

---

The documentation for this class was generated from the following file:

• src/cz/muni/stanse/threadchecker/graph/ResourceVertex.java