Stanse  -1
Public Member Functions | List of all members
cz.muni.stanse.statistics.DummyEvaluationStatistic Class Reference
Inheritance diagram for cz.muni.stanse.statistics.DummyEvaluationStatistic:
Inheritance graph
[legend]
Collaboration diagram for cz.muni.stanse.statistics.DummyEvaluationStatistic:
Collaboration graph
[legend]

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

◆ checkerEnd()

void cz.muni.stanse.statistics.DummyEvaluationStatistic.checkerEnd ( final CheckingResult  result)
inline

◆ checkerStart()

void cz.muni.stanse.statistics.DummyEvaluationStatistic.checkerStart ( final String  checkerName)
inline

◆ fileEnd()

void cz.muni.stanse.statistics.DummyEvaluationStatistic.fileEnd ( )
inline

◆ fileStart()

void cz.muni.stanse.statistics.DummyEvaluationStatistic.fileStart ( final String  fileName)
inline

◆ internalsEnd()

void cz.muni.stanse.statistics.DummyEvaluationStatistic.internalsEnd ( )
inline

◆ internalsStart()

void cz.muni.stanse.statistics.DummyEvaluationStatistic.internalsStart ( )
inline

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