change uuid to use long support in refinements

CatarinaGamboa · CatarinaGamboa · commit d6019dc69b2d · 2026-02-16T13:46:21.000Z
diff --git a/examples/demo/src/main/java/com/uuid/Test.java b/examples/demo/src/main/java/com/uuid/Test.java
@@ -5,23 +5,30 @@
 public class Test {
 
     void test1(){
-        UUID t = new UUID(10000L, 0L);
+        long mostSigBits = 0x0000000000001000;
+        UUID t = new UUID(mostSigBits, 0L);
         t.clockSequence(); // possible
     }
 
     void test2(){
-        UUID t = UUID.randomUUID();
-        t.clockSequence();
+        long mostSigBits = 0x0670034000001222L;
+        UUID t = new UUID(mostSigBits, 0L);
+        t.clockSequence(); // possible
     }
 
     void test3(){
+        UUID t = UUID.randomUUID();
+        t.clockSequence(); //error
+    }
+
+    void test4(){
         UUID t = UUID.fromString("smt");
         t.clockSequence(); //possible
         t.node();
         t.variant();
     }
 
-    void test4(){
+    void test5(){
         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();
@@ -31,4 +38,11 @@ void test4(){
     }
 
 
+    void test6(){
+        long mostSigBits = 0x0000000000002000;
+        UUID t = new UUID(mostSigBits, 0L);
+        t.clockSequence(); // error
+    }
+
+
 }
diff --git a/examples/demo/src/main/java/com/uuid/UUIDRefinements.java b/examples/demo/src/main/java/com/uuid/UUIDRefinements.java
@@ -11,15 +11,13 @@
 // (v/4096) % 16;
 
 @ExternalRefinementsFor("java.util.UUID")
-@StateSet({"other", "maybeTime"})
+@StateSet({"other", "maybeTime", "timeBased"})
 @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)")
+    @StateRefinement(to="((mostSigBits/4096) % 16 == 1) ? timeBased(this) : other(this)") 
     void UUID(long mostSigBits, long leastSigBits);
 
     //static
@@ -36,12 +34,15 @@ public interface UUIDRefinements {
 
     
     @StateRefinement(from="maybeTime(this)")
+    @StateRefinement(from="timeBased(this)")
     int clockSequence();
     
     @StateRefinement(from="maybeTime(this)")
+    @StateRefinement(from="timeBased(this)")
     long timestamp();
     
     @StateRefinement(from="maybeTime(this)")
+    @StateRefinement(from="timeBased(this)")
     long node();
     
     @Refinement("Variant(_)")
