public final class ElementIdStack extends Object
A stack of int-valued element IDs.
ElementIdStack()
ElementIdStack(int size)
int
getCurrent()
pop()
pushNext()
void
reset()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public ElementIdStack()
public ElementIdStack(int size)
public void reset()
public int getCurrent()
public int pushNext()
public int pop()
Copyright © 2017–2019 Eclipse Foundation. All rights reserved.