org.overturetool.vdmj.debug
Enum DBGPErrorCode

java.lang.Object
  java.lang.Enum<DBGPErrorCode>
      org.overturetool.vdmj.debug.DBGPErrorCode

All Implemented Interfaces:

java.io.Serializable, java.lang.Comparable<DBGPErrorCode>

public enum DBGPErrorCode
extends java.lang.Enum<DBGPErrorCode>

Enum Constant Summary

BREAKPOINT_TYPE_UNSUPPORTED

CANT_GET_PROPERTY

CANT_OPEN

CANT_SET_BREAKPOINT

DUPLICATE_ARGS

EVALUATION_ERROR

INTERNAL_ERROR

INVALID_BREAKPOINT

INVALID_BREAKPOINT_STATE

INVALID_CONTEXT

INVALID_ENCODING

INVALID_EXPRESION

INVALID_OPTIONS

INVALID_STACK_DEPTH

NO_CODE_AT_BREAKPOINT

NO_SUCH_BREAKPOINT

NONE

NOT_AVAILABLE

PARSE

STREAM_REDIRECT_FAILED

UNIMPLEMENTED

UNKNOWN_ERROR

Field Summary

int

value

Method Summary

static DBGPErrorCode	valueOf(java.lang.String name) Returns the enum constant of this type with the specified name.
static DBGPErrorCode[]	values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods inherited from class java.lang.Enum

clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Enum Constant Detail

NONE

public static final DBGPErrorCode NONE

PARSE

public static final DBGPErrorCode PARSE

DUPLICATE_ARGS

public static final DBGPErrorCode DUPLICATE_ARGS

INVALID_OPTIONS

public static final DBGPErrorCode INVALID_OPTIONS

UNIMPLEMENTED

public static final DBGPErrorCode UNIMPLEMENTED

NOT_AVAILABLE

public static final DBGPErrorCode NOT_AVAILABLE

CANT_OPEN

public static final DBGPErrorCode CANT_OPEN

STREAM_REDIRECT_FAILED

public static final DBGPErrorCode STREAM_REDIRECT_FAILED

CANT_SET_BREAKPOINT

public static final DBGPErrorCode CANT_SET_BREAKPOINT

BREAKPOINT_TYPE_UNSUPPORTED

public static final DBGPErrorCode BREAKPOINT_TYPE_UNSUPPORTED

INVALID_BREAKPOINT

public static final DBGPErrorCode INVALID_BREAKPOINT

NO_CODE_AT_BREAKPOINT

public static final DBGPErrorCode NO_CODE_AT_BREAKPOINT

INVALID_BREAKPOINT_STATE

public static final DBGPErrorCode INVALID_BREAKPOINT_STATE

NO_SUCH_BREAKPOINT

public static final DBGPErrorCode NO_SUCH_BREAKPOINT

EVALUATION_ERROR

public static final DBGPErrorCode EVALUATION_ERROR

INVALID_EXPRESION

public static final DBGPErrorCode INVALID_EXPRESION

CANT_GET_PROPERTY

public static final DBGPErrorCode CANT_GET_PROPERTY

INVALID_STACK_DEPTH

public static final DBGPErrorCode INVALID_STACK_DEPTH

INVALID_CONTEXT

public static final DBGPErrorCode INVALID_CONTEXT

INVALID_ENCODING

public static final DBGPErrorCode INVALID_ENCODING

INTERNAL_ERROR

public static final DBGPErrorCode INTERNAL_ERROR

UNKNOWN_ERROR

public static final DBGPErrorCode UNKNOWN_ERROR

Field Detail

value

public int value

Method Detail

values

public static DBGPErrorCode[] values()

Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:

for (DBGPErrorCode c : DBGPErrorCode.values())
    System.out.println(c);

Returns:

an array containing the constants of this enum type, in the order they are declared

valueOf

public static DBGPErrorCode valueOf(java.lang.String name)

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:

name - the name of the enum constant to be returned.

Returns:

the enum constant with the specified name

Throws:

java.lang.IllegalArgumentException - if this enum type has no constant with the specified name

java.lang.NullPointerException - if the argument is null