SMethod

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def argInfo(argName: String): ArgInfo

   

   Lookup ArgInfo for the given argName or throw an exception.

5. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

6. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

7. val docInfo: Option[OperationInfo]

   

   optional human readable method description data

8. final def eq(arg0: AnyRef): Boolean

   

   Definition Classes

   AnyRef

9. def finalize(): Unit

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( classOf[java.lang.Throwable] )

10. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

11. val irInfo: MethodIRInfo

    

    meta information connecting SMethod with ErgoTree (see MethodIRInfo)

12. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

13. val methodId: Byte

    

    method code, it should be unique among methods of the same objType.

14. val name: String

    

    method name

15. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

16. final def notify(): Unit

    

    Definition Classes

    AnyRef

17. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

18. val objType: STypeCompanion

    

    type or type constructor descriptor

19. def opId: OperationId

    

    Returns OperationId for AOT costing.

20. def specializeFor(objTpe: SType, args: Seq[SType]): SMethod

    

    Specializes this instance by creating a new SMethod instance where signature is specialized with respect to the given object and args types.

    Specializes this instance by creating a new SMethod instance where signature is specialized with respect to the given object and args types. It is used in sigmastate.serialization.MethodCallSerializer parse method, so it is part of consensus protocol.

    objTpe

    specific type of method receiver (aka object)

    args

    specific types of method arguments

    returns

    new instance of method descriptor with specialized signature

21. val stype: SFunc

    

    method signature type, where stype.tDom - argument type and stype.tRange - method result type.

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

    

    Definition Classes

    AnyRef

23. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

25. final def wait(arg0: Long): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

26. def withConcreteTypes(subst: Map[STypeVar, SType]): SMethod

    

    Create a new instance in which the stype field transformed using the given substitution.

27. def withIRInfo(irBuilder: PartialFunction[(SigmaBuilder, SValue, SMethod, Seq[SValue], STypeSubst), SValue]): SMethod

    

    Create a new instance with the given IR builder (aka MethodCall rewriter) parameter.

28. def withInfo(desc: String, args: ArgInfo*): SMethod

    

    Create a new instance with the given OperationInfo parameters.

    Create a new instance with the given OperationInfo parameters. NOTE: opDesc parameter is not defined and falls back to None.

29. def withInfo(opDesc: ValueCompanion, desc: String, args: ArgInfo*): SMethod

    

    Create a new instance with the given OperationInfo parameters.

30. def withSType(newSType: SFunc): SMethod

    

    Create a new instance with the given stype.