Package de.unruh.javapatterns

Class Case<In,​Return,​Exn extends java.lang.Throwable>

java.lang.Object
de.unruh.javapatterns.Case<In,​Return,​Exn>
Type Parameters:
In - Type of the value that is pattern matched
Return - Return value of the action
Exn - Exception that the action may throw. (The action is additionally allowed to throw PatternMatchReject by invoking reject().
public class Case<In,​Return,​Exn extends java.lang.Throwable>
extends java.lang.Object
One case in a pattern match. Consists of a pattern and an action that has to happen in case of a successful match. See Match. An instance of this class is created using Match.withCase(Pattern, MatchSupplier).

  • Method Summary

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait