Uses of Class
java.lang.Object

Packages that use Object

antlr
com.sun.tools.doclets
com.sun.tools.doclets.standard
java.awt
java.awt.event
java.io	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.lang	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.lang.reflect	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.math	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.util	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.util.regex	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
javax.swing
javax.swing.filechooser
junit.framework
junit.runner
junit.textui
org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc	The jmldoc tool documents java programs that contain JML (Java Modeling Language) annotations included as specially formatted comments; the generated html pages are very similar to those produced by javadoc, but with annotation information added.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.jmlspecs.jmlrac.qexpr	Translates JML quantified expressions into Java source code to evaluate them at runtime.
org.jmlspecs.jmlrac.runtime	Classes for use during runtime assertion checking for code compiled with JML's runtime assertion checking compiler (jmlc).
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.jmlspecs.jmlunit	Generates JUnit test classes from JML specifications.
org.jmlspecs.jmlunit.strategies	The types in this package are used in providing test data for JML/JUnit testing.
org.jmlspecs.lang	This package is a collection of types used in the definition of the JML language.
org.jmlspecs.launcher	The launcher allows the user to access all of the tools in JML.
org.jmlspecs.models	This package is a collection of types with immutable objects; it also enumerators (which have mutable objects) for the types of the immutable collections in the package.
org.jmlspecs.models.resolve	This package is a collection of types with immutable objects based on the RESOLVE specification language's mathematical models.
org.jmlspecs.racwrap
org.jmlspecs.racwrap.runner
org.jmlspecs.samples.dbc	This package contains samples of JML specifications written in the style of design by contract.
org.jmlspecs.samples.digraph	This package contains samples of JML specifications for directed graphs.
org.jmlspecs.samples.dirobserver	This package contains samples of JML specifications that illustrate issues in component-based programming relating to callbacks and JML's model program feature.
org.jmlspecs.samples.jmlkluwer	This package contains samples of JML specifications from the paper "JML: a Notation for Detailed Design".
org.jmlspecs.samples.jmlrefman	This package contains samples of JML specifications from the JML Reference Manual.
org.jmlspecs.samples.jmltutorial	This package contains samples of JML specifications from the tutorials.
org.jmlspecs.samples.list.iterator
org.jmlspecs.samples.list.list1
org.jmlspecs.samples.list.list1.node
org.jmlspecs.samples.list.list2
org.jmlspecs.samples.list.list3
org.jmlspecs.samples.list.node
org.jmlspecs.samples.list.node2
org.jmlspecs.samples.misc	This package contains miscellaneous samples of JML specifications.
org.jmlspecs.samples.prelimdesign	This package contains samples of JML specifications from the paper Preliminary Design of JML.
org.jmlspecs.samples.reader	This package contains samples of JML specifications relating to some abstractions of input and output.
org.jmlspecs.samples.sets	This package contains samples of JML specifications relating to sets.
org.jmlspecs.samples.stacks	This package contains samples of JML specifications relating to stacks of various sorts.
org.jmlspecs.samples.table	This package contains samples of JML specifications relating to tables.
org.jmlspecs.util
org.jmlspecs.util.dis
org.multijava.dis
org.multijava.javadoc
org.multijava.launcher	The launcher allows the user to access all of the tools in MJ.
org.multijava.mjc	Implements mjc, a MultiJava compiler.
org.multijava.mjdoc	The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool.
org.multijava.mjdoc.mjdoc_142	The mjdoc tool documents java programs that contain MultiJava (MJ) extensions to the Java progamming language; it produces html pages very similar to those produced by the javadoc tool.
org.multijava.relaxed.runtime
org.multijava.relaxed.util
org.multijava.util
org.multijava.util.backend	Provides an optimizer for methods for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.classfile	Provides an editor for classfiles used by MultiJava and the Java Modeling Language.
org.multijava.util.compiler	Provides utilities and superclasses for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.gui
org.multijava.util.guigen	Implements the automatic generation of all of the GUIs for MultiJava and the Java Modeling Language.
org.multijava.util.jperf	Defines the perfect hashing function generator Package Specification JPerf is the perfect hashing function generator for the compilers in MultiJava and the Java Modeling Language.
org.multijava.util.lexgen	Provides a lexer for the compilers of MultiJava and the Java Modeling Language.
org.multijava.util.msggen	Implements the automatic generation of the data structure for all of the compiler messages in MultiJava and the Java Modeling Language.
org.multijava.util.optgen	Implements the automatic generation of the data structure for all of the command line options in MultiJava and the Java Modeling Language.
org.multijava.util.optimize	Provides an optimizer for classfiles used by MultiJava and the Java Modeling Language.
org.multijava.util.testing	Provides JUnit testing utilities for all of the parts of MultiJava and the Java Modeling Language.

Uses of Object in antlr

Subclasses of Object in antlr

class	antlr.CharScanner
class	antlr.LexerSharedInputState
class	antlr.LLkParser
class	antlr.Parser
class	antlr.Token
class	antlr.TokenStreamSelector

Uses of Object in com.sun.tools.doclets

Subclasses of Object in com.sun.tools.doclets

class	com.sun.tools.doclets.HtmlDocWriter
class	com.sun.tools.doclets.HtmlWriter

Uses of Object in com.sun.tools.doclets.standard

Subclasses of Object in com.sun.tools.doclets.standard

class	com.sun.tools.doclets.standard.AbstractSubWriter
class	com.sun.tools.doclets.standard.ClassSubWriter
class	com.sun.tools.doclets.standard.ClassWriter
class	com.sun.tools.doclets.standard.ConstructorSubWriter
class	com.sun.tools.doclets.standard.ExecutableMemberSubWriter
class	com.sun.tools.doclets.standard.FieldSubWriter
class	com.sun.tools.doclets.standard.HtmlStandardWriter
class	com.sun.tools.doclets.standard.MethodSubWriter
class	com.sun.tools.doclets.standard.Standard
class	com.sun.tools.doclets.standard.SubWriterHolderWriter

Uses of Object in java.awt

Subclasses of Object in java.awt

class	java.awt.Component
class	java.awt.Container
class	java.awt.Frame
class	java.awt.Window

Uses of Object in java.awt.event

Subclasses of Object in java.awt.event

class

java.awt.event.WindowAdapter

Uses of Object in java.io

Subclasses of Object in java.io

class	ByteArrayOutputStream
class	FileWriter
class	FilterOutputStream
class	InputStream
class	IOException
class	OutputStream
class	OutputStreamWriter
class	PrintStream
class	PrintWriter
class	RandomAccessFile
class	Reader
class	Writer

Fields in java.io declared as Object

private static Object	File.tmpFileLock
protected Object	Reader.lock
protected Object	Writer.lock

Methods in java.io with parameters of type Object

int	File.compareTo(Object)
boolean	File.equals(Object)
void	PrintStream.print(Object)
void	PrintStream.println(Object)
void	PrintWriter.print(Object)
void	PrintWriter.println(Object)

Constructors in java.io with parameters of type Object

Reader(Object)

Writer(Object)

Uses of Object in java.lang

Subclasses of Object in java.lang

class	ArithmeticException
class	Byte
class	Character
class	Class
class	ClassCastException
class	ClassLoader
class	ClassNotFoundException
class	CloneNotSupportedException
class	Double
class	Error
class	Exception
class	Float
class	IllegalAccessException
class	IllegalArgumentException
class	IllegalStateException
class	IndexOutOfBoundsException
class	Integer
class	InternalError
class	Long
class	NoSuchMethodException
class	NullPointerException
class	Number
class	NumberFormatException
class	OutOfMemoryError
class	Process
class	RuntimeException
class	SecurityException
class	Short
class	String
class	StringBuffer
class	Throwable
class	UnsupportedOperationException
class	VirtualMachineError

Fields in java.lang declared as Object

private Object

Throwable.backtrace

Methods in java.lang that return Object

protected Object	Object.clone()
Object	Class.newInstance()
private Object	Class.newInstance0()
Object[]	Class.getSigners()

Methods in java.lang with parameters of type Object

boolean	Object.equals(Object)
int	String.compareTo(Object)
boolean	String.equals(Object)
static String	String.valueOf(Object)
abstract int	Comparable.compareTo(Object)
abstract boolean	CharSequence.equals(Object)
protected void	ClassLoader.setSigners(Class, Object[])
boolean	Class.isInstance(Object)
(package private) void	Class.setSigners(Object[])
private static boolean	Class.arrayContentsEq(Object[], Object[])
int	Byte.compareTo(Object)
boolean	Byte.equals(Object)
int	Character.compareTo(Object)
boolean	Character.equals(Object)
int	Double.compareTo(Object)
boolean	Double.equals(Object)
int	Float.compareTo(Object)
boolean	Float.equals(Object)
int	Integer.compareTo(Object)
boolean	Integer.equals(Object)
int	Long.compareTo(Object)
boolean	Long.equals(Object)
int	Short.compareTo(Object)
boolean	Short.equals(Object)
StringBuffer	StringBuffer.insert(int, Object)
StringBuffer	StringBuffer.append(Object)

Uses of Object in java.lang.reflect

Subclasses of Object in java.lang.reflect

class	AccessibleObject
class	Field
class	InvocationTargetException
class	Method

Methods in java.lang.reflect that return Object

