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

Class ConstraintError

java.lang.Object

science.aist.gtf.verification.syntactic.constraint.ConstraintError

public class ConstraintError
extends Object

Enum for property verificator to name the violated constraint

Since:

1.0

Author:

Christoph Praschl

Field Summary

Fields

Modifier and Type	Field	Description
static ConstraintError	IsDefaultInitialized
static ConstraintError	IsEmpty
static ConstraintError	IsNull
static ConstraintError	NoError

Constructor Summary

Constructors

Constructor	Description
ConstraintError()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

IsNull

public static final ConstraintError IsNull

IsDefaultInitialized

public static final ConstraintError IsDefaultInitialized

IsEmpty

public static final ConstraintError IsEmpty

NoError

public static final ConstraintError NoError

Constructor Detail

ConstraintError

public ConstraintError()