java契约式设计的问题

[Call_Me_CJ]

请问在java中如何实现契约式设计。比如前置条件和后置条件用什么语句可以实现。
我在网上找到得资料如下：
@Invariant( condition="this.capacity > 0 and this.size <= this.capacity" )

public interface Stack {

@Postcondition( condition="return >= 0" )

public int getSize();



@Precondition( bindArgs="arg1=element", condition="!empty element" )

@Postcondition( bindArgs="arg1=element", condition="this.size == old:this.size + 1 and this.top == element" )

public void push( Object elem );



@Postcondition( condition="(this.size > 0) ==> (!empty return)" )

public Object getTop();



public Object pop();

@Precondition(condition="arg1 > 0")

public void setNumber(int number);

}
但是eclipse中总是无法识别@Postconditon之类，是不是要import什么包？