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

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

[legend]

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

[legend]

List of all members.

Public Member Functions
	Request (Vertex process, Vertex resource)
ProcessVertex	getProcess ()
ResourceVertex	getResource ()
boolean	equals (Object obj)
int	hashCode ()
String	toString ()
String	toDot ()

---

Detailed Description

Class represents request edge in Resource Allocate graph

Author:

Jan Kučera

---

Constructor & Destructor Documentation

cz::muni::stanse::threadchecker::graph::Request::Request	(	Vertex	process,
		Vertex	resource
	)			[inline]

---

Member Function Documentation

ProcessVertex cz::muni::stanse::threadchecker::graph::Request::getProcess

(

)

[inline]

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

ResourceVertex cz::muni::stanse::threadchecker::graph::Request::getResource

(

)

[inline]

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

boolean cz::muni::stanse::threadchecker::graph::Request::equals

(

Object

obj

)

[inline]

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

int cz::muni::stanse::threadchecker::graph::Request::hashCode

(

)

[inline]

String cz::muni::stanse::threadchecker::graph::Request::toString

(

)

[inline]

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

(

)

[inline]

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

---

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

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