cz.muni.stanse.pointeranalyzer.PointerAnalyzer Class Reference

Inheritance diagram for cz.muni.stanse.pointeranalyzer.PointerAnalyzer:

Collaboration diagram for cz.muni.stanse.pointeranalyzer.PointerAnalyzer:

Public Member Functions
String	getName ()
	Uniquely identifies the checker by the string identifier. More...
CheckingResult	check (final LazyInternalStructures internals, final CheckerErrorReceiver errReceiver, final CheckerProgressMonitor monitor)
	Does the source code checking itself. More...
Public Member Functions inherited from cz.muni.stanse.checker.Checker
abstract String	getName ()
	Forces all the children to define name of the checker. More...
abstract CheckingResult	check (final LazyInternalStructures internals, final CheckerErrorReceiver errReciver, final CheckerProgressMonitor monitor) throws CheckerException
String	toString ()
	Implements standard string conversion method. More...

Detailed Description

Author

Michal Strehovsky

Member Function Documentation

CheckingResult cz.muni.stanse.pointeranalyzer.PointerAnalyzer.check ( final LazyInternalStructures  internals, final CheckerErrorReceiver  errReceiver, final CheckerProgressMonitor  monitor  )

inline

Does the source code checking itself.

Method searches through source code to find nodes (except start node) with no predecessors.

Returns

List of errors found in the source code.

See Also

cz.muni.stanse.checker.Checker::check(java.util.List)

String cz.muni.stanse.pointeranalyzer.PointerAnalyzer.getName ( )

inline

Uniquely identifies the checker by the string identifier.

Returns

String which uniquely identifies the checker.

See Also

cz.muni.stanse.checker.Checker::getName()

---

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

• src/cz/muni/stanse/pointeranalyzer/PointerAnalyzer.java