ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

javafe.ast
Class TypeDeclVec

java.lang.Object
  extended byjavafe.ast.TypeDeclVec

public class TypeDeclVec
extends java.lang.Object


Field Summary
private  int count
           
private  TypeDecl[] elements
          * Instance fields: * *
 
Constructor Summary
private TypeDeclVec(int cnt)
           
private TypeDeclVec(TypeDecl[] els)
          * Private constructors: * *
 
Method Summary
 void addElement(TypeDecl x)
           
 void append(TypeDeclVec vec)
           
 boolean contains(TypeDecl x)
           
 TypeDeclVec copy()
           
 TypeDecl elementAt(int index)
          * Other methods: * *
 void insertElementAt(TypeDecl obj, int index)
           
static TypeDeclVec make()
          * Public maker methods: * *
static TypeDeclVec make(int count)
           
static TypeDeclVec make(TypeDecl[] els)
           
static TypeDeclVec make(java.util.Vector vec)
           
 TypeDecl pop()
           
static TypeDeclVec popFromStackVector(StackVector s)
           
 void removeAllElements()
           
 boolean removeElement(TypeDecl x)
           
 void removeElementAt(int i)
           
 void setElementAt(TypeDecl x, int index)
           
 int size()
           
 TypeDecl[] toArray()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

elements

private TypeDecl[] elements
* Instance fields: * *


count

private int count
Constructor Detail

TypeDeclVec

private TypeDeclVec(TypeDecl[] els)
* Private constructors: * *


TypeDeclVec

private TypeDeclVec(int cnt)
Method Detail

make

public static TypeDeclVec make()
* Public maker methods: * *


make

public static TypeDeclVec make(int count)

make

public static TypeDeclVec make(java.util.Vector vec)

make

public static TypeDeclVec make(TypeDecl[] els)

popFromStackVector

public static TypeDeclVec popFromStackVector(StackVector s)

elementAt

public final TypeDecl elementAt(int index)
* Other methods: * *


setElementAt

public final void setElementAt(TypeDecl x,
                               int index)

size

public final int size()

toString

public final java.lang.String toString()

toArray

public final TypeDecl[] toArray()

copy

public final TypeDeclVec copy()

contains

public boolean contains(TypeDecl x)

addElement

public final void addElement(TypeDecl x)

removeElement

public final boolean removeElement(TypeDecl x)

removeElementAt

public final void removeElementAt(int i)

pop

public final TypeDecl pop()

removeAllElements

public final void removeAllElements()

insertElementAt

public final void insertElementAt(TypeDecl obj,
                                  int index)

append

public final void append(TypeDeclVec vec)

ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage