Package com.tonic.analysis.execution.invoke

Class InvocationResult

java.lang.Object

com.tonic.analysis.execution.invoke.InvocationResult

public final class InvocationResult
extends Object

Outcome of a method invocation attempt, pairing a status with the value, exception, or frame it produced.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	InvocationResult.Status	Outcome category of an invocation attempt.

Method Summary

Modifier and Type	Method	Description
static InvocationResult	completed(ConcreteValue value)	Creates a result for a call that completed normally.
static InvocationResult	delegated()	Creates a result marking the call as handed off to an external executor.
static InvocationResult	exception(ObjectInstance ex)	Creates a result for a call that raised a guest exception.
ObjectInstance	getException()
StackFrame	getNewFrame()
ConcreteValue	getReturnValue()
InvocationResult.Status	getStatus()
boolean	isCompleted()
boolean	isDelegated()
boolean	isException()
boolean	isNativeHandled()
boolean	isPushFrame()
static InvocationResult	nativeHandled(ConcreteValue value)	Creates a result for a call satisfied by a native handler.
static InvocationResult	pushFrame(StackFrame frame)	Creates a result instructing the interpreter to execute the given callee frame.
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

completed

public static InvocationResult completed(ConcreteValue value)

Creates a result for a call that completed normally.

Parameters:

value - the return value, or null for void

Returns:

the completed result

pushFrame

public static InvocationResult pushFrame(StackFrame frame)

Creates a result instructing the interpreter to execute the given callee frame.

Parameters:

frame - the frame to push

Returns:

the push-frame result

Throws:

IllegalArgumentException - if frame is null

delegated

public static InvocationResult delegated()

Creates a result marking the call as handed off to an external executor.

Returns:

the delegated result

nativeHandled

public static InvocationResult nativeHandled(ConcreteValue value)

Creates a result for a call satisfied by a native handler.

Parameters:

value - the handler's return value, or null for void

Returns:

the native-handled result

exception

public static InvocationResult exception(ObjectInstance ex)

Creates a result for a call that raised a guest exception.

Parameters:

ex - the thrown guest exception instance

Returns:

the exception result

Throws:

IllegalArgumentException - if ex is null

getStatus

public InvocationResult.Status getStatus()

Returns:

the status

getReturnValue

public ConcreteValue getReturnValue()

Returns:

the return value

getException

public ObjectInstance getException()

Returns:

the exception

getNewFrame

public StackFrame getNewFrame()

Returns:

the new frame

isCompleted

public boolean isCompleted()

Returns:

true if the status is COMPLETED

isPushFrame

public boolean isPushFrame()

Returns:

true if the status is PUSH_FRAME

isDelegated

public boolean isDelegated()

Returns:

true if the status is DELEGATED

isNativeHandled

public boolean isNativeHandled()

Returns:

true if the status is NATIVE_HANDLED

isException

public boolean isException()

Returns:

true if the status is EXCEPTION

toString

public String toString()

Overrides:

toString in class Object