cz::muni::stanse::pointeranalyzer::PointerAnalyzer Class Reference

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

[legend]

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

[legend]

List of all members.

Public Member Functions
String	getName ()
	Uniquely identifies the checker by the string identifier.
CheckingResult	check (final LazyInternalStructures internals, final CheckerErrorReceiver errReceiver, final CheckerProgressMonitor monitor)
	Does the source code checking itself.

---

Detailed Description

Author:

Michal Strehovsky

---

Member Function Documentation

String cz::muni::stanse::pointeranalyzer::PointerAnalyzer::getName

(

)

[inline, virtual]

Uniquely identifies the checker by the string identifier.

Returns:

String which uniquely identifies the checker.

See also:

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

Implements cz::muni::stanse::checker::Checker.

CheckingResult cz::muni::stanse::pointeranalyzer::PointerAnalyzer::check	(	final LazyInternalStructures	internals,
		final CheckerErrorReceiver	errReceiver,
		final CheckerProgressMonitor	monitor
	)			[inline, virtual]

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)

Implements cz::muni::stanse::checker::Checker.

---

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

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