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:

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

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

inline

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

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.

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

inline

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

inline

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

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

inline

---

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

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