Uses of Class
java.util.Vector

Packages that use Vector

java.lang	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).
org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
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.runner
org.multijava.relaxed.util
org.multijava.util

Uses of Vector in java.lang

Fields in java.lang declared as Vector

private static Vector	ClassLoader.systemNativeLibraries
private Vector	ClassLoader.nativeLibraries
private Vector	ClassLoader.classes
private static Vector	ClassLoader.loadedLibraryNames

Uses of Vector in java.util

Subclasses of Vector in java.util

class

Stack JML's specification of Stack.

Uses of Vector in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return Vector

static Vector

NonNullStatistics.getSuperSpec(JmlMethodDeclaration jmd, String key)

Uses of Vector in org.jmlspecs.models.resolve

Fields in org.jmlspecs.models.resolve declared as Vector

private Vector

StringOfObject_JML_TestData.vec

Uses of Vector in org.jmlspecs.racwrap.runner

Methods in org.jmlspecs.racwrap.runner that return Vector

static Vector

Runner.getClasspaths()

Methods in org.jmlspecs.racwrap.runner with parameters of type Vector

static String[]

Runner.toArray(Vector v)

Uses of Vector in org.multijava.relaxed.util

Fields in org.multijava.relaxed.util declared as Vector

private Vector

RMJAnnotation.methodItems

Methods in org.multijava.relaxed.util that return Vector

Vector

RMJAnnotation.methodItems()

Uses of Vector in org.multijava.util

Methods in org.multijava.util that return Vector

static Vector

VectorCache.request(int size) Returns a char array.

Methods in org.multijava.util with parameters of type Vector

static Object[]	Utils.vectorToArray(Vector vect, Class type) Creates a typed array from a vector.
static int[]	Utils.vectorToIntArray(Vector vect) Creates a int array from a vector.
static void	VectorCache.release(Vector vector) Releases a char array.