Serialized Form

Package liquidjava.diagnostics

Exception Class liquidjava.diagnostics.LJDiagnostic

class LJDiagnostic extends RuntimeException implements Serializable

Serialized Fields

accentColor

String accentColor

file

String file

message

String message

position

ErrorPosition position

title

String title

Class liquidjava.diagnostics.TranslationTable

class TranslationTable extends HashMap<String, PlacementInCode> implements Serializable

Package liquidjava.diagnostics.errors

Exception Class liquidjava.diagnostics.errors.CustomError

class CustomError extends LJError implements Serializable

Exception Class liquidjava.diagnostics.errors.IllegalConstructorTransitionError

class IllegalConstructorTransitionError extends LJError implements Serializable

Exception Class liquidjava.diagnostics.errors.InvalidRefinementError

class InvalidRefinementError extends LJError implements Serializable

Serialized Fields

refinement

String refinement

Exception Class liquidjava.diagnostics.errors.LJError

class LJError extends LJDiagnostic implements Serializable

Serialized Fields

translationTable

TranslationTable translationTable

Exception Class liquidjava.diagnostics.errors.NotFoundError

class NotFoundError extends LJError implements Serializable

Serialized Fields

kind

String kind

name

String name

Exception Class liquidjava.diagnostics.errors.RefinementError

class RefinementError extends LJError implements Serializable

Serialized Fields

expected

String expected

found

ValDerivationNode found

Exception Class liquidjava.diagnostics.errors.StateConflictError

class StateConflictError extends LJError implements Serializable

Serialized Fields

state

String state

Exception Class liquidjava.diagnostics.errors.StateRefinementError

class StateRefinementError extends LJError implements Serializable

Serialized Fields

expected

String expected

found

String found

Exception Class liquidjava.diagnostics.errors.SyntaxError

class SyntaxError extends LJError implements Serializable

Serialized Fields

refinement

String refinement

Package liquidjava.diagnostics.warnings

Exception Class liquidjava.diagnostics.warnings.CustomWarning

class CustomWarning extends LJWarning implements Serializable

Exception Class liquidjava.diagnostics.warnings.ExternalClassNotFoundWarning

class ExternalClassNotFoundWarning extends LJWarning implements Serializable

Serialized Fields

className

String className

Exception Class liquidjava.diagnostics.warnings.ExternalMethodNotFoundWarning

class ExternalMethodNotFoundWarning extends LJWarning implements Serializable

Serialized Fields

className

String className

methodName

String methodName

overloads

String[] overloads

Exception Class liquidjava.diagnostics.warnings.LJWarning

class LJWarning extends LJDiagnostic implements Serializable

Package liquidjava.smt.errors

Exception Class liquidjava.smt.errors.NotFoundError

class NotFoundError extends SMTError implements Serializable

Serialized Fields

kind

String kind

name

String name

Exception Class liquidjava.smt.errors.SMTError

class SMTError extends Exception implements Serializable

Serialized Fields

location

spoon.reflect.declaration.CtElement location

Exception Class liquidjava.smt.errors.TypeCheckError

class TypeCheckError extends Exception implements Serializable