public TaintFact createZeroValue() {
return new TaintFact(
new JimpleLocal("<<zero>>", NullType.v()), Collections.<DefinitionStmt>emptySet());
}
public void outANullBaseType(ANullBaseType node) {
mProductions.addLast(NullType.v());
}
@Override
public JsonType visitNull(NullType nullType, Void o) {
throw new UnsupportedOperationException(nullType.toString());
}