Serialized Form

Package edu.rice.cs.cunit

Class edu.rice.cs.cunit.FileInstrumentorLauncher.FileInstrumentorLauncherView.FileTableCellRenderer extends javax.swing.table.DefaultTableCellRenderer implements Serializable

Package edu.rice.cs.cunit.classFile.constantPool

Class edu.rice.cs.cunit.classFile.constantPool.ClassFileException extends java.lang.RuntimeException implements Serializable

Class edu.rice.cs.cunit.classFile.constantPool.ConstantPool extends java.util.ArrayList<APoolInfo> implements Serializable

Package edu.rice.cs.cunit.instrumentors

Class edu.rice.cs.cunit.instrumentors.CouldNotDeleteAndRenameException extends RetryIOException implements Serializable

Serialized Fields

_toDelete

java.io.File _toDelete

File to delete.

_toRename

java.io.File _toRename

File to rename to _toDelete.

Class edu.rice.cs.cunit.instrumentors.CouldNotDoubleRenameException extends RetryIOException implements Serializable

Serialized Fields

_curFile

java.io.File _curFile

File to rename to _oldFile.

_oldFile

java.io.File _oldFile

New fname of _curFile.

_newFile

java.io.File _newFile

File to rename to _oldFile.

Class edu.rice.cs.cunit.instrumentors.CouldNotRenameException extends RetryIOException implements Serializable

Serialized Fields

_oldFile

java.io.File _oldFile

Old file, to be renamed to _newFile.

_newFile

java.io.File _newFile

New file.

Class edu.rice.cs.cunit.instrumentors.InstrumentorException extends java.lang.RuntimeException implements Serializable

Class edu.rice.cs.cunit.instrumentors.RetryIOException extends java.io.IOException implements Serializable

Package edu.rice.cs.cunit.instrumentors.threadCheck

Class edu.rice.cs.cunit.instrumentors.threadCheck.BadPredicateAnnotationWarning extends java.lang.RuntimeException implements Serializable

Serialized Fields

desc

java.lang.String desc

Description of what was bad.

Class edu.rice.cs.cunit.instrumentors.threadCheck.ClassNotFoundWarning extends java.lang.RuntimeException implements Serializable

Serialized Fields

className

java.lang.String className

Name of the class that was not found.

msg

java.lang.String msg

Message.

Class edu.rice.cs.cunit.instrumentors.threadCheck.PredicateAnnotationRecord extends java.lang.Object implements Serializable

Serialized Fields

annotation

AAnnotationsAttributeInfo.Annotation annotation

The annotation on the method or class.

paramTypes

java.util.HashMap<K,V> paramTypes

Hashmap with the parameter name as the key and the parameter descriptors as value, ignoring the first Object. Used for both @PredicateLink- and @Combine-type annotations.

predicateClass

java.lang.String predicateClass

Name of the predicate class, or null if @PredicateLink was not specified.

predicateMI

MethodInfo predicateMI

Name of the predicate method, or null if @PredicateLink was not specified.

paramNames

java.util.ArrayList<E> paramNames

The parameter names in the order they appear in the predicate method, ignoring the first Object.

valueList

java.util.ArrayList<E> valueList

The values from the annotation, including default values if a value was not specified at the usage site and a default value was defined, in the order of the parameters in the predicate method.

passArguments

boolean passArguments

Whether method arguments should be passed.

combineMode

Combine.Mode combineMode

Combine mode, or null if @Combine was not specified.

combinedPredicates

java.util.HashMap<K,V> combinedPredicates

Hashmap from member name to a list of other predicates that should be combined.

Class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckAnnotationRecord extends java.lang.Object implements Serializable

Serialized Fields

denyThreadNames

java.util.HashSet<E> denyThreadNames

denyThreadIds

java.util.HashSet<E> denyThreadIds

denyThreadGroups

java.util.HashSet<E> denyThreadGroups

allowThreadNames

java.util.HashSet<E> allowThreadNames

allowThreadIds

java.util.HashSet<E> allowThreadIds

allowThreadGroups

java.util.HashSet<E> allowThreadGroups

allowEventThread

OnlyRunBy.EVENT_THREAD allowEventThread

predicateAnnotations

java.util.ArrayList<E> predicateAnnotations

suppressSubtypingWarning

boolean suppressSubtypingWarning

timeStamp

long timeStamp

Timestamp of the last modification.

Class edu.rice.cs.cunit.instrumentors.threadCheck.ThreadCheckDefinitionRecord extends java.lang.Object implements Serializable

Serialized Fields

invariant

ThreadCheckAnnotationRecord invariant

The invariant applied to the classes and methods below.

classNames

