Hierarchy For Package edu.ucsb.ccs.jcontractor.transformation

Package Hierarchies:

All Packages

Class Hierarchy

• class java.lang.Object
  • class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
  • class edu.ucsb.ccs.jcontractor.transformation.MethodSet
  • class java.lang.Throwable (implements java.io.Serializable)
    • class java.lang.Exception
      • class edu.ucsb.ccs.jcontractor.transformation.AbortTransformationException
  • class edu.ucsb.ccs.jcontractor.transformation.Transformation
    • class edu.ucsb.ccs.jcontractor.transformation.ContractTransformation
      • class edu.ucsb.ccs.jcontractor.transformation.AppendReturnTransformation
      • class edu.ucsb.ccs.jcontractor.transformation.ContractCheckTransformation
        • class edu.ucsb.ccs.jcontractor.transformation.InvariantCheckTransformation
        • class edu.ucsb.ccs.jcontractor.transformation.PostconditionCheckTransformation
        • class edu.ucsb.ccs.jcontractor.transformation.PreconditionCheckTransformation
      • class edu.ucsb.ccs.jcontractor.transformation.ContractMethodTransformation
        • class edu.ucsb.ccs.jcontractor.transformation.InvariantMethodTransformation
        • class edu.ucsb.ccs.jcontractor.transformation.PostconditionMethodTransformation
        • class edu.ucsb.ccs.jcontractor.transformation.PreconditionMethodTransformation
      • class edu.ucsb.ccs.jcontractor.transformation.LoadContractClassTransformation
      • class edu.ucsb.ccs.jcontractor.transformation.LockCloneTransformation
      • class edu.ucsb.ccs.jcontractor.transformation.RemoveContractMethodsTransformation
      • class edu.ucsb.ccs.jcontractor.transformation.ReplaceOldReferencesTransformation
      • class edu.ucsb.ccs.jcontractor.transformation.ReplaceReturnInstructionsTransformation
      • class edu.ucsb.ccs.jcontractor.transformation.SaveOldStateTransformation
    • class edu.ucsb.ccs.jcontractor.transformation.InstrumentedFlagTransformation
    • class edu.ucsb.ccs.jcontractor.transformation.MarkInstrumentedTransformation