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, waitgetArg, getNumberOfArgs, getUnknownArg, isUnknownNumberOfArgspublic DefaultImplicitCallInfo(GenericSolver.SolverInterface c)
public boolean assumeFunction()
FunctionCalls.CallInfoassumeFunction in interface FunctionCalls.CallInfopublic ExecutionContext getExecutionContext()
FunctionCalls.CallInfogetExecutionContext in interface FunctionCalls.CallInfopublic Value getFunctionValue()
FunctionCalls.CallInfogetFunctionValue in interface FunctionCalls.CallInfopublic AbstractNode getJSSourceNode()
FunctionCalls.CallInfogetJSSourceNode in interface FunctionCalls.CallInfopublic int getResultRegister()
FunctionCalls.CallInfogetResultRegister in interface FunctionCalls.CallInfopublic AbstractNode getSourceNode()
FunctionCalls.CallInfogetSourceNode in interface FunctionCalls.CallInfopublic Value getThis()
FunctionCalls.CallInfogetThis in interface FunctionCalls.CallInfopublic boolean isConstructorCall()
FunctionCalls.CallInfoisConstructorCall in interface FunctionCalls.CallInfoCopyright © 2009-2019 Aarhus University