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

escjava.ast
Class ExprDeclPragmaVec

java.lang.Object
  extended byescjava.ast.ExprDeclPragmaVec

public class ExprDeclPragmaVec
extends java.lang.Object


Field Summary
private  int count
           
private  ExprDeclPragma[] elements
          * Instance fields: * *
 
Constructor Summary
private ExprDeclPragmaVec(ExprDeclPragma[] els)
          * Private constructors: * *
private ExprDeclPragmaVec(int cnt)
           
 
Method Summary
 void addElement(ExprDeclPragma x)
           
 void append(ExprDeclPragmaVec vec)
           
 boolean contains(ExprDeclPragma x)
           
 ExprDeclPragmaVec copy()
           
 ExprDeclPragma elementAt(int index)
          * Other methods: * *
 void insertElementAt(ExprDeclPragma obj, int index)
           
static ExprDeclPragmaVec make()
          * Public maker methods: * *
static ExprDeclPragmaVec make(ExprDeclPragma[] els)
           
static ExprDeclPragmaVec make(int count)
           
static ExprDeclPragmaVec make(java.util.Vector vec)
           
 ExprDeclPragma pop()
           
static ExprDeclPragmaVec popFromStackVector(StackVector s)
           
 void removeAllElements()
           
 boolean removeElement(ExprDeclPragma x)
           
 void removeElementAt(int i)
           
 void setElementAt(ExprDeclPragma x, int index)
           
 int size()
           
 ExprDeclPragma[] 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 ExprDeclPragma[] elements
* Instance fields: * *


count

private int count
Constructor Detail

ExprDeclPragmaVec

private ExprDeclPragmaVec(ExprDeclPragma[] els)
* Private constructors: * *


ExprDeclPragmaVec

private ExprDeclPragmaVec(int cnt)
Method Detail

make

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


make

public static ExprDeclPragmaVec make(int count)

make

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

make

public static ExprDeclPragmaVec make(ExprDeclPragma[] els)

popFromStackVector

public static ExprDeclPragmaVec popFromStackVector(StackVector s)

elementAt

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


setElementAt

public final void setElementAt(ExprDeclPragma x,
                               int index)

size

public final int size()

toString

public final java.lang.String toString()

toArray

public final ExprDeclPragma[] toArray()

copy

public final ExprDeclPragmaVec copy()

contains

public boolean contains(ExprDeclPragma x)

addElement

public final void addElement(ExprDeclPragma x)

removeElement

public final boolean removeElement(ExprDeclPragma x)

removeElementAt

public final void removeElementAt(int i)

pop

public final ExprDeclPragma pop()

removeAllElements

public final void removeAllElements()

insertElementAt

public final void insertElementAt(ExprDeclPragma obj,
                                  int index)

append

public final void append(ExprDeclPragmaVec 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