Public Methods | |
JavaClass | dequeue () |
boolean | empty () |
void | enqueue (JavaClass clazz) |
JavaClass | dequeue () |
boolean | empty () |
void | enqueue (JavaClass clazz) |
Protected Attributes | |
int | left = 0 |
Private Attributes | |
Vector | vec = new Vector() |
Definition at line 14 of file lib/jpf/de/fub/bytecode/util/ClassQueue.java.