Uses of Class
java.lang.Object

Packages that use Object

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

Uses of Object in antlr

Subclasses of Object in antlr

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

Uses of Object in com.sun.tools.doclets

Subclasses of Object in com.sun.tools.doclets

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

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

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

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

Uses of Object in java.awt

Subclasses of Object in java.awt

class	AWTEvent
class	Component
class	Container
class	Frame
class	Window

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	FileWriter
class	FilterOutputStream
class	InputStream
class	IOException
class	OutputStream
class	OutputStreamWriter
class	PrintStream
class	PrintWriter
class	RandomAccessFile
class	Reader
class	Writer

Fields in java.io declared as Object

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

Methods in java.io with parameters of type Object

boolean	File.equals(Object)
int	File.compareTo(Object)
void	PrintStream.print(Object)
void	PrintStream.println(Object)
PrintStream	PrintStream.printf(String, Object[])
PrintStream	PrintStream.printf(Locale, String, Object[])
PrintStream	PrintStream.format(String, Object[])
PrintStream	PrintStream.format(Locale, String, Object[])
void	PrintWriter.print(Object)
void	PrintWriter.println(Object)
PrintWriter	PrintWriter.printf(String, Object[])
PrintWriter	PrintWriter.printf(Locale, String, Object[])
PrintWriter	PrintWriter.format(String, Object[])
PrintWriter	PrintWriter.format(Locale, String, Object[])

Constructors in java.io with parameters of type Object

Reader(Object)

Writer(Object)

Uses of Object in java.lang

Subclasses of Object in java.lang

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

Fields in java.lang declared as Object

private Object	Throwable.backtrace
private Object[]	Class.enumConstants

Methods in java.lang that return Object

protected Object	Object.clone()
Object	Class.newInstance()
private Object	Class.newInstance0()
Object[]	Class.getSigners()
private Object[]	Class.getEnclosingMethod0()
Object[]	Class.getEnumConstants()
(package private) Object[]	Class.getEnumConstantsShared()
Object	Class.cast(Object)

Methods in java.lang with parameters of type Object

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

Uses of Object in java.lang.reflect

Subclasses of Object in java.lang.reflect

class	AccessibleObject
class	Field
class	InvocationTargetException
class	Method

Methods in java.lang.reflect that return Object

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

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

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

Uses of Object in java.math

Subclasses of Object in java.math

class

BigInteger

Methods in java.math with parameters of type Object

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

Uses of Object in java.util

Subclasses of Object in java.util

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

Fields in java.util declared as Object

protected Object	EventObject.source
private Object[]	ArrayList.elementData
private static Object	HashSet.PRESENT
protected Object[]	Vector.elementData
private static Object	TreeSet.PRESENT

Methods in java.util that return Object