Object	Method.invoke(Object, Object[])
Object	Field.get(Object)

Methods in java.lang.reflect with parameters of type Object

boolean	Method.equals(Object)
Object	Method.invoke(Object, Object[])
byte	Field.getByte(Object)
char	Field.getChar(Object)
double	Field.getDouble(Object)
float	Field.getFloat(Object)
int	Field.getInt(Object)
long	Field.getLong(Object)
short	Field.getShort(Object)
private void	Field.doSecurityCheck(Object)
boolean	Field.equals(Object)
boolean	Field.getBoolean(Object)
void	Field.setByte(Object, byte)
void	Field.setChar(Object, char)
void	Field.setDouble(Object, double)
void	Field.setFloat(Object, float)
void	Field.setInt(Object, int)
void	Field.setLong(Object, long)
void	Field.setShort(Object, short)
void	Field.setBoolean(Object, boolean)
Object	Field.get(Object)
void	Field.set(Object, Object)
private sun.reflect.FieldAccessor	Field.getFieldAccessor(Object)

Uses of Object in java.math

Subclasses of Object in java.math

class

BigInteger

Methods in java.math with parameters of type Object

int	BigInteger.compareTo(Object)
boolean	BigInteger.equals(Object)

Uses of Object in java.util

Subclasses of Object in java.util

class	AbstractCollection
class	AbstractList
class	AbstractMap
class	AbstractSequentialList
class	AbstractSet
class	ArrayList
class	BitSet
class	Dictionary
class	EventObject
class	HashMap
class	HashSet
class	Hashtable
class	LinkedHashSet
class	LinkedList
class	NoSuchElementException
class	Properties
class	Random
class	Stack
class	TreeMap
class	TreeSet
class	Vector

Fields in java.util declared as Object

protected Object	EventObject.source
private Object[]	ArrayList.elementData
private static Object	HashSet.PRESENT
protected Object[]	Vector.elementData
(package private) static Object	HashMap.NULL_KEY
private static Object	TreeSet.PRESENT

Methods in java.util that return Object

abstract Object	Iterator.next()
Object	EventObject.getSource()
Object[]	AbstractCollection.toArray()
Object[]	AbstractCollection.toArray(Object[])
abstract Object[]	Collection.toArray()
abstract Object[]	Collection.toArray(Object[])
abstract Object	AbstractList.get(int)
Object	AbstractList.remove(int)
Object	AbstractList.set(int, Object)
abstract Object	List.get(int)
abstract Object	List.remove(int)
abstract Object	List.set(int, Object)
abstract Object[]	List.toArray()
abstract Object[]	List.toArray(Object[])
Object	ArrayList.clone()
Object[]	ArrayList.toArray()
Object	ArrayList.get(int)
Object	ArrayList.remove(int)
Object	ArrayList.set(int, Object)
Object[]	ArrayList.toArray(Object[])
abstract Object[]	Set.toArray()
abstract Object[]	Set.toArray(Object[])
Object	HashSet.clone()
Object	Vector.clone()
Object	Vector.firstElement()
Object	Vector.lastElement()
Object[]	Vector.toArray()
Object	Vector.elementAt(int)
Object	Vector.get(int)
Object	Vector.remove(int)
Object	Vector.set(int, Object)
Object[]	Vector.toArray(Object[])
Object	Stack.peek()
Object	Stack.pop()
Object	Stack.push(Object)
protected Object	AbstractMap.clone()
Object	AbstractMap.get(Object)
Object	AbstractMap.remove(Object)
Object	AbstractMap.put(Object, Object)
abstract Object	Map.get(Object)
abstract Object	Map.put(Object, Object)
abstract Object	Map.remove(Object)
Object	HashMap.clone()
Object	HashMap.get(Object)
(package private) static Object	HashMap.maskNull(Object)
Object	HashMap.remove(Object)
(package private) static Object	HashMap.unmaskNull(Object)
Object	HashMap.put(Object, Object)
abstract Object	Dictionary.get(Object)
abstract Object	Dictionary.remove(Object)
abstract Object	Dictionary.put(Object, Object)
Object	Hashtable.clone()
Object	Hashtable.get(Object)
Object	Hashtable.remove(Object)
Object	Hashtable.put(Object, Object)
Object	AbstractSequentialList.get(int)
Object	AbstractSequentialList.remove(int)
Object	AbstractSequentialList.set(int, Object)
Object	LinkedList.clone()
Object	LinkedList.getFirst()
Object	LinkedList.getLast()
Object	LinkedList.removeFirst()
Object	LinkedList.removeLast()
Object[]	LinkedList.toArray()
Object	LinkedList.get(int)
Object	LinkedList.remove(int)
Object	LinkedList.set(int, Object)
Object[]	LinkedList.toArray(Object[])
abstract Object	Enumeration.nextElement()
Object	Properties.setProperty(String, String)
abstract Object	Map.Entry.getKey()
abstract Object	Map.Entry.getValue()
abstract Object	Map.Entry.setValue(Object)
Object	BitSet.clone()
Object	TreeSet.clone()
Object	TreeSet.first()
Object	TreeSet.last()
abstract Object	SortedSet.first()
abstract Object	SortedSet.last()
Object	TreeMap.clone()
Object	TreeMap.firstKey()
Object	TreeMap.lastKey()
Object	TreeMap.get(Object)
Object	TreeMap.remove(Object)
private static Object	TreeMap.key(TreeMap.Entry)
Object	TreeMap.put(Object, Object)
abstract Object	SortedMap.firstKey()
abstract Object	SortedMap.lastKey()
abstract Object	ListIterator.next()
abstract Object	ListIterator.previous()

Methods in java.util with parameters of type Object

abstract boolean	Comparator.equals(Object)
abstract int	Comparator.compare(Object, Object)
boolean	AbstractCollection.add(Object)
boolean	AbstractCollection.contains(Object)
boolean	AbstractCollection.remove(Object)
Object[]	AbstractCollection.toArray(Object[])
abstract boolean	Collection.add(Object)
abstract boolean	Collection.contains(Object)
abstract boolean	Collection.equals(Object)
abstract boolean	Collection.remove(Object)
abstract Object[]	Collection.toArray(Object[])
void	AbstractList.add(int, Object)
int	AbstractList.indexOf(Object)
int	AbstractList.lastIndexOf(Object)
boolean	AbstractList.add(Object)
boolean	AbstractList.equals(Object)
Object	AbstractList.set(int, Object)
abstract void	List.add(int, Object)
abstract boolean	List.add(Object)
abstract boolean	List.contains(Object)
abstract boolean	List.equals(Object)
abstract int	List.indexOf(Object)
abstract int	List.lastIndexOf(Object)
abstract boolean	List.remove(Object)
abstract Object	List.set(int, Object)
abstract Object[]	List.toArray(Object[])
void	ArrayList.add(int, Object)
int	ArrayList.indexOf(Object)
int	ArrayList.lastIndexOf(Object)
boolean	ArrayList.add(Object)
boolean	ArrayList.contains(Object)
Object	ArrayList.set(int, Object)
Object[]	ArrayList.toArray(Object[])
boolean	AbstractSet.equals(Object)
abstract boolean	Set.add(Object)
abstract boolean	Set.contains(Object)
abstract boolean	Set.equals(Object)
abstract boolean	Set.remove(Object)
abstract Object[]	Set.toArray(Object[])
boolean	HashSet.add(Object)
boolean	HashSet.contains(Object)
boolean	HashSet.remove(Object)
void	Vector.add(int, Object)
int	Vector.indexOf(Object)
int	Vector.lastIndexOf(Object)
void	Vector.addElement(Object)
boolean	Vector.add(Object)
boolean	Vector.contains(Object)
boolean	Vector.equals(Object)
boolean	Vector.remove(Object)
boolean	Vector.removeElement(Object)
int	Vector.indexOf(Object, int)
int	Vector.lastIndexOf(Object, int)
void	Vector.insertElementAt(Object, int)
void	Vector.setElementAt(Object, int)
void	Vector.copyInto(Object[])
Object	Vector.set(int, Object)
Object[]	Vector.toArray(Object[])
int	Stack.search(Object)
Object	Stack.push(Object)
boolean	AbstractMap.containsKey(Object)
boolean	AbstractMap.containsValue(Object)
boolean	AbstractMap.equals(Object)
Object	AbstractMap.get(Object)
Object	AbstractMap.remove(Object)
Object	AbstractMap.put(Object, Object)
abstract boolean	Map.containsKey(Object)
abstract boolean	Map.containsValue(Object)
abstract boolean	Map.equals(Object)
abstract Object	Map.get(Object)
abstract Object	Map.put(Object, Object)
abstract Object	Map.remove(Object)
(package private) static int	HashMap.hash(Object)
boolean	HashMap.containsKey(Object)
boolean	HashMap.containsValue(Object)
(package private) void	HashMap.addEntry(int, Object, Object, int)
(package private) void	HashMap.createEntry(int, Object, Object, int)
Object	HashMap.get(Object)
(package private) static Object	HashMap.maskNull(Object)
Object	HashMap.remove(Object)
(package private) static Object	HashMap.unmaskNull(Object)
private void	HashMap.putForCreate(Object, Object)
(package private) static boolean	HashMap.eq(Object, Object)
(package private) HashMap.Entry	HashMap.getEntry(Object)
(package private) HashMap.Entry	HashMap.removeEntryForKey(Object)
(package private) HashMap.Entry	HashMap.removeMapping(Object)
Object	HashMap.put(Object, Object)
abstract Object	Dictionary.get(Object)
abstract Object	Dictionary.remove(Object)
abstract Object	Dictionary.put(Object, Object)
boolean	Hashtable.contains(Object)
boolean	Hashtable.containsKey(Object)
boolean	Hashtable.containsValue(Object)
boolean	Hashtable.equals(Object)
Object	Hashtable.get(Object)
Object	Hashtable.remove(Object)
Object	Hashtable.put(Object, Object)
void	AbstractSequentialList.add(int, Object)
Object	AbstractSequentialList.set(int, Object)
void	LinkedList.add(int, Object)
int	LinkedList.indexOf(Object)
int	LinkedList.lastIndexOf(Object)
void	LinkedList.addFirst(Object)
void	LinkedList.addLast(Object)
boolean	LinkedList.add(Object)
boolean	LinkedList.contains(Object)
boolean	LinkedList.remove(Object)
Object	LinkedList.set(int, Object)
Object[]	LinkedList.toArray(Object[])
private LinkedList.Entry	LinkedList.addBefore(Object, LinkedList.Entry)
abstract boolean	Map.Entry.equals(Object)
abstract Object	Map.Entry.setValue(Object)
boolean	BitSet.equals(Object)
boolean	TreeSet.add(Object)
boolean	TreeSet.contains(Object)
boolean	TreeSet.remove(Object)
SortedSet	TreeSet.headSet(Object)
SortedSet	TreeSet.tailSet(Object)
SortedSet	TreeSet.subSet(Object, Object)
abstract SortedSet	SortedSet.headSet(Object)
abstract SortedSet	SortedSet.subSet(Object, Object)
abstract SortedSet	SortedSet.tailSet(Object)
boolean	TreeMap.containsKey(Object)
boolean	TreeMap.containsValue(Object)
(package private) void	TreeMap.readTreeSet(int, ObjectInputStream, Object)
Object	TreeMap.get(Object)
Object	TreeMap.remove(Object)
private int	TreeMap.compare(Object, Object)
private static boolean	TreeMap.valEquals(Object, Object)
(package private) void	TreeMap.addAllForTreeSet(SortedSet, Object)
private boolean	TreeMap.valueSearchNonNull(TreeMap.Entry, Object)
SortedMap	TreeMap.headMap(Object)
SortedMap	TreeMap.tailMap(Object)
private TreeMap.Entry	TreeMap.getCeilEntry(Object)
private TreeMap.Entry	TreeMap.getEntry(Object)
private TreeMap.Entry	TreeMap.getPrecedingEntry(Object)
private void	TreeMap.buildFromSorted(int, Iterator, ObjectInputStream, Object)
Object	TreeMap.put(Object, Object)
SortedMap	TreeMap.subMap(Object, Object)
private static TreeMap.Entry	TreeMap.buildFromSorted(int, int, int, int, Iterator, ObjectInputStream, Object)
abstract SortedMap	SortedMap.headMap(Object)
abstract SortedMap	SortedMap.subMap(Object, Object)
abstract SortedMap	SortedMap.tailMap(Object)
abstract void	ListIterator.add(Object)
abstract void	ListIterator.set(Object)

