1 19 20 package soot.jimple.toolkits.pointer; 21 import java.util.*; 22 import soot.*; 23 24 public class FullRWSet extends RWSet { 25 public boolean getCallsNative() { 26 return true; 27 } 28 public boolean setCallsNative() { 29 throw new RuntimeException ( "Unsupported" ); 30 } 31 32 33 public Set getGlobals() { 34 throw new RuntimeException ( "Unsupported" ); 35 } 36 public Set getFields() { 37 throw new RuntimeException ( "Unsupported" ); 38 } 39 public PointsToSet getBaseForField( Object f ) { 40 throw new RuntimeException ( "Unsupported" ); 41 } 42 public boolean hasNonEmptyIntersection( RWSet other ) { 43 if( other == null ) return false; 44 return true; 45 } 46 47 public boolean union( RWSet other ) { 48 throw new RuntimeException ( "Unsupported" ); 49 } 50 public boolean addGlobal( SootField global ) { 51 throw new RuntimeException ( "Unsupported" ); 52 } 53 public boolean addFieldRef( PointsToSet otherBase, Object field ) { 54 throw new RuntimeException ( "Unsupported" ); 55 } 56 public boolean isEquivTo( RWSet other ) { 57 if( other instanceof FullRWSet ) return true; 58 return false; 59 } 60 } 61 | Popular Tags |