Skip to content

klappdev/jpml

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

38 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

jpml

Java pattern matching library.

Apk file

Many languages support pattern matching at the language level.
Java language does not support at the moment pattern matching
but there is hope that in the future everything will be change.

Using Java 8 features, we can emulate some of the features pattern matching.
In general, patterns can be divided into three types: constant, type, var.
The library supports both statement and expression.

Constant pattern allow test for equality with constants.

   switch (data) {
      case new Person("man")    -> System.out.println("man");
      case new Person("woman")  -> System.out.println("woman");
      case new Person("child") 	-> System.out.println("child");        
      case null                 -> System.out.println("Null value ");
      default                   -> System.out.println("Default value: " + data);
   };

Using this library developer can write in the following way.

   import static org.kl.jpml.pattern.ConstantPattern.match;

   match(data).as(
      new Person("man"),    () ->  System.out.println("man"),
      new Person("woman"),  () ->  System.out.println("woman"),
      new Person("child"),  () ->  System.out.println("child"),        
      Null.class,           () ->  System.out.println("Null value "),
      Else.class,           () ->  System.out.println("Default value: " + data)
   );

For work with range values could use such functions: in/or.

   import static org.kl.jpml.pattern.ConstantPattern.or;
   import static org.kl.jpml.pattern.ConstantPattern.in; 
   
   match(data).as(
      or(1, 2),    () ->  System.out.println("1 or 2"),
      in(3, 6),    () ->  System.out.println("between 3 and 6"),
      in(7),       () ->  System.out.println("7"),        
      Null.class,  () ->  System.out.println("Null value "),
      Else.class,  () ->  System.out.println("Default value: " + data)
   );

Tuple pattern allow test for equality multiple pieces with constants.

   let (side, width) = border;	

   switch (side, width) {
      case ("top",    25) -> System.out.println("top");
      case ("bottom", 30) -> System.out.println("bottom");
      case ("left",   15) -> System.out.println("left");        
      case ("right",  15) -> System.out.println("right");
      default           -> System.out.println("Default value ");
   };
   
   for ((side, width) : listBorders) {
	  System.out.println("border: " + [side + "," + width]); 	
   }

Using this library developer can write in the following way. Using Java 11 feature, could deduce types parameters.

   import static org.kl.jpml.pattern.TuplePattern.match;
   import static org.kl.jpml.pattern.TuplePattern.let;

   let(border, (String side, int width) -> {
      System.out.println("border: " + side + "," + width);
   });
   
   match(side, width).as(
      of("top",    25),  () -> System.out.println("top"),
      of("bottom", 30),  () -> System.out.println("bottom"),
      of("left",   15),  () -> System.out.println("left"),        
      of("right",  15),  () -> System.out.println("right"),
      Else.class,    () -> System.out.println("Default value")
   );
   
   foreach(listBorders, (String side, int width) -> {
	  System.out.println("border: " + side + "," + width); 	
   }

Type test pattern allow match type and then extract value.

    switch (data) {
      case Integer i  -> System.out.println(i * i);
      case Byte    b  -> System.out.println(b * b);
      case Long    l  -> System.out.println(l * l);        
      case String  s  -> System.out.println(s * s);
      case null       -> System.out.println("Null value ");
      default         -> System.out.println("Default value: " + data);
   };

Using this library developer can write in the following way.

   import static org.kl.jpml.pattern.TypeTestPattern.match;

   match(data).as(
      Integer.class, i  -> { System.out.println(i * i); },
      Byte.class,    b  -> { System.out.println(b * b); },
      Long.class,    l  -> { System.out.println(l * l); },
      String.class,  s  -> { System.out.println(s * s); },
      Null.class,    () -> { System.out.println("Null value "); },
      Else.class,    () -> { System.out.println("Default value: " + data); }
   );

Exhaustive pattern allow match exhaustive subclasses type.

   public sealed class Result<T, E extends Throwable> {
      public class Success<T> extends Result<T, E> { 
         Success(T value) {} 
      }
      public class Failure<E> extends Result<T, E> {
         Failture(E exception) {}
      }
   }

   switch (result) {
      case Success  s -> System.out.println("Success:  " + s),
      case Failture f -> System.out.println("Failture: " + f)
   };

Using this library developer can write in the following way.

    import static org.kl.jpml.pattern.ExhaustivePattern.match;
   
    @Sealed
    public abstract class Result<T, E extends Throwable> {
       private Result() {}
   
       public static class Success<T> extends Result<T, E> { 
	  Success(T value) {} 
       }
       public static class Failure<E> extends Result<T, E> {
	  Failture(E exception) {}
       }
    }
	
    match(result).as(
       Result.Success.class,  s -> System.out.println("Success:  " + s),
       Result.Failture.class, f -> System.out.println("Success:  " + s)
    );       

Guard pattern allow match type and check condition for the truth at one time.

    switch (data) {
      case Integer i && i != 0     -> System.out.println(i * i);
      case Byte    b && b > -1     -> System.out.println(b * b);
      case Long    l && l < 5      -> System.out.println(l * l);
      case String  s && !s.empty() -> System.out.println(s * s);
      case null                    -> System.out.println("Null value ");
      default                      -> System.out.println("Default value: " + data);
   };

Using this library developer can write in the following way.

   import static org.kl.jpml.pattern.GuardPattern.match;

   match(data).as(           
      Integer.class, i  -> i != 0,  i  -> { System.out.println(i * i); },
      Byte.class,    b  -> b > -1,  b  -> { System.out.println(b * b); },
      Long.class,    l  -> l == 5,  l  -> { System.out.println(l * l); },
      Null.class,    () -> { System.out.println("Null value "); },
      Else.class,    () -> { System.out.println("Default value: " + data); }
   );

For simplify writing a condition, developer can use such functions to compare:
lessThan/lt, greaterThan/gt, lessThanOrEqual/le, greaterThanOrEqual/ge,
equal/eq, notEqual/ne. Also for omit condition could use such functions:
always/yes, never/no.

   match(data).as(           
      Integer.class, ne(0),  i  -> { System.out.println(i * i); },
      Byte.class,    gt(-1), b  -> { System.out.println(b * b); },
      Long.class,    eq(5),  l  -> { System.out.println(l * l); },
      Null.class,    () -> { System.out.println("Null value "); },
      Else.class,    () -> { System.out.println("Default value: " + data); }
   );

Deconstruction pattern allow match type and deconstruct object at the parts.

   Figure figure = new Rectangle();
 
   let (int w, int h) = figure;
 
   switch (figure) {
      case Rectangle(int w, int h) -> System.out.println("square: " + (w * h));
      case Circle   (int r)        -> System.out.println("square: " + (2 * Math.PI * r));
      default                      -> System.out.println("Default square: " + 0);
   };
   
   for ((int w, int h) :  listRectangles) {
      System.out.println("square: " + (w * h));
   }

Using this library developer can write in the following way. Using Java 11 feature, we can deduce types deconstruct parameters.

   import static org.kl.jpml.pattern.DeconstructPattern.match;
   import static org.kl.jpml.pattern.DeconstructPattern.foreach;
   import static org.kl.jpml.pattern.DeconstructPattern.let;

   Figure figure = new Rectangle();

   let(figure, (int w, int h) -> {
      System.out.println("border: " + w + " " + h));
   });

   match(figure).as(
      Rectangle.class, (int w, int h) -> System.out.println("square: " + (w * h)),
      Circle.class,    (int r)        -> System.out.println("square: " + (2 * Math.PI * r)),
      Else.class,      ()             -> System.out.println("Default square: " + 0)
   );
   
   foreach(listRectangles, (int w, int h) -> {
      System.out.println("square: " + (w * h));
   });

