我想知道评论的确切位置以及我应该使用什么关键字,因为我似乎真的无法在网上找到示例,例如我应该这样做吗?
/**
* @invariant invariant example
*/
public class Example {
}
Run Code Online (Sandbox Code Playgroud) 例如,如果你想显示一个类Match包含一个 classGame和 class的实例Set,那么你是简单地将它们放在属性中,还是有一条线到类中,表示当Match创建实例时,那么也创建的实例Game和Set?
这是我在代码中的意思:
public class Match {
private Set set = new Set();
private Game game = new Game();
}
Run Code Online (Sandbox Code Playgroud)