Constructors in java.util with parameters of type Object

EventObject(Object)

Uses of Object in java.util.regex

Subclasses of Object in java.util.regex

class

Pattern

Uses of Object in javax.swing

Subclasses of Object in javax.swing

class	javax.swing.JComponent
class	javax.swing.JFrame
class	javax.swing.JPanel

Uses of Object in javax.swing.filechooser

Subclasses of Object in javax.swing.filechooser

class

javax.swing.filechooser.FileFilter

Uses of Object in junit.framework

Subclasses of Object in junit.framework

class	junit.framework.Assert
class	junit.framework.TestCase
class	junit.framework.TestResult
class	junit.framework.TestSuite

Uses of Object in junit.runner

Subclasses of Object in junit.runner

class

junit.runner.BaseTestRunner

Uses of Object in junit.textui

Subclasses of Object in junit.textui

class	junit.textui.ResultPrinter
class	junit.textui.TestRunner

Uses of Object in org.jmlspecs.checker

Subclasses of Object in org.jmlspecs.checker

class	AndNotPatternFilenameFilter Decorates the file name filter given to the constructor so it does not match names that include the pattern given to the constructor.
class	CTypeType This class represents the JML \TYPE type.
class	JavadocJmlLexer
class	JavadocJmlParser
class	JClassDeclarationWrapper A wrapper class to JClassDeclaration to implement JML-specific typechecking.
class	JConstructorBlockWrapper
class	JConstructorDeclarationWrapper A class representing a constructor declaration in the syntax tree.
class	JFieldDeclarationWrapper A class representing a field declaration in the syntax tree.
class	JInterfaceDeclarationWrapper This class represents a java interface in the syntax tree
class	JMethodDeclarationWrapper A class representing a method declaration in the syntax tree.
class	JmlAbruptSpecBody JmlAbruptSpecBody.java
class	JmlAbruptSpecCase JmlAbruptSpecCase.java
class	JmlAbstractVisitor An abstract JML visitor class to facilitate writing concrete visitor classes that implements the interface JmlVisitor.
class	JmlAccessibleClause An AST node class representing the JML accessible clause.
class	JmlAccumSubclassingInfo
class	JmlAddExpression This class represents the addition binary expression.
class	JmlAssertOrAssumeStatement This class represents the type of assert-statement, and assume-statement in JML.
class	JmlAssertStatement JmlAssertStatement.java
class	JmlAssignableClause A JML AST node for the assignable clause.
class	JmlAssignableFieldSet This class acts as a set containing the assignable fields mentioned in an assignable clause.
class	JmlAssignmentStatement JmlAssignmentStatement.java
class	JmlAssumeStatement JmlAssumeStatement.java
class	JmlAxiom This AST node represents a JML axiom annotation.
class	JmlBehaviorSpec JmlBehaviorSpec.java heavyweight-spec ::= [ privacy ] "behavior" generic-spec-case
class	JmlBinaryArithmeticExpressionHelper This class is an abstract root class for binary expressions.
class	JmlBinaryField This class represents a class read from a *.class file.
class	JmlBinaryMember This type represents a java declaration in the syntax tree.
class	JmlBinaryMethod This class represents a method read from a *.class file.
class	JmlBinarySourceClass This class represents a class read from a *.class file.
class	JmlBinaryType This class represents a class read from a *.class file.
class	JmlBitwiseExpression This class represents the addition binary expression.
class	JmlBreaksClause JmlBreaksClause.java
class	JmlCallableClause An AST node class representing the JML callable clause.
class	JmlCapturesClause An AST node class representing the JML captures clause.
class	JmlClassBlock This class represents a instance or static initializer block annotated with a JML method specification.
class	JmlClassContext This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlClassDeclaration This type represents a java class declaration in the syntax tree.
class	JmlClassOrGFImport This type represents (in the AST) import statements for single classes or generic functions, e.g., import java.util.ArrayList; or import org.multijava.samples.typecheck.
class	JmlCodeContract An abstraction of JML method specification.
class	JmlCommonOptions This class is automatically generated from JmlCommonOptions.opt and contains member fields corresponding to command-line options.
class	JmlCompilationUnit This class represents a single JML compilation unit (typically a file in a file-based compiler like this) in the AST.
class	JmlCompilationUnitContext This class represents the context for a compilation unit during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlConstraint This AST node represents a JML constraint annotation.
class	JmlConstructorContext This class represents the context for a constructor during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlConstructorDeclaration JmlConstructorDeclaration.java
class	JmlConstructorName This AST node represents a constructor in a JML annotation.
class	JmlContext Descendents of this class represent local contexts during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlContinuesClause JmlContinuesClause.java
class	JmlDataGroupAccumulator This class represents a set of jml-data-group-assertion's in JML ASTs.
class	JmlDataGroupClause This class represents a jml-var-assertion of the form initially predicate.
class	JmlDataGroupMemberMap This class acts as a
class	JmlDebugStatement A concrete AST node class to represent the debug statement of the following form: debug-statement ::= "debug" expression ;
class	JmlDeclaration This abstract class is the superclass of all jml-declaration AST nodes, (i.e., invariants, history constraints, depends declarations, and represents declarations)
(package private) class	JmlDeclaration.ModifierAccumulator
class	JMLDefaultWarningFilter A warning filter for JML.
class	JmlDivergesClause A JML AST node class for the diverges clause.
class	JmlDivideExpression This class represents the addition binary expression.
class	JmlDurationClause JmlDurationClause.java
class	JmlDurationExpression JmlDurationExpression.java
class	JmlElemTypeExpression JmlElemTypeExpression.java
class	JmlEnsuresClause A JML AST node for the <\code>ensures clause.
class	JmlEqualityExpression This class represents the AST node for the equality operators.
class	JmlExample A class representing JML example specifications.
class	JmlExceptionalBehaviorSpec JmlExceptionalBehaviorSpec.java heavyweight-spec ::= [ privacy ] "exceptional_behavior" exceptional-spec-case
class	JmlExceptionalExample A class representing JML exceptional example specifications.
class	JmlExceptionalSpecBody An AST node class for the JML exceptional-spec-body.
class	JmlExceptionalSpecCase An AST node class for the JML exceptional-spec-case.
class	JmlExpression JmlExpression.java
class	JmlExpressionChecker A visitor class to check privacy (and purity) of JML expressions.
class	JmlExpressionContext A class for representing the context in which JML expressions are typechecked.
class	JmlExpressionFactory Expression AST node factory class.
(package private) class	JmlExprIDKeywords
class	JmlExtendingSpecification A method specification that extetends inherited specifications.
class	JmlFieldDeclaration JmlFieldDeclaration.java
(package private) class	JmlFieldDeclaration.JmlFieldSpecsContext A special flow control context class for typechecking JML data group clauses.
class	JmlFileFinder This FileFinder looks for a .class file and a .java file, returning whichever one is newer.
class	JmlFlowControlContext This class is used during typechecking for control flow analysis that maintains local variable definite assignment (JLS2, 16), throwable, and reachability information (JLS2, 14.20).
class	JmlForAllVarDecl An AST node class for the JML forall variable declarations.
class	JmlFormalParameter This class represents a formal parameter in a JML AST.
class	JmlFreshExpression JmlFreshExpression.java
class	JmlGeneralSpecCase An abstraction of JML specification cases.
class	JmlGenericSpecBody An AST node class for the JML generic-spec-body.
class	JmlGenericSpecCase An AST node class for the JML generic-spec-case.
class	JmlGuardedStatement JmlGuardedStatement.java
class	JmlGUI This class is automatically generated from JmlGUI.gui and contains member fields corresponding to tool-specific GUI specifications.
protected class	JmlGUI.AllFilesGUIFileFilter
protected class	JmlGUI.JmlCompilation
protected class	JmlGUI.JmlGUIFileFilter
protected class	JmlGUI.JmlOpenHandler
class	JmlHeavyweightSpec An AST node class for the JML heavyweight-spec.
class	JmlHenceByStatement JmlHenceByStatement.java
(package private) class	JmlIDKeywords
class	JmlInformalExpression JmlInformalExpression.java
class	JmlInformalStoreRef JmlInformalStoreRef.java
class	JmlInGroupClause This class represents a jml-var-assertion of the form initially predicate.
class	JmlInitializerContext This class represents the context for a static initializer during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlInitiallyVarAssertion This class represents a jml-var-assertion of the form initially predicate.
class	JmlInterfaceContext This class represents the context for an interface declaration during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlInterfaceDeclaration This class represents a java interface in the syntax tree
class	JmlInvariant This AST node represents a JML invariant annotation.
class	JmlInvariantForExpression AST for the JML expression \invariant_for.
class	JmlInvariantStatement JmlInvariantStatement.java
class	JmlIsInitializedExpression AST for the JML expression \is_initialized.
class	JmlJDLexer This is the scanner for embedded JML annotations.
class	JmlLabeled JmlLabeledClause.java
class	JmlLabelExpression AST for the JML expressions \lblneg and \lblpos.
class	JmlLetVarDecl An AST node class for the JML let (old) variable declarations.
class	JmlLexer This is the top level JML scanner.
class	JmlLockSetExpression AST for the JML expression \lockset.
class	JmlLoopInvariant JmlLoopInvariant.java
class	JmlLoopSpecification This is the super class for the classes representing loop-invariant and variant-function annotations for loop-stmt.
class	JmlLoopStatement This class represents loop-stmts annotated with loop-invariants and/or variant-functions.
class	JmlMapsIntoClause This class represents a jml-var-assertion of the form initially predicate.
class	JMLMathMode
class	JmlMaxExpression JmlMaxExpression.java
class	JmlMeasuredClause JmlMeasuredClause.java
class	JmlMemberAccess This class represents and contains the information needed to determine whether a member of a class or compilation unit can be accessed from some other member.
class	JmlMemberDeclaration This type represents a java declaration in the syntax tree.
class	JmlMessages
class	JmlMethodContext This class represents the context for a method during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlMethodDeclaration JmlMethodDeclaration.java
class	JmlMethodName This AST node represents a method name in a JML annotation.
class	JmlMethodNameList An AST node class representing the JML callable clause.
class	JmlMethodSpecification An abstraction of JML method specification.
class	JmlMinusExpression This class represents the addition binary expression.
class	JmlMLLexer This is the scanner for multi-line JML annotations.
class	JmlModelProgram JmlModelProgram.java
class	JmlModelProgStatement The type of model-prog-statements.
class	JmlModuloExpression This class represents the addition binary expression.
class	JmlMonitorsForVarAssertion JmlMonitorsForVarAssertion.java
class	JmlMultExpression This class represents the addition binary expression.
class	JmlName This class represents a store-ref-name, store-ref-name-suffix, method-res-start, or identifier from a method-ref in an AST.
class	JmlNode This is the superclass of most JML AST nodes.
(package private) static class	JmlNode.DummyInitializerDeclaration A class for dummy initializer declarations.
class	JmlNondetChoiceStatement JmlNondetChoiceStatement.java
class	JmlNondetIfStatement JmlNondetIfStatement.java
class	JmlNonNullElementsExpression JmlNonNullElementsExpression.java
class	JmlNormalBehaviorSpec JmlNormalBehaviorSpec.java heavyweight-spec ::= [ privacy ] "normal_behavior" normal-spec-case
class	JmlNormalExample A class representing JML normal example specifications.
class	JmlNormalSpecBody An AST node class for the JML normal-spec-body.
class	JmlNormalSpecCase An AST node class for the JML normal-spec-case.
class	JmlNotAssignedExpression JmlNotAssignedExpression.java
class	JmlNotModifiedExpression JmlNotModifiedExpression.java
class	JmlNumericType This class represents the JML primitive numeric types bigint and real.
class	JmlOldExpression JmlOldExpression.java
class	JmlOnlyAccessedExpression JmlOnlyAccessedExpression.java
class	JmlOnlyAssignedExpression JmlOnlyAssignedExpression.java
class	JmlOnlyCalledExpression JmlOnlyCalledExpression.java
class	JmlOnlyCapturedExpression JmlOnlyCapturedExpression.java
class	JmlOptions This class is automatically generated from JmlOptions.opt and contains member fields corresponding to command-line options.
class	JmlOrdinalLiteral This class represents jml specific ordinal literals (bigint)
class	JmlOtherRef An AST node class representing JML references to an arbitrary object.
class	JmlPackageImport This type represents (in the AST) full-package import statements.
class	JmlParser
(package private) static class	JmlParser.StringBooleanPair
(package private) static class	JmlParser.TypeWeaklyList This nested class represents a list of implemented interfaces for a class declaration (or extends interfaces for an interface declaration) and whether they are implemented (or extended) weakly.
class	JmlParserUtility This class is derived from ...mjc.ParserUtility; its purpose is to supply a different JavadocParser than the one in org.multijava.mjc.
class	JmlPredicate This represents the AST node for a predicate in JML.
class	JmlPredicateClause JmlPredicateClause.java
class	JmlPredicateKeyword
class	JmlPreExpression JmlPreExpression.java
class	JmlQuotedExpressionWrapper This abstract class is the super class of all JmlExpressions that simply modify a quoted Java expression (e.g.
class	JmlReachExpression An AST node class for the JML reach expressions.
class	JmlReadableIfVarAssertion This class represents a jml-var-assertion of the form readable id if predicate.
class	JmlRedundantSpec A class representing JML redundant specifications.
class	JmlRefinePrefix
class	JmlRelationalExpression This class represents the JML relational expressions.
class	JmlRepresentsDecl This AST node represents a JML represents declaration annotation.
class	JmlRequiresClause JmlRequiresClause.java
class	JmlResultExpression JmlResultExpression.java
class	JmlReturnsClause JmlReturnsClause.java
class	JmlSetComprehension An AST node class for JML's set comprehension notation.
class	JmlSetStatement JmlSetStatement.java
class	JmlShiftExpression This class represents the addition binary expression.
class	JmlSigBinaryClass A class to represent JML class declaratons read from bytecode files.
class	JmlSigBinaryField A class to represent JML field declaratons read from bytecode files.
class	JmlSigBinaryMethod A class to represent JML method declaratons read from bytecode files.
class	JmlSigClassCreator A concrete class creator to create JML classes from bytecode files.
class	JmlSignalsClause A JML AST node class for the signals clause.
class	JmlSignalsOnlyClause A JML AST node class for the signals_only clause.
class	JmlSLLexer
class	JmlSourceClass A class for representing JML classes read from *.java files.
(package private) class	JmlSourceClass.JmlSourceClass$1
(package private) class	JmlSourceClass.JmlSourceClass$2
(package private) class	JmlSourceClass.JmlSourceClass$3
class	JmlSourceField A class for representing an exported field of a class.
class	JmlSourceMethod A class for representing JML method declaration in the signature forest.
class	JmlSpaceExpression JmlSpaceExpression.java
class	JmlSpecBody JmlSpecBodyClause.java
class	JmlSpecBodyClause This abstract class is the common superclass of different kinds of specification clauses appearing in the specification body such as JmlAccessibleClause, JmlAssignableClause, JmlCallableClause, and JmlPredicateClause.
class	JmlSpecCase An abstraction of JML specification cases.
class	JmlSpecExpression
class	JmlSpecExpressionWrapper This abstract class is the super class of all JmlExpressions that simply modify a spec-expression (e.g.
class	JmlSpecification JmlSpecification.java
class	JmlSpecQuantifiedExpression An AST node class for JML quantified expressions.
class	JmlSpecStatement JmlSpecStatement.java
class	JmlSpecStatementClause JmlSpecStatementClause.java
class	JmlSpecVarDecl An abstraction of JML specification variable declarations.
class	JmlStdType This class is a singleton that provides variables for the various built-in and java.lang types.
class	JmlStoreRef An abstraction of JML store references.
class	JmlStoreRefExpression An AST node class for JML store reference expressions.
class	JmlStoreRefKeyword This class represents a JmlStoreRefKeyword in the AST.
class	JmlStoreRefListWrapper JmlStoreRefListWrapper.java
(package private) class	JmlTopIDKeywords
class	JmlTypeDeclaration This type represents a java class or interface in the syntax tree.
class	JmlTypeExpression JmlTypeExpression.java
class	JmlTypeLoader This class acts as a symbol table and a cache for types, type signatures, and external generic functions.
class	JmlTypeOfExpression JmlTypeOfExpression.java
class	JmlUnaryExpression This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not).
class	JmlUnreachableStatement JmlUnreachableStatement.java
class	JmlVarAssertion This class represents jml-var-assertion in JML ASTs.
class	JmlVariableDefinition A wrapper of the class JVariableDefinition to store JML-specific information.
class	JmlVariantFunction JmlVariantFunction.java
class	JmlVersionOptions This class is automatically generated from JmlVersionOptions.opt and contains member fields corresponding to command-line options.
class	JmlVisitorNI Implementation of Visitor Design Pattern for KJC.
class	JMLWarningFilter A warning filter for JML.
class	JmlWhenClause JmlWhenClause.java
class	JmlWorkingSpaceClause JmlWorkingSpaceClause.java
class	JmlWorkingSpaceExpression JmlWorkingSpaceExpression.java
class	JmlWritableIfVarAssertion This class represents a jml-var-assertion of the form writable id if predicate.
class	JStatementWrapper An abstraction of JML statement ASTs that should be subclass of JStatement.
(package private) static class	Main.Filter This class is used with the Directory.list method to list those files in a directory that this program is interested in processing - in this case, all those that end in '.java', '.jml' or '.spec'.
class	Main.JmlCheckAssignableTask A task for checking assignable clauses; this task has to be done after type checking of assignable clauses of the super types so the fields can be combined with those of the subtype (the subtype is the one whose code is being checked against the assignable clauses but the inherited assignable clauses need to be type checked first).
class	Main.JmlParseTask This class parses a group of files, given by filenames as strings, and generates a forest of ASTs.
class	Main.JmlTypecheckTask This class typechecks the source code.
(package private) class	Main.Main$1
(package private) static class	Main.PTMode
class	NonNullStatistics
class	TestJmlParser Unit tests for JmlParser
protected static class	TestJmlParser.Helper
(package private) static class	TestSuite.TestSuite$1

Fields in org.jmlspecs.checker declared as Object

private static Object	TokenStreamSelector.MODELTYPE
private static Object	TokenStreamSelector.MODELCONSTRUCTOR
private static Object	TokenStreamSelector.INEXPRESSION
private static Object	TokenStreamSelector.NOTINEXPRESSION

Methods in org.jmlspecs.checker that return Object

Object	JmlDeclaration.clone() All subclasses must be clonable.
Object	JmlInvariant.clone()
Object	JmlAxiom.clone()
Object	JmlVarAssertion.clone() Clones this, making a deep copy of any mutable state.
Object	JmlDataGroupClause.clone()
Object	JmlStoreRef.clone()
Object	JmlInitiallyVarAssertion.clone()
Object	JmlMonitorsForVarAssertion.clone()
Object	JmlReadableIfVarAssertion.clone()
Object	JmlWritableIfVarAssertion.clone()
Object	JmlSpecExpression.clone()
Object	JmlAssignableFieldSet.clone()

Methods in org.jmlspecs.checker with parameters of type Object

int	JmlSourceClass.compareTo(Object o) Compares this to a given object.
protected boolean	JmlSourceClass.refines(Object maybeRefined)
int	JClassDeclarationWrapper.compareTo(Object o)
int	JInterfaceDeclarationWrapper.compareTo(Object o)
int	JmlTypeDeclaration.compareTo(Object o) Compares this to a given object.
int	JmlCompilationUnit.compareTo(Object o) Compares this to a given object.
int	JmlMethodDeclaration.compareTo(Object o) Compares this method to a given method and returns 0 if the methods belong to the same generic function, otherwise returns -1 or +1 to sort the methods.
protected void	JmlVisitorNI.imp(String method, Object self)
void	JmlContext.fail(MessageDescription mess, Object param1, Object param2) Generates an UnpositionedError with a given message.
void	JmlContext.fail(MessageDescription mess, Object params)
void	JmlContext.fail(MessageDescription mess, Object[] params) Generates an UnpositionedError with a given message.
boolean	JmlContext.check(boolean expr, MessageDescription mess, Object[] params)
boolean	JmlContext.check(boolean expr, MessageDescription mess, Object param1) Verifies an expression and if false signals an error.
boolean	JmlContext.check(boolean expr, MessageDescription mess, Object param1, Object param2) Verifies an expression and if false signals an error.
boolean	JmlVersionOptions.setOption(String name, Object newValue)
boolean	JmlCommonOptions.setOption(String name, Object newValue)
boolean	JmlCompilationUnitContext.equals(Object o) Indicates whether this is equal to a given object.
protected FieldInfo	JmlSourceField.createFieldInfo(int modifiers, String name, String type, Object value, boolean deprecated, boolean synthetic) Creates a new field info object.
private void	JmlExpressionChecker.check(boolean cond, TokenReference tref, MessageDescription msg, Object obj1, Object obj2) Checks if the condition, cond is true.
private void	JmlExpressionChecker.check(boolean cond, TokenReference tref, MessageDescription msg, Object[] obj)
private void	JmlExpressionChecker.check(boolean cond, TokenReference tref, MessageDescription msg, Object obj1) Checks if the condition, cond is true.
private void	JmlExpressionChecker.warnPureness(int cond, TokenReference tref, Object obj) Produce a caution message about method pureness if the argument, cond, is -1.
boolean	JmlOptions.setOption(String name, Object newValue)
static void	NonNullStatistics.checkSpecification(JmlMethodDeclaration jmd, Object[] jscArr, JmlContext context, String fn)

Constructors in org.jmlspecs.checker with parameters of type Object

Main.JmlTypecheckTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for checking the initializers in the given forest.

Main.JmlCheckAssignableTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for checking the assignable clauses of types in the given compilation units (trees).

Uses of Object in org.jmlspecs.jmldoc

Subclasses of Object in org.jmlspecs.jmldoc

class	JmldocGUI This class just has a main routine that invokes the main routine in the subpackage appropriate to the version of the Java tools library that is on the classpath.
class	JmldocMessages
class	JmldocOptions This class is automatically generated from JmldocOptions.opt and contains member fields corresponding to command-line options.
class	Main This class just has a main routine that invokes the main routine in the subpackage appropriate to the version of the Java tools library that is on the classpath.

Methods in org.jmlspecs.jmldoc with parameters of type Object

boolean	JavadocOptions.setOption(String name, Object newValue)
boolean	JmldocOptions.setOption(String name, Object newValue)

Uses of Object in org.jmlspecs.jmldoc.jmldoc_142

Subclasses of Object in org.jmlspecs.jmldoc.jmldoc_142

class	JmlClassDoc
class	JmldocClassSubWriter
class	JmldocClassWriter A derivative of a class in the javadoc doclet API, so as to be able to instantiate a MjdocClassWriter instead of a ClassWriter and a MjdocMethodSubWriter instead of a MethodSubWriter.
static class	JmldocClassWriter.JmlMemberFilter
class	JmldocConstructorSubWriter This is an extension of the doclet api in order to provide functionality for writing JML annotations.
class	JmldocFieldSubWriter
protected class	JmldocGUI.AllFilesGUIFileFilter
protected class	JmldocGUI.JmldocCompilation
protected class	JmldocGUI.JmldocGUIFileFilter
protected class	JmldocGUI.JmldocOpenHandler
class	JmldocMethodSubWriter This is an extension of the doclet api in order to provide functionality for writing external methods.
class	JmldocStandard The class with "start" method, calls individual Writers.
class	JmldocWrapper
static class	JmldocWrapper.JmlCClassMap
static class	JmldocWrapper.RefinementWrapper
class	JmlHTML This class contains functions to generate html, fitting in with javadoc comments, that documents jml annotations.
static class	JmlHTML.IntPair This class holds a pair of integers, used here to mark the start and (one past the) end of a section of a text string.
static class	JmlHTML.IntString This class holds an integer and a String, corresponding to a position at which to insert text, and the text to be inserted at that position.
(package private) class	JmlHtmlFactory This class is just used to create a factory instance of the JmlHTML class, from which one can call jmlize to do the actual work on a real file.
class	Main.JmlHtmlTask This class jmlizes java files for each listed java file.
static class	Main.JmlPrivacyChecker
class	Main.MjdocTask This class drives the generation of html files.
class	SpecWriter This class is a Visitor class that generates appropriate portions of the javadoc documentation by walking the parse tree.

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type Object

boolean	JmldocWrapper.RefinementWrapper.equals(Object o)
int	JmldocWrapper.RefinementWrapper.compareTo(Object o)
int	JmlHTML.IntPair.compareTo(Object p) The comparison function that implements the Comparable interface.
boolean	JmlHTML.IntPair.equals(Object p) The equality method that implements the Comparable interface.
int	JmlHTML.IntString.compareTo(Object p) The comparison method that implements the Comparable interface.
boolean	JmlHTML.IntString.equals(Object p) The equality method that implements the Comparable interface.

Constructors in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type Object

Main.MjdocTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for javadocizing the trees in the given forest.

Main.JmlHtmlTask(CompilerPassEnterable[] trees, Object sequenceID, boolean specify)
Constructs a task for javadocizing the trees in the given forest.

Uses of Object in org.jmlspecs.jmlrac

Subclasses of Object in org.jmlspecs.jmlrac

class	AssertionMethod An abstract class for generating assertion check methods for specific kinds of assertions such as preconditions, normal and exceptional postconditions, invariants and (history) constraints.
(package private) class	AssertionMethod.AssertionMethod$1
class	ConstraintMethod A class for generating assertion check methods for (history) constraints.
class	ConstructorWrapper A class for generating constructor wrappers.
class	DesugarSpec A JML visitor class for desugaring method specifications.
class	ExceptionalPostconditionMethod A class for generating exceptional postcondition check methods.
class	FinalizerWrapper A class for generating wrapper methods for finalizers.
class	InvariantLikeMethod A class for generating assertion check methods for class-level assertions such as invariants and history constraints.
class	InvariantMethod A class for generating assertion check methods for invariants.
class	JmlModifier A class providing utilities for operating on modifier bit masks.
class	JmlRacGenerator A class implementing the JML Runtime Assertion Checker (RAC).
class	JMLRacWarningFilter A warning filter for JML.
class	LocalConstraintMethod A class for generating constaint check methods that check locally specified type constraints without inheriting any constraints from supertypes.
class	Main.JavaParseTask A parser class for the seconding round compilation.
class	Main.JmlGenerateAssertionTask A task for generating runtime assertion checker (RAC) code.
class	Main.JmlPrettyPrintTask A task class for pretty-printing the trees in the AST forest.
class	Main.JmlWriteAssertionTask A task class for generating RAC code.
class	MotherConstraintMethod A class for generating constraint check methods that check locally specified type constraints and inherit constraints from supertypes.
class	PostconditionMethod A class for generating postcondition check methods.
class	PreconditionMethod A class for generating precondition check methods.
class	PreOrPostconditionMethod An abstract class for generating precondition or postconditin check methods for the given methods.
private static class	PreOrPostconditionMethod.StringPair A record class that can store a pair of strings.
(package private) class	PreValueVars A container class to store information about private fields that are used to pass pre-state values, typically computed by precondition check methods, to postcondition check methods.
(package private) static class	PreValueVars.Entry A data structure class to hold information about a field.
class	RacAbstractVisitor A default implementation for the RacVisitor interface.
class	RacContext A class for representing contexts for translating JML expressions.
class	RacGUI This class is automatically generated from RacGUI.gui and contains member fields corresponding to tool-specific GUI specifications.
protected class	RacGUI.AllFilesGUIFileFilter
protected class	RacGUI.RacCompilation
protected class	RacGUI.RacGUIFileFilter
protected class	RacGUI.RacOpenHandler
class	RacMessages
class	RacOptions This class is automatically generated from RacOptions.opt and contains member fields corresponding to command-line options.
class	RacParser A utility class for generating RAC nodes from a string and an array of RAC/JML nodes.
static class	RacParser.RacBlock A RAC node class for representing blocks.
static class	RacParser.RacMethodDeclaration A RAC node class for representing method declarations.
static class	RacParser.RacStatement A RAC node class for representing statements.
class	RacPredicate An AST node class for RAC-specific predicates.
class	RacPrettyPrinter A visitor class for pretty-printing JML specifications with generated RAC code.
class	SubtypeConstraintMethod A class for generating constaint check methods that check locally specified type constraints and inherit constraints from supertypes.
class	TransClass A class for translating JML class declarations.
class	TransConstraint A class for translating JML (history) constraints.
class	TransConstructor A class for translating JML annotated constructor into a RAC-enabled method.
class	TransConstructorBody A visitor class for translating JML specification statements in a constrcutor body into assertion check code.
class	TransExpression A RAC visitor class to translate JML expressions into Java source code.
static class	TransExpression.DiagTerm A class representing a term to be presented when an assertion is violated.
private static class	TransExpression.DynamicCallArg A private data structure class for stroring information about arguments for dynamic calls.
private static class	TransExpression.StringAndNodePair A private data structure class for stroring a pair of String and RacNode objects.
class	TransExpression2 A RAC visitor class to translate JML expressions into Java source code.
class	TransExpressionSideEffect A special expression translator that allows translation of expressions with side-effects.
class	TransInterface A class for translating JML interface declarations.
class	TransInvariant A class for translating JML invariants.
(package private) class	TransInvariant.CallExpr
(package private) class	TransInvariant.CallExpr2
class	TransMethod A class for translating JML annotated Java methods into RAC-enabled methods.
protected static class	TransMethod.GeneralSpecCase A concrete wrapper class to JmlGeneralSpecCase for conjoining multiple specification clauses in a specification case.
protected static class	TransMethod.SpecCase An abstract superclass for conjoining multiple specification clauses, such as requires and ensures clauses, in a specification case.
protected static class	TransMethod.SpecCaseCollector A class for collecting all specification cases from a desugared method specification.
class	TransMethodBody A visitor class for translating JML specification statements in a method body into assertion check code.
class	TransOldExpression A RAC visitor class for transforming JML old expressions into Java code.
class	TransPostcondition A RAC visitor class for transforming JML postconditions into Java source code.
private class	TransPostcondition.QVarChecker A class to check whether an expression has any references to quantified variables.
class	TransPostExpression2 A RAC visitor class to translate JML expressions into Java source code.
private class	TransPostExpression2.QVarChecker A class to check whether an expression has any references to quantified variables.
class	TransPredicate A RAC visitor class for transforming JML predicates into Java code.
class	TransType An abstract class for translating JML type declarations.
class	TransUtils A utility class for translating JML annotated Java classes into RAC-enabled classes.
class	VarGenerator A class for generating various uniques variable names for RAC.
private static class	VarGenerator.VarGenForClass A variable generator for classes.
private static class	VarGenerator.VarGenForMethod A variable generator for methods.
class	WrapperMethod A class for generating wrapper methods.

Fields in org.jmlspecs.jmlrac declared as Object

static Object	RacParser.END_OF_LINE A marker object denoting the end of line.
private static Object	TransExpression.DT_THIS Special object to denote "this" in the set of diagnostic terms.
private static Object	TransExpression.DT_RESULT Special object to denote "\result" in the set of diagnostic terms.
private Object	TransExpression.DiagTerm.value

Methods in org.jmlspecs.jmlrac that return Object

private Object	DesugarSpec.GET_RESULT() Pops and returns the top element of the result stack.
Object	TransExpression.GET_RESULT() Returns the top element of the result stack.
Object	TransExpression.DiagTerm.value()
Object	TransExpression2.GET_RESULT() Returns the top element of the result stack.
protected Object[]	TransInterface.surrogatePlaceValues(RacNode newFdecls, RacNode newMdecls, RacNode mdecls) Returns an array of objects representing actual values for the place holder.

Methods in org.jmlspecs.jmlrac with parameters of type Object

private void	DesugarSpec.RETURN_RESULT(Object obj) Pushes the argument to the result stack.
static void	JmlRacGenerator.warn(TokenReference tref, MessageDescription description, Object obj) Produce a warning message with the given token reference, message description, and argument to message description.
static void	JmlRacGenerator.fail(TokenReference tref, MessageDescription description, Object obj) Produce an error message with the given token reference, message description, and arguments to message description.
static void	JmlRacGenerator.fail(TokenReference tref, MessageDescription description, Object obj1, Object obj2) Produce an error message with the given token reference, message description, and arguments to message description.
boolean	RacOptions.setOption(String name, Object newValue)
static RacParser.RacMethodDeclaration	RacParser.parseMethod(String code, Object ast) Returns an object of RacMethodDeclaration for the given string.
static RacParser.RacMethodDeclaration	RacParser.parseMethod(String code, Object ast1, Object ast2) Returns an object of RacMethodDeclaration for the given string.
static RacParser.RacMethodDeclaration	RacParser.parseMethod(String code, Object ast1, Object ast2, Object ast3) Returns an object of RacMethodDeclaration for the given string.
static RacParser.RacMethodDeclaration	RacParser.parseMethod(String code, Object[] asts) Returns an object of RacMethodDeclaration for the given string.
static RacParser.RacStatement	RacParser.parseStatement(String code, Object ast) Returns an object of RacStatement for the given string.
static RacParser.RacStatement	RacParser.parseStatement(String code, Object ast1, Object ast2) Returns an object of RacStatement for the given string.
static RacParser.RacStatement	RacParser.parseStatement(String code, Object ast1, Object ast2, Object ast3) Returns an object of RacStatement for the given string.
static RacParser.RacStatement	RacParser.parseStatement(String code, Object[] asts) Returns an object of RacStatement for the given string.
static RacParser.RacBlock	RacParser.parseBlock(String code, Object ast) Returns an object of RacBlock for the given string.
static RacParser.RacBlock	RacParser.parseBlock(String code, Object ast1, Object ast2) Returns an object of RacBlock for the given string.
static RacParser.RacBlock	RacParser.parseBlock(String code, Object ast1, Object ast2, Object ast3) Returns an object of RacBlock for the given string.
private static List	RacParser.parse(String code, Object[] asts) Parses the given string representing verbatim code possibly with positional markers ($i) and returns a list of objects (strings, objects, END_OF_LINE's) with $i replaced by the i-th objects of the array asts.
void	TransExpression.PUT_ARGUMENT(Object obj) Puts the given object to the parameter stack.
protected void	TransExpression.RETURN_RESULT(Object obj) Puts the given object to the result stack.
static void	TransExpression.warn(TokenReference tref, MessageDescription description, Object obj) Produce a warning message with the given token reference, message description, and argument to message description.
protected void	TransExpression.addDiagTerm(Object term) Adds the given term to the set of terms to be printed when the assertion is violated.
boolean	TransExpression.DiagTerm.equals(Object obj) Does the argument equal to this object?
protected void	TransExpression2.RETURN_RESULT(Object obj) Puts the given object to the result stack.

Constructors in org.jmlspecs.jmlrac with parameters of type Object

Main.JmlPrettyPrintTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for pretty printer the trees in the given forest.

Main.JmlWriteAssertionTask(CompilerPassEnterable[] trees, Object sequenceID)

Main.JmlGenerateAssertionTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for generating runtime assertion code for the classes in the given.

TransExpression.DiagTerm(String term, Object value)

Uses of Object in org.jmlspecs.jmlrac.qexpr

Subclasses of Object in org.jmlspecs.jmlrac.qexpr

class	AbstractExpressionVisitor An abstract visitor class that visits all subexpressions of a given expression recursively.
class	NonExecutableQuantifierException Thrown to indicate that an attempt has been made to translate a JML quantified expression that is not executable.
(package private) class	QInterval A class for static approximations of the intervals for quantified variables of integeral types.
private static class	QInterval.Bound A class for representing tuples of JExpression objects and int values.
private static class	QInterval.CheckRecursion A class to check an appearance of local variables in an expression.
(package private) class	QSet An abstract class that represetns qsets of quantified expressions.
private static class	QSet.Composite An abstract qset class consisting of two other qset objects, e.g., union or intersection qsets.
private static class	QSet.Intersection A concrete qset class representating a qset that is an intersection of two qsets.
private static class	QSet.Leaf A concrete qset class consisting of only one JML expression.
private static class	QSet.Top A special, concrete qset class that represents the universe of all objects.
private static class	QSet.Union A concrete qset class representating a union of two qsets.
(package private) class	StaticAnalysis An abstract class for translating JML quantified expressions into Java source code.
private static class	StaticAnalysis.EnumerationBased A concrete class for translating JML quantified expressions into Java source code.
private static class	StaticAnalysis.IntervalBased A concrete class for translating JML quantified expressions into Java source code.
private static class	StaticAnalysis.SetBased A concrete class for translating JML quantified expressions into Java source code.
(package private) class	Translator An abstract class for translating JML quantified expressions into Java source code.
class	TransQuantifiedExpression An abstract class for translating JML quantified expressions into Java source code.

Uses of Object in org.jmlspecs.jmlrac.runtime

Subclasses of Object in org.jmlspecs.jmlrac.runtime

class	JMLAssertError A JML error class to report violations of JML assert specification statements.
class	JMLAssertionError An abstract error class to notify all kinds of runtime assertion violations.
class	JMLAssumeError A JML error class to report violations of JML assume specification statements.
class	JMLChecker A class to set various runtime options and to check and report runtime assertion violations.
static class	JMLChecker.CoverageCount
class	JMLDebugError A JML error class to report an error in the JML debug statement.
class	JMLEntryPreconditionError A JML error class to notify entry precondition violations.
class	JMLExceptionalPostconditionError A JML error class to notify exceptional postcondition violations.
class	JMLExitExceptionalPostconditionError A JML error class to notify exit exceptional postcondition violations.
class	JMLExitNormalPostconditionError A JML error class to notify exit normal postcondition violations.
class	JMLHenceByError A JML error class to report violations of hence_by specification statements.
class	JMLHistoryConstraintError A JML error class to notify history constraint violations.
class	JMLInternalExceptionalPostconditionError A JML error class to notify internal exceptional postcondition violations.
class	JMLInternalNormalPostconditionError A JML error class to notify internal normal postcondition violations.
class	JMLInternalPreconditionError A JML error class to notify internal precondition violations.
class	JMLIntraconditionError A JML exception class to signal intracondition violations.
class	JMLInvariantError A JML error class to notify invariant violations.
class	JMLLoopInvariantError A JML error class to report loop invariant violations.
class	JMLLoopVariantError A JML error class to report loop variant violations.
class	JMLNonExecutableException Thrown by generated runtime assertion check code to indicate that an attempt has been made to execute a JML expression that is not executable.
class	JMLNormalPostconditionError A JML error class to notify normal postcondition violations.
class	JMLOldExpressionCache An abstraction of caches for JML old expressions.
static class	JMLOldExpressionCache.Key A class for representing keys for cache objects.
class	JMLPostconditionError A JML error class to notify postcondition violations.
class	JMLPreconditionError A JML exception class for notifying precondition violations.
class	JMLRacBigIntegerUtils
class	JMLRacExpressionEvaluationError
class	JMLRacValue A class for denoting JML expressible values for the runtime assertion checker.
class	JMLSurrogate The common behavior of all surrogate classes.
private static class	JMLSurrogate.MapKey A class for implementing keys for the method cache.
class	JMLUnreachableError A JML error class to report violations of unreachable specification statements.

Fields in org.jmlspecs.jmlrac.runtime declared as Object

private static Object	JMLSurrogate.NULL_METHOD A special object denoting no method.
static Object	JMLChecker.NO_CLASS A unique object to indicate non-existing class.
Object[]	JMLOldExpressionCache.Key.values
private Object	JMLRacValue.value The object wrapped by this instance of class JMLRacValue.

Methods in org.jmlspecs.jmlrac.runtime that return Object

protected static Object	JMLSurrogate.getReceiver(Class clazz, Object thisObj) Returns the receiver object for dynamic calls to methods of the class clazz from the object thisObj.
static Object	JMLChecker.getSurrogate(String name, Class clazz, Object thisObj) Returns a surrogate object, an instance of the given surrogate class clazz, that is suitable for statically calling JML access methods on the object thisObj.
Object	JMLOldExpressionCache.get(Object key) Returns the value for the key, key.
Object	JMLOldExpressionCache.get(Object[] key) Returns the value for the key, key.
Object	JMLRacValue.value() Returns the wrapped value of this JMLRacValue object .

Methods in org.jmlspecs.jmlrac.runtime with parameters of type Object

protected static Object	JMLSurrogate.getReceiver(Class clazz, Object thisObj) Returns the receiver object for dynamic calls to methods of the class clazz from the object thisObj.
static Object	JMLChecker.getSurrogate(String name, Class clazz, Object thisObj) Returns a surrogate object, an instance of the given surrogate class clazz, that is suitable for statically calling JML access methods on the object thisObj.
static String	JMLChecker.toString(Object obj) Returns the result of invoking the toString method to the argument, obj.
boolean	JMLOldExpressionCache.containsKey(Object key) Does this cache contain a value for the key, key?
boolean	JMLOldExpressionCache.containsKey(Object[] key) Does this cache contain a value for the key, key?
void	JMLOldExpressionCache.put(Object key, Object value) Puts the key/value pair to this cache.
void	JMLOldExpressionCache.put(Object[] key, Object value) Puts the key/value pair to this cache.
Object	JMLOldExpressionCache.get(Object key) Returns the value for the key, key.
Object	JMLOldExpressionCache.get(Object[] key) Returns the value for the key, key.
boolean	JMLOldExpressionCache.Key.equals(Object obj) Does the argument equal to this key object?
static JMLRacValue	JMLRacValue.ofObject(Object v) Returns a new JMLRacValue object that wraps the given argument.
boolean	JMLSurrogate.MapKey.equals(Object obj) Does the argument equal to this object?

Constructors in org.jmlspecs.jmlrac.runtime with parameters of type Object

JMLOldExpressionCache.Key(Object[] values)
Constructs a new key object from an array.

JMLRacValue(Object value)
Constructs a new instance.

Uses of Object in org.jmlspecs.jmlspec

Subclasses of Object in org.jmlspecs.jmlspec

class	JspBinaryPrinter
class	JspComparator This class compares two compilation units to be sure that the specifications match appropriately.
class	JspGUI This class is automatically generated from JspGUI.gui and contains member fields corresponding to tool-specific GUI specifications.
protected class	JspGUI.AllFilesGUIFileFilter
protected class	JspGUI.JspCompilation
protected class	JspGUI.JspGUIFileFilter
protected class	JspGUI.JspOpenHandler
class	JspMessages
class	JspOptions This class is automatically generated from JspOptions.opt and contains member fields corresponding to command-line options.
class	JspPrettyPrinter This class overrides some of the pretty-printer methods to produce a specification skeleton for the class AST begin walked.
class	Main.JspBinaryPrinterTask
class	Main.JspCompareTask A task for generating specification skeletons.
class	Main.JspParseTask A task for generating specification skeletons.
class	Main.JspPrettyPrinterTask A task for generating specification skeletons.
(package private) static class	Main.SuffixFilter This class is used with the Directory.list method to list those files in a directory that this program is interested in processing - in this case, all those that end in a valid suffix.

Methods in org.jmlspecs.jmlspec with parameters of type Object

boolean

JspOptions.setOption(String name, Object newValue)

Constructors in org.jmlspecs.jmlspec with parameters of type Object

Main.JspPrettyPrinterTask(CompilerPassEnterable[] trees, Object sequenceID)

Main.JspCompareTask(CompilerPassEnterable[] trees, Object sequenceID)

Uses of Object in org.jmlspecs.jmlunit

Subclasses of Object in org.jmlspecs.jmlunit

class	FancyTabbedPrintWriter A more convenient print writer.
class	JMLTestResult A class for collecting the results of executing test cases.
class	JMLTestRunner A JML/JUnit test runner class.
static class	JMLTestRunner.JmlResultPrinter
class	JntGUI This class is automatically generated from JntGUI.gui and contains member fields corresponding to tool-specific GUI specifications.
protected class	JntGUI.AllFilesGUIFileFilter
protected class	JntGUI.JntCompilation
protected class	JntGUI.JntGUIFileFilter
protected class	JntGUI.JntOpenHandler
class	JntMessages
class	JntOptions This class is automatically generated from JntOptions.opt and contains member fields corresponding to command-line options.
(package private) static class	Main.Main$2
class	Main.TestClassGenerationTask A task for generating JML/JUnit test oracle classes.
class	TestClassGenerator A class for generating JML/JUnit test driver classes.
protected class	TestClassGenerator.MethodInfo Common information needed from JMethodDeclarationType and CMethod in this class.
protected class	TestClassGenerator.MethodsIterator A composite control abstraction useful in this class.
private static class	TestClassGenerator.NameGenerator A class for generating unique names for test methods.
private static class	TestClassGenerator.Parameter A simple data structure class for storing information about a formal parameter.
class	TestDataClassGenerator A class for generating JML/JUnit test data classes.

Methods in org.jmlspecs.jmlunit that return Object

private Object	TestClassGenerator.MethodsIterator.compositeNextMethod() Return the next element in the composition
Object	TestClassGenerator.MethodsIterator.next()

Methods in org.jmlspecs.jmlunit with parameters of type Object

void	FancyTabbedPrintWriter.print(Object s) Prints the given object.
void	FancyTabbedPrintWriter.println(Object s) Prints the given object with a trailing line separator.
void	FancyTabbedPrintWriter.printlnIn(Object s) Prints the given object with one tabSize indentation and a trailing line separator.
boolean	JntOptions.setOption(String name, Object newValue)
protected void	TestClassGenerator.print(Object s) Prints the given object.
protected void	TestClassGenerator.println(Object s) Prints the given object with a trailing line separator.
protected void	TestClassGenerator.printlnIn(Object s) Prints the given object with one TAB_SIZE indentation and a trailing line separator.

Constructors in org.jmlspecs.jmlunit with parameters of type Object

Main.TestClassGenerationTask(CompilerPassEnterable[] trees, Object sequenceID)

Uses of Object in org.jmlspecs.jmlunit.strategies

Subclasses of Object in org.jmlspecs.jmlunit.strategies

class	AbstractExtensibleStrategyDecorator A decorator for strategies that allows for easy extension to the test data of the underlying strategy.
class	AbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator.
class	AbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
(package private) class	AbstractFilteringStrategyDecorator.NewIter
class	BooleanAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type boolean.
class	BooleanAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
(package private) class	BooleanAbstractFilteringStrategyDecorator.NewIter
class	BooleanAbstractIterator Common code for iterators over values of type boolean that implement the BooleanIterator interface.
class	BooleanAbstractStrategy Common code for strategies for providing test data of type boolean.
class	BooleanArrayIterator A BooleanIterator over arrays of boolean elements.
class	BooleanBigStrategy Test data of type boolean.
class	BooleanCompositeIterator Composition of several BooleanIterators.
class	BooleanCompositeStrategy A composition of several BooleanStrategys
class	BooleanExtensibleStrategy Common code for extensible strategies for providing test data of type boolean.
class	BooleanExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type boolean) that allows for easy extension to the test data of the underlying strategy.
(package private) class	BooleanExtensibleStrategyDecorator.BooleanExtensibleStrategyDecorator$1
class	BooleanStrategy Test data of type boolean.
class	BooleanStrategyTypeTest Hand-coded JUnit test for subtypes of BooleanStrategyType.
class	ByteAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type byte.
class	ByteAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
(package private) class	ByteAbstractFilteringStrategyDecorator.NewIter
class	ByteAbstractIterator Common code for iterators over values of type byte that implement the ByteIterator interface.
class	ByteAbstractStrategy Common code for strategies for providing test data of type byte.
class	ByteArrayIterator A ByteIterator over arrays of byte elements.
class	ByteBigStrategy Slightly more extensive test data of type byte.
(package private) class	ByteBigStrategy.ByteBigStrategy$1
class	ByteCompositeIterator Composition of several ByteIterators.
class	ByteCompositeStrategy A composition of several ByteStrategys
class	ByteExtensibleStrategy Common code for extensible strategies for providing test data of type byte.
class	ByteExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type byte) that allows for easy extension to the test data of the underlying strategy.
(package private) class	ByteExtensibleStrategyDecorator.ByteExtensibleStrategyDecorator$1
class	ByteNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.
class	ByteNonNegativeStrategyDecorator A decorator for strategies that filters out that filters out negative test data.
class	ByteStrategy Minimal test data of type byte.
class	ByteStrategyTypeTest Hand-coded JUnit test for subtypes of ByteStrategyType.
class	CachedObjectAbstractStrategy A strategy for producing (test) data of an immutable or cloneable reference types from cached data provided by the user.
class	CharAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type char.
class	CharAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
(package private) class	CharAbstractFilteringStrategyDecorator.NewIter
class	CharAbstractIterator Common code for iterators over values of type char that implement the CharIterator interface.
class	CharAbstractStrategy Common code for strategies for providing test data of type char.
class	CharArrayIterator A CharIterator over arrays of char elements.
class	CharBigStrategy Slightly more extensive test data of type char.
(package private) class	CharBigStrategy.CharBigStrategy$1
class	CharCompositeIterator Composition of several CharIterators.
class	CharCompositeStrategy A composition of several CharStrategys
class	CharExtensibleStrategy Common code for extensible strategies for providing test data of type char.
class	CharExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type char) that allows for easy extension to the test data of the underlying strategy.
(package private) class	CharExtensibleStrategyDecorator.CharExtensibleStrategyDecorator$1
class	CharIterator_JML_Test Automatically-generated test driver for JML and JUnit based testing of CharIterator.
protected static class	CharIterator_JML_Test.OneTest A JUnit test object that can run a single test method.
protected static class	CharIterator_JML_Test.TestAdvance Test for the advance method.
protected static class	CharIterator_JML_Test.TestAtEnd Test for the atEnd method.
protected static class	CharIterator_JML_Test.TestClone Test for the clone method.
protected static class	CharIterator_JML_Test.TestGet Test for the get method.
protected static class	CharIterator_JML_Test.TestGetChar Test for the getChar method.
class	CharIterator_JML_TestData Supply test data for the JML and JUnit based testing of CharIterator.
(package private) class	CharIterator_JML_TestData.CharIterator_JML_TestData$1
class	CharStrategy Minimal test data of type char.
class	CharStrategyTypeTest Hand-coded JUnit test for subtypes of CharStrategyType.
class	CloneableObjectAbstractExtensibleStrategyDecorator A decorator for cloneable object strategies that allows for easy extension with cloneable test data.
(package private) class	CloneableObjectAbstractExtensibleStrategyDecorator.CloneableObjectAbstractExtensibleStrategyDecorator$1
class	CloneableObjectAbstractStrategy A strategy for producing test data of cloneable reference types.
(package private) class	CloneableObjectAbstractStrategy.CloneableObjectAbstractStrategy$1
class	CloneableObjectAbstractStrategyTest Hand-coded JUnit test for testing CloneableObjectAbstractStrategy.
(package private) class	CloneableObjectAbstractStrategyTest.CloneableObjectAbstractStrategyTest$1
protected class	CloneableObjectAbstractStrategyTest.SingletonCOAS A class that just provides null and one more value of type double[]
protected class	CloneableObjectAbstractStrategyTest.SmallestCOAS A class that just provides null
class