public boolean isEmpty() { if (subsets == null) { return true; } for (PointsToSet subset : subsets) { if (!subset.isEmpty()) { return false; } } return true; }
/** Returns a set of base objects whose field f is read/written. */ public PointsToSet getBaseForField(Object f) { Union ret = null; for (RWSet s : sets) { PointsToSet os = s.getBaseForField(f); if (os == null) { continue; } if (os.isEmpty()) { continue; } if (ret == null) { ret = G.v().Union_factory.newUnion(); } ret.addAll(os); } return ret; }
/** Returns a set of base objects whose field f is read/written. */ public PointsToSet getBaseForField( Object f ) { Union ret = null; for (RWSet s : sets) { PointsToSet os = s.getBaseForField( f ); if( os == null ) continue; if( os.isEmpty() ) continue; if( ret == null ) ret = G.v().Union_factory.newUnion(); ret.addAll( os ); } return ret; }
/** Returns a set of base objects whose field f is read/written. */ public PointsToSet getBaseForField( Object f ) { Union ret = null; for (RWSet s : sets) { PointsToSet os = s.getBaseForField( f ); if( os == null ) continue; if( os.isEmpty() ) continue; if( ret == null ) ret = G.v().Union_factory.newUnion(); ret.addAll( os ); } return ret; }