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

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

[legend]

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

)

Implemented in cz::muni::stanse::statistics::BasicEvaluationStatistic, and cz::muni::stanse::statistics::DummyEvaluationStatistic.

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

(

)

Implemented in cz::muni::stanse::statistics::BasicEvaluationStatistic, and cz::muni::stanse::statistics::DummyEvaluationStatistic.

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

(

)

Implemented in cz::muni::stanse::statistics::BasicEvaluationStatistic, and cz::muni::stanse::statistics::DummyEvaluationStatistic.

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

(

)

Implemented in cz::muni::stanse::statistics::BasicEvaluationStatistic, and cz::muni::stanse::statistics::DummyEvaluationStatistic.

void cz::muni::stanse::statistics::EvaluationStatistic::checkerStart

(

final String

checkerName

)

Implemented in cz::muni::stanse::statistics::BasicEvaluationStatistic, and cz::muni::stanse::statistics::DummyEvaluationStatistic.

void cz::muni::stanse::statistics::EvaluationStatistic::checkerEnd

(

final CheckingResult

result

)

Implemented in cz::muni::stanse::statistics::BasicEvaluationStatistic, and cz::muni::stanse::statistics::DummyEvaluationStatistic.

---

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

• src/cz/muni/stanse/statistics/EvaluationStatistic.java