Uses of Class
java.lang.Object

Packages that use Object

antlr
com.sun.tools.doclets
com.sun.tools.doclets.standard
java.awt
java.awt.color
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.net	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.security	JML Specifications for the corresponding types in the Java Developement Kit (JDK).
java.sql	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.crypto
javax.servlet
javax.servlet.http
javax.swing
javax.swing.filechooser
javax.xml.parsers
junit.framework
junit.runner
junit.textui
org.apache.tools.ant
org.jmlspecs.ant.tasks
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.universes.rt
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.AbstractPackageWriter
class	com.sun.tools.doclets.standard.AbstractSubWriter
class	com.sun.tools.doclets.standard.AllClassesFrameWriter
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.PackageFrameWriter
class	com.sun.tools.doclets.standard.PackageWriter
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	AWTEvent
class	Component
class	Container
class	Frame
class	Window

Uses of Object in java.awt.color

Subclasses of Object in java.awt.color

class

ColorSpace

Uses of Object in java.awt.event

Subclasses of Object in java.awt.event

class	ActionEvent
class	ComponentEvent
class	ItemEvent
class	WindowAdapter
class	WindowEvent

Fields in java.awt.event declared as Object

(package private) Object

ItemEvent.item

Methods in java.awt.event that return Object

Object

ItemEvent.getItem()

Constructors in java.awt.event with parameters of type Object

ActionEvent(Object, int, String)

ActionEvent(Object, int, String, int)

ActionEvent(Object, int, String, long, int)

ItemEvent(ItemSelectable, int, Object, int)

Uses of Object in java.io

Subclasses of Object in java.io

class	ByteArrayOutputStream
class	FileDescriptor
class	FileWriter
class	FilterOutputStream
class	InputStream JML's specification of InputStream.
class	InputStreamReader
class	IOException
class	ObjectInputStream
class	OutputStream JML's specification of OutputStream.
class	OutputStreamWriter
class	PrintStream JML's specification of PrintStream
class	PrintWriter
class	RandomAccessFile
class	Reader
class	StringWriter
class	UnsupportedEncodingException
class	Writer

Fields in java.io declared as Object

protected Object	Reader.lock
protected Object	Writer.lock
private static Object	ObjectInputStream.unsharedMarker

Methods in java.io that return Object

private Object	ObjectInputStream.readNull()
Object	ObjectInputStream.readObject()
protected Object	ObjectInputStream.readObjectOverride()
Object	ObjectInputStream.readUnshared()
private Object	ObjectInputStream.readArray(boolean)
private Object	ObjectInputStream.readHandle(boolean)
private Object	ObjectInputStream.readObject0(boolean)
private Object	ObjectInputStream.readOrdinaryObject(boolean)
private Object	ObjectInputStream.checkResolve(Object)
protected Object	ObjectInputStream.resolveObject(Object)
abstract Object	ObjectInput.readObject()

Methods in java.io with parameters of type Object

int	File.compareTo(Object o)
boolean	File.equals(Object obj)
void	PrintStream.println(Object o)
void	PrintStream.print(Object o)
void	PrintWriter.print(Object o)
void	PrintWriter.println(Object o)
private void	ObjectInputStream.defaultReadFields(Object, ObjectStreamClass)
private void	ObjectInputStream.readSerialData(Object, ObjectStreamClass)
private Object	ObjectInputStream.checkResolve(Object)
protected Object	ObjectInputStream.resolveObject(Object)

Constructors in java.io with parameters of type Object

Reader(Object Param0)

Writer(Object)

Uses of Object in java.lang

Subclasses of Object in java.lang

class	ArithmeticException
class	ArrayIndexOutOfBoundsException
class	Boolean JML's specification of java.lang.Boolean.
class	Byte JML's specification of java.lang.Byte.
class	Character JML's specification of java.lang.Character.
static class	Character.Subset
static class	Character.UnicodeBlock
class	Class JML's specification of java.lang.Class
class	ClassCastException
class	ClassLoader
class	ClassNotFoundException
class	CloneNotSupportedException
class	Double JML's specification of java.lang.Double.
class	Error JML's specification of java.lang.Error
class	Exception
class	Float JML's specification of java.lang.Float.
class	IllegalAccessException
class	IllegalArgumentException
class	IllegalStateException
class	IndexOutOfBoundsException
class	InstantiationException
class	Integer JML's specification of java.lang.Integer.
class	InternalError JML's specification of java.lang.InternalError
class	InterruptedException
class	Long JML's specification of java.lang.Long.
class	Math JML's specification of java.lang.Math.
class	NegativeArraySizeException
class	NoSuchFieldException
class	NoSuchMethodException
class	NullPointerException
class	Number JML's specification of java.lang.Number.
class	NumberFormatException
class	OutOfMemoryError
class	Package JML's specification of java.lang.Package
class	Process
class	Runtime
class	RuntimeException
class	SecurityException
class	SecurityManager JML's specification of java.lang.SecurityManager
class	Short JML's specification of java.lang.Short.
class	StackTraceElement JML's specification of StackTraceElement.
class	StrictMath JML's specification of java.lang.StrictMath.
class	String JML's specification of java.lang.String.
class	StringBuffer JML's specification of StringBuffer.
class	StringIndexOutOfBoundsException
class	System JML's specification of java.lang.System.
class	Thread
class	ThreadGroup
class	Throwable
class	UnsupportedOperationException
class	VirtualMachineError JML's specification of java.lang.VirtualMachineError

Methods in java.lang that return Object

protected Object	Object.clone()
Object	Class.newInstance()
Object[]	Class.getSigners()
Object	SecurityManager.getSecurityContext()

Methods in java.lang with parameters of type Object

boolean	Object.equals(Object obj)
boolean	String.equals(Object anObject)
int	String.compareTo(Object o)
static String	String.valueOf(Object obj)
abstract int	Comparable.compareTo(Object o)
abstract boolean	CharSequence.equals(Object obj) According to the javadocs, the equals method should not be called.
boolean	Class.isInstance(Object obj)
(package private) void	Class.setSigners(Object[] signers)
protected void	ClassLoader.setSigners(Class, Object[])
StringBuffer	StringBuffer.append(Object o)
StringBuffer	StringBuffer.insert(int offset, Object o)
boolean	Byte.equals(Object obj)
int	Byte.compareTo(Object o)
boolean	Short.equals(Object obj)
int	Short.compareTo(Object o)
boolean	Integer.equals(Object obj)
int	Integer.compareTo(Object o)
boolean	Double.equals(Object obj)
int	Double.compareTo(Object o)
boolean	Float.equals(Object obj)
int	Float.compareTo(Object o)
boolean	Long.equals(Object obj)
int	Long.compareTo(Object o)
boolean	Character.equals(Object obj)
int	Character.compareTo(Object o)
boolean	StackTraceElement.equals(Object obj)
void	SecurityManager.checkPermission(Permission perm, Object context)
void	SecurityManager.checkRead(String file, Object context)
void	SecurityManager.checkConnect(String host, int port, Object context)
boolean	SecurityManager.checkTopLevelWindow(Object window)
private void	Thread.stop0(Object)
static boolean	Thread.holdsLock(Object)
boolean	Character.Subset.equals(Object obj)
static void	System.arraycopy(Object src, int srcPos, Object dest, int destPos, int length)
static int	System.identityHashCode(Object x)
boolean	Boolean.equals(Object obj)

Uses of Object in java.lang.reflect

Subclasses of Object in java.lang.reflect

class	AccessibleObject
class	Array
class	Constructor
class	Field
class	InvocationTargetException
class	Method

Methods in java.lang.reflect that return Object

Object	Method.invoke(Object obj, Object[] args)
Object	Field.get(Object obj)
Object	Constructor.newInstance(Object[] initargs)
static Object	Array.newInstance(Class Param0, int Param1)
static Object	Array.newInstance(Class Param0, int[] Param1)
static Object	Array.get(Object Param0, int Param1)

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

boolean	Method.equals(Object obj)
Object	Method.invoke(Object obj, Object[] args)
boolean	Field.equals(Object obj)
Object	Field.get(Object obj)
boolean	Field.getBoolean(Object obj)
byte	Field.getByte(Object obj)
char	Field.getChar(Object obj)
short	Field.getShort(Object obj)
int	Field.getInt(Object obj)
long	Field.getLong(Object obj)
float	Field.getFloat(Object obj)
double	Field.getDouble(Object obj)
void	Field.set(Object obj, Object value)
void	Field.setBoolean(Object obj, boolean z)
void	Field.setByte(Object obj, byte b)
void	Field.setChar(Object obj, char c)
void	Field.setShort(Object obj, short s)
void	Field.setInt(Object obj, int i)
void	Field.setLong(Object obj, long l)
void	Field.setFloat(Object obj, float f)
void	Field.setDouble(Object obj, double d)
boolean	Constructor.equals(Object obj)
Object	Constructor.newInstance(Object[] initargs)
static int	Array.getLength(Object Param0)
static byte	Array.getByte(Object Param0, int Param1)
static char	Array.getChar(Object Param0, int Param1)
static double	Array.getDouble(Object Param0, int Param1)
static float	Array.getFloat(Object Param0, int Param1)
static int	Array.getInt(Object Param0, int Param1)
static long	Array.getLong(Object Param0, int Param1)
static short	Array.getShort(Object Param0, int Param1)
static boolean	Array.getBoolean(Object Param0, int Param1)
static void	Array.setByte(Object Param0, int Param1, byte Param2)
static void	Array.setChar(Object Param0, int Param1, char Param2)
static void	Array.setDouble(Object Param0, int Param1, double Param2)
static void	Array.setFloat(Object Param0, int Param1, float Param2)
static void	Array.setInt(Object Param0, int Param1, int Param2)
static void	Array.setLong(Object Param0, int Param1, long Param2)
static void	Array.setShort(Object Param0, int Param1, short Param2)
static void	Array.setBoolean(Object Param0, int Param1, boolean Param2)
static Object	Array.get(Object Param0, int Param1)
static void	Array.set(Object Param0, int Param1, Object Param2)

Uses of Object in java.math

Subclasses of Object in java.math

class	BigDecimal
class	BigInteger JML's specification of java.math.BigInteger.

Methods in java.math with parameters of type Object

int	BigInteger.compareTo(Object o)
boolean	BigInteger.equals(Object x)
int	BigDecimal.compareTo(Object)
boolean	BigDecimal.equals(Object)

Uses of Object in java.net

Subclasses of Object in java.net

class	InetAddress
class	MalformedURLException
class	URI JML's specification of java.net.URI.
class	URISyntaxException
class	URL JML's specification of java.net.URL.
class	URLConnection
class	URLStreamHandler

Methods in java.net that return Object

Object	URL.getContent()
Object	URL.getContent(Class[] classes)
private Object	InetAddress.readResolve()
private static Object	InetAddress.checkLookupTable(String)
private static Object	InetAddress.getCachedAddress(String)
(package private) static Object	InetAddress.loadImpl(String)
private static Object	InetAddress.getAddressFromNameService(String, InetAddress)
Object	URLConnection.getContent()
Object	URLConnection.getContent(Class[])

Methods in java.net with parameters of type Object

boolean	URL.equals(Object obj)
boolean	InetAddress.equals(Object)
private static void	InetAddress.cacheAddress(String, Object, boolean)
boolean	URI.equals(Object ob)
int	URI.compareTo(Object ob)

