@@ -40,15 +40,15 @@ window.LIQUID_JAVA_TUTORIAL = {
4040 "Add a refinement that limits red to 0–255, then replace the invalid value with any value that satisfies it." ,
4141 starterCode : `import liquidjava.specification.Refinement;
4242
43- public class Pixel {
43+ public class RGB {
4444 public static void main(String[] args) {
4545 // Add the RGB channel refinement here
4646 int red = 300;
4747 }
4848}` ,
4949 solutionCode : `import liquidjava.specification.Refinement;
5050
51- public class Pixel {
51+ public class RGB {
5252 public static void main(String[] args) {
5353 @Refinement("_ >= 0 && _ <= 255")
5454 int red = 220;
@@ -115,7 +115,7 @@ public static int divide(
115115 "Replace both true refinements: low must be no greater than high, and the return value must stay between the two bounds." ,
116116 starterCode : `import liquidjava.specification.Refinement;
117117
118- public class BinarySearch {
118+ public class Midpoint {
119119 @Refinement("true")
120120 public static int midpoint(
121121 @Refinement("true") int low,
@@ -126,7 +126,7 @@ public class BinarySearch {
126126}` ,
127127 solutionCode : `import liquidjava.specification.Refinement;
128128
129- public class BinarySearch {
129+ public class Midpoint {
130130 @Refinement("_ >= low && _ <= high")
131131 public static int midpoint(
132132 @Refinement("_ <= high") int low,
0 commit comments