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

List of all members.

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

cz::muni::stanse::threadchecker::graph::DependencyGraph::DependencyGraph

(

)

[inline]

cz::muni::stanse::threadchecker::graph::DependencyGraph::DependencyGraph

(

List< DependencyRule >

rules

)

[inline]

---

Member Function Documentation

Collection<DependencyRule> cz::muni::stanse::threadchecker::graph::DependencyGraph::getRules

(

)

[inline]

void cz::muni::stanse::threadchecker::graph::DependencyGraph::addRule

(

DependencyRule

newRule

)

[inline]

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.

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

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

(

Object

obj

)

[inline]

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

(

)

[inline]

int cz::muni::stanse::threadchecker::graph::DependencyGraph::size

(

)

[inline]

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