AbortTransformationException
AppendReturnTransformation
Assertion
ClassTransformer
CompositeInstrumentationFilter
ContractCheckTransformation
ContractMethodTransformation
ContractTransformation
Elements
Equal
Exists
ForAll
InRange
InstanceOf
InstrumentationException
InstrumentationFilter
InstrumentationFilter_CONTRACT
InstrumentedFlagTransformation
InvariantCheckTransformation
InvariantMethodTransformation
InvariantViolationError
jContractor
jContractorClassLoader
jContractorRuntime
jContractorTask
jInstrument
jInstrumentTask
LoadContractClassTransformation
LockCloneTransformation
Logical
MarkInstrumentedTransformation
MethodSet
Not
Operator
PackageLevelInstrumentationFilter
PackageLevelInstrumentationFilterType
PostconditionCheckTransformation
PostconditionMethodTransformation
PostconditionViolationError
PreconditionCheckTransformation
PreconditionMethodTransformation
PreconditionViolationError
RemoveContractMethodsTransformation
ReplaceOldReferencesTransformation
ReplaceReturnInstructionsTransformation
SaveOldStateTransformation
SimpleInstrumentationFilter
Transformation
|