public void outANullBaseType(ANullBaseType node) { mProductions.addLast(NullType.v()); }
public TaintFact createZeroValue() { return new TaintFact( new JimpleLocal("<<zero>>", NullType.v()), Collections.<DefinitionStmt>emptySet()); }