DefaultHandlingOfMethodResults

Value Members

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

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. def +(other: String): String

   

   Implicit information

   This member is added by an implicit conversion from DefaultHandlingOfMethodResults to any2stringadd[DefaultHandlingOfMethodResults] performed by method any2stringadd in scala.Predef.

   Definition Classes

   any2stringadd

4. def ->[B](y: B): (DefaultHandlingOfMethodResults, B)

   

   Implicit information

   This member is added by an implicit conversion from DefaultHandlingOfMethodResults to ArrowAssoc[DefaultHandlingOfMethodResults] performed by method ArrowAssoc in scala.Predef.

   Definition Classes

   ArrowAssoc

   Annotations

   @inline()

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

   

   Definition Classes

   AnyRef → Any

6. def abruptMethodExecution(pc: PC, exception: (DefaultHandlingOfMethodResults.this)#ExceptionValue): Unit

   

   Called by the abstract interpreter when an exception is thrown that is not (guaranteed to be) handled within the same method.

   Called by the abstract interpreter when an exception is thrown that is not (guaranteed to be) handled within the same method.

   Definition Classes

   DefaultHandlingForThrownExceptions → ReturnInstructionsDomain

   Note

   If the original exception value is null (/*E.g.*/throw null;), then the exception that is actually thrown is a new NullPointerException. This situation is, however, completely handled by OPAL and the exception value is hence never null.

7. def areturn(pc: PC, value: (DefaultHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultHandlingOfMethodResults.this)#ExceptionValue]

   

   The given value, which is a value with computational type reference, is returned by the return instruction with the given pc.

   The given value, which is a value with computational type reference, is returned by the return instruction with the given pc.

   Definition Classes

   DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

8. final def asInstanceOf[T0]: T0

   

   Definition Classes

   Any

9. def clone(): AnyRef

   

   Attributes

   protected[java.lang]

   Definition Classes

   AnyRef

   Annotations

   @throws( ... )

10. def dreturn(pc: PC, value: (DefaultHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultHandlingOfMethodResults.this)#ExceptionValue]

    

    The given value, which is a value with computational type double, is returned by the return instruction with the given pc.

    The given value, which is a value with computational type double, is returned by the return instruction with the given pc.

    Definition Classes

    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

11. def ensuring(cond: (DefaultHandlingOfMethodResults) ⇒ Boolean, msg: ⇒ Any): DefaultHandlingOfMethodResults

    

    Implicit information

    This member is added by an implicit conversion from DefaultHandlingOfMethodResults to Ensuring[DefaultHandlingOfMethodResults] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

12. def ensuring(cond: (DefaultHandlingOfMethodResults) ⇒ Boolean): DefaultHandlingOfMethodResults

    

    Implicit information

    This member is added by an implicit conversion from DefaultHandlingOfMethodResults to Ensuring[DefaultHandlingOfMethodResults] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

13. def ensuring(cond: Boolean, msg: ⇒ Any): DefaultHandlingOfMethodResults

    

    Implicit information

    This member is added by an implicit conversion from DefaultHandlingOfMethodResults to Ensuring[DefaultHandlingOfMethodResults] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

14. def ensuring(cond: Boolean): DefaultHandlingOfMethodResults

    

    Implicit information

    This member is added by an implicit conversion from DefaultHandlingOfMethodResults to Ensuring[DefaultHandlingOfMethodResults] performed by method Ensuring in scala.Predef.

    Definition Classes

    Ensuring

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

    

    Definition Classes

    AnyRef

16. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

17. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

18. def formatted(fmtstr: String): String

    

    Implicit information

    This member is added by an implicit conversion from DefaultHandlingOfMethodResults to StringFormat[DefaultHandlingOfMethodResults] performed by method StringFormat in scala.Predef.

    Definition Classes

    StringFormat

    Annotations

    @inline()

19. def freturn(pc: PC, value: (DefaultHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultHandlingOfMethodResults.this)#ExceptionValue]

    

    The given value, which is a value with computational type float, is returned by the return instruction with the given pc.

    The given value, which is a value with computational type float, is returned by the return instruction with the given pc.

    Definition Classes

    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

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

    

    Definition Classes

    AnyRef → Any

21. def handleReturn(pc: PC): Computation[Nothing, (DefaultHandlingOfMethodResults.this)#ExceptionValue]

    

    Attributes

    protected[this]

    Definition Classes

    ReturnInstructionsDomain

22. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

23. def ireturn(pc: PC, value: (DefaultHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultHandlingOfMethodResults.this)#ExceptionValue]

    

    The given value, which is a value with computational type integer, is returned by the return instruction with the given pc.

    The given value, which is a value with computational type integer, is returned by the return instruction with the given pc.

    Definition Classes

    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

24. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

25. def lreturn(pc: PC, value: (DefaultHandlingOfMethodResults.this)#DomainValue): Computation[Nothing, (DefaultHandlingOfMethodResults.this)#ExceptionValue]

    

    The given value, which is a value with computational type long, is returned by the return instruction with the given pc.

    The given value, which is a value with computational type long, is returned by the return instruction with the given pc.

    Definition Classes

    DefaultHandlingForReturnInstructions → ReturnInstructionsDomain

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

    

    Definition Classes

    AnyRef

27. final def notify(): Unit

    

    Definition Classes

    AnyRef

28. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

29. def returnVoid(pc: PC): Computation[Nothing, (DefaultHandlingOfMethodResults.this)#ExceptionValue]

    

    Called when a return instruction with the given pc is reached.

    Called when a return instruction with the given pc is reached. In other words, when the method returns normally.

    Definition Classes

    DefaultHandlingOfVoidReturns → ReturnInstructionsDomain

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

    

    Definition Classes

    AnyRef

31. def toString(): String

    

    Definition Classes

    AnyRef → Any

32. final def wait(): Unit

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

35. def →[B](y: B): (DefaultHandlingOfMethodResults, B)

    

    Implicit information

    This member is added by an implicit conversion from DefaultHandlingOfMethodResults to ArrowAssoc[DefaultHandlingOfMethodResults] performed by method ArrowAssoc in scala.Predef.

    Definition Classes

    ArrowAssoc