• Home
• io.7mind.izumi
• idealingua-v1-core_2.13
• 1.3.16
• source code
• DefDomain.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

izumi.idealingua.il.parser.DefDomain.scala Maven / Gradle / Ivy

package izumi.idealingua.il.parser

import izumi.idealingua.il.parser.structure._
import izumi.idealingua.model.common.DomainId
import izumi.idealingua.model.il.ast.raw.domains
import izumi.idealingua.model.il.ast.raw.domains.{DomainHeader, Import}
import fastparse.NoWhitespace._
import fastparse._

class DefDomain(context: IDLParserContext)
  extends Identifiers
    with Aggregates {

  import context._

  def domainBlock[$: P]: P[DomainId] = P(kw.domain ~/ domainId)

  def importBlock[$: P]: P[Import] = kw(kw.`import`, domainId ~ ("." ~ inline ~ enclosed(defStructure.imports(sep.sepStruct) ~ sepStruct.?)).?)
    .map {
      case (id, names) =>
        names match {
          case Some(nn) =>
            domains.Import(id, nn.toSet)
          case None =>
            Import(id, Set.empty)
        }
    }

  def decl[$: P]: P[DomainHeader] = P(metaAgg.withMeta(domainBlock ~ any ~ importBlock.rep(sep = any))).map {
    case (meta, (id, imports)) =>
      DomainHeader(id, imports, meta)
  }
}