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

Public Member Functions
	DependencyGraph ()
	DependencyGraph (List< DependencyRule > rules)
Collection< DependencyRule >	getRules ()
void	addRule (DependencyRule newRule)
boolean	isSubset (DependencyGraph otherGraph)
DependencyGraph	merge (DependencyGraph other)
boolean	equals (Object obj)
int	hashCode ()
int	size ()
String	toString ()

Detailed Description

Class holds List of DependencyRules and also provides some usefull methods for comparing and reducing number of rules.

Author

Jan Kučera

Constructor & Destructor Documentation

DependencyGraph() [1/2]

cz.muni.stanse.threadchecker.graph.DependencyGraph.DependencyGraph ( )

inline

DependencyGraph() [2/2]

cz.muni.stanse.threadchecker.graph.DependencyGraph.DependencyGraph ( List< DependencyRule >  rules )

inline

Member Function Documentation

addRule()

void cz.muni.stanse.threadchecker.graph.DependencyGraph.addRule ( DependencyRule  newRule )

inline

equals()

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

inline

getRules()

Collection<DependencyRule> cz.muni.stanse.threadchecker.graph.DependencyGraph.getRules ( )

inline

hashCode()

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

inline

isSubset()

boolean cz.muni.stanse.threadchecker.graph.DependencyGraph.isSubset ( DependencyGraph  otherGraph )

inline

Method compare otherGraph wheter these two graphs are subset or similar

Parameters

otherGraph

DependencyGraph

Returns

true whether otherGraph has similar DependencyRules.

merge()

DependencyGraph cz.muni.stanse.threadchecker.graph.DependencyGraph.merge ( DependencyGraph  other )

inline

Method create new DependencyGraph and merge there Dep. rules from this and other graph.

Parameters

other

DependencyGraph

Returns

DependencyGraph merged graph

size()

int cz.muni.stanse.threadchecker.graph.DependencyGraph.size ( )

inline

toString()

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

inline

---

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

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