cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlock Class Reference

Inheritance diagram for cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlock:
[legend]
Collaboration diagram for cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlock:
[legend]

List of all members.

Public Member Functions

 FPDLockingElimHasUnlock (final Map< CFGNode, Pair< PatternLocation, PatternLocation >> nodeLocationDictionary)

Package Functions

int getTraceImportance (final java.util.List< CFGNode > path, final java.util.Stack< CFGNode > cfgContext, final ErrorRule rule)


Constructor & Destructor Documentation

cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlock::FPDLockingElimHasUnlock ( final Map< CFGNode, Pair< PatternLocation, PatternLocation >>  nodeLocationDictionary  )  [inline]


Member Function Documentation

int cz::muni::stanse::automatonchecker::FPDLockingElimHasUnlock::getTraceImportance ( final java.util.List< CFGNode path,
final java.util.Stack< CFGNode cfgContext,
final ErrorRule  rule 
) [inline, package, virtual]


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

Generated on Thu Jan 13 16:24:08 2011 for Stanse by  doxygen 1.5.6