Hilbert II - JAVA-Packages - Principia Mathematica II

Serialized Form


Package com.meyling.principia

Class com.meyling.principia.AlreadyRunningException extends Exception implements Serializable


Package com.meyling.principia.argument

Class com.meyling.principia.argument.ArgumentException extends Exception implements Serializable

Serialized Fields

code

int code
exception code


description

String description
description of reason for exception


argument

Argument argument
problem with this argument


secundaryArgument

Argument secundaryArgument
problem is illustrated with this secondary argument


begin

boolean begin
occured problem at beginning of argument?

Class com.meyling.principia.argument.FoundException extends Exception implements Serializable

Serialized Fields

list

VariableList list
parent children list


Package com.meyling.principia.io

Class com.meyling.principia.io.ParsingException extends Exception implements Serializable

Serialized Fields

code

int code
exception code


description

String description
description of reason for exception


row

int row
source position of problem


column

int column
source position of problem


position

int position
source position of problem


line

String line
problematic line


address

String address
address of problematic module


Hilbert II - JAVA-Packages - Principia Mathematica II

©left GNU General Public Licence
All Rights Reserved.