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

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

[legend]

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

[legend]

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

Author:

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]

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

void cz::muni::stanse::threadchecker::graph::ResourceVertex::setName

(

String

name

)

[inline]

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

Integer cz::muni::stanse::threadchecker::graph::ResourceVertex::getNodeID

(

)

[inline]

String cz::muni::stanse::threadchecker::graph::ResourceVertex::toDot

(

)

[inline]

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

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:

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