net.ssehub.easy.reasoning.core.reasoner

Class ReasoningErrorCodes

java.lang.Object

net.ssehub.easy.reasoning.core.reasoner.ReasoningErrorCodes

public class ReasoningErrorCodes
extends java.lang.Object

Specifies to witch kind of error belongs failed constraint in the message generated by the reasoner.

Author:

sizonenko

Field Summary

Fields

Modifier and Type	Field and Description
static int	FAILED_CONSTRAINT Constraint not satisfied.
static int	FAILED_REASSIGNMENT Reassignment of the variable in the same scope or assigning value to the froozen variable.

Constructor Summary

Constructors

Constructor and Description
ReasoningErrorCodes()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

FAILED_REASSIGNMENT

public static final int FAILED_REASSIGNMENT

Reassignment of the variable in the same scope or assigning value to the froozen variable.

See Also:

Constant Field Values

FAILED_CONSTRAINT

public static final int FAILED_CONSTRAINT

Constraint not satisfied.

See Also:

Constant Field Values

Constructor Detail

ReasoningErrorCodes

public ReasoningErrorCodes()