mirror of
https://github.com/PolyhedralDev/Terra.git
synced 2026-10-21 15:57:19 +00:00
Pattern#not
This commit is contained in:
1 parent
167ab3146e
commit
9693fa641b
1 file changed
+4
+4
@@ -12,4 +12,8 @@ public interface Pattern {
|
||||
default Pattern or(Pattern that) {
|
||||
return (y, column) -> this.matches(y, column) || that.matches(y, column);
|
||||
}
|
||||
|
||||
default Pattern not() {
|
||||
return (y, column) -> !this.matches(y, column);
|
||||
}
|
||||
}
|
||||
Reference in new issue
Block a user