abstract Object	Iterator.next()
Object	EventObject.getSource()
Object[]	AbstractCollection.toArray()
Object[]	AbstractCollection.toArray(Object[])
private static Object[]	AbstractCollection.finishToArray(Object[], Iterator)
abstract Object[]	Collection.toArray()
abstract Object[]	Collection.toArray(Object[])
abstract Object	AbstractList.get(int)
Object	AbstractList.set(int, Object)
Object	AbstractList.remove(int)
abstract Object	List.get(int)
abstract Object	List.remove(int)
abstract Object	List.set(int, Object)
abstract Object[]	List.toArray()
abstract Object[]	List.toArray(Object[])
Object	ArrayList.clone()
Object[]	ArrayList.toArray()
Object[]	ArrayList.toArray(Object[])
Object	ArrayList.get(int)
Object	ArrayList.set(int, Object)
Object	ArrayList.remove(int)
abstract Object[]	Set.toArray()
abstract Object[]	Set.toArray(Object[])
Object	HashSet.clone()
Object	Vector.elementAt(int)
Object	Vector.firstElement()
Object	Vector.lastElement()
Object	Vector.clone()
Object[]	Vector.toArray()
Object[]	Vector.toArray(Object[])
Object	Vector.get(int)
Object	Vector.set(int, Object)
Object	Vector.remove(int)
Object	Stack.push(Object)
Object	Stack.pop()
Object	Stack.peek()
Object	AbstractMap.get(Object)
Object	AbstractMap.put(Object, Object)
Object	AbstractMap.remove(Object)
protected Object	AbstractMap.clone()
abstract Object	Map.get(Object)
abstract Object	Map.put(Object, Object)
abstract Object	Map.remove(Object)
Object	HashMap.get(Object)
private Object	HashMap.getForNullKey()
Object	HashMap.put(Object, Object)
private Object	HashMap.putForNullKey(Object)
Object	HashMap.remove(Object)
Object	HashMap.clone()
abstract Object	Dictionary.get(Object)
abstract Object	Dictionary.put(Object, Object)
abstract Object	Dictionary.remove(Object)
Object	Hashtable.get(Object)
Object	Hashtable.put(Object, Object)
Object	Hashtable.remove(Object)
Object	Hashtable.clone()
Object	AbstractSequentialList.get(int)
Object	AbstractSequentialList.set(int, Object)
Object	AbstractSequentialList.remove(int)
Object	LinkedList.getFirst()
Object	LinkedList.getLast()
Object	LinkedList.removeFirst()
Object	LinkedList.removeLast()
Object	LinkedList.get(int)
Object	LinkedList.set(int, Object)
Object	LinkedList.remove(int)
Object	LinkedList.peek()
Object	LinkedList.element()
Object	LinkedList.poll()
Object	LinkedList.remove()
Object	LinkedList.peekFirst()
Object	LinkedList.peekLast()
Object	LinkedList.pollFirst()
Object	LinkedList.pollLast()
Object	LinkedList.pop()
private Object	LinkedList.remove(LinkedList.Entry)
Object	LinkedList.clone()
Object[]	LinkedList.toArray()
Object[]	LinkedList.toArray(Object[])
abstract Object	Deque.removeFirst()
abstract Object	Deque.removeLast()
abstract Object	Deque.pollFirst()
abstract Object	Deque.pollLast()
abstract Object	Deque.getFirst()
abstract Object	Deque.getLast()
abstract Object	Deque.peekFirst()
abstract Object	Deque.peekLast()
abstract Object	Deque.remove()
abstract Object	Deque.poll()
abstract Object	Deque.element()
abstract Object	Deque.peek()
abstract Object	Deque.pop()
abstract Object	Queue.remove()
abstract Object	Queue.poll()
abstract Object	Queue.element()
abstract Object	Queue.peek()
abstract Object	Enumeration.nextElement()
Object	Properties.setProperty(String, String)
abstract Object	Map.Entry.getKey()
abstract Object	Map.Entry.getValue()
abstract Object	Map.Entry.setValue(Object)
Object	BitSet.clone()
Object	TreeSet.first()
Object	TreeSet.last()
Object	TreeSet.lower(Object)
Object	TreeSet.floor(Object)
Object	TreeSet.ceiling(Object)
Object	TreeSet.higher(Object)
Object	TreeSet.pollFirst()
Object	TreeSet.pollLast()
Object	TreeSet.clone()
abstract Object	NavigableSet.lower(Object)
abstract Object	NavigableSet.floor(Object)
abstract Object	NavigableSet.ceiling(Object)
abstract Object	NavigableSet.higher(Object)
abstract Object	NavigableSet.pollFirst()
abstract Object	NavigableSet.pollLast()
abstract Object	SortedSet.first()
abstract Object	SortedSet.last()
Object	TreeMap.get(Object)
Object	TreeMap.firstKey()
Object	TreeMap.lastKey()
Object	TreeMap.put(Object, Object)
Object	TreeMap.remove(Object)
Object	TreeMap.clone()
Object	TreeMap.lowerKey(Object)
Object	TreeMap.floorKey(Object)
Object	TreeMap.ceilingKey(Object)
Object	TreeMap.higherKey(Object)
(package private) static Object	TreeMap.keyOrNull(TreeMap.Entry)
(package private) static Object	TreeMap.key(TreeMap.Entry)
abstract Object	NavigableMap.lowerKey(Object)
abstract Object	NavigableMap.floorKey(Object)
abstract Object	NavigableMap.ceilingKey(Object)
abstract Object	NavigableMap.higherKey(Object)
abstract Object	SortedMap.firstKey()
abstract Object	SortedMap.lastKey()
abstract Object	ListIterator.next()
abstract Object	ListIterator.previous()

Methods in java.util with parameters of type Object

