Lines Matching full:tracedstack
36 public class TracedStack extends Stack
43 * Creates a new TracedStack with a given maximum size.
45 public TracedStack(int maxSize)
54 * Creates a new TracedStack that is a copy of the given TracedStack.
56 public TracedStack(TracedStack tracedStack)
58 super(tracedStack);
60 producerStack = new Stack(tracedStack.producerStack);
131 public void copy(TracedStack other)
138 public boolean generalize(TracedStack other)
298 TracedStack other = (TracedStack)object;
