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