コード例 #1
0
 public TaintFact createZeroValue() {
   return new TaintFact(
       new JimpleLocal("<<zero>>", NullType.v()), Collections.<DefinitionStmt>emptySet());
 }
コード例 #2
0
ファイル: Walker.java プロジェクト: safdariqbal/soot 
 public void outANullBaseType(ANullBaseType node) {
   mProductions.addLast(NullType.v());
 }
コード例 #3
0
 @Override
 public JsonType visitNull(NullType nullType, Void o) {
   throw new UnsupportedOperationException(nullType.toString());
 }