case object SSigmaPropMethods extends MonoTypeMethods with Product with Serializable
Methods of type SigmaProp which represent sigma-protocol propositions.
- Alphabetic
- By Inheritance
- SSigmaPropMethods
- Serializable
- Product
- Equals
- MonoTypeMethods
- MethodsContainer
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
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
- val IsProven: String
- lazy val IsProvenMethod: SMethod
- val MaxSizeInBytes: Long
The maximum size of SigmaProp value in serialized byte array representation.
- val PropBytes: String
- lazy val PropBytesMethod: SMethod
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def getMethodById(methodId: Byte): Option[SMethod]
Lookup method by its id in this type.
Lookup method by its id in this type.
- Definition Classes
- MethodsContainer
- Annotations
- @inline()
- def getMethodByName(name: String): SMethod
Looks up the method descriptor by the method name.
Looks up the method descriptor by the method name.
- Definition Classes
- MethodsContainer
- def getMethods(): Seq[SMethod]
This method should be overriden in derived classes to add new methods in addition to inherited.
This method should be overriden in derived classes to add new methods in addition to inherited. Typical override:
super.getMethods() ++ Seq(m1, m2, m3)- Attributes
- protected
- Definition Classes
- SSigmaPropMethods → MethodsContainer
- def hasMethod(name: String): Boolean
Returns true if this type has a method with the given name.
Returns true if this type has a method with the given name.
- Definition Classes
- MethodsContainer
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def method(methodName: String): Option[SMethod]
Finds a method descriptor SMethod for the given name.
Finds a method descriptor SMethod for the given name.
- Definition Classes
- MethodsContainer
- def methodById(methodId: Byte): SMethod
Lookup method in this type by method's id or throw ValidationException.
Lookup method in this type by method's id or throw ValidationException. This method can be used in trySoftForkable section to either obtain valid method or catch ValidatioinException which can be checked for soft-fork condition. It delegate to getMethodById to lookup method.
- Definition Classes
- MethodsContainer
- See also
getMethodById
- def methodIndex(name: String): Int
Returns -1 if
methodis not found.Returns -1 if
methodis not found.- Definition Classes
- MethodsContainer
- lazy val methods: Seq[SMethod]
Returns all the methods of this type.
Returns all the methods of this type.
- Definition Classes
- MethodsContainer
- 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()
- def ownerType: SMonoType
Type for which this container defines methods.
Type for which this container defines methods.
- Definition Classes
- SSigmaPropMethods → MonoTypeMethods → MethodsContainer
- def productElementName(n: Int): String
- Definition Classes
- Product
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- def property(name: String, tpeRes: SType, id: Byte, valueCompanion: ValueCompanion): SMethod
Helper method to create method descriptors for properties (i.e.
Helper method to create method descriptors for properties (i.e. methods without args).
- Attributes
- protected
- Definition Classes
- MonoTypeMethods
- def propertyCall(name: String, tpeRes: SType, id: Byte, costKind: CostKind): SMethod
Helper method to create method descriptors for properties (i.e.
Helper method to create method descriptors for properties (i.e. methods without args).
- Attributes
- protected
- Definition Classes
- MonoTypeMethods
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- lazy val thisRClass: RClass[_]
Represents class of
this.Represents class of
this.- Definition Classes
- MethodsContainer
- def toString(): String
- Definition Classes
- MethodsContainer → AnyRef → Any
- def typeId: Byte
- Definition Classes
- MethodsContainer
- def typeName: String
- Definition Classes
- MethodsContainer
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()