uuid

CatarinaGamboa · CatarinaGamboa · commit 6138e4a0f1db · 2026-01-30T19:51:26.000Z
diff --git a/examples/demo/src/main/java/com/uuid/Test.java b/examples/demo/src/main/java/com/uuid/Test.java
@@ -0,0 +1,34 @@
+package com.uuid;
+
+import java.util.UUID;
+
+public class Test {
+
+    void test1(){
+        UUID t = new UUID(10000L, 0L);
+        t.clockSequence(); // possible
+    }
+
+    void test2(){
+        UUID t = UUID.randomUUID();
+        t.clockSequence();
+    }
+
+    void test3(){
+        UUID t = UUID.fromString("smt");
+        t.clockSequence(); //possible
+        t.node();
+        t.variant();
+    }
+
+    void test4(){
+        byte[] bytes = {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0};
+        UUID t = UUID.nameUUIDFromBytes(bytes);
+        t.variant();
+        t.version();
+        t.timestamp();//error
+        
+    }
+
+
+}
diff --git a/examples/demo/src/main/java/com/uuid/UUIDRefinements.java b/examples/demo/src/main/java/com/uuid/UUIDRefinements.java
@@ -0,0 +1,59 @@
+package com.uuid;
+
+import java.util.UUID;
+
+import liquidjava.specification.ExternalRefinementsFor;
+import liquidjava.specification.Refinement;
+import liquidjava.specification.RefinementAlias;
+import liquidjava.specification.StateRefinement;
+import liquidjava.specification.StateSet;
+// 0x000000000000F000
+// (v/4096) % 16;
+
+@ExternalRefinementsFor("java.util.UUID")
+@StateSet({"other", "maybeTime"})
+@RefinementAlias("Version(int v) {v >= 0 && v <= 4}")
+@RefinementAlias("Variant(int v) {v == 0 || v == 2 || v == 6 || v == 7}")
+public interface UUIDRefinements {
+
+    // creation
+    // would be cool to add 
+    // @StateRefinement(to="((mostSigBits/4096) % 16 == 1) ? timeBased(this) : other(this)") 
+    @StateRefinement(to="maybeTime(this)")
+    void UUID(long mostSigBits, long leastSigBits);
+
+    //static
+    @Refinement("maybeTime(return)")
+    UUID fromString(String name);
+
+    //static 
+    @Refinement("other(return)")
+    UUID nameUUIDFromBytes(byte[] name);
+
+    //static
+    @Refinement("other(return)") 
+    UUID randomUUID();
+
+    
+    @StateRefinement(from="maybeTime(this)")
+    int clockSequence();
+    
+    @StateRefinement(from="maybeTime(this)")
+    long timestamp();
+    
+    @StateRefinement(from="maybeTime(this)")
+    long node();
+    
+    @Refinement("Variant(_)")
+    int variant();
+    @Refinement("Version(_)")
+    int version();
+
+    // int compareTo(UUID val);
+    // boolean equals(Object obj);
+    // long getLeastSignificantBits();
+    // long getMostSignificantBits();
+    // int hashCode();
+    // String toString();
+
+}
