MCPcopy Create free account
hub / github.com/LFYSec/MScan / get

Method get

src/main/java/pascal/taie/World.java:94–96  ·  view source on GitHub ↗

@return the current World instance.

()

Source from the content-addressed store, hash-verified

92 * @return the current {@code World} instance.
93 */
94 public static World get() {
95 return theWorld;
96 }
97
98 public static void registerResetCallback(Runnable callback) {
99 resetCallbacks.add(callback);

Callers 15

setUpMethod · 0.95
testBottomTypeMethod · 0.95
testIRBuilderMethod · 0.95
testDefUseMethod · 0.95
testFunctionMethod · 0.95
testInterfaceMethod · 0.95
testMultiStatementMethod · 0.95
testWithArgsMethod · 0.95
testCaptureMethod · 0.95
beforeClassMethod · 0.95
testAnnotationMethod · 0.95
testAnnotationJavaMethod · 0.95

Calls

no outgoing calls

Tested by 15

setUpMethod · 0.76
testBottomTypeMethod · 0.76
testIRBuilderMethod · 0.76
testDefUseMethod · 0.76
testFunctionMethod · 0.76
testInterfaceMethod · 0.76
testMultiStatementMethod · 0.76
testWithArgsMethod · 0.76
testCaptureMethod · 0.76
beforeClassMethod · 0.76
testAnnotationMethod · 0.76
testAnnotationJavaMethod · 0.76