Z3_error_code Enum Reference

Public Member Functions
	Z3_error_code (int v)
final int	toInt ()

Static Public Member Functions
static final Z3_error_code	fromInt (int v)

Data Fields
	Z3_INVALID_PATTERN =(6)
	Z3_MEMOUT_FAIL =(7)
	Z3_NO_PARSER =(5)
	Z3_OK =(0)
	Z3_INVALID_ARG =(3)
	Z3_EXCEPTION =(12)
	Z3_IOB =(2)
	Z3_INTERNAL_FATAL =(9)
	Z3_INVALID_USAGE =(10)
	Z3_FILE_ACCESS_ERROR =(8)
	Z3_SORT_ERROR =(1)
	Z3_PARSER_ERROR =(4)
	Z3_DEC_REF_ERROR =(11)

Detailed Description

Z3_error_code

Definition at line 10 of file Z3_error_code.java.

Constructor & Destructor Documentation

Z3_error_code ( int  v )

inline

Definition at line 27 of file Z3_error_code.java.

                         {
        this.intValue = v;
    }

Member Function Documentation

static final Z3_error_code fromInt ( int  v )

inlinestatic

Definition at line 31 of file Z3_error_code.java.

                                                     {
        for (Z3_error_code k: values()) 
            if (k.intValue == v) return k;
        return values()[0];
    }

final int toInt ( )

inline

Definition at line 37 of file Z3_error_code.java.

{ return this.intValue; }

Field Documentation

Z3_DEC_REF_ERROR =(11)

Definition at line 23 of file Z3_error_code.java.

Z3_EXCEPTION =(12)

Definition at line 16 of file Z3_error_code.java.

Z3_FILE_ACCESS_ERROR =(8)

Definition at line 20 of file Z3_error_code.java.

Z3_INTERNAL_FATAL =(9)

Definition at line 18 of file Z3_error_code.java.

Z3_INVALID_ARG =(3)

Definition at line 15 of file Z3_error_code.java.

Z3_INVALID_PATTERN =(6)

Definition at line 11 of file Z3_error_code.java.

Z3_INVALID_USAGE =(10)

Definition at line 19 of file Z3_error_code.java.

Z3_IOB =(2)

Definition at line 17 of file Z3_error_code.java.

Z3_MEMOUT_FAIL =(7)

Definition at line 12 of file Z3_error_code.java.

Z3_NO_PARSER =(5)

Definition at line 13 of file Z3_error_code.java.

Z3_OK =(0)

Definition at line 14 of file Z3_error_code.java.

Z3_PARSER_ERROR =(4)

Definition at line 22 of file Z3_error_code.java.

Z3_SORT_ERROR =(1)

Definition at line 21 of file Z3_error_code.java.