Make data to index more flexible and extensible

This commit is contained in:
Eike Kettner
2020-06-17 21:18:48 +02:00
parent 522daaf57e
commit 146d1b0562
3 changed files with 82 additions and 19 deletions

View File

@ -15,6 +15,9 @@ case class Ident(id: String) {
def nonEmpty: Boolean =
!isEmpty
def / (next: Ident): Ident =
new Ident(id + "/" + next.id)
}
object Ident {