|
|||||||||
| Home >> All >> edu >> ucsb >> ccs >> [ jcontractor overview ] | PREV NEXT | ||||||||
A
- ALL - Static variable in interface edu.ucsb.ccs.jcontractor.InstrumentationFilter
- Instrumentation level for checking all contracts: preconditions, postconditions, and invariants.
- addFilter(InstrumentationFilter) - Method in class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- Add a filter to the composite filter.
- appliesTo(String) - Method in class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- Always returns true.
- appliesTo(String) - Method in interface edu.ucsb.ccs.jcontractor.InstrumentationFilter
- Determine if this filter applies to a given class.
- appliesTo(String) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Determine if this filter applies to a given class.
- appliesTo(String) - Method in class edu.ucsb.ccs.jcontractor.SimpleInstrumentationFilter
- Always returns true, this filter applies to all classes.
C
- CompositeInstrumentationFilter - class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter.
- An instrumentation filter that combines other instrumentation filters.
- CompositeInstrumentationFilter() - Constructor for class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- Create a new filter.
- canCheckAssertion() - Static method in class edu.ucsb.ccs.jcontractor.jContractorRuntime
- Determine if the current thread can evaluate an assertion.
- checkpoint() - Static method in class edu.ucsb.ccs.jcontractor.jContractorRuntime
- classes - Variable in class edu.ucsb.ccs.jcontractor.jContractorClassLoader
- A hashtable to store classes that have already been instrumented.
- classname - Variable in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- The name of the class to match.
- classpath - Static variable in class edu.ucsb.ccs.jcontractor.jContractorClassLoader
- Shared reference to the class path;
D
- destination - Variable in class edu.ucsb.ccs.jcontractor.jInstrument
- A directory to which instrumented files will be written by the
instrumentClassFile(String)method.
E
- edu.ucsb.ccs.jcontractor - package edu.ucsb.ccs.jcontractor
F
- filterLevel - Variable in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- The filter level of this filter, determined by how deep the package is.
- filters - Variable in class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- A linked list to hold the filters.
G
- getClassName() - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Get the name of the class matched by this filter.
- getClassName_Postcondition(String) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- getDestination() - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- Get the destination directory of files written by
instrumentClassFile(String). - getFilterLevel() - Method in class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- Get the filter level; always returns zero.
- getFilterLevel() - Method in interface edu.ucsb.ccs.jcontractor.InstrumentationFilter
- Get the filter level of this filter.
- getFilterLevel() - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Get the level of this filter.
- getFilterLevel() - Method in class edu.ucsb.ccs.jcontractor.SimpleInstrumentationFilter
- Get the filter level.
- getFilterLevel_Postcondition(int) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- getFilters() - Method in class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- Get the filters in the composite filter as a linked list.
- getFilters_Postcondition(LinkedList) - Method in class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- getInstrumentationFilter() - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- Get the instrumentation filter that determines which classes are instrumented and to what level.
- getInstrumentationFilter_Postcondition(InstrumentationFilter) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- getInstrumentationLevel(String) - Method in class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- Get the instrumentation level for a class.
- getInstrumentationLevel(String) - Method in interface edu.ucsb.ccs.jcontractor.InstrumentationFilter
- Get the instrumentation level for a class.
- getInstrumentationLevel(String) - Method in class edu.ucsb.ccs.jcontractor.InstrumentationFilter_CONTRACT
- Dummy method implementation.
- getInstrumentationLevel(String) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Get the instrumentation level to assign to a class that matches the filter criteria.
- getInstrumentationLevel() - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Get the instrumentation level assigned to classes that match the filter criteria.
- getInstrumentationLevel(String) - Method in class edu.ucsb.ccs.jcontractor.SimpleInstrumentationFilter
- Get the instrumentation level for a class.
- getInstrumentationLevel_Postcondition(String, int) - Method in class edu.ucsb.ccs.jcontractor.InstrumentationFilter_CONTRACT
- getInstrumentationLevel_Postcondition(int) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- getInstrumentationLevel_Precondition(String) - Method in class edu.ucsb.ccs.jcontractor.InstrumentationFilter_CONTRACT
- getPackageName() - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Get the name of the package matched by this filter.
- getPackageName_Postcondition(String) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- getVerbose() - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- Get the value of the verbose flag.
I
- InstrumentationException - exception edu.ucsb.ccs.jcontractor.InstrumentationException.
- An exception that is thrown by jInstrument if it is unable to instrument a class.
- InstrumentationException(String) - Constructor for class edu.ucsb.ccs.jcontractor.InstrumentationException
- InstrumentationFilter - interface edu.ucsb.ccs.jcontractor.InstrumentationFilter.
- Interface for instrumentation filters, which control the level to which classes are instrumented.
- InstrumentationFilter_CONTRACT - class edu.ucsb.ccs.jcontractor.InstrumentationFilter_CONTRACT.
- Contract class for InstrumentationFilter.
- InstrumentationFilter_CONTRACT() - Constructor for class edu.ucsb.ccs.jcontractor.InstrumentationFilter_CONTRACT
- InvariantViolationError - error edu.ucsb.ccs.jcontractor.InvariantViolationError.
- An error that will be thrown when a class invariant is violated.
- InvariantViolationError(String) - Constructor for class edu.ucsb.ccs.jcontractor.InvariantViolationError
- Construction a new exception with an informative message to tell what went wrong.
- implies(boolean, boolean) - Static method in class edu.ucsb.ccs.jcontractor.jContractor
- Deprecated. Use edu.ucsb.ccs.jaqual.Logical.implies instead.
- instrumentClass(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- Instrument a class to enforce jContractor contracts.
- instrumentClassFile(String) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- Instrument a class file to enforce jContractor contracts, and
write the instrumented file to the directory specified by
destination. - instrumentClassFile_Precondition(String) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- instrumentClass_Precondition(JavaClass) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- instrumentationFilter - Variable in class edu.ucsb.ccs.jcontractor.jInstrument
- An instrumentation filter that determines which classes are instrumented, and to what level.
- instrumentationLevel - Variable in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- The instrumentation level to assign to classes that match the class and package criteria.
- instrumentationLevel - Variable in class edu.ucsb.ccs.jcontractor.SimpleInstrumentationFilter
- The instrumentation level to assign to all classes.
- instrumentor - Variable in class edu.ucsb.ccs.jcontractor.jContractorClassLoader
- An instance of jInstrument that will be used to instrument classes as they are loaded.
- isInstrumented(JavaClass) - Static method in class edu.ucsb.ccs.jcontractor.jInstrument
- Determine if a class has been instrumented.
- isInstrumented_Precondition(JavaClass) - Static method in class edu.ucsb.ccs.jcontractor.jInstrument
J
- JCONTRACTOR_FLAG_CONSTANT - Static variable in class edu.ucsb.ccs.jcontractor.jInstrument
- The prefix of a constant that will be inserted into the constant pool of classes that jInstrument instruments to mark them as instrumented.
- jContractor - class edu.ucsb.ccs.jcontractor.jContractor.
- Main entry point into the jContractor system.
- jContractor() - Constructor for class edu.ucsb.ccs.jcontractor.jContractor
- jContractorClassLoader - class edu.ucsb.ccs.jcontractor.jContractorClassLoader.
- A class loader than uses jInstrument to instrument classes are they are loaded.
- jContractorClassLoader() - Constructor for class edu.ucsb.ccs.jcontractor.jContractorClassLoader
- Create a new class loader with a default instance of jInstrument.
- jContractorClassLoader(jInstrument) - Constructor for class edu.ucsb.ccs.jcontractor.jContractorClassLoader
- Create a class loader using the specified jInstrument to instrument classes.
- jContractorRuntime - class edu.ucsb.ccs.jcontractor.jContractorRuntime.
- This class is used internally by jContractor, and should never be used by others.
- jContractorRuntime() - Constructor for class edu.ucsb.ccs.jcontractor.jContractorRuntime
- jInstrument - class edu.ucsb.ccs.jcontractor.jInstrument.
- Utility to read in class files and instrument class methods to enforce jContractor contracts.
- jInstrument() - Constructor for class edu.ucsb.ccs.jcontractor.jInstrument
- Create a default instance that will check all contracts on all classes, in non-verbose mode.
L
- loadClass(String, boolean) - Method in class edu.ucsb.ccs.jcontractor.jContractorClassLoader
- Load a class and instrument it to enforce jContractor contracts.
- loadClass_Precondition(String, boolean) - Method in class edu.ucsb.ccs.jcontractor.jContractorClassLoader
- lockAssertionCheck() - Static method in class edu.ucsb.ccs.jcontractor.jContractorRuntime
- Lock assertion checking for the current thread.
M
- main(String[]) - Static method in class edu.ucsb.ccs.jcontractor.jContractor
- Main entry point to the application.
- main(String[]) - Static method in class edu.ucsb.ccs.jcontractor.jInstrument
- Instrument all the classes specified on the command line.
N
- NONE - Static variable in interface edu.ucsb.ccs.jcontractor.InstrumentationFilter
- Instrumentation level constant for no instrumentation at all.
P
- POST - Static variable in interface edu.ucsb.ccs.jcontractor.InstrumentationFilter
- Instrumentation level for checking preconditions and postconditions.
- PRE - Static variable in interface edu.ucsb.ccs.jcontractor.InstrumentationFilter
- Instrumentation level for checking preconditions only.
- PackageLevelInstrumentationFilter - class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter.
- An instrumentation filter that assigns instrumentation level by package (or class, if desired).
- PackageLevelInstrumentationFilter(String, String, int) - Constructor for class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Create a new filter.
- PackageLevelInstrumentationFilter(String, int) - Constructor for class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Create a filter from a class and package string.
- PostconditionViolationError - error edu.ucsb.ccs.jcontractor.PostconditionViolationError.
- An error that will be thrown when a postcondition is violated.
- PostconditionViolationError(String) - Constructor for class edu.ucsb.ccs.jcontractor.PostconditionViolationError
- Construction a new error with an informative message to tell what went wrong.
- PreconditionViolationError - error edu.ucsb.ccs.jcontractor.PreconditionViolationError.
- An error that will be thrown when a precondition is violated.
- PreconditionViolationError(String) - Constructor for class edu.ucsb.ccs.jcontractor.PreconditionViolationError
- Construction a new error with an informative message to tell what went wrong.
- packagename - Variable in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- The name of the package to match.
- parseInstrumentationFile(String, CompositeInstrumentationFilter) - Static method in class edu.ucsb.ccs.jcontractor.jInstrument
- Parse an instrumentation file.
- parseInstrumentationFile_Postcondition(String, CompositeInstrumentationFilter) - Static method in class edu.ucsb.ccs.jcontractor.jInstrument
- parseInstrumentationList(String, int, CompositeInstrumentationFilter) - Static method in class edu.ucsb.ccs.jcontractor.jInstrument
- Parse a comma separated list of packages to instrument and create instrumentation filters.
- popState() - Static method in class edu.ucsb.ccs.jcontractor.jContractorRuntime
- Recall the last saved state for a thread of execution.
- pushState(Object) - Static method in class edu.ucsb.ccs.jcontractor.jContractorRuntime
- Save the state of an object for retrieval later.
R
- releaseAssertionCheck() - Static method in class edu.ucsb.ccs.jcontractor.jContractorRuntime
- Release the assertion checking lock for the current thread.
- runInstrumented(String, String[]) - Static method in class edu.ucsb.ccs.jcontractor.jContractor
- Run a class with contracts enabled.
- runInstrumented(String, String[], jInstrument) - Static method in class edu.ucsb.ccs.jcontractor.jContractor
- Run a class with contracts enabled, using the specified instance of jInstrument.
S
- SimpleInstrumentationFilter - class edu.ucsb.ccs.jcontractor.SimpleInstrumentationFilter.
- An instrumentation filter that assign the same instrumentation level to all classes.
- SimpleInstrumentationFilter(int) - Constructor for class edu.ucsb.ccs.jcontractor.SimpleInstrumentationFilter
- Create a filter to assign the given instrumentation level.
- savedStates - Static variable in class edu.ucsb.ccs.jcontractor.jContractorRuntime
- A hashtable of Stacks, each of which cooresponds to the execution of a Thread.
- setClassName(String) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Set the name of the class matched by this filter.
- setClassName_Precondition(String) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- setDestination(String) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- Set the destination directory of files written by
instrumentClassFile(String). - setDestination_Precondition(String, Void) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- setInstrumentationFilter(InstrumentationFilter) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- Set the instrumentation filter that determines which classes are instrumented and to what level.
- setInstrumentationFilter_Postcondition(InstrumentationFilter) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- setInstrumentationLevel(int) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Set the instrumentation level assigned to classes that match the filter criteria.
- setInstrumentationLevel_Precondition(int) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- setPackageAndClass(String) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Set the package and class from a full class name (including package).
- setPackageName(String) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Set the name of the package to match.
- setPackageName_Precondition(String) - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- setVerbose(boolean) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- Set the value of the verbose flag.
- size() - Method in class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- Get the number of filters in this composite filter.
- size_Postcondition(int) - Method in class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- stripContracts(String) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
- Remove contract methods from a class file, to decrease the file size.
- stripContracts_Precondition(String) - Method in class edu.ucsb.ccs.jcontractor.jInstrument
T
- threadsCheckingContracts - Static variable in class edu.ucsb.ccs.jcontractor.jContractorRuntime
- Set of Threads that are checking assertion.
- toString() - Method in class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- Get a string representation of the filter, for debugging.
- toString() - Method in class edu.ucsb.ccs.jcontractor.PackageLevelInstrumentationFilter
- Get a string representation of the filter, for debugging.
- toString() - Method in class edu.ucsb.ccs.jcontractor.SimpleInstrumentationFilter
- Get a string representation of the filter, for debugging.
- transformer - Variable in class edu.ucsb.ccs.jcontractor.jInstrument
- A ClassTransformer used to instrument class files.
U
- USAGE_MESSAGE - Static variable in class edu.ucsb.ccs.jcontractor.jContractor
- Usage message to be printed if the command line arguments do not match the specification.
- USAGE_MESSAGE - Static variable in class edu.ucsb.ccs.jcontractor.jInstrument
- Usage message to be printed if the command line arguments do not match the specification.
V
- VERSION - Static variable in class edu.ucsb.ccs.jcontractor.jContractor
- Constant for the version number that is printed when the --version command line argument is given.
- VERSION - Static variable in class edu.ucsb.ccs.jcontractor.jInstrument
- Constant for the version number that is printed when the --version command line argument is given.
- verbose - Variable in class edu.ucsb.ccs.jcontractor.jInstrument
- Flag to specify that output should be verbose.
_
- _Invariant() - Method in class edu.ucsb.ccs.jcontractor.CompositeInstrumentationFilter
- _Invariant() - Method in class edu.ucsb.ccs.jcontractor.jContractorClassLoader
A C D E F G I J L M N P R S T U V _
|
|||||||||
| Home >> All >> edu >> ucsb >> ccs >> [ jcontractor overview ] | PREV NEXT | ||||||||