raw.compiler.rql2.builtin.SuccessPackage.scala Maven / Gradle / Ivy
/*
* Copyright 2023 RAW Labs S.A.
*
* Use of this software is governed by the Business Source License
* included in the file licenses/BSL.txt.
*
* As of the Change Date specified in that file, in accordance with
* the Business Source License, use of this software will be governed
* by the Apache License, Version 2.0, included in the file
* licenses/APL.txt.
*/
package raw.compiler.rql2.builtin
import raw.compiler.base.source.{AnythingType, Type}
import raw.compiler.rql2.source.{Rql2IsTryableTypeProperty, Rql2TypeWithProperties}
import raw.compiler.rql2._
import raw.compiler.rql2.api.{Arg, EntryExtension, ExpParam, PackageExtension, Param}
import raw.client.api.{EntryDoc, PackageDoc}
class SuccessPackage extends PackageExtension {
override def name: String = "Success"
override def docs: PackageDoc = ???
}
class SuccessBuildEntry extends EntryExtension {
override def packageName: String = "Success"
override def entryName: String = "Build"
override def docs: EntryDoc = ???
override def nrMandatoryParams: Int = 1
override def getMandatoryParam(prevMandatoryArgs: Seq[Arg], idx: Int): Either[String, Param] = idx match {
case 0 => Right(ExpParam(AnythingType()))
}
override def returnType(
mandatoryArgs: Seq[Arg],
optionalArgs: Seq[(String, Arg)],
varArgs: Seq[Arg]
)(implicit programContext: ProgramContext): Either[String, Type] = {
mandatoryArgs(0).t match {
case x: Rql2TypeWithProperties if x.props.contains(Rql2IsTryableTypeProperty()) =>
return Left("argument is tryable")
case _ =>
}
val t = addProp(mandatoryArgs(0).t, Rql2IsTryableTypeProperty())
Right(t)
}
}