org.eclipse.ocl.pivot.messages

Class StatusCodes

java.lang.Object

org.eclipse.ocl.pivot.messages.StatusCodes

public final class StatusCodes
extends java.lang.Object

StatusCodes summarize the result of a validation. The OK/WARNING/ERROR subset are used as validation preferences with OK suppressing a validation and WARNING/ERROR selecting the severity.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StatusCodes.Severity

Field Summary

Fields

Modifier and Type	Field and Description
static int	ERROR
static int	EVALUATION_HALTED EVALUATION_HALTED indicates that a particular evaluation failed to complete, possibly because it was cancelled interactively, possibly because a fatal run-time failure occurred or because the evaluation returned an invalid OCL value.
static int	INFO
static int	OK OK indicates the an evaluation was successful.
static int	WARNING

Constructor Summary

Constructors

Constructor and Description
StatusCodes()

Method Summary

Methods inherited from class java.lang.Object

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

Field Detail

OK

public static final int OK

OK indicates the an evaluation was successful. When used as a validation preference it causes the validation to be ignored altogether.

See Also:

Constant Field Values

INFO

public static final int INFO

See Also:

Constant Field Values

WARNING

public static final int WARNING

See Also:

Constant Field Values

ERROR

public static final int ERROR

See Also:

Constant Field Values

EVALUATION_HALTED

public static final int EVALUATION_HALTED

EVALUATION_HALTED indicates that a particular evaluation failed to complete, possibly because it was cancelled interactively, possibly because a fatal run-time failure occurred or because the evaluation returned an invalid OCL value.

See Also:

Constant Field Values

Constructor Detail

StatusCodes

public StatusCodes()