Stanse  -1
Public Member Functions | List of all members
cz.muni.stanse.statistics.EvaluationStatistic Interface Reference
Inheritance diagram for cz.muni.stanse.statistics.EvaluationStatistic:
Inheritance 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.EvaluationStatistic.checkerEnd ( final CheckingResult  result)

◆ checkerStart()

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

◆ fileEnd()

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

◆ fileStart()

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

◆ internalsEnd()

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

◆ internalsStart()

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

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