@Test public void isEmpty() throws Exception { assertThat(emptyStack().isEmpty()).isTrue(); assertThat(emptyStack().push(simple1).isEmpty()).isFalse(); }
public boolean isEmpty() { return stack.isEmpty(); }
ExpressionStack { public boolean isEmpty() { return stack.isEmpty(); } }
ExpressionStack { public boolean isEmpty() { return stack.isEmpty(); } private  ExpressionStack(); private  ExpressionStack(Deque<SymbolicValue> stack); }
ExpressionStack { public boolean isEmpty() { return stack.isEmpty(); } private  ExpressionStack(); private  ExpressionStack(Deque<SymbolicValue> stack); static ExpressionStack emptyStack(); ExpressionStack push(SymbolicValue newValue); ExpressionStack execute(ExpressionTree expression, ProgramStateConstraints constraints); SymbolicValue peek(); int size(); boolean isEmpty(); @Override int hashCode(); @Override boolean equals(Object obj); SymbolicValue peek(int n); ExpressionStack removeLastValue(); ExpressionStack apply(Consumer<Deque<SymbolicValue>> action); @Override String toString(); }
ExpressionStack { public boolean isEmpty() { return stack.isEmpty(); } private  ExpressionStack(); private  ExpressionStack(Deque<SymbolicValue> stack); static ExpressionStack emptyStack(); ExpressionStack push(SymbolicValue newValue); ExpressionStack execute(ExpressionTree expression, ProgramStateConstraints constraints); SymbolicValue peek(); int size(); boolean isEmpty(); @Override int hashCode(); @Override boolean equals(Object obj); SymbolicValue peek(int n); ExpressionStack removeLastValue(); ExpressionStack apply(Consumer<Deque<SymbolicValue>> action); @Override String toString();  }