Hierarchy For All Packages

Package Hierarchies:

edu.ucsb.ccs.jaqual, edu.ucsb.ccs.jaqual.standard, edu.ucsb.ccs.jcontractor, edu.ucsb.ccs.jcontractor.extras, edu.ucsb.ccs.jcontractor.transformation

Class Hierarchy

• class java.lang.Object
  • class java.lang.ClassLoader
    • class edu.ucsb.ccs.jcontractor.jContractorClassLoader
  • class edu.ucsb.ccs.jcontractor.transformation.ClassTransformer
  • class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter (implements edu.ucsb.ccs.jcontractor.InstrumentationFilter)
  • class edu.ucsb.ccs.jaqual.Elements
  • class edu.ucsb.ccs.jaqual.standard.Equal (implements edu.ucsb.ccs.jaqual.Assertion)
  • class edu.ucsb.ccs.jaqual.Exists
  • class edu.ucsb.ccs.jaqual.ForAll
  • class edu.ucsb.ccs.jaqual.standard.InRange (implements edu.ucsb.ccs.jaqual.Assertion)
  • class edu.ucsb.ccs.jaqual.standard.InstanceOf (implements edu.ucsb.ccs.jaqual.Assertion)
  • class edu.ucsb.ccs.jcontractor.InstrumentationFilter_CONTRACT
  • class edu.ucsb.ccs.jcontractor.jContractor
  • class edu.ucsb.ccs.jcontractor.jContractorRuntime
  • class edu.ucsb.ccs.jcontractor.jInstrument
  • class edu.ucsb.ccs.jaqual.Logical
  • class edu.ucsb.ccs.jcontractor.transformation.MethodSet
  • class edu.ucsb.ccs.jaqual.standard.Not (implements edu.ucsb.ccs.jaqual.Assertion)
  • class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter (implements edu.ucsb.ccs.jcontractor.InstrumentationFilter)
  • class edu.ucsb.ccs.jcontractor.extras.PackageLevelInstrumentationFilterType
  • class org.apache.tools.ant.ProjectComponent
    • class org.apache.tools.ant.Task
      • class org.apache.tools.ant.taskdefs.Java
        • class edu.ucsb.ccs.jcontractor.extras.jContractorTask
      • class edu.ucsb.ccs.jcontractor.extras.jInstrumentTask
  • class edu.ucsb.ccs.jcontractor.SimpleInstrumentationFilter (implements edu.ucsb.ccs.jcontractor.InstrumentationFilter)
  • class java.lang.Throwable (implements java.io.Serializable)
    • class java.lang.Error
      • class edu.ucsb.ccs.jcontractor.InvariantViolationError
      • class edu.ucsb.ccs.jcontractor.PostconditionViolationError
      • class edu.ucsb.ccs.jcontractor.PreconditionViolationError
    • class java.lang.Exception
      • class edu.ucsb.ccs.jcontractor.transformation.AbortTransformationException
      • class edu.ucsb.ccs.jcontractor.InstrumentationException
  • 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

Interface Hierarchy

• interface edu.ucsb.ccs.jaqual.Assertion
• interface edu.ucsb.ccs.jcontractor.InstrumentationFilter
• interface edu.ucsb.ccs.jaqual.Operator