Searched defs:NullnessStore (Results 1 – 1 of 1) sorted by relevance
44 public class NullnessStore implements Store<NullnessStore> { class50 private NullnessStore(Map<AccessPath, Nullness> contents) { in NullnessStore() method in NullnessStore215 public String visualize(CFGVisualizer<?, NullnessStore, ?> viz) { in visualize() argument