Uses of Object in java.security

Subclasses of Object in java.security

class	AlgorithmParameters
class	GeneralSecurityException
class	InvalidAlgorithmParameterException
class	InvalidKeyException
class	InvalidParameterException
class	KeyException
class	KeyPair JML's specification of KeyPair.
class	NoSuchAlgorithmException
class	NoSuchProviderException
class	Permission
class	ProtectionDomain
class	Provider
class	SecureRandom
class	Signature JML's specification of Signaure.
class	SignatureException
class	SignatureSpi

Methods in java.security that return Object

Object	SignatureSpi.clone()
protected abstract Object	SignatureSpi.engineGetParameter(String)
Object	Signature.clone()
Object	Signature.getParameter(String param) Deprecated. use getParameters()
Object	Provider.remove(Object)
Object	Provider.put(Object, Object)

Methods in java.security with parameters of type Object

void	Permission.checkGuard(Object)
abstract boolean	Permission.equals(Object)
abstract void	Guard.checkGuard(Object)
protected abstract void	SignatureSpi.engineSetParameter(String, Object)
void	Signature.setParameter(String param, Object value) Deprecated. use setParameter(AlgorithmParameterSpec)
Object	Provider.remove(Object)
Object	Provider.put(Object, Object)
abstract boolean	Principal.equals(Object)

Uses of Object in java.sql

Subclasses of Object in java.sql

class	DriverManager
class	DriverPropertyInfo
class	SQLException
class	SQLWarning
class	Time JML specification for Time.
class	Timestamp
class	Types JML's specification of Types.

Methods in java.sql that return Object

abstract Object	ResultSet.getObject(int columnIndex)
abstract Object	ResultSet.getObject(String columnName) Can return null if value of entry is an SQL null.
abstract Object	ResultSet.getObject(int i, Map map)
abstract Object	ResultSet.getObject(String colName, Map map)
abstract Object	Ref.getObject()
abstract Object	Ref.getObject(Map)
abstract Object	Array.getArray()
abstract Object	Array.getArray(long, int)
abstract Object	Array.getArray(long, int, Map)
abstract Object	Array.getArray(Map)
abstract Object	CallableStatement.getObject(int)
abstract Object	CallableStatement.getObject(String)
abstract Object	CallableStatement.getObject(int, Map)
abstract Object	CallableStatement.getObject(String, Map)

Methods in java.sql with parameters of type Object

boolean	Time.equals(Object o)
boolean	Date.equals(Object o)
abstract void	PreparedStatement.setObject(int parameterIndex, Object x, int targetSqlType, int scale)
abstract void	PreparedStatement.setObject(int parameterIndex, Object x, int targetSqlType)
abstract void	PreparedStatement.setObject(int parameterIndex, Object x)
abstract void	ResultSet.updateObject(int columnIndex, Object x, int scale)
abstract void	ResultSet.updateObject(int columnIndex, Object x)
abstract void	ResultSet.updateObject(String columnName, Object x, int scale)
abstract void	ResultSet.updateObject(String columnName, Object x)
int	Timestamp.compareTo(Object)
boolean	Timestamp.equals(Object)
abstract void	Ref.setObject(Object)
abstract void	CallableStatement.setObject(String, Object)
abstract void	CallableStatement.setObject(String, Object, int)
abstract void	CallableStatement.setObject(String, Object, int, int)

Uses of Object in java.util

Subclasses of Object in java.util

class	AbstractCollection
class	AbstractList JML's specification of java.util.AbstractList.
class	AbstractMap
(package private) static class	AbstractMap.SimpleEntry
class	AbstractSequentialList
class	AbstractSet JML's specification of java.util.AbstractSet.
class	ArrayList JML's specification of ArrayList.
class	Arrays JML's specification of java.util.Arrays.
class	BitSet JML's specification of the java.util.BitSet.
class	Calendar JML's specification of java.util.Calendar.
class	Date JML's specification of java.util.Date.
class	Dictionary
class	EventObject
class	GregorianCalendar JML's specification of java.util.Calendar.
class	HashMap JML's specification of java.util.HashMap.
(package private) static class	HashMap.Entry
class	HashSet JML's specification of java.util.HashSet.
class	Hashtable JML's specification of java.util.Hashtable.
class	LinkedHashSet
class	LinkedList JML's specification of java.util.LinkedList.
class	Locale
class	MissingResourceException
class	NoSuchElementException
class	Observable JML's specification of the java.util.Observable.
class	Properties
class	Random
(package private) class	RandomAccessSubList
class	ResourceBundle
class	Stack JML's specification of Stack.
(package private) class	SubList
class	TimeZone
class	TreeMap JML's specification of java.util.TreeMap.
(package private) static class	TreeMap.Entry
class	TreeSet JML's specification of java.util.TreeSet.
class	Vector JML's specification of java.util.Vector.

Fields in java.util declared as Object

protected Object	EventObject.source
(package private) static Object	HashMap.NULL_KEY
protected Object[]	Vector.elementData
(package private) Object	HashMap.Entry.key
(package private) Object	HashMap.Entry.value
(package private) Object	AbstractMap.SimpleEntry.key
(package private) Object	AbstractMap.SimpleEntry.value
(package private) Object	TreeMap.Entry.key
(package private) Object	TreeMap.Entry.value

Methods in java.util that return Object

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

Methods in java.util with parameters of type Object

abstract boolean	Map.containsKey(Object key)
abstract boolean	Map.containsValue(Object value)
abstract Object	Map.get(Object key)
abstract Object	Map.put(Object key, Object value)
abstract Object	Map.remove(Object key)
abstract boolean	Map.equals(Object o)
abstract boolean	List.contains(Object o)
abstract Object[]	List.toArray(Object[] a)
abstract boolean	List.add(Object o)
abstract boolean	List.remove(Object o)
abstract boolean	List.equals(Object o)
abstract Object	List.set(int index, Object element)
abstract void	List.add(int index, Object element)
abstract int	List.indexOf(Object o)
abstract int	List.lastIndexOf(Object o)
abstract boolean	Collection.contains(Object o)
abstract Object[]	Collection.toArray(Object[] a)
abstract boolean	Collection.add(Object o)
abstract boolean	Collection.remove(Object o)
abstract boolean	Collection.equals(Object o)
boolean	AbstractCollection.contains(Object o)
Object[]	AbstractCollection.toArray(Object[] a)
boolean	AbstractCollection.add(Object o)
boolean	AbstractCollection.remove(Object o)
boolean	AbstractList.add(Object o)
Object	AbstractList.set(int index, Object element)
void	AbstractList.add(int index, Object element)
int	AbstractList.indexOf(Object o)
int	AbstractList.lastIndexOf(Object o)
boolean	AbstractList.equals(Object o)
boolean	ArrayList.contains(Object elem)
int	ArrayList.indexOf(Object elem)
int	ArrayList.lastIndexOf(Object elem)
Object[]	ArrayList.toArray(Object[] a)
Object	ArrayList.set(int index, Object element)
boolean	ArrayList.add(Object o)
void	ArrayList.add(int index, Object element)
abstract Object	Dictionary.get(Object key)
abstract Object	Dictionary.put(Object key, Object value)
abstract Object	Dictionary.remove(Object key)
boolean	Hashtable.contains(Object value)
boolean	Hashtable.containsValue(Object value)
boolean	Hashtable.containsKey(Object key)
Object	Hashtable.get(Object key)
Object	Hashtable.put(Object key, Object value)
Object	Hashtable.remove(Object key)
boolean	Hashtable.equals(Object o)
abstract boolean	Comparator.equals(Object o)
abstract int	Comparator.compare(Object o, Object oo)
boolean	AbstractSet.equals(Object o)
abstract boolean	Set.contains(Object o)
abstract Object[]	Set.toArray(Object[] a)
abstract boolean	Set.add(Object o)
abstract boolean	Set.remove(Object o)
abstract boolean	Set.equals(Object o)
boolean	HashSet.contains(Object o)
boolean	HashSet.add(Object o)
boolean	HashSet.remove(Object o)
boolean	AbstractMap.containsValue(Object value)
boolean	AbstractMap.containsKey(Object key)
Object	AbstractMap.get(Object key)
Object	AbstractMap.put(Object key, Object value)
Object	AbstractMap.remove(Object key)
boolean	AbstractMap.equals(Object o)
(package private) static Object	HashMap.maskNull(Object key)
(package private) static Object	HashMap.unmaskNull(Object key)
(package private) static int	HashMap.hash(Object x)
(package private) static boolean	HashMap.eq(Object x, Object y)
Object	HashMap.get(Object key)
boolean	HashMap.containsKey(Object key)
(package private) HashMap.Entry	HashMap.getEntry(Object key)
Object	HashMap.put(Object key, Object value)
Object	HashMap.remove(Object key)
(package private) HashMap.Entry	HashMap.removeEntryForKey(Object key)
(package private) HashMap.Entry	HashMap.removeMapping(Object o)
boolean	HashMap.containsValue(Object value)
(package private) void	HashMap.addEntry(int hash, Object key, Object value, int bucketIndex)
(package private) void	HashMap.createEntry(int hash, Object key, Object value, int bucketIndex)
void	AbstractSequentialList.add(int Param0, Object Param1)
Object	AbstractSequentialList.set(int Param0, Object Param1)
void	LinkedList.addFirst(Object o)
void	LinkedList.addLast(Object o)
boolean	LinkedList.contains(Object o)
boolean	LinkedList.add(Object o)
boolean	LinkedList.remove(Object o)
Object	LinkedList.set(int index, Object element)
void	LinkedList.add(int index, Object element)
int	LinkedList.indexOf(Object o)
int	LinkedList.lastIndexOf(Object o)
Object[]	LinkedList.toArray(Object[] a)
void	Vector.copyInto(Object[] anArray)
boolean	Vector.contains(Object elem)
int	Vector.indexOf(Object elem)
int	Vector.indexOf(Object elem, int index)
int	Vector.lastIndexOf(Object elem)
int	Vector.lastIndexOf(Object elem, int index)
void	Vector.setElementAt(Object obj, int index)
void	Vector.insertElementAt(Object obj, int index)
void	Vector.addElement(Object obj)
boolean	Vector.removeElement(Object obj)
Object[]	Vector.toArray(Object[] a)
Object	Vector.set(int index, Object element)
boolean	Vector.add(Object o)
boolean	Vector.remove(Object o)
void	Vector.add(int index, Object element)
boolean	Vector.equals(Object o)
Object	Stack.push(Object item)
int	Stack.search(Object o)
boolean	Locale.equals(Object obj)
abstract void	ListIterator.set(Object o)
abstract void	ListIterator.add(Object o)
Object	SubList.set(int index, Object element)
void	SubList.add(int index, Object element)
boolean	Calendar.equals(Object obj)
boolean	Calendar.before(Object when)
boolean	Calendar.after(Object when)
boolean	Date.equals(Object obj)
int	Date.compareTo(Object o)
boolean	TreeSet.contains(Object o)
boolean	TreeSet.add(Object o)
boolean	TreeSet.remove(Object o)
SortedSet	TreeSet.subSet(Object fromElement, Object toElement)
SortedSet	TreeSet.headSet(Object toElement)
SortedSet	TreeSet.tailSet(Object fromElement)
abstract SortedSet	SortedSet.subSet(Object fromElement, Object toElement)
abstract SortedSet	SortedSet.headSet(Object toElement)
abstract SortedSet	SortedSet.tailSet(Object fromElement)
static void	Arrays.sort(Object[] a)
static void	Arrays.sort(Object[] a, int fromIndex, int toIndex)
static void	Arrays.sort(Object[] a, Comparator c)
static void	Arrays.sort(Object[] a, int fromIndex, int toIndex, Comparator c)
static int	Arrays.binarySearch(Object[] a, Object key)
static int	Arrays.binarySearch(Object[] a, Object key, Comparator c)
static boolean	Arrays.equals(Object[] a, Object[] a2)
static void	Arrays.fill(Object[] a, Object val)
static void	Arrays.fill(Object[] a, int fromIndex, int toIndex, Object val)
static List	Arrays.asList(Object[] a)
Object	HashMap.Entry.setValue(Object newValue)
boolean	HashMap.Entry.equals(Object o)
abstract Object	Map.Entry.setValue(Object value)
abstract boolean	Map.Entry.equals(Object o)
void	Observable.notifyObservers(Object arg)
abstract void	Observer.update(Observable o, Object arg)
boolean	GregorianCalendar.equals(Object obj)
boolean	BitSet.equals(Object obj)
Object	AbstractMap.SimpleEntry.setValue(Object value)
boolean	AbstractMap.SimpleEntry.equals(Object o)
boolean	TreeMap.containsKey(Object key)
boolean	TreeMap.containsValue(Object value)
Object	TreeMap.get(Object key)
Object	TreeMap.put(Object key, Object value)
Object	TreeMap.remove(Object key)
SortedMap	TreeMap.subMap(Object fromKey, Object toKey)
SortedMap	TreeMap.headMap(Object toKey)
SortedMap	TreeMap.tailMap(Object fromKey)
(package private) void	TreeMap.readTreeSet(int size, ObjectInputStream s, Object defaultVal)
(package private) void	TreeMap.addAllForTreeSet(SortedSet set, Object defaultVal)
abstract SortedMap	SortedMap.subMap(Object fromKey, Object toKey)
abstract SortedMap	SortedMap.headMap(Object toKey)
abstract SortedMap	SortedMap.tailMap(Object fromKey)
Object	TreeMap.Entry.setValue(Object value)
boolean	TreeMap.Entry.equals(Object o)

