1 19 20 package soot.jimple.toolkits.pointer; 21 import java.util.*; 22 import soot.*; 23 24 public class FullObjectSet extends Union { 25 public FullObjectSet( Singletons.Global g ) { 26 this( RefType.v( "java.lang.Object" ) ); 27 } 28 public static FullObjectSet v() { return G.v().soot_jimple_toolkits_pointer_FullObjectSet(); } 29 public static FullObjectSet v( RefType t ) { 30 if( t.getClassName().equals( "java.lang.Object" ) ) { 31 return v(); 32 } 33 return new FullObjectSet( t ); 34 } 35 private final Set types; 36 private FullObjectSet( RefType declaredType ) { 37 AnySubType type = AnySubType.v( declaredType ); 38 types = Collections.singleton( type ); 39 } 40 41 public AnySubType type() { return (AnySubType) types.iterator().next(); } 42 43 44 public boolean isEmpty() { 45 return false; 46 } 47 48 public boolean hasNonEmptyIntersection( PointsToSet other ) { 49 return other != null; 50 } 51 52 public Set possibleTypes() { 53 return types; 54 } 55 56 58 public boolean addAll( PointsToSet s ) { 59 return false; 60 } 61 62 public Set possibleStringConstants() { return null; } 63 public Set possibleClassConstants() { return null; } 64 } 65 66 | Popular Tags |