abstract class SigmaBuilder extends AnyRef
Abstract interface of ErgoTree node builders. Each method of the interface creates the corresponding ErgoTree node. The signatures of the methods reflect the constructors of the nodes. See the corresponding node classes for details.
- Alphabetic
- By Inheritance
- SigmaBuilder
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
- new SigmaBuilder()
Abstract Value Members
- abstract def mkAND(input: Value[SCollection[SBoolean.type]]): BoolValue
- abstract def mkAllOf(input: Seq[Value[SBoolean.type]]): BoolValue
- abstract def mkAnyOf(input: Seq[Value[SBoolean.type]]): BoolValue
- abstract def mkAppend[IV <: SType](input: Value[SCollection[IV]], col2: Value[SCollection[IV]]): Value[SCollection[IV]]
- abstract def mkApply(func: Value[SType], args: IndexedSeq[Value[SType]]): Value[SType]
- abstract def mkApplyTypes(input: Value[SType], tpeArgs: Seq[SType]): Value[SType]
- abstract def mkArith[T <: SNumericType](left: Value[T], right: Value[T], opCode: OpCode): Value[T]
- abstract def mkAtLeast(bound: Value[SInt.type], input: Value[SCollection[SSigmaProp.type]]): SigmaPropValue
- abstract def mkBinAnd(left: BoolValue, right: BoolValue): BoolValue
- abstract def mkBinOr(left: BoolValue, right: BoolValue): BoolValue
- abstract def mkBinXor(left: BoolValue, right: BoolValue): BoolValue
- abstract def mkBitAnd[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkBitInversion[T <: SNumericType](input: Value[T]): Value[T]
- abstract def mkBitOr[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkBitShiftLeft[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
- abstract def mkBitShiftRight[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
- abstract def mkBitShiftRightZeroed[T <: SNumericType](bits: Value[T], shift: Value[T]): Value[T]
- abstract def mkBitXor[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkBlock(bindings: Seq[Val], result: Value[SType]): Value[SType]
- abstract def mkBlockValue(items: IndexedSeq[BlockItem], result: Value[SType]): Value[SType]
-
abstract
def
mkBoolToSigmaProp(value: BoolValue): SigmaPropValue
Logically inverse to mkSigmaPropIsProven
- abstract def mkByIndex[IV <: SType](input: Value[SCollection[IV]], index: Value[SInt.type], default: Option[Value[IV]] = None): Value[IV]
- abstract def mkByteArrayToBigInt(input: Value[SByteArray]): Value[SBigInt.type]
- abstract def mkByteArrayToLong(input: Value[SByteArray]): Value[SLong.type]
- abstract def mkCalcBlake2b256(input: Value[SByteArray]): Value[SByteArray]
- abstract def mkCalcSha256(input: Value[SByteArray]): Value[SByteArray]
- abstract def mkCollectionConstant[T <: SType](values: Coll[mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]
- abstract def mkCollectionConstant[T <: SType](values: Array[mkCollectionConstant.T.WrappedType], elementType: T): Constant[SCollection[T]]
- abstract def mkConcreteCollection[T <: SType](items: Seq[Value[T]], elementType: T): Value[SCollection[T]]
- abstract def mkConstant[T <: SType](value: mkConstant.T.WrappedType, tpe: T): Constant[T]
- abstract def mkConstantPlaceholder[T <: SType](id: Int, tpe: T): Value[SType]
- abstract def mkCreateAvlTree(operationFlags: ByteValue, digest: Value[SByteArray], keyLength: IntValue, valueLengthOpt: Value[SIntOption]): AvlTreeValue
- abstract def mkCreateProveDHTuple(gv: Value[SGroupElement.type], hv: Value[SGroupElement.type], uv: Value[SGroupElement.type], vv: Value[SGroupElement.type]): SigmaPropValue
- abstract def mkCreateProveDlog(value: Value[SGroupElement.type]): SigmaPropValue
- abstract def mkDecodePoint(input: Value[SByteArray]): GroupElementValue
- abstract def mkDeserializeContext[T <: SType](id: Byte, tpe: T): Value[T]
- abstract def mkDeserializeRegister[T <: SType](reg: RegisterId, tpe: T, default: Option[Value[T]] = None): Value[T]
- abstract def mkDivide[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkDowncast[T <: SNumericType, R <: SNumericType](input: Value[T], tpe: R): Value[R]
- abstract def mkEQ[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkExists[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SBoolean.type]
- abstract def mkExponentiate(left: Value[SGroupElement.type], right: Value[SBigInt.type]): Value[SGroupElement.type]
- abstract def mkExtractAmount(input: Value[SBox.type]): Value[SLong.type]
- abstract def mkExtractBytes(input: Value[SBox.type]): Value[SByteArray]
- abstract def mkExtractBytesWithNoRef(input: Value[SBox.type]): Value[SByteArray]
- abstract def mkExtractCreationInfo(input: Value[SBox.type]): Value[STuple]
- abstract def mkExtractId(input: Value[SBox.type]): Value[SByteArray]
- abstract def mkExtractRegisterAs[IV <: SType](input: Value[SBox.type], registerId: RegisterId, tpe: SOption[IV]): Value[SType]
- abstract def mkExtractScriptBytes(input: Value[SBox.type]): Value[SByteArray]
- abstract def mkFilter[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SCollection[IV]]
- abstract def mkFold[IV <: SType, OV <: SType](input: Value[SCollection[IV]], zero: Value[OV], foldOp: Value[SFunc]): Value[OV]
- abstract def mkForAll[IV <: SType](input: Value[SCollection[IV]], condition: Value[SFunc]): Value[SBoolean.type]
- abstract def mkFuncValue(args: IndexedSeq[(Int, SType)], body: Value[SType]): Value[SFunc]
- abstract def mkGE[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkGT[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkGenLambda(tpeParams: Seq[STypeParam], args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[SFunc]
- abstract def mkGetVar[T <: SType](varId: Byte, tpe: T): Value[SOption[T]]
- abstract def mkIdent(name: String, tpe: SType): Value[SType]
- abstract def mkIf[T <: SType](condition: Value[SBoolean.type], trueBranch: Value[T], falseBranch: Value[T]): Value[T]
- abstract def mkLE[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkLT[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkLambda(args: IndexedSeq[(String, SType)], givenResType: SType, body: Option[Value[SType]]): Value[SFunc]
- abstract def mkLogicalNot(input: Value[SBoolean.type]): Value[SBoolean.type]
- abstract def mkLongToByteArray(input: Value[SLong.type]): Value[SByteArray]
- abstract def mkMapCollection[IV <: SType, OV <: SType](input: Value[SCollection[IV]], mapper: Value[SFunc]): Value[SCollection[OV]]
- abstract def mkMax[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkMethodCall(obj: Value[SType], method: SMethod, args: IndexedSeq[Value[SType]], typeSubst: STypeSubst): Value[SType]
- abstract def mkMethodCallLike(obj: Value[SType], name: String, args: IndexedSeq[Value[SType]], tpe: SType = NoType): Value[SType]
- abstract def mkMin[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkMinus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkMinusModQ(left: Value[SBigInt.type], right: Value[SBigInt.type]): Value[SBigInt.type]
- abstract def mkModQ(input: Value[SBigInt.type]): Value[SBigInt.type]
- abstract def mkModulo[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkMultiply[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkMultiplyGroup(left: Value[SGroupElement.type], right: Value[SGroupElement.type]): Value[SGroupElement.type]
- abstract def mkNEQ[T <: SType](left: Value[T], right: Value[T]): Value[SBoolean.type]
- abstract def mkNegation[T <: SNumericType](input: Value[T]): Value[T]
- abstract def mkNoneValue[T <: SType](elemType: T): Value[SOption[T]]
- abstract def mkOR(input: Value[SCollection[SBoolean.type]]): BoolValue
- abstract def mkOptionGet[T <: SType](input: Value[SOption[T]]): Value[T]
- abstract def mkOptionGetOrElse[T <: SType](input: Value[SOption[T]], default: Value[T]): Value[T]
- abstract def mkOptionIsDefined[T <: SType](input: Value[SOption[T]]): Value[SBoolean.type]
- abstract def mkPlus[T <: SNumericType](left: Value[T], right: Value[T]): Value[T]
- abstract def mkPlusModQ(left: Value[SBigInt.type], right: Value[SBigInt.type]): Value[SBigInt.type]
- abstract def mkSelect(obj: Value[SType], field: String, resType: Option[SType] = None): Value[SType]
- abstract def mkSelectField(input: Value[STuple], fieldIndex: Byte): Value[SType]
- abstract def mkSigmaAnd(items: Seq[SigmaPropValue]): SigmaPropValue
- abstract def mkSigmaOr(items: Seq[SigmaPropValue]): SigmaPropValue
- abstract def mkSigmaPropBytes(value: Value[SSigmaProp.type]): Value[SByteArray]
-
abstract
def
mkSigmaPropIsProven(value: Value[SSigmaProp.type]): BoolValue
Logically inverse to mkBoolToSigmaProp
- abstract def mkSizeOf[IV <: SType](input: Value[SCollection[IV]]): Value[SInt.type]
- abstract def mkSlice[IV <: SType](input: Value[SCollection[IV]], from: Value[SInt.type], until: Value[SInt.type]): Value[SCollection[IV]]
- abstract def mkSomeValue[T <: SType](x: Value[T]): Value[SOption[T]]
- abstract def mkStringConcat(left: Constant[SString.type], right: Constant[SString.type]): Value[SString.type]
- abstract def mkSubstConst[T <: SType](scriptBytes: Value[SByteArray], positions: Value[SIntArray], newValues: Value[SCollection[T]]): Value[SByteArray]
- abstract def mkTaggedVariable[T <: SType](varId: Byte, tpe: T): TaggedVariable[T]
- abstract def mkTreeLookup(tree: Value[SAvlTree.type], key: Value[SByteArray], proof: Value[SByteArray]): Value[SOption[SByteArray]]
- abstract def mkTuple(items: Seq[Value[SType]]): Value[SType]
- abstract def mkUnitConstant: Value[SUnit.type]
- abstract def mkUpcast[T <: SNumericType, R <: SNumericType](input: Value[T], tpe: R): Value[R]
- abstract def mkVal(name: String, givenType: SType, body: Value[SType]): Val
- abstract def mkValUse(valId: Int, tpe: SType): Value[SType]
- abstract def mkXor(left: Value[SByteArray], right: Value[SByteArray]): Value[SByteArray]
- abstract def mkXorOf(input: Value[SCollection[SBoolean.type]]): BoolValue
- abstract def mkZKProofBlock(body: Value[SSigmaProp.type]): Value[SBoolean.type]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
val
currentSrcCtx: DynamicVariable[Nullable[SourceContext]]
Dynamic variable used to pass SourceContext to the constructors of the node.
Dynamic variable used to pass SourceContext to the constructors of the node. Used in concrete implementations of this interface.
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
liftAny(obj: Any): Nullable[SValue]
Created a new Value instance with an appropriate type derived from the given data
obj
.Created a new Value instance with an appropriate type derived from the given data
obj
. Ifobj
is already Value, then it is returned as result. Uses scalan.Nullable instead of scala.Option to avoid allocation on consensus hot path. -
def
liftToConstant(obj: Any): Nullable[Constant[SType]]
Created a new Constant instance with an appropriate type derived from the given data
obj
.Created a new Constant instance with an appropriate type derived from the given data
obj
. Uses scalan.Nullable instead of scala.Option to avoid allocation on consensus hot path. -
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()