cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilterCreator Class Reference

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

List of all members.

Package Functions

boolean isApplicable (final XMLAutomatonDefinition definition, boolean isInterprocediral)
FalsePositivesDetector create (XMLAutomatonDefinition definition, LazyInternalStructures internals, boolean isInterprocediral, final Map< CFGNode, Pair< PatternLocation, PatternLocation >> nodeLocationDictionary)


Member Function Documentation

boolean cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilterCreator::isApplicable ( final XMLAutomatonDefinition  definition,
boolean  isInterprocediral 
) [inline, package]

FalsePositivesDetector cz::muni::stanse::automatonchecker::FPDMemoryGlobalVarFilterCreator::create ( XMLAutomatonDefinition  definition,
LazyInternalStructures  internals,
boolean  isInterprocediral,
final Map< CFGNode, Pair< PatternLocation, PatternLocation >>  nodeLocationDictionary 
) [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