codegen.boilerplate.api.expression._ExprSetMan.scala Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of molecule-boilerplate_2.13 Show documentation
molecule
The newest version!
package codegen.boilerplate.api.expression

import codegen.BoilerplateGenBase


object _ExprSetMan extends BoilerplateGenBase( "ExprSetMan", "/api/expression") {
  val content = {
    val traits = (1 to 22).map(arity => Trait(arity).body).mkString("\n")
    s"""// GENERATED CODE ********************************
       |package molecule.boilerplate.api.expression
       |
       |import molecule.base.ast._
       |import molecule.boilerplate.api._
       |import molecule.boilerplate.ast.Model._
       |import scala.language.higherKinds
       |$traits
       |""".stripMargin
  }

  case class Trait(arity: Int) extends TemplateVals(arity) {
    val attrExprs = if (arity == 22) {
      s"""
         |  def has  [ns1[_]](a: ModelOps_0[t, ns1, X2]): Ns1[${`A..V`}, t] = _attrTac(Has  , a)
         |  def hasNo[ns1[_]](a: ModelOps_0[t, ns1, X2]): Ns1[${`A..V`}, t] = _attrTac(HasNo, a)""".stripMargin
    } else {
      s"""
         |  def has  [ns1[_], ns2[_, _]](a: ModelOps_0[t, ns1, ns2] with CardOne)(implicit x: X): Ns1[${`A..V`}, t] = _attrTac(Has  , a)
         |  def hasNo[ns1[_], ns2[_, _]](a: ModelOps_0[t, ns1, ns2] with CardOne)(implicit x: X): Ns1[${`A..V`}, t] = _attrTac(HasNo, a)
         |
         |  def has  [X, ns1[_, _], ns2[_, _, _]](a: ModelOps_1[X, t, ns1, ns2] with CardOne): Ns2[${`A..V`}, X, t] = _attrMan(Has  , a)
         |  def hasNo[X, ns1[_, _], ns2[_, _, _]](a: ModelOps_1[X, t, ns1, ns2] with CardOne): Ns2[${`A..V`}, X, t] = _attrMan(HasNo, a)""".stripMargin
    }

    val body =
      s"""
         |
         |trait $fileName_$arity[${`A..V`}, t, Ns1[${`_, _`}], Ns2[${`_, _, _`}]]
         |  extends ExprSetTacOps_$arity[${`A..V`}, t, Ns1, Ns2] {
         |  def apply (                 ): Ns1[${`A..V`}, t] = _exprSet(NoValue, Set.empty[t]   )
         |  def apply (set : Set[t]     ): Ns1[${`A..V`}, t] = _exprSet(Eq     , set            )
         |  def has   (v   : t, vs: t*  ): Ns1[${`A..V`}, t] = _exprSet(Has    , Set(v) ++ vs   )
         |  def has   (vs  : Iterable[t]): Ns1[${`A..V`}, t] = _exprSet(Has    , vs.toSet       )
         |  def hasNo (v   : t, vs: t*  ): Ns1[${`A..V`}, t] = _exprSet(HasNo  , Set(v) ++ vs   )
         |  def hasNo (vs  : Iterable[t]): Ns1[${`A..V`}, t] = _exprSet(HasNo  , vs.toSet       )
         |  def add   (v   : t, vs: t*  ): Ns1[${`A..V`}, t] = _exprSet(Add    , Set(v) ++ vs   )
         |  def add   (vs  : Iterable[t]): Ns1[${`A..V`}, t] = _exprSet(Add    , vs.toSet       )
         |  def remove(v   : t, vs: t*  ): Ns1[${`A..V`}, t] = _exprSet(Remove , Set(v) ++ vs   )
         |  def remove(vs  : Iterable[t]): Ns1[${`A..V`}, t] = _exprSet(Remove , vs.toSet       )
         |  $attrExprs
         |}""".stripMargin
  }
}