java.util.HashSet<E> classNames

A set of class names.

methodClassAndSigs

java.util.HashMap<K,V> methodClassAndSigs

A map of method strings, generated by concatenating the class name, "::" and the method signature. Example: The method "void run()" in the class "sample.threadCheck.ThreadCheckSample4" has the string "sample.threadCheck.ThreadCheckSample4::run()V". The value is true if subtyping warnings should be suppressed.

Package edu.rice.cs.cunit.record

Class edu.rice.cs.cunit.record.DeadlockFrame extends javax.swing.JFrame implements Serializable

Serialized Fields

_listView

javax.swing.JList _listView

_countLabel

javax.swing.JLabel _countLabel

_cycles

java.util.List<E> _cycles

_curCycle

java.util.ListIterator<E> _curCycle

_prevBu

javax.swing.JButton _prevBu

_nextBu

javax.swing.JButton _nextBu

Class edu.rice.cs.cunit.record.RecordInfoView extends javax.swing.JFrame implements Serializable

Package edu.rice.cs.cunit.threadCheck

Class edu.rice.cs.cunit.threadCheck.ThreadCheck.ArgumentPredicateViolation extends ThreadCheck.PredicateViolation implements Serializable

Serialized Fields

args

java.lang.Object[] args

Class edu.rice.cs.cunit.threadCheck.ThreadCheck.ExceptionInArgumentPredicateViolation extends ThreadCheck.PredicateViolation implements Serializable

Serialized Fields

args

java.lang.Object[] args

t

java.lang.Throwable t

Class edu.rice.cs.cunit.threadCheck.ThreadCheck.ExceptionInPredicateViolation extends ThreadCheck.PredicateViolation implements Serializable

Serialized Fields

t

java.lang.Throwable t

Class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByIdViolation extends ThreadCheck.Violation implements Serializable

Serialized Fields

disallowedId

long disallowedId

Class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByThreadGroupViolation extends ThreadCheck.Violation implements Serializable

Serialized Fields

disallowedThreadGroupName

java.lang.String disallowedThreadGroupName

Class edu.rice.cs.cunit.threadCheck.ThreadCheck.NotRunByThreadNameViolation extends ThreadCheck.Violation implements Serializable

Serialized Fields

disallowedThreadName

java.lang.String disallowedThreadName

Class edu.rice.cs.cunit.threadCheck.ThreadCheck.OnlyRunByViolation extends ThreadCheck.Violation implements Serializable

Serialized Fields

allowedEventThread

boolean allowedEventThread

allowedThreadNames

java.util.HashSet<E> allowedThreadNames

allowedGroupNames

java.util.HashSet<E> allowedGroupNames

allowedThreadIds

java.util.HashSet<E> allowedThreadIds

Class edu.rice.cs.cunit.threadCheck.ThreadCheck.PredicateViolation extends ThreadCheck.Violation implements Serializable

Serialized Fields

predicateClass

java.lang.String predicateClass

Class edu.rice.cs.cunit.threadCheck.ThreadCheck.ReflectionPredicateViolation extends ThreadCheck.Violation implements Serializable

Serialized Fields

predicateString

java.lang.String predicateString

methodArgs

java.lang.Object[] methodArgs

Class edu.rice.cs.cunit.threadCheck.ThreadCheck.Violation extends java.lang.Object implements Serializable

Serialized Fields

type

ThreadCheck.Violation.TYPE type

threadName

java.lang.String threadName

threadGroupName

java.lang.String threadGroupName

threadId

long threadId

stackTrace

java.lang.StackTraceElement[] stackTrace

checkCount

long checkCount

violationCount

long violationCount

Class edu.rice.cs.cunit.threadCheck.ThreadCheckException extends java.lang.RuntimeException implements Serializable

Class edu.rice.cs.cunit.threadCheck.XMLAnnotUtils.ConcurrentyDefinitions extends java.util.HashMap<ThreadCheckAnnotationRecord,ThreadCheckDefinitionRecord> implements Serializable

Package edu.rice.cs.cunit.util

Class edu.rice.cs.cunit.util.GetTextButtonGroup extends javax.swing.ButtonGroup implements Serializable

Class edu.rice.cs.cunit.util.QuotedStringTokenizer.TokenizerException extends java.lang.RuntimeException implements Serializable

Class edu.rice.cs.cunit.util.TextAreaMessageDialog extends javax.swing.JDialog implements Serializable

Class edu.rice.cs.cunit.util.WrappedException extends java.lang.RuntimeException implements Serializable

Class edu.rice.cs.cunit.util.XMLConfig.XMLConfigException extends java.lang.RuntimeException implements Serializable