lang

Type Members

1. class CheckingSigmaBuilder extends StdSigmaBuilder

   

   Builder which does checking of constraints on the numeric arguments of binary operations.

2. case class CompilerSettings(networkPrefix: NetworkPrefix, builder: SigmaBuilder, lowerMethodCalls: Boolean) extends Product with Serializable

   
   networkPrefix

   network prefix to decode an ergo address from string (PK op)

   builder

   used to create ErgoTree nodes

   lowerMethodCalls

   if true, then MethodCall nodes are lowered to ErgoTree nodes when sigmastate.SMethod.irInfo.irBuilder is defined. For example, in the coll.map(x => x+1) code, the map method call can be lowered to MapCollection node. The lowering if preferable, because it is more compact (1 byte for MapCollection instead of 3 bytes for MethodCall).

3. class SigmaBinder extends AnyRef

   

4. abstract class SigmaBuilder extends AnyRef

   

   Abstract interface of ErgoTree node builders.

   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.

5. class SigmaCompiler extends AnyRef

   

6. class SigmaPrinter extends PrettyPrinter

   

   Sigma pretty printing.

7. class SigmaSpecializer extends AnyRef

   

8. class SigmaTyper extends AnyRef

   

   Type inference and analysis for Sigma expressions.

9. case class SourceContext(line: Int, column: Int, sourceLine: String) extends Product with Serializable

   

10. class StdSigmaBuilder extends SigmaBuilder

    

    Standard implementation of SigmaBuilder interface in which most of the operations delegate common logic to equalityOp, comparisonOp and arithOp with default implementation.

    Standard implementation of SigmaBuilder interface in which most of the operations delegate common logic to equalityOp, comparisonOp and arithOp with default implementation. Note, each method of this class uses current value of currentSrcCtx dynamic variable to attach SourceContext to the created node. Thus, it is a responsibility of the caller to provide valid value of the currentSrcCtx variable. (See for example how this variable is used in SigmaParser.)

11. class TransformingSigmaBuilder extends StdSigmaBuilder

    

    Builder which does automatic upcast of numeric arguments when necessary.

    Builder which does automatic upcast of numeric arguments when necessary. The upcast is implemented by inserting additional Upcast nodes. It also performs checking of constrains.

12. trait Types extends Core