• Home
• io.7mind.izumi
• idealingua-v1-core_2.13
• 1.3.16
• source code
• MethodRenderer.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.renderer.MethodRenderer.scala Maven / Gradle / Ivy

package izumi.idealingua.il.renderer

import izumi.functional.Renderable
import izumi.idealingua.model.common.TypeId
import izumi.idealingua.model.il.ast.typed.DefMethod.RPCMethod
import izumi.idealingua.model.il.ast.typed.{AdtMember, DefMethod, SimpleStructure}

class MethodRenderer(
  context: IDLRenderingContext
)(implicit
  evSimpleStructure: Renderable[SimpleStructure],
  evTypeId: Renderable[TypeId],
  evAdtMember: Renderable[AdtMember],
) {

  def renderMethod(kw: String, tpe: DefMethod): String = {
    tpe match {
      case m: RPCMethod =>
        val resultRepr = render(m.signature.output).fold("")(s => s": $s")
        val out        = s"$kw ${m.name}(${m.signature.input.render()})$resultRepr"
        context.meta.withMeta(m.meta, out)
    }
  }

  protected def render(out: DefMethod.Output): Option[String] = {
    out match {
      case o: DefMethod.Output.Struct =>
        Some(s"(${o.struct.render()})")
      case o: DefMethod.Output.Algebraic =>
        Some(s"(${o.alternatives.map(_.render()).mkString(" | ")})")
      case o: DefMethod.Output.Singular =>
        Some(o.typeId.render())
      case _: DefMethod.Output.Void =>
        None
      case o: DefMethod.Output.Alternative =>
        Some(s"${render(o.success).getOrElse("()")} !! ${render(o.failure).getOrElse("()")}")
    }
  }
}