Deconstruct classes must to have one or more extract method(s).
They must to be marked annotation @Extract. Parameters must to be
output. Since primitive and wrappers for primitive types can't to be
pass by reference we must to use wrappers such IntRef, FloatRef and etc.

   @Extract
   public void deconstruct(IntRef width, IntRef height) {
      width.set(this.width);
      height.set(this.height);
   }

Property pattern allow match type and access to fields class.

    Figure figure = new Rectangle();
    
    let (w: int w, h:int h) = figure;
 
    switch (figure) {
      case Rectangle(w: int w == 5,  h: int h == 10) -> System.out.println("sqr: " + (w * h));
      case Rectangle(w: int w == 10, h: int h == 15) -> System.out.println("sqr: " + (w * h));
      case Circle   (r: int r) -> System.out.println("sqr: " + (2 * Math.PI * r));
      default                  -> System.out.println("Default sqr: " + 0);
   };
   
   for ((w: int w, h: int h) :  listRectangles) {
      System.out.println("square: " + (w * h));
   }

Using this library developer can write in the following way.

   import static org.kl.jpml.pattern.PropertyPattern.match;
   import static org.kl.jpml.pattern.PropertyPattern.foreach;
   import static org.kl.jpml.pattern.PropertyPattern.let;
   import static org.kl.jpml.pattern.PropertyPattern.of;   

   Figure figure = new Rectangle();

   let(figure, of("w", "h"), (int w, int h) -> {
      System.out.println("border: " + w + " " + h));
   });

   match(figure).as(
      Rect.class,    of("w", 5,  "h", 10), (int w, int h) -> System.out.println("sqr: " + (w * h)),
      Rect.class,    of("w", 10, "h", 15), (int w, int h) -> System.out.println("sqr: " + (w * h)),
      Circle.class,  of("r"), (int r)  -> System.out.println("sqr: " + (2 * Math.PI * r)),
      Else.class,    ()                -> System.out.println("Default sqr: " + 0)
   );
   
   foreach(listRectangles, of("x", "y"), (int w, int h) -> {
      System.out.println("square: " + (w * h));
   });

