webfunds.ricardian
Class ContractException

java.lang.Object
  |
  +--java.lang.Throwable
        |
        +--java.lang.Exception
              |
              +--webfunds.ricardian.ContractException

public class ContractException

extends java.lang.Exception

See Also:

Serialized Form

Field Summary
static int	CATCH_ALL           Known Contract failure modes detected.
protected  int	errno           What error number has been set by the thrower.
static java.lang.String[]	errors
static int	FILE_ERROR           Known Contract failure modes detected.
static int	FRACTION_FAIL           Known Contract failure modes detected.
static int	FUZ_FILE_IO           Known Contract failure modes detected.
static int	KEY_CON_SIG           Known Contract failure modes detected.
static int	KEY_CONTRACT           Known Contract failure modes detected.
static int	KEY_SERVER           Known Contract failure modes detected.
static int	KEY_TOP_LEVEL           Known Contract failure modes detected.
protected  int	line           The line number where the error occurred, counting from 0 to n-1, if available (-1 is not set).
static int	MULTILINE           Known Contract failure modes detected.
static int	NO_DATA           Known Contract failure modes detected.
static int	NOT_A_CONTRACT           Known Contract failure modes detected.
static int	SIG_BAD           Known Contract failure modes detected.
static int	SIG_VERIFY           Known Contract failure modes detected.
static int	UNKNOWN           Known Contract failure modes detected.

 

Constructor Summary

ContractException()

ContractException(int errno, int line, java.lang.String msg)

ContractException(int errno, java.lang.String msg)           line number is set to default of -1

ContractException(java.lang.String msg)

 

Method Summary
int	getErrno()
java.lang.String	getErrnoString()
int	getLine()
java.lang.String	toString()

 

Methods inherited from class java.lang.Throwable

fillInStackTrace, getLocalizedMessage, getMessage, printStackTrace, printStackTrace, printStackTrace

 

Methods inherited from class java.lang.Object

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

 

Field Detail

UNKNOWN

public static final int UNKNOWN

Known Contract failure modes detected.

CATCH_ALL

public static final int CATCH_ALL

Known Contract failure modes detected.

FILE_ERROR

public static final int FILE_ERROR

Known Contract failure modes detected.

NO_DATA

public static final int NO_DATA

Known Contract failure modes detected.

MULTILINE

public static final int MULTILINE

Known Contract failure modes detected.

NOT_A_CONTRACT

public static final int NOT_A_CONTRACT

Known Contract failure modes detected.

FRACTION_FAIL

public static final int FRACTION_FAIL

Known Contract failure modes detected.

KEY_TOP_LEVEL

public static final int KEY_TOP_LEVEL

Known Contract failure modes detected.

KEY_CONTRACT

public static final int KEY_CONTRACT

Known Contract failure modes detected.

KEY_SERVER

public static final int KEY_SERVER

Known Contract failure modes detected.

KEY_CON_SIG

public static final int KEY_CON_SIG

Known Contract failure modes detected.

SIG_BAD

public static final int SIG_BAD

Known Contract failure modes detected.

SIG_VERIFY

public static final int SIG_VERIFY

Known Contract failure modes detected.

FUZ_FILE_IO

public static final int FUZ_FILE_IO

Known Contract failure modes detected.

errors

public static final java.lang.String[] errors

errno

protected int errno

What error number has been set by the thrower.

line

protected int line

The line number where the error occurred, counting from 0 to n-1, if available (-1 is not set).

ContractException

public ContractException()

ContractException

public ContractException(java.lang.String msg)

ContractException

public ContractException(int errno,
                         java.lang.String msg)

line number is set to default of -1

Parameters:

errno - an identified error from public constants above

msg - string interpretation

ContractException

public ContractException(int errno,
                         int line,
                         java.lang.String msg)

Parameters:

errno - an identified error from public constants above

line - where (approximately) it happened in the file

msg - string interpretation

getErrno

public int getErrno()

getLine

public int getLine()

getErrnoString

public java.lang.String getErrnoString()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Throwable