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

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

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
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]

ResourceVertex cz::muni::stanse::threadchecker::graph::Request::getResource (  )  [inline]

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

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]

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