Constructors in java.util with parameters of type Object

EventObject(Object)

HashMap.Entry(int h, Object k, Object v, HashMap.Entry n)

AbstractMap.SimpleEntry(Object key, Object value)

TreeMap.Entry(Object key, Object value, TreeMap.Entry parent)

Uses of Object in java.util.regex

Subclasses of Object in java.util.regex

class	Matcher
class	Pattern

Uses of Object in javax.crypto

Subclasses of Object in javax.crypto

class	BadPaddingException
class	Cipher
class	CipherSpi
class	ExemptionMechanism
class	IllegalBlockSizeException
class	NoSuchPaddingException
class	SecretKeyFactory
class	SecretKeyFactorySpi
class	ShortBufferException

Uses of Object in javax.servlet

Subclasses of Object in javax.servlet

class	GenericServlet
class	ServletContextAttributeEvent JML's specification of ServletContextAttributeEvent
class	ServletContextEvent JML's specification of ServletContextEvent
class	ServletException JML's specification of ServletException
class	ServletInputStream JML's specification of ServletInputStream
class	ServletOutputStream JML's specification of ServletOutputStream
class	ServletRequestAttributeEvent JML's specification of ServletRequestAttributeEvent
class	ServletRequestEvent JML's specification of ServletRequestEvent
class	ServletRequestWrapper JML's specification of ServletRequestWrapper
class	ServletResponseWrapper JML's specification of ServletResponseWrapper
class	UnavailableException JML's specification of UnavailableException

Methods in javax.servlet that return Object

abstract Object	ServletRequest.getAttribute(String name)
abstract Object	ServletContext.getAttribute(String name)
Object	ServletRequestAttributeEvent.getValue()
Object	ServletContextAttributeEvent.getValue()
Object	ServletRequestWrapper.getAttribute(String name)

Methods in javax.servlet with parameters of type Object

abstract void	ServletRequest.setAttribute(String name, Object o)
abstract void	ServletContext.setAttribute(String name, Object object)
void	ServletRequestWrapper.setAttribute(String name, Object o)

Constructors in javax.servlet with parameters of type Object

ServletRequestAttributeEvent(ServletContext sc, ServletRequest request, String name, Object value)

ServletContextAttributeEvent(ServletContext source, String name, Object value)

Uses of Object in javax.servlet.http

Subclasses of Object in javax.servlet.http

class	Cookie JML's specification of Cookie.
class	HttpServlet
class	HttpServletRequestWrapper JML's specification of HttpServletRequestWrapper.
class	HttpServletResponseWrapper JML's specification of HttpServletResponseWrapper.
class	HttpSessionBindingEvent JML's specification of HttpSessionBindingEvent.
class	HttpSessionEvent JML's specification of HttpSessionEvent.
class	HttpUtils Deprecated.

Methods in javax.servlet.http that return Object

Object	HttpSessionBindingEvent.getValue()
abstract Object	HttpSession.getAttribute(String name)
abstract Object	HttpSession.getValue(String name) Deprecated.
Object	Cookie.clone()

Methods in javax.servlet.http with parameters of type Object

abstract void	HttpSession.setAttribute(String name, Object value)
abstract void	HttpSession.putValue(String name, Object value) Deprecated.

Constructors in javax.servlet.http with parameters of type Object

HttpSessionBindingEvent(HttpSession session, String name, Object value)

Uses of Object in javax.swing

Subclasses of Object in javax.swing

class	JComponent
class	JFrame
class	JPanel

Uses of Object in javax.swing.filechooser

Subclasses of Object in javax.swing.filechooser

class

FileFilter

Uses of Object in javax.xml.parsers

Subclasses of Object in javax.xml.parsers

class	FactoryConfigurationError
class	ParserConfigurationException
class	SAXParser
class	SAXParserFactory

Methods in javax.xml.parsers that return Object

abstract Object

SAXParser.getProperty(String)

Methods in javax.xml.parsers with parameters of type Object

abstract void

SAXParser.setProperty(String, Object)

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.apache.tools.ant

Subclasses of Object in org.apache.tools.ant

class	org.apache.tools.ant.ProjectComponent
class	org.apache.tools.ant.Task

Uses of Object in org.jmlspecs.ant.tasks

Subclasses of Object in org.jmlspecs.ant.tasks

