scala.scalanative.nir.parser.Defn.scala Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of tools_2.11 Show documentation
tools
The newest version!
package scala.scalanative
package nir
package parser

import fastparse.all._

object Defn extends Base[nir.Defn] {

  import Base.IgnoreWhitespace._

  val Var =
    P(Attrs.parser ~ "var" ~ Global.parser ~ ":" ~ Type.parser ~ ("=" ~ Val.parser).? map {
      case (attrs, name, ty, v) =>
        nir.Defn.Var(attrs, name, ty, v getOrElse nir.Val.None)
    })
  val Const =
    P(Attrs.parser ~ "const" ~ Global.parser ~ ":" ~ Type.parser ~ ("=" ~ Val.parser).? map {
      case (attrs, name, ty, v) =>
        nir.Defn.Const(attrs, name, ty, v getOrElse nir.Val.None)
    })
  val Declare =
    P(Attrs.parser ~ "def" ~ Global.parser ~ ":" ~ Type.parser map {
      case (attrs, name, ty) => nir.Defn.Declare(attrs, name, ty)
    })
  val Define =
    P(Attrs.parser ~ "def" ~ Global.parser ~ ":" ~ Type.parser ~ "{" ~ Inst.parser.rep ~ "}" map {
      case (attrs, name, ty, insts) =>
        nir.Defn.Define(attrs, name, ty, insts)
    })
  val Struct =
    P(
      Attrs.parser ~ "struct" ~ Global.parser ~ "{" ~ Type.parser.rep(
        sep = ",") ~ "}" map {
        case (attrs, name, tys) => nir.Defn.Struct(attrs, name, tys)
      })
  val Trait =
    P(
      Attrs.parser ~ "trait" ~ Global.parser ~ (":" ~ Global.parser.rep(
        sep = ",")).? map {
        case (attrs, name, ifaces) =>
          nir.Defn.Trait(attrs, name, ifaces getOrElse Seq())
      })
  val Class =
    P(
      Attrs.parser ~ "class" ~ Global.parser ~ (":" ~ Global.parser.rep(
        sep = ",")).? map {
        case (attrs, name, None) => nir.Defn.Class(attrs, name, None, Seq())
        case (attrs, name, Some(inherits)) =>
          nir.Defn.Class(attrs, name, inherits.headOption, inherits.tail)
      })
  val Module =
    P(
      Attrs.parser ~ "module" ~ Global.parser ~ (":" ~ Global.parser.rep(
        sep = ",")).? map {
        case (attrs, name, None) => nir.Defn.Module(attrs, name, None, Seq())
        case (attrs, name, Some(inherits)) =>
          nir.Defn.Module(attrs, name, inherits.headOption, inherits.tail)
      })
  override val parser: P[nir.Defn] =
    Var | Const | Define | Declare | Struct | Trait | Class | Module
}