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