All Classes

Class	Description
CloneUtils	Utility class for object cloning.
ConditionChecker
ConditionClause	Represents a clause in a condition.
Constants	Holds some constants needed for code generation.
Contract
Contract.ContractConditionViolation	Abstract class representing generic contract condition violations.
Contract.Ensures	Declares the postconditions of a method.
Contract.Invariant	Declares the method as specifying a class invariant.
Contract.InvariantViolation
Contract.PostconditionViolation
Contract.PreconditionViolation
Contract.Pure	Declares the method as pure, so that it can be used as a clause in contract annotations.
Contract.Requires	Declares the preconditions of a method.
ContractCompilerTaskListener
ContractConditionEnum
ContractUtils	Utils to simplify the formulation of properties in contracts.
JavacUtils
JSickoContractCompiler	The main entry point for jSicko, that is, the implementation of the javac compiler.
JSickoDiagnostic	Holder for JSicko Diagnostic classes and utility methods.
JSickoDiagnostic.JSickoError	A JSicko error.
JSickoDiagnostic.JSickoNote	A JSicko note.
JSickoDiagnostic.JSickoWarning	A JSicko warning.
OldValuesTable	A symbol table-like data structure used to hold old values, needed to support internal/recursive method calls.