checkerEnd(final CheckingResult result) | cz::muni::stanse::statistics::DummyEvaluationStatistic | [inline] |
checkerStart(final String checkerName) | cz::muni::stanse::statistics::DummyEvaluationStatistic | [inline] |
fileEnd() | cz::muni::stanse::statistics::DummyEvaluationStatistic | [inline] |
fileStart(final String fileName) | cz::muni::stanse::statistics::DummyEvaluationStatistic | [inline] |
internalsEnd() | cz::muni::stanse::statistics::DummyEvaluationStatistic | [inline] |
internalsStart() | cz::muni::stanse::statistics::DummyEvaluationStatistic | [inline] |