ContractSyntax

Abstract Value Members

abstract def contractEnv: ScriptEnv

A contract environment which defines named constants used in the contract.
A contract environment which defines named constants used in the contract. Should be defined in SigmaContract implementations.
abstract val spec: ContractSpec

Instance of contract specification DSL, which can be imported in the body of SigmaContract implementations.

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
def Coll[T](items: T*)(implicit cT: RType[T]): Coll[T]

Helper method to support Scala <-> ErgoScript equivalence.
def Env(entries: (String, Any)*): ScriptEnv

Creates new environment with the given named constants.
final def asInstanceOf[T0]: T0

Definition Classes
Any
def builder: SigmaDslBuilder
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
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
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def proposition(name: String, dslSpec: Proposition, scriptCode: String, scriptVersion: Option[Byte] = None): PropositionSpec

Call this function in SigmaContract implementations to define propositions.
Call this function in SigmaContract implementations to define propositions.
name
name of the proposition (aka contract name)
dslSpec
Scala lambda of type Proposition which defines contract semantics and can be executed directly.
scriptCode
ErgoScript representation of the contract.
scriptVersion
optional script version to be used in ErgoTree. If None then ergoTreeVersionInTests is used.
returns
proposition specification with compiled ErgoTree.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
lazy val verifier: VerifyingParty

The default verifier which represents miner's role in verification of transactions.
The default verifier which represents miner's role in verification of transactions. It can be overriden in derived classes.
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( ... )

Related Docs: object ContractSyntax | package dsl

trait ContractSyntax extends AnyRef

Abstract Value Members

abstract def contractEnv: ScriptEnv

abstract val spec: ContractSpec

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def Coll[T](items: T*)(implicit cT: RType[T]): Coll[T]

def Env(entries: (String, Any)*): ScriptEnv

final def asInstanceOf[T0]: T0

def builder: SigmaDslBuilder

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def proposition(name: String, dslSpec: Proposition, scriptCode: String, scriptVersion: Option[Byte] = None): PropositionSpec

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

lazy val verifier: VerifyingParty

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped