StackSpec.java

package de.vksi.c4j.acceptancetest.stack;

import de.vksi.c4j.ContractReference;
import de.vksi.c4j.Pure;

@ContractReference(StackSpecContract.class)
public interface StackSpec<T>
{
	
	@Pure
	int capacity ();

	@Pure
	int count ();

	void push (T x);

	void pop ();

	@Pure
	T top ();

	@Pure
	boolean isFull ();

	@Pure
	boolean isEmpty ();

    @Pure
    T get (int index);
    
}