abstract int	Comparator.compare(Object, Object)
abstract boolean	Comparator.equals(Object)
boolean	AbstractCollection.contains(Object)
Object[]	AbstractCollection.toArray(Object[])
private static Object[]	AbstractCollection.finishToArray(Object[], Iterator)
boolean	AbstractCollection.add(Object)
boolean	AbstractCollection.remove(Object)
abstract boolean	Collection.add(Object)
abstract boolean	Collection.contains(Object)
abstract boolean	Collection.equals(Object)
abstract boolean	Collection.remove(Object)
abstract Object[]	Collection.toArray(Object[])
boolean	AbstractList.add(Object)
Object	AbstractList.set(int, Object)
void	AbstractList.add(int, Object)
int	AbstractList.indexOf(Object)
int	AbstractList.lastIndexOf(Object)
boolean	AbstractList.equals(Object)
abstract void	List.add(int, Object)
abstract boolean	List.add(Object)
abstract boolean	List.contains(Object)
abstract boolean	List.equals(Object)
abstract int	List.indexOf(Object)
abstract int	List.lastIndexOf(Object)
abstract boolean	List.remove(Object)
abstract Object	List.set(int, Object)
abstract Object[]	List.toArray(Object[])
boolean	ArrayList.contains(Object)
int	ArrayList.indexOf(Object)
int	ArrayList.lastIndexOf(Object)
Object[]	ArrayList.toArray(Object[])
Object	ArrayList.set(int, Object)
boolean	ArrayList.add(Object)
void	ArrayList.add(int, Object)
boolean	ArrayList.remove(Object)
boolean	AbstractSet.equals(Object)
abstract boolean	Set.add(Object)
abstract boolean	Set.contains(Object)
abstract boolean	Set.equals(Object)
abstract boolean	Set.remove(Object)
abstract Object[]	Set.toArray(Object[])
boolean	HashSet.contains(Object)
boolean	HashSet.add(Object)
boolean	HashSet.remove(Object)
void	Vector.copyInto(Object[])
boolean	Vector.contains(Object)
int	Vector.indexOf(Object)
int	Vector.indexOf(Object, int)
int	Vector.lastIndexOf(Object)
int	Vector.lastIndexOf(Object, int)
void	Vector.setElementAt(Object, int)
void	Vector.insertElementAt(Object, int)
void	Vector.addElement(Object)
boolean	Vector.removeElement(Object)
Object[]	Vector.toArray(Object[])
Object	Vector.set(int, Object)
boolean	Vector.add(Object)
boolean	Vector.remove(Object)
void	Vector.add(int, Object)
boolean	Vector.equals(Object)
Object	Stack.push(Object)
int	Stack.search(Object)
boolean	AbstractMap.containsValue(Object)
boolean	AbstractMap.containsKey(Object)
Object	AbstractMap.get(Object)
Object	AbstractMap.put(Object, Object)
Object	AbstractMap.remove(Object)
boolean	AbstractMap.equals(Object)
private static boolean	AbstractMap.eq(Object, Object)
abstract boolean	Map.containsKey(Object)
abstract boolean	Map.containsValue(Object)
abstract boolean	Map.equals(Object)
abstract Object	Map.get(Object)
abstract Object	Map.put(Object, Object)
abstract Object	Map.remove(Object)
Object	HashMap.get(Object)
boolean	HashMap.containsKey(Object)
(package private) HashMap.Entry	HashMap.getEntry(Object)
Object	HashMap.put(Object, Object)
private Object	HashMap.putForNullKey(Object)
private void	HashMap.putForCreate(Object, Object)
Object	HashMap.remove(Object)
(package private) HashMap.Entry	HashMap.removeEntryForKey(Object)
(package private) HashMap.Entry	HashMap.removeMapping(Object)
boolean	HashMap.containsValue(Object)
(package private) void	HashMap.addEntry(int, Object, Object, int)
(package private) void	HashMap.createEntry(int, Object, Object, int)
abstract Object	Dictionary.get(Object)
abstract Object	Dictionary.put(Object, Object)
abstract Object	Dictionary.remove(Object)
boolean	Hashtable.contains(Object)
boolean	Hashtable.containsValue(Object)
boolean	Hashtable.containsKey(Object)
Object	Hashtable.get(Object)
Object	Hashtable.put(Object, Object)
Object	Hashtable.remove(Object)
boolean	Hashtable.equals(Object)
private void	Hashtable.reconstitutionPut(Hashtable.Entry[], Object, Object)
Object	AbstractSequentialList.set(int, Object)
void	AbstractSequentialList.add(int, Object)
void	LinkedList.addFirst(Object)
void	LinkedList.addLast(Object)
boolean	LinkedList.contains(Object)
boolean	LinkedList.add(Object)
boolean	LinkedList.remove(Object)
Object	LinkedList.set(int, Object)
void	LinkedList.add(int, Object)
int	LinkedList.indexOf(Object)
int	LinkedList.lastIndexOf(Object)
boolean	LinkedList.offer(Object)
boolean	LinkedList.offerFirst(Object)
boolean	LinkedList.offerLast(Object)
void	LinkedList.push(Object)
boolean	LinkedList.removeFirstOccurrence(Object)
boolean	LinkedList.removeLastOccurrence(Object)
private LinkedList.Entry	LinkedList.addBefore(Object, LinkedList.Entry)
Object[]	LinkedList.toArray(Object[])
abstract void	Deque.addFirst(Object)
abstract void	Deque.addLast(Object)
abstract boolean	Deque.offerFirst(Object)
abstract boolean	Deque.offerLast(Object)
abstract boolean	Deque.removeFirstOccurrence(Object)
abstract boolean	Deque.removeLastOccurrence(Object)
abstract boolean	Deque.add(Object)
abstract boolean	Deque.offer(Object)
abstract void	Deque.push(Object)
abstract boolean	Deque.remove(Object)
abstract boolean	Deque.contains(Object)
abstract boolean	Queue.add(Object)
abstract boolean	Queue.offer(Object)
abstract boolean	Map.Entry.equals(Object)
abstract Object	Map.Entry.setValue(Object)
boolean	BitSet.equals(Object)
boolean	TreeSet.contains(Object)
boolean	TreeSet.add(Object)
boolean	TreeSet.remove(Object)
NavigableSet	TreeSet.subSet(Object, boolean, Object, boolean)
NavigableSet	TreeSet.headSet(Object, boolean)
NavigableSet	TreeSet.tailSet(Object, boolean)
SortedSet	TreeSet.subSet(Object, Object)
SortedSet	TreeSet.headSet(Object)
SortedSet	TreeSet.tailSet(Object)
Object	TreeSet.lower(Object)
Object	TreeSet.floor(Object)
Object	TreeSet.ceiling(Object)
Object	TreeSet.higher(Object)
abstract Object	NavigableSet.lower(Object)
abstract Object	NavigableSet.floor(Object)
abstract Object	NavigableSet.ceiling(Object)
abstract Object	NavigableSet.higher(Object)
abstract NavigableSet	NavigableSet.subSet(Object, boolean, Object, boolean)
abstract NavigableSet	NavigableSet.headSet(Object, boolean)
abstract NavigableSet	NavigableSet.tailSet(Object, boolean)
abstract SortedSet	NavigableSet.subSet(Object, Object)
abstract SortedSet	NavigableSet.headSet(Object)
abstract SortedSet	NavigableSet.tailSet(Object)
abstract SortedSet	SortedSet.headSet(Object)
abstract SortedSet	SortedSet.subSet(Object, Object)
abstract SortedSet	SortedSet.tailSet(Object)
boolean	TreeMap.containsKey(Object)
boolean	TreeMap.containsValue(Object)
Object	TreeMap.get(Object)
(package private) TreeMap.Entry	TreeMap.getEntry(Object)
(package private) TreeMap.Entry	TreeMap.getEntryUsingComparator(Object)
(package private) TreeMap.Entry	TreeMap.getCeilingEntry(Object)
(package private) TreeMap.Entry	TreeMap.getFloorEntry(Object)
(package private) TreeMap.Entry	TreeMap.getHigherEntry(Object)
(package private) TreeMap.Entry	TreeMap.getLowerEntry(Object)
Object	TreeMap.put(Object, Object)
Object	TreeMap.remove(Object)
Map.Entry	TreeMap.lowerEntry(Object)
Object	TreeMap.lowerKey(Object)
Map.Entry	TreeMap.floorEntry(Object)
Object	TreeMap.floorKey(Object)
Map.Entry	TreeMap.ceilingEntry(Object)
Object	TreeMap.ceilingKey(Object)
Map.Entry	TreeMap.higherEntry(Object)
Object	TreeMap.higherKey(Object)
NavigableMap	TreeMap.subMap(Object, boolean, Object, boolean)
NavigableMap	TreeMap.headMap(Object, boolean)
NavigableMap	TreeMap.tailMap(Object, boolean)
SortedMap	TreeMap.subMap(Object, Object)
SortedMap	TreeMap.headMap(Object)
SortedMap	TreeMap.tailMap(Object)
(package private) int	TreeMap.compare(Object, Object)
(package private) static boolean	TreeMap.valEquals(Object, Object)
(package private) void	TreeMap.readTreeSet(int, ObjectInputStream, Object)
(package private) void	TreeMap.addAllForTreeSet(SortedSet, Object)
private void	TreeMap.buildFromSorted(int, Iterator, ObjectInputStream, Object)
private TreeMap.Entry	TreeMap.buildFromSorted(int, int, int, int, Iterator, ObjectInputStream, Object)
abstract Map.Entry	NavigableMap.lowerEntry(Object)
abstract Object	NavigableMap.lowerKey(Object)
abstract Map.Entry	NavigableMap.floorEntry(Object)
abstract Object	NavigableMap.floorKey(Object)
abstract Map.Entry	NavigableMap.ceilingEntry(Object)
abstract Object	NavigableMap.ceilingKey(Object)
abstract Map.Entry	NavigableMap.higherEntry(Object)
abstract Object	NavigableMap.higherKey(Object)
abstract NavigableMap	NavigableMap.subMap(Object, boolean, Object, boolean)
abstract NavigableMap	NavigableMap.headMap(Object, boolean)
abstract NavigableMap	NavigableMap.tailMap(Object, boolean)
abstract SortedMap	NavigableMap.subMap(Object, Object)
abstract SortedMap	NavigableMap.headMap(Object)
abstract SortedMap	NavigableMap.tailMap(Object)
abstract SortedMap	SortedMap.headMap(Object)
abstract SortedMap	SortedMap.subMap(Object, Object)
abstract SortedMap	SortedMap.tailMap(Object)
abstract void	ListIterator.add(Object)
abstract void	ListIterator.set(Object)

