wrappers.special.impl.WSpecialPredefsImpl.scala Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of sigma-state_2.12 Show documentation
Interpreter of a Sigma-State language
The newest version!
package wrappers.special

import scala.language.{existentials,implicitConversions}
import scalan._
import special.wrappers.WrappersModule

package impl {
  import sigma.data.Nullable
  import sigma.reflection.RClass

  // Abs -----------------------------------
trait WSpecialPredefsDefs extends scalan.Scalan with WSpecialPredefs {
  self: WrappersModule =>

  registerModule(WSpecialPredefsModule)

import WOption._
import WSpecialPredef._

object WSpecialPredef extends EntityObject("WSpecialPredef") {

  implicit case object WSpecialPredefCompanionElem extends CompanionElem[WSpecialPredefCompanionCtor]

  abstract class WSpecialPredefCompanionCtor extends CompanionDef[WSpecialPredefCompanionCtor] with WSpecialPredefCompanion {
    def resultType = WSpecialPredefCompanionElem
    override def toString = "WSpecialPredef"
  }
  implicit final def unrefWSpecialPredefCompanionCtor(p: Ref[WSpecialPredefCompanionCtor]): WSpecialPredefCompanionCtor =
    p.node.asInstanceOf[WSpecialPredefCompanionCtor]

  lazy val RWSpecialPredef: MutableLazy[WSpecialPredefCompanionCtor] = MutableLazy(new WSpecialPredefCompanionCtor {
    private val thisClass = RClass(classOf[WSpecialPredefCompanion])

    def some[A](x: Ref[A]): Ref[WOption[A]] = {
      implicit val eA = x.elem
      asRep[WOption[A]](mkMethodCall(self,
        thisClass.getMethod("some", classOf[Sym]),
        Array[AnyRef](x),
        true, false, element[WOption[A]]))
    }
  })

  object WSpecialPredefCompanionMethods {
    object some {
      def unapply(d: Def[_]): Nullable[Ref[A] forSome {type A}] = d match {
        case MethodCall(receiver, method, args, _) if method.getName == "some" && receiver.elem == WSpecialPredefCompanionElem =>
          val res = args(0)
          Nullable(res).asInstanceOf[Nullable[Ref[A] forSome {type A}]]
        case _ => Nullable.None
      }
      def unapply(exp: Sym): Nullable[Ref[A] forSome {type A}] = unapply(exp.node)
    }
  }
} // of object WSpecialPredef
  registerEntityObject("WSpecialPredef", WSpecialPredef)

  override def resetContext(): Unit = {
    super.resetContext()
    RWSpecialPredef.reset()
  }

}

object WSpecialPredefsModule extends scalan.ModuleInfo("wrappers.special", "WSpecialPredefs") {
  val reflection = GraphIRReflection
}
}

trait WSpecialPredefsModule extends wrappers.special.impl.WSpecialPredefsDefs {self: WrappersModule =>}