public abstract static class FunctionCalls.DefaultImplicitCallInfo extends java.lang.Object implements FunctionCalls.CallInfo
Constructor and Description |
---|
DefaultImplicitCallInfo(GenericSolver.SolverInterface c) |
Modifier and Type | Method and Description |
---|---|
boolean |
assumeFunction()
Assumes that a function is called.
|
ExecutionContext |
getExecutionContext()
Returns the execution context.
|
Value |
getFunctionValue()
Returns the abstract value describing which function to call.
|
AbstractNode |
getJSSourceNode()
Returns the node in the JavaScript code where this call originates from.
|
int |
getResultRegister()
Returns the result register.
|
AbstractNode |
getSourceNode()
Returns the node where the call originates from.
|
Value |
getThis()
Returns the value of 'this'.
|
boolean |
isConstructorCall()
Checks whether this is a constructor call or an ordinary call.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getArg, getNumberOfArgs, getUnknownArg, isUnknownNumberOfArgs
public DefaultImplicitCallInfo(GenericSolver.SolverInterface c)
public boolean assumeFunction()
FunctionCalls.CallInfo
assumeFunction
in interface FunctionCalls.CallInfo
public ExecutionContext getExecutionContext()
FunctionCalls.CallInfo
getExecutionContext
in interface FunctionCalls.CallInfo
public Value getFunctionValue()
FunctionCalls.CallInfo
getFunctionValue
in interface FunctionCalls.CallInfo
public AbstractNode getJSSourceNode()
FunctionCalls.CallInfo
getJSSourceNode
in interface FunctionCalls.CallInfo
public int getResultRegister()
FunctionCalls.CallInfo
getResultRegister
in interface FunctionCalls.CallInfo
public AbstractNode getSourceNode()
FunctionCalls.CallInfo
getSourceNode
in interface FunctionCalls.CallInfo
public Value getThis()
FunctionCalls.CallInfo
getThis
in interface FunctionCalls.CallInfo
public boolean isConstructorCall()
FunctionCalls.CallInfo
isConstructorCall
in interface FunctionCalls.CallInfo
Copyright © 2009-2019 Aarhus University