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

Method set

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

Sets current world to world.

(World world)

Source from the content-addressed store, hash-verified

85 * Sets current world to {@code world}.
86 */
87 public static void set(World world) {
88 theWorld = world;
89 }
90
91 /**
92 * @return the current {@code World} instance.

Callers 3

compareIRMethod · 0.95
loadCacheMethod · 0.95
buildMethod · 0.95

Calls

no outgoing calls

Tested by 1

compareIRMethod · 0.76