File Doc Category Size Date Package
Stack.java API Doc JBoss 4.2.1 1741 Fri Jul 13 21:02:22 BST 2007 test.dbc.stack

Stack

public interface Stack

author: Kabir Khan
version: $Revision: 57186 $
@org.jboss.aspects.dbc.Dbc
@org.jboss.aspects.dbc.Invariant: ({"!$tgt.isEmpty() implies $tgt.top() != null", "$tgt.isEmpty() implies $tgt.elements.size() == 0"})

Fields Summary
Constructors Summary
Methods Summary
public boolean isEmpty()
public java.lang.Object pop()
@org.jboss.aspects.dbc.PreCond
({"!$tgt.isEmpty()"})
public void push(java.lang.Object o)
@org.jboss.aspects.dbc.PreCond
({"$0 != null"})
@org.jboss.aspects.dbc.PostCond
({"!$tgt.isEmpty()", "$tgt.top() == $0"})
public java.lang.Object top()
@org.jboss.aspects.dbc.PreCond
({"!$tgt.isEmpty()"})