cz.muni.stanse.threadchecker.graph.AbstractDependencyRule Class Reference

Inheritance diagram for cz.muni.stanse.threadchecker.graph.AbstractDependencyRule:

Public Member Functions
	AbstractDependencyRule (AbstractDependencyRule rule)
	AbstractDependencyRule (ResourceVertex sourceVertex, ResourceVertex targetVertex)
ResourceVertex	getSource ()
ResourceVertex	getTarget ()
String	toString ()
boolean	equals (Object obj)
int	hashCode ()

Detailed Description

Abstract class for DependencyRule

Author

Jan Kučera

Constructor & Destructor Documentation

AbstractDependencyRule() [1/2]

cz.muni.stanse.threadchecker.graph.AbstractDependencyRule.AbstractDependencyRule ( AbstractDependencyRule  rule )

inline

AbstractDependencyRule() [2/2]

cz.muni.stanse.threadchecker.graph.AbstractDependencyRule.AbstractDependencyRule ( ResourceVertex  sourceVertex, ResourceVertex  targetVertex  )

inline

Member Function Documentation

equals()

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

inline

getSource()

ResourceVertex cz.muni.stanse.threadchecker.graph.AbstractDependencyRule.getSource ( )

inline

getTarget()

ResourceVertex cz.muni.stanse.threadchecker.graph.AbstractDependencyRule.getTarget ( )

inline

hashCode()

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

inline

toString()

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

inline

---

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

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