ReturnInstructionsDomain

abstract def abruptMethodExecution(pc: PC, exceptionValue: (ReturnInstructionsDomain.this)#ExceptionValue): Unit

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

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

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

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

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

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

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

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

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

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

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

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

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

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(other: String): String

def ->[B](y: B): (ReturnInstructionsDomain, B)

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def ensuring(cond: (ReturnInstructionsDomain) ⇒ Boolean, msg: ⇒ Any): ReturnInstructionsDomain

def ensuring(cond: (ReturnInstructionsDomain) ⇒ Boolean): ReturnInstructionsDomain

def ensuring(cond: Boolean, msg: ⇒ Any): ReturnInstructionsDomain

def ensuring(cond: Boolean): ReturnInstructionsDomain

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def formatted(fmtstr: String): String

final def getClass(): Class[_]

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

Creates a computation object that encapsulates the result of a computation that may throw an IllegalMonitorStateException if a monitor is (potentially) used.

def hashCode(): Int

def initProperties(code: Code, cfJoins: BitSet, initialLocals: (ReturnInstructionsDomain.this)#Locals): Unit

Override this method to perform custom initialization steps.

final def isInstanceOf[T0]: Boolean

def isMonitorInstructionUsed: Boolean

def monitorenter(pc: PC, value: (ReturnInstructionsDomain.this)#DomainValue): Computation[Nothing, (ReturnInstructionsDomain.this)#ExceptionValue]

Handles a monitorenter instruction.

def monitorexit(pc: PC, value: (ReturnInstructionsDomain.this)#DomainValue): Computation[Nothing, (ReturnInstructionsDomain.this)#ExceptionValues]

Handles a monitorexit instruction.

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

var usesMonitorInstruction: Boolean

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def →[B](y: B): (ReturnInstructionsDomain, B)