Requested Changes

Author: rcosta358

liquidjava-api/src/main/java/liquidjava/specification/Refinement.java

@@ -16,10 +16,9 @@
  * @Refinement("x > 0")
  * int x;
  * 
- * @Refinement("_ >= 0")
- * public int getSize() {
- *     // ...
- * }
+ * @Refinement("_ > 0")
+ * int increment(@Refinement("_ >= 0") int n) {
+ *     return n + 1;
  * }
  * </pre>
  *

liquidjava-api/src/main/java/liquidjava/specification/StateSet.java

@@ -16,7 +16,11 @@
  * <strong>Example:</strong>
  * <pre>
  * {@code
- * @StateSet({"open", "reading", "closed"}})
+ * @StateSet({"open", "reading", "closed"})
+ * @StateSet({"locked", "unlocked"})
+ * public class File {
+ *    // ...
+ * }
  * </pre>
  *
  * @see StateRefinement

liquidjava-example/src/main/java/testBooleanGhost/BooleanGhostClass.java

@@ -3,7 +3,7 @@
 import liquidjava.specification.Ghost;
 import liquidjava.specification.StateRefinement;
 
-@Ghost(value="boolean opened")
+@Ghost("boolean opened")
 @Ghost("boolean closed")
 public class BooleanGhostClass {
 

liquidjava-example/src/main/java/testSuite/classes/conflicting_ghost_names_correct/ArrayListRefinements.java

@@ -5,7 +5,7 @@
 import liquidjava.specification.Refinement;
 import liquidjava.specification.StateRefinement;
 
-@ExternalRefinementsFor(value="java.util.ArrayList")
+@ExternalRefinementsFor("java.util.ArrayList")
 @Ghost("int size")
 public interface ArrayListRefinements<E> {