diff options
| author | vlad <vlad@driver.xyz> | 2017-06-30 12:29:54 -0700 |
|---|---|---|
| committer | vlad <vlad@driver.xyz> | 2017-06-30 12:29:54 -0700 |
| commit | a997aa6539d1f0af4ab4fc395ff2033335da312a (patch) | |
| tree | 4f24529cd0beed94368caafdc0bdbb5677184851 /src/main/scala/xyz/driver/pdsuicommon/db/SearchFilterExpr.scala | |
| parent | 5832f63b84d7388441d1200f2442dc1e9de0225c (diff) | |
| download | rest-query-a997aa6539d1f0af4ab4fc395ff2033335da312a.tar.gz rest-query-a997aa6539d1f0af4ab4fc395ff2033335da312a.tar.bz2 rest-query-a997aa6539d1f0af4ab4fc395ff2033335da312a.zip | |
Latest PDS UI utils
Diffstat (limited to 'src/main/scala/xyz/driver/pdsuicommon/db/SearchFilterExpr.scala')
| -rw-r--r-- | src/main/scala/xyz/driver/pdsuicommon/db/SearchFilterExpr.scala | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/main/scala/xyz/driver/pdsuicommon/db/SearchFilterExpr.scala b/src/main/scala/xyz/driver/pdsuicommon/db/SearchFilterExpr.scala index 5144163..4b66f22 100644 --- a/src/main/scala/xyz/driver/pdsuicommon/db/SearchFilterExpr.scala +++ b/src/main/scala/xyz/driver/pdsuicommon/db/SearchFilterExpr.scala @@ -54,7 +54,7 @@ object SearchFilterExpr { } } - case class Intersection private (operands: Seq[SearchFilterExpr]) + final case class Intersection private (operands: Seq[SearchFilterExpr]) extends SearchFilterExpr with SearchFilterExprSeqOps { override def replace(f: PartialFunction[SearchFilterExpr, SearchFilterExpr]): SearchFilterExpr = { @@ -80,7 +80,8 @@ object SearchFilterExpr { } } - case class Union private (operands: Seq[SearchFilterExpr]) extends SearchFilterExpr with SearchFilterExprSeqOps { + final case class Union private (operands: Seq[SearchFilterExpr]) + extends SearchFilterExpr with SearchFilterExprSeqOps { override def replace(f: PartialFunction[SearchFilterExpr, SearchFilterExpr]): SearchFilterExpr = { if (f.isDefinedAt(this)) f(this) |