My favorites
▼
|
Sign in
pluralism
Modular object protocol checking for Java
Project Home
Wiki
Issues
Source
READ-ONLY: This project has been
archived
. For more information see
this post
.
Search
Search within:
All issues
Open issues
New issues
Issues to verify
for
Advanced search
Search tips
Subscriptions
Issue
73
attachment: StateTest.java
(216 bytes)
1
2
3
4
5
6
7
8
9
10
import edu.cmu.cs.plural.annot.ClassStates;
import edu.cmu.cs.plural.annot.State;
import edu.cmu.cs.plural.annot.States;
@ClassStates(@State(name="alive"))
@States({"alive"})
public class StateTest {
}
Powered by
Google Project Hosting