Package science.aist.gtf.verification.syntactic.constraint

Class ConstraintViolationStatistic

java.lang.Object

science.aist.gtf.verification.syntactic.constraint.ConstraintViolationStatistic

public class ConstraintViolationStatistic
extends Object

Statistic class representing number of different violations of a property verification

Since:

1.0

Author:

Christoph Praschl

Constructor Summary

Constructors

Constructor	Description
ConstraintViolationStatistic(PropertyVerificatorResult result)

Method Summary

Modifier and Type	Method	Description
Map<Object,List<Field>>	getConstraintViolators(ConstraintError ce)	Returns a map of objects and corresponding fields which are violating the given ConstraintError
Map<Object,List<Field>>	getDefaultViolators()
Map<Object,List<Field>>	getEmptyViolators()
Map<Object,List<Field>>	getNullViolators()
int	getViolatedIsDefaultInitialized()
int	getViolatedIsEmpty()
int	getViolatedIsNull()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConstraintViolationStatistic

public ConstraintViolationStatistic(PropertyVerificatorResult result)

Parameters:

result - PropertyVerificatorResult for which the statistic object should be created

Method Detail

getConstraintViolators

public Map<Object,List<Field>> getConstraintViolators(ConstraintError ce)

Returns a map of objects and corresponding fields which are violating the given ConstraintError

Parameters:

ce - the ConstraintError for which the violators should be returned

Returns:

map of objects and corresponding fields

getNullViolators

public Map<Object,List<Field>> getNullViolators()

Returns:

List of object/field tuples which violating ConstraintError.IsNull

getDefaultViolators

public Map<Object,List<Field>> getDefaultViolators()

Returns:

List of object/field tuples which violating ConstraintError.IsDefaultInitialized

getEmptyViolators

public Map<Object,List<Field>> getEmptyViolators()

Returns:

List of object/field tuples which violating ConstraintError.IsEmpty

getViolatedIsNull

public int getViolatedIsNull()

Returns:

Number of fields which are violating ConstraintError.IsNull

getViolatedIsDefaultInitialized

public int getViolatedIsDefaultInitialized()

Returns:

Number of field which are violating ConstraintError.IsDefaultInitialized

getViolatedIsEmpty

public int getViolatedIsEmpty()

Returns:

Number of fields which are violating ConstraintError.IsEmpty