Package science.aist.gtf.verification.syntactic

Class PropertyVerificatorResult

java.lang.Object

science.aist.gtf.verification.syntactic.PropertyVerificatorResult

public class PropertyVerificatorResult
extends Object

Result class of a property verification process

Since:

1.0

Author:

Christoph Praschl

Constructor Summary

Constructors

Constructor	Description
PropertyVerificatorResult()

Method Summary

Modifier and Type	Method	Description
void	addField(Field field, ConstraintError constraintError, Object obj)	Add a constraintError violating field
ConstraintViolationStatistic	createStatistic()
Map<Object,List<Field>>	getFieldsByConstraint(ConstraintError error)	Method which returns a map of objects with its fields which are violating a given ConstraintError
boolean	isEmpty()
static PropertyVerificatorResult	mergeVerificationResults(PropertyVerificatorResult res1, PropertyVerificatorResult res2)	Merge two nested-maps into a new one

Methods inherited from class java.lang.Object

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

Constructor Detail

PropertyVerificatorResult

public PropertyVerificatorResult()

Method Detail

mergeVerificationResults

public static PropertyVerificatorResult mergeVerificationResults(PropertyVerificatorResult res1,
                                                                 PropertyVerificatorResult res2)

Merge two nested-maps into a new one

Parameters:

res1 - to merge

res2 - to merge

Returns:

New, merged verificationResult

isEmpty

public boolean isEmpty()

Returns:

If Result is empty or not

createStatistic

public ConstraintViolationStatistic createStatistic()

Returns:

new Statistic object

addField

public void addField(Field field,
                     ConstraintError constraintError,
                     Object obj)

Add a constraintError violating field

Parameters:

field - field which violating the constraintError

constraintError - the violated constraintError

obj - the object containing the field which is violating the constraintError

getFieldsByConstraint

public Map<Object,List<Field>> getFieldsByConstraint(ConstraintError error)

Method which returns a map of objects with its fields which are violating a given ConstraintError

Parameters:

error - the violated error which is the basis for filtering

Returns:

a map of objects with fields violating the given ConstraintError