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

Method addStdNatives

src/main/java/wyc/Executor.java:96–100  ·  view source on GitHub ↗
(Interpreter interpreter)

Source from the content-addressed store, hash-verified

94 }
95
96 private void addStdNatives(Interpreter interpreter) {
97 interpreter.bindNative(QualifiedName.fromString("std::io::print"), Executor::stdIoPrint);
98 interpreter.bindNative(QualifiedName.fromString("std::io::println"), Executor::stdIoPrintLn);
99 //interpreter.bindNative(QualifiedName.fromString("std::fs::open"), Executor::stdFsOpen);
100 }
101
102
103 private static RValue stdIoPrint(Heap heap, RValue[] args) {

Callers 1

runMethod · 0.95

Calls 2

fromStringMethod · 0.95
bindNativeMethod · 0.80

Tested by

no test coverage detected