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:

List of all members.

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
Jan Kučera

Constructor & Destructor Documentation

cz::muni::stanse::threadchecker::graph::ResourceVertex::ResourceVertex ( String  name,
Integer  nodeID 
) [inline]

Member Function Documentation

String cz::muni::stanse::threadchecker::graph::ResourceVertex::getName (  )  [inline]

void cz::muni::stanse::threadchecker::graph::ResourceVertex::setName ( String  name  )  [inline]

Integer cz::muni::stanse::threadchecker::graph::ResourceVertex::getNodeID (  )  [inline]

String cz::muni::stanse::threadchecker::graph::ResourceVertex::toDot (  )  [inline]

String cz::muni::stanse::threadchecker::graph::ResourceVertex::toString (  )  [inline]

boolean cz::muni::stanse::threadchecker::graph::ResourceVertex::equals ( Object  obj  )  [inline]

int cz::muni::stanse::threadchecker::graph::ResourceVertex::hashCode (  )  [inline]

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

Generated on Thu Jan 13 16:24:10 2011 for Stanse by  doxygen 1.5.6