JML

org.multijava.util
Class VectorCache

java.lang.Object
  extended byorg.multijava.util.VectorCache

public class VectorCache
extends Object

This class implements a cache of char arrays


Field Summary
static int BIG
           
private static Stack bigs
           
static int SMALL
           
private static Stack smalls
           
 
Constructor Summary
VectorCache()
           
 
Method Summary
static void release(Vector vector)
          Releases a char array.
static Vector request(int size)
          Returns a char array.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

SMALL

public static final int SMALL

BIG

public static final int BIG

smalls

private static Stack smalls

bigs

private static Stack bigs
Constructor Detail

VectorCache

public VectorCache()
Method Detail

request

public static Vector request(int size)
Returns a char array.


release

public static void release(Vector vector)
Releases a char array.


JML

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.