class	AbstractFileSetTask An abstract class for creating Tasks that work with Ant filesets.
class	AbstractFileSetTask.FileSetVisitor
(package private) class	AbstractFileSetTask.FileSetVisitor.AbstractFileSetTask$FileSetVisitor$1
class	CheckTask An Ant task to run the JML checker.
class	CommonOptionsTask An abstract Ant task that holds common options for the JML tools, including FileSets.
(package private) class	CommonOptionsTask.CommonOptionsTask$1
class	CompileTask An Ant task to run the JML runtime assertion checking compiler.
class	DocTask An Ant task to run jmldoc.
static class	DocTask.Package
class	FileSetWrapper The inner class Visitor is provided to conveniently perform a certain action on all element in a FileSet.
class	FileSetWrapper.Visitor

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	JmlAdmissibilityVisitor A visitor class to check admissibility of JML invariants and represents clauses.
protected class	JmlAdmissibilityVisitor.NotAdmissibleException An Exception which is thrown when some was found not to be admissible.
class	JmlArrayDimsAndInits JmlArrayDimsAndInits.java
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	JmlCastExpression JmlCastExpression.java This class represents a cast expression such as /*@(non_null)* / o /*@(non_null T)* / o (/*@non_null* / T) o
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.
(package private) class	JmlClassicalAdmissibilityVisitor
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	JmlExtractModelProgramVisitor
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 An AST node class for the JML model-program.
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)
(package private) class	JmlOwnershipAdmissibilityVisitor
private static class	JmlOwnershipAdmissibilityVisitor.State A data structure to store the current state of this visitor.
class	JmlPackageImport This type represents (in the AST) full-package import statements.
class	JmlParser
(package private) static class	JmlParser.TypeBooleanPair
(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	JmlRefineModelProgramVisitor
class	JmlRefinePrefix
class	JmlRefiningStatement JmlRefiningStatement.java
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.JmlModelProgramTask A task for checking model programs; this task has to be done after type checking the super types so the type information is available to AST nodes.
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

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	JmlVarAssertion.clone() Clones this, making a deep copy of any mutable state.
Object	JmlDataGroupClause.clone()
Object	JmlStoreRef.clone()
Object[]	JmlPredicate.getFANonNulls(CContextType context) Returns a list of expressions known to be non-null (null) in this context
Object[]	JmlPredicate.getFANulls(CContextType context)
Object[]	JmlSpecExpression.getFANonNulls(CContextType context) Returns a list of expressions known to be non-null (null) in this context
Object[]	JmlSpecExpression.getFANulls(CContextType context)
Object	JmlSpecExpression.clone()
Object[]	JmlContext.getFANonNulls() returns the JPhyla that are known to be non-null in this context.
Object[]	JmlContext.getFANulls()
Object	JmlInvariant.clone()
Object	JmlAxiom.clone()
Object	JmlAssignableFieldSet.clone()
Object	JmlInitiallyVarAssertion.clone()
Object	JmlMonitorsForVarAssertion.clone()
Object	JmlReadableIfVarAssertion.clone()
Object	JmlWritableIfVarAssertion.clone()
Object[]	JmlFlowControlContext.getFANonNulls() returns the JPhyla that are known to be non-null in this context.
Object[]	JmlFlowControlContext.getFANulls()

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)
protected FieldInfo	JmlSourceField.createFieldInfo(int modifiers, String name, String type, Object value, boolean deprecated, boolean synthetic) Creates a new field info object.
boolean	JmlContext.isFANonNull(Object expr) Indicates whether expr (or member) is conditionally NonNull is this context.
void	JmlContext.addFANonNull(Object expr) Mark expr (or member) as NonNull in this context
void	JmlContext.addFANull(Object expr)
void	JmlContext.removeFANonNull(Object expr)
void	JmlContext.addFANonNulls(Object[] exprs) adds exprs (or members) as NonNull in this context
void	JmlContext.addFANulls(Object[] exprs)
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	JmlCompilationUnitContext.equals(Object o) Indicates whether this is equal to a given object.
int	JmlTypeDeclaration.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.
int	JmlCompilationUnit.compareTo(Object o) Compares this to a given object.
int	JInterfaceDeclarationWrapper.compareTo(Object o)
boolean	JmlVersionOptions.setOption(String name, Object newValue)
boolean	JmlCommonOptions.setOption(String name, Object newValue)
boolean	JmlOptions.setOption(String name, Object newValue)
protected void	JmlVisitorNI.imp(String method, Object self)
protected boolean	JmlRefineModelProgramVisitor.sameNullity(Object one, Object two) Returns true iff one and two share nullity.
static void	NonNullStatistics.checkSpecification(JmlMethodDeclaration jmd, Object[] jscArr, JmlContext context, String fn)
boolean	JmlFlowControlContext.isFANonNull(Object expr) Indicates whether expr (or member) is conditionally NonNull is this context.
void	JmlFlowControlContext.addFANonNull(Object expr) Mark expr (or member) as NonNull in this context
void	JmlFlowControlContext.addFANull(Object expr)
void	JmlFlowControlContext.removeFANonNull(Object expr)
void	JmlFlowControlContext.addFANonNulls(Object[] exprs) adds exprs (or members) as NonNull in this context
void	JmlFlowControlContext.addFANulls(Object[] exprs)
int	JClassDeclarationWrapper.compareTo(Object o)
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.

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.JmlModelProgramTask(CompilerPassEnterable[] trees, Object sequenceID)
Constructs a task for checking the model programs of types in the given compilation units (trees).

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

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.
boolean	JmldocWrapper.RefinementWrapper.equals(Object o)
int	JmldocWrapper.RefinementWrapper.compareTo(Object o)

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	AbstractExpressionTranslator This class is intended to be a common base class for both TransExpression and TransExpression2.
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	NonExecutableExpressionException This is exception is used to report non-executable expressions when encountered during the visit of the tree.
class	NotImplementedExpressionException This is exception is used to report not implemented expressions when encountered during the visit of the tree.
class	NotSupportedExpressionException This is exception is used to report not supported expressions when encountered during the visit of the tree.
class	PositionnedExpressionException This is exception is used to report expressions evaluation issues encountered during the visit of the tree.
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.
protected Object[]	TransInterface.surrogatePlaceValues(RacNode newFdecls, RacNode newMdecls, RacNode mdecls) Returns an array of objects representing actual values for the place holder.
Object	TransExpression.DiagTerm.value()

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

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.
private void	DesugarSpec.RETURN_RESULT(Object obj) Pushes the argument to the result stack.
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.
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	TransExpression.DiagTerm.equals(Object obj) Does the argument equal to this object?

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
private static class	StaticAnalysis.IntervalBased
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	JMLEvaluationError
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	JMLRacUtil
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

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

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

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.
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.
Object	JMLRacValue.value() Returns the wrapped value of this JMLRacValue object .
Object	JMLOldExpressionCache.get(Object key) Returns the value for the key, key.
Object	JMLOldExpressionCache.get(Object[] key) Returns the value for the key, key.

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

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.
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.
boolean	JMLSurrogate.MapKey.equals(Object obj) Does the argument equal to this object?
static boolean	JMLRacUtil.nonNullElements(Object[] a)
static JMLRacValue	JMLRacValue.ofObject(Object v) Returns a new JMLRacValue object that wraps the given argument.
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?

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

JMLRacValue(Object value)
Constructs a new instance.

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

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

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.
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.

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_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	CloneableObjectArrayAbstractIterator An iterator that provides test data by returning a clone of the current object from an array of cloneable objects passed to its constructor.
class	CloneableObjectArrayAbstractIterator_JML_TestData Supply test data for the JML and JUnit based testing of CloneableObjectArrayAbstractIterator.
(package private) class	CloneableObjectArrayAbstractIterator_JML_TestData.CloneableObjectArrayAbstractIterator_JML_TestData$1
(package private) class	CloneableObjectArrayAbstractIterator_JML_TestData.IntArrayArrayIterator A helper class used in testing it's surrounding class.
class	CollectionStrategy A small extensible strategy for producing test data of type Collection.
(package private) class	CollectionStrategy.CollectionStrategy$1
class	CompositeIterator Composition of several indefinite iterators.
class	CompositeIterator_JML_TestData Supply test data for the JML and JUnit based testing of CompositeIterator.
(package private) class	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$1
(package private) class	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$2
(package private) class	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$3
class	CompositeStrategy A composition of several strategies
class	CompositeStrategyTest Hand-coded JUnit test for testing CompositeStrategy.
class	ConstructorFailed A class that stores an exception that occured during test suite construction as a JUnit test, and when the test is run makes the problem a failure.
class	DoubleAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type double.
class	DoubleAbstractFilteringIteratorDecorator_JML_TestData Supply test data for the JML and JUnit based testing of DoubleAbstractFilteringIteratorDecorator.
(package private) class	DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$1
(package private) class	DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2
(package private) class	DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2$1
class	DoubleAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
(package private) class	DoubleAbstractFilteringStrategyDecorator.NewIter
class	DoubleAbstractIterator Common code for iterators over values of type double that implement the DoubleIterator interface.
class	DoubleAbstractStrategy Common code for strategies for providing test data of type double.
class	DoubleArrayIterator A DoubleIterator over arrays of double elements.
class	DoubleBigStrategy Slightly more extensive test data of type double.
(package private) class	DoubleBigStrategy.DoubleBigStrategy$1
class	DoubleCompositeIterator Composition of several DoubleIterators.
class	DoubleCompositeIterator_JML_TestData Supply test data for the JML and JUnit based testing of DoubleCompositeIterator.
(package private) class	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$1
(package private) class	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$2
(package private) class	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$3
class	DoubleCompositeStrategy A composition of several DoubleStrategys
class	DoubleExtensibleStrategy Common code for extensible strategies for providing test data of type double.
class	DoubleExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type double) that allows for easy extension to the test data of the underlying strategy.
(package private) class	DoubleExtensibleStrategyDecorator.DoubleExtensibleStrategyDecorator$1
class	DoubleNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.
class	DoubleNonNegativeStrategyDecorator A decorator for strategies that filters out that filters out negative test data.
class	DoubleStrategy Minimal test data of type double.
class	DoubleStrategyTypeTest Hand-coded JUnit test for subtypes of DoubleStrategyType.
class	EmptyNewObjectIterator An empty new object iterator.
class	FloatAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type float.
class	FloatAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
(package private) class	FloatAbstractFilteringStrategyDecorator.NewIter
class	FloatAbstractIterator Common code for iterators over values of type float that implement the FloatIterator interface.
class	FloatAbstractStrategy Common code for strategies for providing test data of type float.
class	FloatArrayIterator A FloatIterator over arrays of float elements.
class	FloatBigStrategy Slightly more extensive test data of type float.
(package private) class	FloatBigStrategy.FloatBigStrategy$1
class	FloatCompositeIterator Composition of several FloatIterators.
class	FloatCompositeStrategy A composition of several FloatStrategys
class	FloatExtensibleStrategy Common code for extensible strategies for providing test data of type float.
class	FloatExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type float) that allows for easy extension to the test data of the underlying strategy.
(package private) class	FloatExtensibleStrategyDecorator.FloatExtensibleStrategyDecorator$1
class	FloatNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.
class	FloatNonNegativeStrategyDecorator A decorator for strategies that filters out that filters out negative test data.
class	FloatStrategy Minimal test data of type float.
class	FloatStrategyTypeTest Hand-coded JUnit test for subtypes of FloatStrategyType.
class	ImmutableObjectAbstractStrategy A strategy for producing test data of reference types with immutable objects, such as String.
class	ImmutableObjectAbstractStrategyTest Hand-coded JUnit test for testing ImmutableObjectAbstractStrategy.
(package private) class	ImmutableObjectAbstractStrategyTest.ImmutableObjectAbstractStrategyTest$1
protected class	ImmutableObjectAbstractStrategyTest.SingletonIOAS A class that just provides null and one more value
protected class	ImmutableObjectAbstractStrategyTest.SmallestIOAS A class that just provides null
class	ImmutableObjectArrayIterator An iterator that provides test data by returning the current object from an array of immutable objects passed to its constructor.
class	ImmutableObjectArrayIterator_JML_TestData Supply test data for the JML and JUnit based testing of ImmutableObjectArrayIterator.
(package private) class	ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$1
(package private) class	ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$2
class	ImmutableObjectExtensibleStrategyDecorator A decorator for immutable object strategies that allows for easy extension with immutable test data.
(package private) class	ImmutableObjectExtensibleStrategyDecorator.ImmutableObjectExtensibleStrategyDecorator$1
class	IndefiniteIteratorUtilities Static functions to aid in testing subtypes of IndefiniteIterator and hence, the testing of various strategies.
class	IntAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type int.
class	IntAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
(package private) class	IntAbstractFilteringStrategyDecorator.NewIter
class	IntAbstractIterator Common code for iterators over values of type int that implement the IntIterator interface.
class	IntAbstractStrategy Common code for strategies for providing test data of type int.
class	IntArrayIterator A IntIterator over arrays of int elements.
class	IntArrayIterator_JML_TestData Supply test data for the JML and JUnit based testing of IntArrayIterator.
(package private) class	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$1
(package private) class	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$2
class	IntBigStrategy Slightly more extensive test data of type int.
(package private) class	IntBigStrategy.IntBigStrategy$1
class	IntCompositeIterator Composition of several IntIterators.
class	IntCompositeStrategy A composition of several IntStrategys
class	IntExtensibleStrategy Common code for extensible strategies for providing test data of type int.
class	IntExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type int) that allows for easy extension to the test data of the underlying strategy.
(package private) class	IntExtensibleStrategyDecorator.IntExtensibleStrategyDecorator$1
class	IntNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.
class	IntNonNegativeStrategyDecorator A decorator for strategies that filters out that filters out negative test data.
class	IntStrategy Minimal test data of type int.
class	IntStrategyTypeTest Hand-coded JUnit test for subtypes of IntStrategyType.
class	IteratorAbstractAdapter Make a java.util.Iterator into an IndefiniteIterator.
class	JMLCollectionStrategy A strategy for generating test data of type JMLCollection.
(package private) class	JMLCollectionUnextensibleStrategy A strategy for providing test data of type JMLCollection.
class	JMLTypeStrategy A strategy for generating test data of type JMLType.
(package private) class	JMLTypeUnextensibleStrategy A strategy for providing test data of type JMLType.
class	LimitedTestSuite A kind of test suite that only allows the first n tests to be added, and ignores the rest.
class	LongAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type long.
class	LongAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
(package private) class	LongAbstractFilteringStrategyDecorator.NewIter
class	LongAbstractIterator Common code for iterators over values of type long that implement the LongIterator interface.
class	LongAbstractStrategy Common code for strategies for providing test data of type long.
class	LongArrayIterator A LongIterator over arrays of long elements.
class	LongBigStrategy Slightly more extensive test data of type long.
(package private) class	LongBigStrategy.LongBigStrategy$1
class	LongCompositeIterator Composition of several LongIterators.
class	LongCompositeStrategy A composition of several LongStrategys
class	LongExtensibleStrategy Common code for extensible strategies for providing test data of type long.
class	LongExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type long) that allows for easy extension to the test data of the underlying strategy.
(package private) class	LongExtensibleStrategyDecorator.LongExtensibleStrategyDecorator$1
class	LongNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.
class	LongNonNegativeStrategyDecorator A decorator for strategies that filters out that filters out negative test data.
class	LongStrategy Minimal test data of type long.
class	LongStrategyTypeTest Hand-coded JUnit test for subtypes of LongStrategyType.
class	NewObjectAbstractExtensibleStrategyDecorator A decorator for strategies that allows for easy extension in the "new object" style to the test data of the underlying strategy.
(package private) class	NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1
(package private) class	NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1.NewIter
class	NewObjectAbstractIterator An iterator that provides test data by creating (in general) the objects each time the get() method is called.
class	NewObjectAbstractIterator_JML_TestData Supply test data for the JML and JUnit based testing of NewObjectAbstractIterator.
(package private) class	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$1
(package private) class	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2
(package private) class	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2.NewObjectAbstractIterator_JML_TestData$2$1
(package private) class	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2.NewObjectAbstractIterator_JML_TestData$2$2
class	NewObjectAbstractStrategy A strategy that provides test data by creating (in general) the objects each time the make() method is called for a particular argument.
(package private) class	NewObjectAbstractStrategy.NewObjectAbstractStrategy$1
class	NewObjectAbstractStrategyTest Hand-coded JUnit test for testing NewObjectAbstractStrategy.
protected class	NewObjectAbstractStrategyTest.SingletonNOAS A class that just provides null and one more object
protected class	NewObjectAbstractStrategyTest.SmallestNOAS A class that just provides null
class	NonNullIteratorDecorator An indefinite iterator that filters out null's that would be returned otherwise.
class	NonNullIteratorDecorator_JML_TestData Supply test data for the JML and JUnit based testing of NonNullIteratorDecorator.
(package private) class	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$1
(package private) class	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$2
(package private) class	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$3
class	NonNullStrategyDecorator A decorator that filters out null test data.
class	NonNullStrategyDecoratorTest Hand-coded JUnit test for testing NonNullStrategyDecorator.
(package private) class	NonNullStrategyDecoratorTest.NonNullStrategyDecoratorTest$1
class	ObjectArrayAbstractIterator An indefinite iterator that provides test data from an array of objects passed to its constructor.
class	ObjectStrategy A minimal, extensible strategy for producing test data of type Object.
(package private) class	ObjectStrategy.ObjectStrategy$1
class	ObjectStrategyTest Hand-coded JUnit test for testing ObjectStrategy.
(package private) class	ObjectStrategyTest.ObjectStrategyTest$1
class	ShortAbstractFilteringIteratorDecorator An filtering decorator for an indefinite iterator over type short.
class	ShortAbstractFilteringStrategyDecorator A decorator for strategies that filters out data that is not approved.
(package private) class	ShortAbstractFilteringStrategyDecorator.NewIter
class	ShortAbstractIterator Common code for iterators over values of type short that implement the ShortIterator interface.
class	ShortAbstractStrategy Common code for strategies for providing test data of type short.
class	ShortArrayIterator A ShortIterator over arrays of short elements.
class	ShortBigStrategy Slightly more extensive test data of type short.
(package private) class	ShortBigStrategy.ShortBigStrategy$1
class	ShortCompositeIterator Composition of several ShortIterators.
class	ShortCompositeStrategy A composition of several ShortStrategys
class	ShortExtensibleStrategy Common code for extensible strategies for providing test data of type short.
class	ShortExtensibleStrategyDecorator A decorator for strategies (which provide test data of type type short) that allows for easy extension to the test data of the underlying strategy.
(package private) class	ShortExtensibleStrategyDecorator.ShortExtensibleStrategyDecorator$1
class	ShortNonNegativeIteratorDecorator An indefinite iterator that filters out negative test data.
class	ShortNonNegativeStrategyDecorator A decorator for strategies that filters out that filters out negative test data.
class	ShortStrategy Minimal test data of type short.
class	ShortStrategyTypeTest Hand-coded JUnit test for subtypes of ShortStrategyType.
class	StringStrategy A strategy for producing test data of type String.
class	StringStrategyTest Hand-coded JUnit test for testing StringStrategy.
(package private) class	StringStrategyTest.StringStrategyTest$1
class	TestSuiteFullException This exception is ued to tell a test driver that we have enough tests.

Fields in org.jmlspecs.jmlunit.strategies declared as Object

private Object[]	CachedObjectAbstractStrategy.data The data to return in the iterations
private Object[]	ObjectArrayAbstractIterator.elems The elements
private Object	IteratorAbstractAdapter.item
(package private) Object	ImmutableObjectAbstractStrategyTest.SingletonIOAS.newObj

Methods in org.jmlspecs.jmlunit.strategies that return Object

protected Object	NewObjectAbstractExtensibleStrategyDecorator.make(int n) Return the nth test data item.
protected Object[]	CachedObjectAbstractStrategy.getData() Create and return the data for the iterations.
protected Object[]	CachedObjectAbstractStrategy.defaultData() Create and return the default data for the iterations.
protected Object[]	CachedObjectAbstractStrategy.addData() Subclasses can override this to make simple extensions to the data used.
protected abstract Object	NewObjectAbstractStrategy.make(int n) Return the nth test data item.
protected abstract Object	CloneableObjectAbstractStrategy.cloneElement(Object elem) Return a clone of the argument, which is assumed not to be null.
protected Object[]	StringStrategy.defaultData()
abstract Object	IndefiniteIterator.get() Return the current element in this iteration.
abstract Object	IndefiniteIterator.clone() Return a copy of this iterator in the same state as this object.
Object	LongAbstractIterator.get()
Object	LongAbstractIterator.clone()
abstract Object	LongIterator.get()
abstract Object	LongIterator.clone() Return a copy of this iterator in the same state as this object.
Object	LongAbstractFilteringIteratorDecorator.clone()
Object	AbstractFilteringIteratorDecorator.get() Return the current approved element.
Object	AbstractFilteringIteratorDecorator.clone()
protected Object[]	ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$1.addData()
protected Object	ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$1.cloneElement(Object o$)
protected Object[]	ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$2.addData()
protected Object	ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$2.cloneElement(Object o$)
protected Object[]	CloneableObjectAbstractStrategyTest.CloneableObjectAbstractStrategyTest$1.addData()
protected Object	CloneableObjectAbstractStrategyTest.CloneableObjectAbstractStrategyTest$1.cloneElement(Object elem)
Object	DoubleAbstractIterator.get()
Object	DoubleAbstractIterator.clone()
abstract Object	DoubleIterator.get()
abstract Object	DoubleIterator.clone() Return a copy of this iterator in the same state as this object.
Object	DoubleAbstractFilteringIteratorDecorator.clone()
protected Object[]	StringStrategyTest.StringStrategyTest$1.addData()
Object	ByteAbstractIterator.get()
Object	ByteAbstractIterator.clone()
abstract Object	ByteIterator.get()
abstract Object	ByteIterator.clone() Return a copy of this iterator in the same state as this object.
Object	ByteAbstractFilteringIteratorDecorator.clone()
Object	NewObjectAbstractIterator.get()
abstract Object	NewObjectAbstractIterator.make(int n) Return the nth test data item.
Object	NewObjectAbstractIterator.clone()
Object	NewObjectAbstractExtensibleStrategyDecorator.NewObjectAbstractExtensibleStrategyDecorator$1.NewIter.make(int n) Return null for index 0, and for n > 0, return the object returned NewObjectAbstractStrategy.this.make(n-1);
Object	FloatAbstractIterator.get()
Object	FloatAbstractIterator.clone()
abstract Object	FloatIterator.get()
abstract Object	FloatIterator.clone() Return a copy of this iterator in the same state as this object.
Object	FloatAbstractFilteringIteratorDecorator.clone()
protected Object[]	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2.addData()
protected Object	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2.cloneElement(Object o$)
Object	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2.NewObjectAbstractIterator_JML_TestData$2$1.make(int n)
Object	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2.NewObjectAbstractIterator_JML_TestData$2$2.make(int n)
protected Object[]	CloneableObjectArrayAbstractIterator_JML_TestData.CloneableObjectArrayAbstractIterator_JML_TestData$1.addData()
protected Object	CloneableObjectArrayAbstractIterator_JML_TestData.CloneableObjectArrayAbstractIterator_JML_TestData$1.cloneElement(Object o$)
Object	CharAbstractIterator.get()
Object	CharAbstractIterator.clone()
abstract Object	CharIterator.get()
abstract Object	CharIterator.clone() Return a copy of this iterator in the same state as this object.
Object	CharAbstractFilteringIteratorDecorator.clone()
Object	IntAbstractIterator.get()
Object	IntAbstractIterator.clone()
abstract Object	IntIterator.get()
abstract Object	IntIterator.clone() Return a copy of this iterator in the same state as this object.
Object	IntAbstractFilteringIteratorDecorator.clone()
Object	ShortAbstractIterator.get()
Object	ShortAbstractIterator.clone()
abstract Object	ShortIterator.get()
abstract Object	ShortIterator.clone() Return a copy of this iterator in the same state as this object.
Object	ShortAbstractFilteringIteratorDecorator.clone()
protected Object[]	DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2.addData()
protected Object	DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2.cloneElement(Object o$)
protected Object[]	CharIterator_JML_TestData.CharIterator_JML_TestData$1.addData()
protected Object	CharIterator_JML_TestData.CharIterator_JML_TestData$1.cloneElement(Object o$)
Object	NewObjectAbstractStrategy.NewObjectAbstractStrategy$1.make(int n) Return null for index 0, and for n > 0, return the object returned by NewObjectAbstractStrategy.this.make(n-1);
protected Object	ObjectStrategyTest.ObjectStrategyTest$1.make(int n)
Object	ObjectArrayAbstractIterator.get()
protected abstract Object	ObjectArrayAbstractIterator.duplicateIfNeeded(Object elem) Duplicate the argument if needed.
Object	ObjectArrayAbstractIterator.clone()
protected Object	CloneableObjectArrayAbstractIterator.duplicateIfNeeded(Object elem) Return a clone of the argument, or null if it is null.
protected abstract Object	CloneableObjectArrayAbstractIterator.cloneElement(Object elem) Return a clone of the argument, which is assumed not to be null.
protected Object	CloneableObjectAbstractStrategy.CloneableObjectAbstractStrategy$1.cloneElement(Object elem)
protected Object	CollectionStrategy.CollectionStrategy$1.make(int n)
protected Object[]	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$1.addData()
protected Object	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$1.cloneElement(Object o$)
protected Object	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$2.make(int n)
protected Object[]	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$3.addData()
protected Object	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$3.cloneElement(Object o$)
protected Object[]	AbstractExtensibleStrategyDecorator.addData() Subclasses can override this to make simple extensions to the data used.
protected Object[]	ImmutableObjectExtensibleStrategyDecorator.ImmutableObjectExtensibleStrategyDecorator$1.defaultData()
abstract Object	CloneableObjectAbstractExtensibleStrategyDecorator.cloneElement(Object elem) Return a clone of the argument.
protected Object[]	CloneableObjectAbstractExtensibleStrategyDecorator.CloneableObjectAbstractExtensibleStrategyDecorator$1.defaultData()
Object	CloneableObjectAbstractExtensibleStrategyDecorator.CloneableObjectAbstractExtensibleStrategyDecorator$1.cloneElement(Object elem)
protected Object[]	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$1.addData()
protected Object	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$1.cloneElement(Object o$)
protected Object[]	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$2.addData()
protected Object	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$2.cloneElement(Object o$)
protected Object[]	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$3.addData()
protected Object	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$3.cloneElement(Object o$)
protected Object[]	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$1.addData()
protected Object	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$1.cloneElement(Object o$)
protected Object[]	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$2.addData()
protected Object	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$2.cloneElement(Object o$)
protected Object[]	ImmutableObjectAbstractStrategyTest.ImmutableObjectAbstractStrategyTest$1.addData()
protected Object[]	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$1.addData()
protected Object	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$1.cloneElement(Object o$)
protected Object[]	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$2.addData()
protected Object	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$2.cloneElement(Object o$)
protected Object[]	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$3.addData()
protected Object	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$3.cloneElement(Object o$)
Object	BooleanAbstractIterator.get()
Object	BooleanAbstractIterator.clone()
abstract Object	BooleanIterator.get()
abstract Object	BooleanIterator.clone() Return a copy of this iterator in the same state as this object.
Object	BooleanAbstractFilteringIteratorDecorator.clone()
Object	JMLTypeStrategy.cloneElement(Object elem) Clone a JMLType object
Object	LongCompositeIterator.clone()
Object	CharArrayIterator.clone()
Object	CompositeIterator.get() Return the next element in this iteration.
Object	CompositeIterator.clone()
Object	CharCompositeIterator.clone()
protected Object	CloneableObjectAbstractStrategyTest.SmallestCOAS.cloneElement(Object elem)
protected Object[]	CloneableObjectAbstractStrategyTest.SingletonCOAS.addData()
protected Object	CloneableObjectAbstractStrategyTest.SingletonCOAS.cloneElement(Object elem)
protected Object[]	JMLCollectionUnextensibleStrategy.addData() Test data of type JMLCollection.
Object	FloatArrayIterator.clone()
Object	LongArrayIterator.clone()
protected Object	CloneableObjectArrayAbstractIterator_JML_TestData.IntArrayArrayIterator.cloneElement(Object elem)
protected Object[]	JMLTypeUnextensibleStrategy.addData() Test data of type JMLType
protected Object	JMLTypeUnextensibleStrategy.cloneElement(Object elem) Clone a JMLType object
Object	ByteArrayIterator.clone()
Object	ShortCompositeIterator.clone()
Object	EmptyNewObjectIterator.make(int n)
protected Object	ImmutableObjectArrayIterator.duplicateIfNeeded(Object elem) Return the argument (which is presumed to be immutable, and therefore not cloned).
Object	ShortArrayIterator.clone()
Object	IntCompositeIterator.clone()
Object	DoubleCompositeIterator.clone()
Object	DoubleArrayIterator.clone()
Object	IteratorAbstractAdapter.get()
abstract Object	IteratorAbstractAdapter.clone() Return a clone of this iterator adapter, which contains a clone of the underlying iterator.
Object	FloatCompositeIterator.clone()
protected Object	NewObjectAbstractStrategyTest.SmallestNOAS.make(int n)
protected Object	NewObjectAbstractStrategyTest.SingletonNOAS.make(int n)
protected Object[]	ImmutableObjectAbstractStrategyTest.SingletonIOAS.addData()
Object	BooleanArrayIterator.clone()
Object	BooleanCompositeIterator.clone()
Object	ByteCompositeIterator.clone()
Object	IntArrayIterator.clone()

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

protected abstract IndefiniteIterator	CachedObjectAbstractStrategy.iteratorFor(Object[] data) Return an appropriate iterator for the data.
protected IndefiniteIterator	ImmutableObjectAbstractStrategy.iteratorFor(Object[] data)
protected IndefiniteIterator	CloneableObjectAbstractStrategy.iteratorFor(Object[] data)
protected abstract Object	CloneableObjectAbstractStrategy.cloneElement(Object elem) Return a clone of the argument, which is assumed not to be null.
abstract boolean	AbstractFilteringStrategyDecorator.approve(Object elem) Return true if the element is to be returned by the get() method.
abstract boolean	AbstractFilteringIteratorDecorator.approve(Object elem) Return true if the element is to be returned by the get() method.
boolean	AbstractFilteringStrategyDecorator.NewIter.approve(Object elem)
protected Object	ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$1.cloneElement(Object o$)
protected Object	ImmutableObjectArrayIterator_JML_TestData.ImmutableObjectArrayIterator_JML_TestData$2.cloneElement(Object o$)
protected Object	CloneableObjectAbstractStrategyTest.CloneableObjectAbstractStrategyTest$1.cloneElement(Object elem)
protected Object	NewObjectAbstractIterator_JML_TestData.NewObjectAbstractIterator_JML_TestData$2.cloneElement(Object o$)
protected Object	CloneableObjectArrayAbstractIterator_JML_TestData.CloneableObjectArrayAbstractIterator_JML_TestData$1.cloneElement(Object o$)
protected Object	DoubleAbstractFilteringIteratorDecorator_JML_TestData.DoubleAbstractFilteringIteratorDecorator_JML_TestData$2.cloneElement(Object o$)
protected Object	CharIterator_JML_TestData.CharIterator_JML_TestData$1.cloneElement(Object o$)
protected abstract Object	ObjectArrayAbstractIterator.duplicateIfNeeded(Object elem) Duplicate the argument if needed.
protected Object	CloneableObjectArrayAbstractIterator.duplicateIfNeeded(Object elem) Return a clone of the argument, or null if it is null.
protected abstract Object	CloneableObjectArrayAbstractIterator.cloneElement(Object elem) Return a clone of the argument, which is assumed not to be null.
protected Object	CloneableObjectAbstractStrategy.CloneableObjectAbstractStrategy$1.cloneElement(Object elem)
protected Object	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$1.cloneElement(Object o$)
protected Object	NonNullIteratorDecorator_JML_TestData.NonNullIteratorDecorator_JML_TestData$3.cloneElement(Object o$)
protected abstract StrategyType	AbstractExtensibleStrategyDecorator.addedDataStrategy(Object[] added)
protected StrategyType	ImmutableObjectExtensibleStrategyDecorator.addedDataStrategy(Object[] added)
protected StrategyType	CloneableObjectAbstractExtensibleStrategyDecorator.addedDataStrategy(Object[] added)
abstract Object	CloneableObjectAbstractExtensibleStrategyDecorator.cloneElement(Object elem) Return a clone of the argument.
Object	CloneableObjectAbstractExtensibleStrategyDecorator.CloneableObjectAbstractExtensibleStrategyDecorator$1.cloneElement(Object elem)
protected Object	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$1.cloneElement(Object o$)
protected Object	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$2.cloneElement(Object o$)
protected Object	CompositeIterator_JML_TestData.CompositeIterator_JML_TestData$3.cloneElement(Object o$)
protected Object	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$1.cloneElement(Object o$)
protected Object	IntArrayIterator_JML_TestData.IntArrayIterator_JML_TestData$2.cloneElement(Object o$)
protected Object	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$1.cloneElement(Object o$)
protected Object	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$2.cloneElement(Object o$)
protected Object	DoubleCompositeIterator_JML_TestData.DoubleCompositeIterator_JML_TestData$3.cloneElement(Object o$)
Object	JMLTypeStrategy.cloneElement(Object elem) Clone a JMLType object
static boolean	IndefiniteIteratorUtilities.contains(IndefiniteIterator iter, Object o) Does the given iterator return something equals to the given object?
protected Object	CloneableObjectAbstractStrategyTest.SmallestCOAS.cloneElement(Object elem)
protected Object	CloneableObjectAbstractStrategyTest.SingletonCOAS.cloneElement(Object elem)
protected Object	CloneableObjectArrayAbstractIterator_JML_TestData.IntArrayArrayIterator.cloneElement(Object elem)
protected Object	JMLTypeUnextensibleStrategy.cloneElement(Object elem) Clone a JMLType object
boolean	NonNullIteratorDecorator.approve(Object elem)
boolean	NonNullStrategyDecorator.approve(Object elem)
protected Object	ImmutableObjectArrayIterator.duplicateIfNeeded(Object elem) Return the argument (which is presumed to be immutable, and therefore not cloned).

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

AbstractFilteringIteratorDecorator(IndefiniteIterator iter, Object ignored)
Partially intialize this iterator decorator, with a call to initialize needed after this call.

ObjectArrayAbstractIterator(Object[] elems)
Initialize this iterator to iterate over a clone of the array

CloneableObjectArrayAbstractIterator(Object[] elems)
Initialize this iterator to iterate over a clone of the array

ImmutableObjectArrayIterator(Object[] elems)
Initialize this iterator to iterate over a clone of the array

ImmutableObjectAbstractStrategyTest.SingletonIOAS(Object o)

Uses of Object in org.jmlspecs.lang

Subclasses of Object in org.jmlspecs.lang

class	JMLDataGroup A type with one element, for use in declaring "data groups".
class	JMLDataGroup_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLDataGroup_JML_TestData.JMLDataGroup_JML_TestData$1
(package private) class	JMLDataGroup_JML_TestData.JMLDataGroup_JML_TestData$2

Methods in org.jmlspecs.lang that return Object

protected Object	JMLDataGroup_JML_TestData.JMLDataGroup_JML_TestData$1.make(int n)
protected Object[]	JMLDataGroup_JML_TestData.JMLDataGroup_JML_TestData$2.addData()
abstract Object	JMLSetType.choose() Return an arbitrary element of this.
abstract Object[]	JMLSetType.toArray() Return a new array containing all the elements of this.
Object	JMLDataGroup.clone() Return this object.

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

abstract boolean	JMLSetType.has(Object elem) Tell whether the argument is equal to one of the elements in this collection, using the notion of element equality appropriate for the collection.
abstract boolean	JMLSetType.equals(Object s2)
abstract JMLSetType	JMLSetType.insert(Object elem) Returns a new set that contains all the elements of this and also the given argument.
boolean	JMLDataGroup.equals(Object oth) Test whether the given argument is a non-null object of type JMLDataGroup.

Uses of Object in org.jmlspecs.launcher

Subclasses of Object in org.jmlspecs.launcher

class	JmlLauncher A launcher for the JML tools
(package private) class	JmlLauncher.JmlLauncher$1
(package private) class	JmlLauncher.JmlLauncher$2
(package private) class	JmlLauncher.JmlLauncher$3
(package private) class	JmlLauncher.JmlLauncher$4
(package private) class	JmlLauncher.JmlLauncher$5

Uses of Object in org.jmlspecs.models

Subclasses of Object in org.jmlspecs.models

class	JMLArrayOps Array Operations that are useful for specifications.
class	JMLByte A reflection of Byte that implements JMLType.
class	JMLChar A reflection of Character that implements JMLType.
class	JMLChar_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLChar_JML_TestData.JMLChar_JML_TestData$1
(package private) class	JMLChar_JML_TestData.JMLChar_JML_TestData$2
(package private) class	JMLChar_JML_TestData.JMLChar_JML_TestData$3
(package private) class	JMLChar_JML_TestData.JMLChar_JML_TestData$4
class	JMLDouble A reflection of Double that implements JMLType.
class	JMLEnumerationToIterator A wrapper that makes any JMLEnumeration into a JMLIterator that does not support the remove operation.
class	JMLEqualsBag Bags (i.e., multisets) of objects.
(package private) class	JMLEqualsBagEntry Internal class used in the implementation of JMLEqualsBag.
(package private) class	JMLEqualsBagEntryNode Internal class used in the implementation of JMLEqualsBag.
class	JMLEqualsBagEnumerator Enumerators for bags (i.e., multisets) of objects.
class	JMLEqualsEqualsPair Pairs of Object and Object, used in the types JMLEqualsToEqualsRelation and JMLEqualsToEqualsMap.
class	JMLEqualsObjectPair Pairs of Object and Object, used in the types JMLEqualsToObjectRelation and JMLEqualsToObjectMap.
class	JMLEqualsSequence Sequences of objects.
class	JMLEqualsSequenceEnumerator An enumerator for sequences of objects.
class	JMLEqualsSet Sets of objects.
class	JMLEqualsSetEnumerator An enumerator for sets of objects.
class	JMLEqualsToEqualsMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of Object.
class	JMLEqualsToEqualsRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of Object.
class	JMLEqualsToEqualsRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLEqualsToEqualsRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLEqualsToObjectMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of Object.
class	JMLEqualsToObjectRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of Object.
class	JMLEqualsToObjectRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLEqualsToObjectRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLEqualsToValueMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of JMLType.
class	JMLEqualsToValueRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of JMLType.
class	JMLEqualsToValueRelationEnumerator Enumerator for pairs of keys of type Object to values of type JMLType that form the associations in a relation.
class	JMLEqualsToValueRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLEqualsValuePair Pairs of Object and JMLType, used in the types JMLEqualsToValueRelation and JMLEqualsToValueMap.
class	JMLFiniteInteger Arbitrary precision integers with a finite value.
class	JMLFloat A reflection of Float that implements JMLType.
class	JMLFloat_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLFloat_JML_TestData.JMLFloat_JML_TestData$1
(package private) class	JMLFloat_JML_TestData.JMLFloat_JML_TestData$2
(package private) class	JMLFloat_JML_TestData.JMLFloat_JML_TestData$3
(package private) class	JMLFloat_JML_TestData.JMLFloat_JML_TestData$4
class	JMLInfiniteInteger_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$1
(package private) class	JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$2
(package private) class	JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$3
class	JMLInfiniteIntegerClass Class with common code to implement JMLInfiniteInteger.
class	JMLInteger A reflection of Integer that implements JMLType.
class	JMLInteger_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLInteger_JML_TestData.JMLInteger_JML_TestData$1
(package private) class	JMLInteger_JML_TestData.JMLInteger_JML_TestData$2
(package private) class	JMLInteger_JML_TestData.JMLInteger_JML_TestData$3
(package private) class	JMLListEqualsNode An implementation class used in various models.
class	JMLListException Exceptions from JML List types.
(package private) class	JMLListObjectNode An implementation class used in various models.
(package private) class	JMLListValueNode An implementation class used in various models.
class	JMLListValueNode_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLListValueNode_JML_TestData.JMLListValueNode_JML_TestData$1
(package private) class	JMLListValueNode_JML_TestData.JMLListValueNode_JML_TestData$2
class	JMLLong A reflection of Long that implements JMLType.
class	JMLMapException Exceptions from JML Map types that indicate that the argument was illegal for this operation.
class	JMLMath A JML class that implements methods equivalent to those available in Math but that are defined over \bigint and \real instead.
class	JMLModelObjectSet A collection of object sets for use in set comprehensions.
class	JMLModelValueSet A collection of value sets for use in set comprehensions.
class	JMLNegativeInfinity Negative Infinity.
class	JMLNoSuchElementException Missing element exception used by various JML collection types and enumerators.
class	JMLNullSafe A class with static methods that safely work with null objects.
class	JMLNullSafe_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLNullSafe_JML_TestData.JMLNullSafe_JML_TestData$1
class	JMLObjectBag Bags (i.e., multisets) of objects.
(package private) class	JMLObjectBagEntry Internal class used in the implementation of JMLObjectBag.
(package private) class	JMLObjectBagEntryNode Internal class used in the implementation of JMLObjectBag.
class	JMLObjectBagEnumerator Enumerators for bags (i.e., multisets) of objects.
class	JMLObjectEqualsPair Pairs of Object and Object, used in the types JMLObjectToEqualsRelation and JMLObjectToEqualsMap.
class	JMLObjectObjectPair Pairs of Object and Object, used in the types JMLObjectToObjectRelation and JMLObjectToObjectMap.
class	JMLObjectSequence Sequences of objects.
class	JMLObjectSequenceEnumerator An enumerator for sequences of objects.
class	JMLObjectSet Sets of objects.
class	JMLObjectSetEnumerator An enumerator for sets of objects.
class	JMLObjectToEqualsMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of Object.
class	JMLObjectToEqualsRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of Object.
class	JMLObjectToEqualsRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLObjectToEqualsRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLObjectToObjectMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of Object.
class	JMLObjectToObjectRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of Object.
class	JMLObjectToObjectRelation_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$1
(package private) class	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$2
(package private) class	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$3
(package private) class	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$4
(package private) class	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$5
class	JMLObjectToObjectRelationEnumerator Enumerator for pairs of keys of type Object to values of type Object that form the associations in a relation.
class	JMLObjectToObjectRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLObjectToValueMap Maps (i.e., binary relations that are functional) from non-null elements of Object to non-null elements of JMLType.
class	JMLObjectToValueRelation Binary relations (or set-valued functions) from non-null elements of Object to non-null elements of JMLType.
class	JMLObjectToValueRelationEnumerator Enumerator for pairs of keys of type Object to values of type JMLType that form the associations in a relation.
class	JMLObjectToValueRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLObjectValuePair Pairs of Object and JMLType, used in the types JMLObjectToValueRelation and JMLObjectToValueMap.
class	JMLPositiveInfinity Positive Infinity.
class	JMLResources Model variables for reasoning à la Eric Hehner.
class	JMLSequenceException Index out of bounds exceptions from JML Sequence types.
class	JMLShort A reflection of Short that implements JMLType.
class	JMLString A reflection of String that implements JMLType.
class	JMLString_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLString_JML_TestData.JMLString_JML_TestData$1
(package private) class	JMLString_JML_TestData.JMLString_JML_TestData$2
(package private) class	JMLString_JML_TestData.JMLString_JML_TestData$3
class	JMLTypeException An exception class used in bad formatting exceptions.
class	JMLValueBag Bags (i.e., multisets) of values.
(package private) class	JMLValueBagEntry Internal class used in the implementation of JMLValueBag.
(package private) class	JMLValueBagEntryNode Internal class used in the implementation of JMLValueBag.
class	JMLValueBagEnumerator Enumerators for bags (i.e., multisets) of values.
class	JMLValueBagSpecs Special behavior for JMLValueBag not shared by JMLObjectBag.
class	JMLValueEqualsPair Pairs of JMLType and Object, used in the types JMLValueToEqualsRelation and JMLValueToEqualsMap.
class	JMLValueObjectPair Pairs of JMLType and Object, used in the types JMLValueToObjectRelation and JMLValueToObjectMap.
class	JMLValueObjectPair_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLValueObjectPair_JML_TestData.JMLValueObjectPair_JML_TestData$1
(package private) class	JMLValueObjectPair_JML_TestData.JMLValueObjectPair_JML_TestData$2
class	JMLValueSequence Sequences of values.
class	JMLValueSequenceEnumerator An enumerator for sequences of values.
class	JMLValueSequenceSpecs Specical behavior for JMLValueSequence not shared by JMLObjectSequence.
class	JMLValueSet Sets of values.
class	JMLValueSet_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLValueSet_JML_TestData.JMLValueSet_JML_TestData$1
(package private) class	JMLValueSet_JML_TestData.JMLValueSet_JML_TestData$2
class	JMLValueSetEnumerator An enumerator for sets of values.
class	JMLValueSetSpecs Special behavior for JMLValueSet not shared by JMLObjectSet.
class	JMLValueToEqualsMap Maps (i.e., binary relations that are functional) from non-null elements of JMLType to non-null elements of Object.
class	JMLValueToEqualsRelation Binary relations (or set-valued functions) from non-null elements of JMLType to non-null elements of Object.
class	JMLValueToEqualsRelationEnumerator Enumerator for pairs of keys of type JMLType to values of type Object that form the associations in a relation.
class	JMLValueToEqualsRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLValueToObjectMap Maps (i.e., binary relations that are functional) from non-null elements of JMLType to non-null elements of Object.
class	JMLValueToObjectRelation Binary relations (or set-valued functions) from non-null elements of JMLType to non-null elements of Object.
class	JMLValueToObjectRelationEnumerator Enumerator for pairs of keys of type JMLType to values of type Object that form the associations in a relation.
class	JMLValueToObjectRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLValueToValueMap Maps (i.e., binary relations that are functional) from non-null elements of JMLType to non-null elements of JMLType.
class	JMLValueToValueMap_JML_TestData Supply test data for the JML and JUnit based testing of Person.
(package private) class	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$1
(package private) class	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$2
(package private) class	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$3
(package private) class	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$4
(package private) class	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$5
(package private) class	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$6
class	JMLValueToValueRelation Binary relations (or set-valued functions) from non-null elements of JMLType to non-null elements of JMLType.
class	JMLValueToValueRelationEnumerator Enumerator for pairs of keys of type JMLType to values of type JMLType that form the associations in a relation.
class	JMLValueToValueRelationImageEnumerator Enumerator for pairs of keys and their relational images.
class	JMLValueValuePair Pairs of JMLType and JMLType, used in the types JMLValueToValueRelation and JMLValueToValueMap.

Fields in org.jmlspecs.models declared as Object

Object	JMLEqualsValuePair.key The key of this pair.
protected Object	JMLEqualsToValueRelationEnumerator.key The current key for pairs being enumerated.
Object	JMLValueObjectPair.value The value of this pair.
Object	JMLObjectEqualsPair.key The key of this pair.
Object	JMLObjectEqualsPair.value The value of this pair.
Object	JMLObjectValuePair.key The key of this pair.
Object	JMLValueEqualsPair.value The value of this pair.
Object	JMLListEqualsNode.val The data contained in this list node.
Object	JMLEqualsEqualsPair.key The key of this pair.
Object	JMLEqualsEqualsPair.value The value of this pair.
protected Object	JMLObjectBagEnumerator.currEntry The current entry.
protected Object	JMLObjectToValueRelationEnumerator.key The current key for pairs being enumerated.
protected Object	JMLObjectToEqualsRelationEnumerator.key The current key for pairs being enumerated.
protected Object	JMLObjectToObjectRelationEnumerator.key The current key for pairs being enumerated.
Object	JMLObjectObjectPair.key The key of this pair.
Object	JMLObjectObjectPair.value The value of this pair.
Object	JMLEqualsObjectPair.key The key of this pair.
Object	JMLEqualsObjectPair.value The value of this pair.
protected Object	JMLEqualsToObjectRelationEnumerator.key The current key for pairs being enumerated.
Object	JMLEqualsBagEntry.theElem The element in this bag entry.
protected Object	JMLEqualsBagEnumerator.currEntry The current entry.
Object	JMLListObjectNode.val The data contained in this list node.
protected Object	JMLEqualsToEqualsRelationEnumerator.key The current key for pairs being enumerated.
Object	JMLObjectBagEntry.theElem The element in this bag entry.

Methods in org.jmlspecs.models that return Object

abstract Object	JMLType.clone() Return a clone of this object.
abstract Object	JMLValueSetSpecs.clone()
abstract Object	JMLValueType.clone() Return a deep copy of this object.
Object	JMLValueSet.clone() Return a clone of this object.
Object	JMLObjectSequence.itemAt(int i) Return the element at the given zero-based index.
Object	JMLObjectSequence.get(int i) Return the element at the given zero-based index; a synonym for JMLObjectSequence.itemAt(int).
Object	JMLObjectSequence.first() Return the first element in this sequence.
Object	JMLObjectSequence.last() Return the last element in this sequence.
Object	JMLObjectSequence.clone() Return a clone of this object.
Object[]	JMLObjectSequence.toArray() Return a new array containing all the elements of this in order.
protected Object[]	JMLChar_JML_TestData.JMLChar_JML_TestData$1.addData()
protected Object[]	JMLChar_JML_TestData.JMLChar_JML_TestData$2.addData()
protected Object	JMLChar_JML_TestData.JMLChar_JML_TestData$3.make(int n)
protected Object[]	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$1.addData()
protected Object[]	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$2.addData()
protected Object[]	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$3.addData()
protected Object[]	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$4.addData()
protected Object	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$4.cloneElement(Object o$)
protected Object[]	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$5.addData()
protected Object[]	JMLValueToValueMap_JML_TestData.JMLValueToValueMap_JML_TestData$6.addData()
protected Object[]	JMLListValueNode_JML_TestData.JMLListValueNode_JML_TestData$1.addData()
protected Object[]	JMLListValueNode_JML_TestData.JMLListValueNode_JML_TestData$2.addData()
protected Object[]	JMLInteger_JML_TestData.JMLInteger_JML_TestData$1.addData()
protected Object[]	JMLInteger_JML_TestData.JMLInteger_JML_TestData$2.addData()
protected Object[]	JMLInteger_JML_TestData.JMLInteger_JML_TestData$3.addData()
protected Object[]	JMLFloat_JML_TestData.JMLFloat_JML_TestData$1.addData()
protected Object[]	JMLFloat_JML_TestData.JMLFloat_JML_TestData$2.addData()
protected Object[]	JMLFloat_JML_TestData.JMLFloat_JML_TestData$3.addData()
protected Object[]	JMLFloat_JML_TestData.JMLFloat_JML_TestData$4.addData()
protected Object[]	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$1.addData()
protected Object[]	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$2.addData()
protected Object	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$2.cloneElement(Object o$)
protected Object[]	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$3.addData()
protected Object[]	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$4.addData()
protected Object	JMLObjectToObjectRelation_JML_TestData.JMLObjectToObjectRelation_JML_TestData$5.make(int n)
protected Object[]	JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$1.addData()
protected Object[]	JMLInfiniteInteger_JML_TestData.JMLInfiniteInteger_JML_TestData$2.addData()
protected Object[]	JMLValueObjectPair_JML_TestData.JMLValueObjectPair_JML_TestData$1.addData()
protected Object	JMLValueObjectPair_JML_TestData.JMLValueObjectPair_JML_TestData$1.cloneElement(Object o$)
protected Object	JMLValueObjectPair_JML_TestData.JMLValueObjectPair_JML_TestData$2.make(int n)
protected Object[]	JMLString_JML_TestData.JMLString_JML_TestData$1.addData()
protected Object[]	JMLString_JML_TestData.JMLString_JML_TestData$2.addData()
protected Object[]	JMLValueSet_JML_TestData.JMLValueSet_JML_TestData$1.addData()
protected Object[]	JMLValueSet_JML_TestData.JMLValueSet_JML_TestData$2.addData()
protected Object	JMLValueSet_JML_TestData.JMLValueSet_JML_TestData$2.cloneElement(Object o$)
protected Object	JMLNullSafe_JML_TestData.JMLNullSafe_JML_TestData$1.make(int n)
Object	JMLInfiniteIntegerClass.clone() Return a clone of this integer.
Object	JMLValueSequenceEnumerator.nextElement() Return the next element in the sequence, counting up, if there is one.
Object	JMLValueSequenceEnumerator.clone() Return a clone of this enumerator.
abstract Object	JMLEnumeration.clone() Return a clone of this enumeration.
abstract Object	JMLValueSequenceSpecs.clone() Return a clone of this object, making clones of any contained objects in the sequence.
Object	JMLValueSequence.clone() Return a clone of this object.
Object	JMLListValueNode.clone() Return a clone of this object.
Object	JMLValueToValueRelationEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLValueToValueRelationEnumerator.clone() Return a clone of this enumerator.
Object	JMLValueToValueRelationImageEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLValueToValueRelationImageEnumerator.clone() Return a clone of this enumerator.
Object	JMLValueSetEnumerator.nextElement() Return the next element in this, if there is one.
Object	JMLValueSetEnumerator.clone() Return a clone of this enumerator.
Object	JMLValueToValueRelation.clone() Return a clone of this object.
Object	JMLValueValuePair.clone()
Object	JMLEqualsValuePair.clone()
Object	JMLObjectToValueRelation.clone() Return a clone of this object.
abstract Object	JMLIterator.clone() Return a clone of this iterator.
abstract Object	JMLValueBagSpecs.clone()
Object	JMLValueBag.clone() Return a clone of this object.
Object	JMLValueToValueMap.clone()
Object	JMLEqualsToValueRelation.clone() Return a clone of this object.
Object	JMLEqualsSet.choose() Return an arbitrary element of this.
Object	JMLEqualsSet.clone() Return a clone of this object.
Object[]	JMLEqualsSet.toArray() Return a new array containing all the elements of this.
Object	JMLValueToEqualsRelation.clone() Return a clone of this object.
Object	JMLObjectToEqualsRelation.clone() Return a clone of this object.
Object	JMLEqualsToValueRelationEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLEqualsToValueRelationEnumerator.clone() Return a clone of this enumerator.
Object	JMLEqualsToValueRelationImageEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLEqualsToValueRelationImageEnumerator.clone() Return a clone of this enumerator.
Object	JMLEqualsSetEnumerator.nextElement() Return the next element in this, if there is one.
Object	JMLEqualsSetEnumerator.clone() Return a clone of this enumerator.
abstract Object	JMLObjectType.clone() Return a shallow copy of this object.
Object	JMLEqualsToValueMap.clone()
Object	JMLValueObjectPair.clone()
Object	JMLObjectToEqualsMap.apply(Object dv) Return the range element corresponding to dv, if there is one.
Object	JMLObjectToEqualsMap.clone()
Object	JMLObjectEqualsPair.clone()
Object	JMLObjectSet.choose() Return an arbitrary element of this.
Object	JMLObjectSet.clone() Return a clone of this object.
Object[]	JMLObjectSet.toArray() Return a new array containing all the elements of this.
Object	JMLValueToEqualsMap.apply(JMLType dv) Return the range element corresponding to dv, if there is one.
Object	JMLValueToEqualsMap.clone()
Object	JMLValueToObjectRelation.clone() Return a clone of this object.
Object	JMLValueToObjectMap.apply(JMLType dv) Return the range element corresponding to dv, if there is one.
Object	JMLValueToObjectMap.clone()
Object	JMLObjectToObjectRelation.clone() Return a clone of this object.
Object	JMLObjectToObjectMap.apply(Object dv) Return the range element corresponding to dv, if there is one.
Object	JMLObjectToObjectMap.clone()
Object	JMLValueToObjectRelationEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLValueToObjectRelationEnumerator.clone() Return a clone of this enumerator.
Object	JMLValueToObjectRelationImageEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLValueToObjectRelationImageEnumerator.clone() Return a clone of this enumerator.
Object	JMLObjectSetEnumerator.nextElement() Return the next element in this, if there is one.
Object	JMLObjectSetEnumerator.clone() Return a clone of this enumerator.
Object	JMLObjectToObjectRelationImageEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLObjectToObjectRelationImageEnumerator.clone() Return a clone of this enumerator.
Object	JMLObjectValuePair.clone()
Object	JMLValueEqualsPair.clone()
Object	JMLObjectToValueMap.clone()
Object	JMLByte.clone() Return a clone of this object.
Object	JMLEqualsSequenceEnumerator.nextElement() Return the next element in the sequence, counting up, if there is one.
Object	JMLEqualsSequenceEnumerator.clone() Return a clone of this enumerator.
Object	JMLEqualsSequence.itemAt(int i) Return the element at the given zero-based index.
Object	JMLEqualsSequence.get(int i) Return the element at the given zero-based index; a synonym for JMLEqualsSequence.itemAt(int).
Object	JMLEqualsSequence.first() Return the first element in this sequence.
Object	JMLEqualsSequence.last() Return the last element in this sequence.
Object	JMLEqualsSequence.clone() Return a clone of this object.
Object[]	JMLEqualsSequence.toArray() Return a new array containing all the elements of this in order.
Object	JMLListEqualsNode.head() Return the first element in this list.
Object	JMLListEqualsNode.itemAt(int i) Return the ith element of a list.
Object	JMLListEqualsNode.last() Return the last element in this list.
Object	JMLListEqualsNode.getItem(Object item) Return the zero-based index of the first occurrence of the given element in the list, if there is one
Object	JMLListEqualsNode.clone() Return a clone of this object.
Object	JMLValueBagEnumerator.nextElement() Return the next element in this, if there is one.
Object	JMLValueBagEnumerator.clone() Return a clone of this enumerator.
Object	JMLEqualsEqualsPair.clone()
Object	JMLObjectBagEnumerator.nextElement() Return the next element in this, if there is one.
Object	JMLObjectBagEnumerator.clone() Return a clone of this enumerator.
Object	JMLObjectBag.choose() Return an arbitrary element of this.
Object	JMLObjectBag.clone() Return a clone of this object.
Object[]	JMLObjectBag.toArray() Return a new array containing all the elements of this.
Object	JMLObjectToEqualsRelationImageEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLObjectToEqualsRelationImageEnumerator.clone() Return a clone of this enumerator.
Object	JMLObjectToValueRelationEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLObjectToValueRelationEnumerator.clone() Return a clone of this enumerator.
Object	JMLObjectToValueRelationImageEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLObjectToValueRelationImageEnumerator.clone() Return a clone of this enumerator.
Object	JMLObjectToEqualsRelationEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLObjectToEqualsRelationEnumerator.clone() Return a clone of this enumerator.
Object	JMLObjectToObjectRelationEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLObjectToObjectRelationEnumerator.clone() Return a clone of this enumerator.
Object	JMLObjectObjectPair.clone()
Object	JMLEqualsToObjectRelation.clone() Return a clone of this object.
Object	JMLEqualsObjectPair.clone()
Object	JMLEqualsToObjectRelationEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLEqualsToObjectRelationEnumerator.clone() Return a clone of this enumerator.
Object	JMLEqualsToObjectRelationImageEnumerator.nextElement() Return the next image pair in this, if there is one.
Object	JMLEqualsToObjectRelationImageEnumerator.clone() Return a clone of this enumerator.
Object	JMLEqualsToObjectMap.apply(Object dv) Return the range element corresponding to dv, if there is one.
Object	JMLEqualsToObjectMap.clone()
Object	JMLShort.clone() Return a clone of this object.
Object	JMLInteger.clone() Return a clone of this object.
Object	JMLEqualsBag.choose() Return an arbitrary element of this.
Object	JMLEqualsBag.clone() Return a clone of this object.
Object[]	JMLEqualsBag.toArray() Return a new array containing all the elements of this.
Object	JMLEqualsBagEntryNode.clone() Return a clone of this object.
Object	JMLEqualsBagEntry.clone() Make a clone of the given entry.
Object	JMLEqualsBagEnumerator.nextElement() Return the next element in this, if there is one.
Object	JMLEqualsBagEnumerator.clone() Return a clone of this enumerator.
Object	JMLListO