For simplify naming parameters could use another way. Using Java 11 feature, we can deduce types property parameters.

   Figure figure = new Rect();

   let(figure, Rect::w, Rect::h, (var w, var h) -> {
      System.out.println("border: " + w + " " + h));
   });

   match(figure).as(
      Rect.class,    Rect::w, Rect::h, (var w, var h) -> System.out.println("sqr: " + (w * h)),
      Circle.class,  Circle::r, (var r)  -> System.out.println("sqr: " + (2 * Math.PI * r)),
      Else.class,    ()                  -> System.out.println("Default sqr: " + 0)
   );
   
   foreach(listRectangles, Rect::w, Rect::h, (var w, var h) -> {
      System.out.println("square: " + (w * h));
   });

Position pattern allow match type and check value fields class in order of declaration.

    switch (data) {
      case Circle(5)   -> System.out.println("small circle");
      case Circle(15)  -> System.out.println("middle circle");
      case null        -> System.out.println("Null value ");
      default          -> System.out.println("Default value: " + data);
   };

Using this library developer can write in the following way.

   import static org.kl.jpml.pattern.PositionPattern.match;
   import static org.kl.jpml.pattern.PositionPattern.of;

   match(data).as(           
      Circle.class,  of(5),  () -> { System.out.println("small circle"); },
      Circle.class,  of(15), () -> { System.out.println("middle circle"); },
      Null.class,            () -> { System.out.println("Null value "); },
      Else.class,            () -> { System.out.println("Default value: " + data); }
   );

If developer does not want check some fields class that fields must
to be marked with annotation @Exclude. Excluded fields must to be declared last.

   class Circle {
      private int radius;
      	  
      @Exclude
      private int temp;
   }

Static pattern allow match type and deconstruct object using factory methods.

   switch (some) {
      case Rect.unapply(int w, int h) -> System.out.println("square: " + (w * h));
      case Circle.unapply(int r)      -> System.out.println("square: " + (2 * Math.PI * r));
      default -> System.out.println("Default square: " + 0);
   };

Using this library developer can write in the following way.

   import static org.kl.jpml.pattern.StaticPattern.match;

   match(figure).as(
      Rect.class,   of("unapply"), (int w, int h) -> out.println("square: " + (w * h)),
      Circle.class, of("unapply"), (int r)        -> out.println("square: " + (2 * Math.PI * r)),
      Else.class, ()                              -> out.println("Default square: " + 0)
   );    

Also this pattern give simplify work with Optional<>.

   match(value).as(
      Optional::empty, () -> out.println("empty"),
      Optional::get,    v -> out.println("value: " + v)
   );

Sequence pattern allow processing on data sequence.

   List<Integer> list = List.of(1, 2, 3);
  
   switch (list) {
      case empty()       -> System.out.println("Empty value");
      case head(var h)   -> System.out.println("list head: " + h);
      case middle(var m) -> out.println("middle list:" + m);
      case tail(var t)   -> out.println("tail list:  " + t);
      case at(1, var i)  -> out.println("at list:    " + i);
      case edges(var f, var l) -> out.println("edges: " + f + " - " + l);      
      default            -> System.out.println("Default value");
   };

Using this library developer can write in the following way. Using Java 11 feature, we can deduce types property parameters.

   import static org.kl.jpml.pattern.SequencePattern.match;

   List<Integer> list = List.of(1, 2, 3);

   match(figure).as(
      empty()   () -> System.out.println("Empty value"),
      head(),   (int h) -> System.out.println("list head: " + h),
      middle(), (int m) -> out.println("middle list:" + m),
      tail(),   (int t) -> out.println("tail list:  " + t),
      at(1),    (int i) -> out.println("at list:    " + i),
      edges(),  (int f, int l) -> out.println("edges: " + f + " - " + l),
      Else.class, () -> System.out.println("Default value")
   );   

Common pattern contains general constructions which could be useful.

    lazy var rect = new Rectangle();
    var result = rect ?: new Rectangle();
	
    with(rect) {
        setWidth(5);
        setHeight(10);
    }

    when {
        side == Side.LEFT  -> System.out.println("left  value"),
        side == Side.RIGHT -> System.out.println("right value")
    }
	
    repeat(3) {
	System.out.println("three time");
    }
	
    int even = number.takeIf { it % 2 == 0 };
    int odd  = number.takeUnless { it % 2 == 0 };

Using this library developer can write in the following way.

   var rect = lazy(Rectangle::new);
   var result = elvis(rect.get(), new Rectangle());
   
   with(rect, it -> {
       it.setWidth(5);
       it.setHeight(10);
   });
   
   when(
       side == Side.LEFT,  () -> System.out.println("left  value"),
       side == Side.RIGHT, () -> System.out.println("right value")
   );
   
   repeat(3, () -> {
	   System.out.println("three time");
   )
   
   int even = self(number).takeIf(it -> it % 2 == 0);
   int odd  = self(number).takeUnless(it -> it % 2 == 0);

Requirements:
Java version: 8, 11

Releases

No releases published

Packages

No packages published

Languages