1 19 20 package soot.jimple.spark.sets; 21 import soot.*; 22 import soot.jimple.spark.*; 23 import soot.jimple.spark.pag.Node; 24 import java.util.*; 25 26 29 public class EmptyPointsToSet extends PointsToSetInternal { 30 public EmptyPointsToSet( Singletons.Global g ) { super(null); } 31 public static EmptyPointsToSet v() { return G.v().soot_jimple_spark_sets_EmptyPointsToSet(); } 32 33 34 public boolean isEmpty() { return true; } 35 36 public boolean hasNonEmptyIntersection( PointsToSet other ) { 37 return false; 38 } 39 40 public Set possibleTypes() { return Collections.EMPTY_SET; } 41 43 public boolean addAll( PointsToSetInternal other, 44 PointsToSetInternal exclude ) { 45 throw new RuntimeException ( "can't add into empty immutable set" ); 46 } 47 48 public boolean forall( P2SetVisitor v ) { 49 return false; 50 } 51 52 public boolean add( Node n ) { 53 throw new RuntimeException ( "can't add into empty immutable set" ); 54 } 55 56 public boolean contains( Node n ) { 57 return false; 58 } 59 60 public Set possibleStringConstants() { return Collections.EMPTY_SET; } 61 public Set possibleClassConstants() { return Collections.EMPTY_SET; } 62 63 } 64 65 | Popular Tags |