Package ch.usi.si.codelounge.jsicko.plugin

Class Summary

Class	Description
ConditionClause	Represents a clause in a condition.
Constants	Holds some constants needed for code generation.
ContractCompilerTaskListener
JSickoContractCompiler	The main entry point for jSicko, that is, the implementation of the javac compiler.
OldValuesTable	A symbol table-like data structure used to hold old values, needed to support internal/recursive method calls.

Enum Summary

Enum	Description
ContractConditionEnum