MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / execute

Method execute

src/main/java/wyil/interpreter/Interpreter.java:205–207  ·  view source on GitHub ↗

Execute a function or method identified by a name and type signature with the given arguments, producing a return value or null (if none). If the function or method cannot be found, or the number of arguments is incorrect then an exception is thrown. @param nid The fully qualified identifier

(QualifiedName name, Type.Callable signature, CallStack frame, RValue... args)

Source from the content-addressed store, hash-verified

203 * @return
204 */
205 public RValue execute(QualifiedName name, Type.Callable signature, CallStack frame, RValue... args) {
206 return execute(name, signature, frame, globalHeap, args, null);
207 }
208
209 /**
210 * Execute a function or method identified by a name and type signature with the

Callers 4

executeInvokeMethod · 0.95
runMethod · 0.95
execWyilMethod · 0.95
executeIndirectInvokeMethod · 0.45

Calls 15

getCallableMethod · 0.95
extractParametersMethod · 0.95
checkPreconditionMethod · 0.95
executeBlockMethod · 0.95
checkInvariantsMethod · 0.95
packReturnsMethod · 0.95
executeExpressionMethod · 0.95
getModifiersMethod · 0.80
getQualifiedNameMethod · 0.80
putLocalMethod · 0.80
getEnsuresMethod · 0.80
boolValueMethod · 0.80

Tested by 1

execWyilMethod · 0.76