Constructors in java.util with parameters of type Object

EventObject(Object)

Uses of Object in java.util.regex

Subclasses of Object in java.util.regex

class

Pattern

Uses of Object in javax.swing

Subclasses of Object in javax.swing

class	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 junit.framework

Subclasses of Object in junit.framework

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

Uses of Object in junit.runner

Subclasses of Object in junit.runner

class

junit.runner.BaseTestRunner

Uses of Object in junit.textui

Subclasses of Object in junit.textui

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

Uses of Object in org.jmlspecs.checker

Subclasses of Object in org.jmlspecs.checker

class	AndNotPatternFilenameFilter Decorates the file name filter given to the constructor so it does not match names that include the pattern given to the constructor.
class	CTypeType This class represents the JML \TYPE type.
class	JavadocJmlLexer
class	JavadocJmlParser
class	JClassDeclarationWrapper A wrapper class to JClassDeclaration to implement JML-specific typechecking.
class	JConstructorBlockWrapper
class	JConstructorDeclarationWrapper A class representing a constructor declaration in the syntax tree.
class	JFieldDeclarationWrapper A class representing a field declaration in the syntax tree.
class	JInterfaceDeclarationWrapper This class represents a java interface in the syntax tree
class	JMethodDeclarationWrapper A class representing a method declaration in the syntax tree.
class	JmlAbruptSpecBody JmlAbruptSpecBody.java
class	JmlAbruptSpecCase JmlAbruptSpecCase.java
class	JmlAbstractVisitor An abstract JML visitor class to facilitate writing concrete visitor classes that implements the interface JmlVisitor.
class	JmlAccessibleClause An AST node class representing the JML accessible clause.
class	JmlAccumSubclassingInfo
class	JmlAddExpression This class represents the addition binary expression.
class	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	JmlFieldDeclaration JmlFieldDeclaration.java
(package private) class	JmlFieldDeclaration.JmlFieldSpecsContext A special flow control context class for typechecking JML data group clauses.
class	JmlFileFinder This FileFinder looks for a .class file and a .java file, returning whichever one is newer.
class	JmlFlowControlContext This class is used during typechecking for control flow analysis that maintains local variable definite assignment (JLS2, 16), throwable, and reachability information (JLS2, 14.20).
class	JmlForAllVarDecl An AST node class for the JML forall variable declarations.
class	JmlFormalParameter This class represents a formal parameter in a JML AST.
class	JmlFreshExpression JmlFreshExpression.java
class	JmlGeneralSpecCase An abstraction of JML specification cases.
class	JmlGenericSpecBody An AST node class for the JML generic-spec-body.
class	JmlGenericSpecCase An AST node class for the JML generic-spec-case.
class	JmlGuardedStatement JmlGuardedStatement.java
class	JmlGUI This class is automatically generated from JmlGUI.gui and contains member fields corresponding to tool-specific GUI specifications.
protected class	JmlGUI.AllFilesGUIFileFilter
protected class	JmlGUI.JmlCompilation
protected class	JmlGUI.JmlGUIFileFilter
protected class	JmlGUI.JmlOpenHandler
class	JmlHeavyweightSpec An AST node class for the JML heavyweight-spec.
class	JmlHenceByStatement JmlHenceByStatement.java
(package private) class	JmlIDKeywords
class	JmlInformalExpression JmlInformalExpression.java
class	JmlInformalStoreRef JmlInformalStoreRef.java
class	JmlInGroupClause This class represents a jml-var-assertion of the form initially predicate.
class	JmlInitializerContext This class represents the context for a static initializer during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlInitiallyVarAssertion This class represents a jml-var-assertion of the form initially predicate.
class	JmlInterfaceContext This class represents the context for an interface declaration during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlInterfaceDeclaration This class represents a java interface in the syntax tree
class	JmlInvariant This AST node represents a JML invariant annotation.
class	JmlInvariantForExpression AST for the JML expression \invariant_for.
class	JmlInvariantStatement JmlInvariantStatement.java
class	JmlIsInitializedExpression AST for the JML expression \is_initialized.
class	JmlJDLexer This is the scanner for embedded JML annotations.
class	JmlLabeled JmlLabeledClause.java
class	JmlLabelExpression AST for the JML expressions \lblneg and \lblpos.
class	JmlLetVarDecl An AST node class for the JML let (old) variable declarations.
class	JmlLexer This is the top level JML scanner.
class	JmlLockSetExpression AST for the JML expression \lockset.
class	JmlLoopInvariant JmlLoopInvariant.java
class	JmlLoopSpecification This is the super class for the classes representing loop-invariant and variant-function annotations for loop-stmt.
class	JmlLoopStatement This class represents loop-stmts annotated with loop-invariants and/or variant-functions.
class	JmlMapsIntoClause This class represents a jml-var-assertion of the form initially predicate.
class	JMLMathMode
class	JmlMaxExpression JmlMaxExpression.java
class	JmlMeasuredClause JmlMeasuredClause.java
class	JmlMemberAccess This class represents and contains the information needed to determine whether a member of a class or compilation unit can be accessed from some other member.
class	JmlMemberDeclaration This type represents a java declaration in the syntax tree.
class	JmlMessages
class	JmlMethodContext This class represents the context for a method during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlMethodDeclaration JmlMethodDeclaration.java
class	JmlMethodName This AST node represents a method name in a JML annotation.
class	JmlMethodNameList An AST node class representing the JML callable clause.
class	JmlMethodSpecification An abstraction of JML method specification.
class	JmlMinusExpression This class represents the addition binary expression.
class	JmlMLLexer This is the scanner for multi-line JML annotations.
class	JmlModelProgram JmlModelProgram.java
class	JmlModelProgStatement The type of model-prog-statements.
class	JmlModuloExpression This class represents the addition binary expression.
class	JmlMonitorsForVarAssertion JmlMonitorsForVarAssertion.java
class	JmlMultExpression This class represents the addition binary expression.
class	JmlName This class represents a store-ref-name, store-ref-name-suffix, method-res-start, or identifier from a method-ref in an AST.
class	JmlNode This is the superclass of most JML AST nodes.
(package private) static class	JmlNode.DummyInitializerDeclaration A class for dummy initializer declarations.
class	JmlNondetChoiceStatement JmlNondetChoiceStatement.java
class	JmlNondetIfStatement JmlNondetIfStatement.java
class	JmlNonNullElementsExpression JmlNonNullElementsExpression.java
class	JmlNormalBehaviorSpec JmlNormalBehaviorSpec.java heavyweight-spec ::= [ privacy ] "normal_behavior" normal-spec-case
class	JmlNormalExample A class representing JML normal example specifications.
class	JmlNormalSpecBody An AST node class for the JML normal-spec-body.
class	JmlNormalSpecCase An AST node class for the JML normal-spec-case.
class	JmlNotAssignedExpression JmlNotAssignedExpression.java
class	JmlNotModifiedExpression JmlNotModifiedExpression.java
class	JmlNumericType This class represents the JML primitive numeric types bigint and real.
class	JmlOldExpression JmlOldExpression.java
class	JmlOnlyAccessedExpression JmlOnlyAccessedExpression.java
class	JmlOnlyAssignedExpression JmlOnlyAssignedExpression.java
class	JmlOnlyCalledExpression JmlOnlyCalledExpression.java
class	JmlOnlyCapturedExpression JmlOnlyCapturedExpression.java
class	JmlOptions This class is automatically generated from JmlOptions.opt and contains member fields corresponding to command-line options.
class	JmlOrdinalLiteral This class represents jml specific ordinal literals (bigint)
(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	JmlRefinePrefix
class	JmlRelationalExpression This class represents the JML relational expressions.
class	JmlRepresentsDecl This AST node represents a JML represents declaration annotation.
class	JmlRequiresClause JmlRequiresClause.java
class	JmlResultExpression JmlResultExpression.java
class	JmlReturnsClause JmlReturnsClause.java
class	JmlSetComprehension An AST node class for JML's set comprehension notation.
class	JmlSetStatement JmlSetStatement.java
class	JmlShiftExpression This class represents the addition binary expression.
class	JmlSigBinaryClass A class to represent JML class declaratons read from bytecode files.
class	JmlSigBinaryField A class to represent JML field declaratons read from bytecode files.
class	JmlSigBinaryMethod A class to represent JML method declaratons read from bytecode files.
class	JmlSigClassCreator A concrete class creator to create JML classes from bytecode files.
class	JmlSignalsClause A JML AST node class for the signals clause.
class	JmlSignalsOnlyClause A JML AST node class for the signals_only clause.
class	JmlSLLexer
class	JmlSourceClass A class for representing JML classes read from *.java files.
(package private) class	JmlSourceClass.JmlSourceClass$1
(package private) class	JmlSourceClass.JmlSourceClass$2
(package private) class	JmlSourceClass.JmlSourceClass$3
class	JmlSourceField A class for representing an exported field of a class.
class	JmlSourceMethod A class for representing JML method declaration in the signature forest.
class	JmlSpaceExpression JmlSpaceExpression.java
class	JmlSpecBody JmlSpecBodyClause.java
class	JmlSpecBodyClause This abstract class is the common superclass of different kinds of specification clauses appearing in the specification body such as JmlAccessibleClause, JmlAssignableClause, JmlCallableClause, and JmlPredicateClause.
class	JmlSpecCase An abstraction of JML specification cases.
class	JmlSpecExpression
class	JmlSpecExpressionWrapper This abstract class is the super class of all JmlExpressions that simply modify a spec-expression (e.g.
class	JmlSpecification JmlSpecification.java
class	JmlSpecQuantifiedExpression An AST node class for JML quantified expressions.
class	JmlSpecStatement JmlSpecStatement.java
class	JmlSpecStatementClause JmlSpecStatementClause.java
class	JmlSpecVarDecl An abstraction of JML specification variable declarations.
class	JmlStdType This class is a singleton that provides variables for the various built-in and java.lang types.
class	JmlStoreRef An abstraction of JML store references.
class	JmlStoreRefExpression An AST node class for JML store reference expressions.
class	JmlStoreRefKeyword This class represents a JmlStoreRefKeyword in the AST.
class	JmlStoreRefListWrapper JmlStoreRefListWrapper.java
(package private) class	JmlTopIDKeywords
class	JmlTypeDeclaration This type represents a java class or interface in the syntax tree.
class	JmlTypeExpression JmlTypeExpression.java
class	JmlTypeLoader This class acts as a symbol table and a cache for types, type signatures, and external generic functions.
class	JmlTypeOfExpression JmlTypeOfExpression.java
class	JmlUnaryExpression This class represents unary expressions (unary plus, unary minus, bitwise complement, and logical not).
class	JmlUnreachableStatement JmlUnreachableStatement.java
class	JmlVarAssertion This class represents jml-var-assertion in JML ASTs.
class	JmlVariableDefinition A wrapper of the class JVariableDefinition to store JML-specific information.
class	JmlVariantFunction JmlVariantFunction.java
class	JmlVersionOptions This class is automatically generated from JmlVersionOptions.opt and contains member fields corresponding to command-line options.
class	JmlVisitorNI Implementation of Visitor Design Pattern for KJC.
class	JMLWarningFilter A warning filter for JML.
class	JmlWhenClause JmlWhenClause.java
class	JmlWorkingSpaceClause JmlWorkingSpaceClause.java
class	JmlWorkingSpaceExpression JmlWorkingSpaceExpression.java
class	JmlWritableIfVarAssertion This class represents a jml-var-assertion of the form writable id if predicate.
class	JStatementWrapper An abstraction of JML statement ASTs that should be subclass of JStatement.
(package private) static class	Main.Filter This class is used with the Directory.list method to list those files in a directory that this program is interested in processing - in this case, all those that end in '.java', '.jml' or '.spec'.
class	Main.JmlCheckAssignableTask A task for checking assignable clauses; this task has to be done after type checking of assignable clauses of the super types so the fields can be combined with those of the subtype (the subtype is the one whose code is being checked against the assignable clauses but the inherited assignable clauses need to be type checked first).
class	Main.JmlParseTask This class parses a group of files, given by filenames as strings, and generates a forest of ASTs.
class	Main.JmlTypecheckTask This class typechecks the source code.
(package private) class	Main.Main$1
(package private) static class	Main.PTMode
class	NonNullStatistics
class	TestJmlParser Unit tests for JmlParser
protected static class	TestJmlParser.Helper
(package private) static class	TestSuite.TestSuite$1

Fields in org.jmlspecs.checker declared as Object

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

Methods in org.jmlspecs.checker that return Object

Object	JmlDeclaration.clone() All subclasses must be clonable.
Object	JmlInvariant.clone()
Object	JmlAxiom.clone()
Object	JmlVarAssertion.clone() Clones this, making a deep copy of any mutable state.
Object	JmlDataGroupClause.clone()
Object	JmlStoreRef.clone()
Object	JmlInitiallyVarAssertion.clone()
Object	JmlMonitorsForVarAssertion.clone()
Object[]	JmlPredicate.getFANonNulls(CContextType context) Returns a list of expressions known to be non-null (null) in this context
Object[]	JmlPredicate.getFANulls(CContextType context)
Object	JmlReadableIfVarAssertion.clone()
Object	JmlWritableIfVarAssertion.clone()
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	JmlAssignableFieldSet.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)
int	JClassDeclarationWrapper.compareTo(Object o)
int	JInterfaceDeclarationWrapper.compareTo(Object o)
int	JmlTypeDeclaration.compareTo(Object o) Compares this to a given object.
int	JmlCompilationUnit.compareTo(Object o) Compares this to a given object.
int	JmlMethodDeclaration.compareTo(Object o) Compares this method to a given method and returns 0 if the methods belong to the same generic function, otherwise returns -1 or +1 to sort the methods.
protected void	JmlVisitorNI.imp(String method, Object self)
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	JmlVersionOptions.setOption(String name, Object newValue)
boolean	JmlCommonOptions.setOption(String name, Object newValue)
boolean	JmlCompilationUnitContext.equals(Object o) Indicates whether this is equal to a given object.
protected FieldInfo	JmlSourceField.createFieldInfo(int modifiers, String name, String type, Object value, boolean deprecated, boolean synthetic) Creates a new field info object.
private void	JmlExpressionChecker.check(boolean cond, TokenReference tref, MessageDescription msg, Object obj1, Object obj2) Checks if the condition, cond is true.
private void	JmlExpressionChecker.check(boolean cond, TokenReference tref, MessageDescription msg, Object[] obj)
private void	JmlExpressionChecker.check(boolean cond, TokenReference tref, MessageDescription msg, Object obj1) Checks if the condition, cond is true.
private void	JmlExpressionChecker.warnPureness(int cond, TokenReference tref, Object obj) Produce a caution message about method pureness if the argument, cond, is -1.
boolean	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)
boolean	JmlOptions.setOption(String name, Object newValue)
static void	NonNullStatistics.checkSpecification(JmlMethodDeclaration jmd, Object[] jscArr, JmlContext context, String fn)

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

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

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

Uses of Object in org.jmlspecs.jmldoc

Subclasses of Object in org.jmlspecs.jmldoc

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

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

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

Uses of Object in org.jmlspecs.jmldoc.jmldoc_142

Subclasses of Object in org.jmlspecs.jmldoc.jmldoc_142

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

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

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

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

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

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

Uses of Object in org.jmlspecs.jmlrac

Subclasses of Object in org.jmlspecs.jmlrac

class	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.
Object	TransExpression.DiagTerm.value()
protected Object[]	TransInterface.surrogatePlaceValues(RacNode newFdecls, RacNode newMdecls, RacNode mdecls) Returns an array of objects representing actual values for the place holder.

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

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

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

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

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

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

TransExpression.DiagTerm(String term, Object value)

Uses of Object in org.jmlspecs.jmlrac.qexpr

Subclasses of Object in org.jmlspecs.jmlrac.qexpr

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