1 19 20 package soot.jimple.toolkits.pointer; 21 import java.util.*; 22 import soot.*; 23 24 25 public abstract class RWSet { 26 public abstract boolean getCallsNative(); 27 public abstract boolean setCallsNative(); 28 29 30 public abstract Set getGlobals(); 31 public abstract Set getFields(); 32 public abstract PointsToSet getBaseForField( Object f ); 33 public abstract boolean hasNonEmptyIntersection( RWSet other ); 34 35 public abstract boolean union( RWSet other ); 36 public abstract boolean addGlobal( SootField global ); 37 public abstract boolean addFieldRef( PointsToSet otherBase, Object field ); 38 public abstract boolean isEquivTo( RWSet other ); 39 } 40 | Popular Tags |