Uses of Class

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. 

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.


JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.