cz::muni::stanse::statistics::EvaluationStatistic Interface Reference

Inheritance diagram for cz::muni::stanse::statistics::EvaluationStatistic:

List of all members.

Public Member Functions

void fileStart (final String fileName)
void fileEnd ()
void internalsStart ()
void internalsEnd ()
void checkerStart (final String checkerName)
void checkerEnd (final CheckingResult result)

Member Function Documentation

void cz::muni::stanse::statistics::EvaluationStatistic::fileStart ( final String  fileName  ) 

void cz::muni::stanse::statistics::EvaluationStatistic::fileEnd (  ) 

void cz::muni::stanse::statistics::EvaluationStatistic::internalsStart (  ) 

void cz::muni::stanse::statistics::EvaluationStatistic::internalsEnd (  ) 

void cz::muni::stanse::statistics::EvaluationStatistic::checkerStart ( final String  checkerName  ) 

void cz::muni::stanse::statistics::EvaluationStatistic::checkerEnd ( final CheckingResult  result  ) 

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

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