1 19 20 25 26 27 28 29 30 package soot; 31 32 import soot.util.*; 33 import java.util.*; 34 35 36 public class AnySubType extends RefLikeType 37 { 38 private AnySubType( RefType base ) 39 { 40 this.base = base; 41 } 42 43 public static AnySubType v( RefType base ) { 44 if( base.getAnySubType() == null ) { 45 base.setAnySubType( new AnySubType( base ) ); 46 } 47 return base.getAnySubType(); 48 } 49 50 public String toString() 51 { 52 return "Any_subtype_of_"+base; 53 } 54 55 public void apply(Switch sw) 56 { 57 ((TypeSwitch) sw).caseAnySubType(this); 58 } 59 60 public Type getArrayElementType() { 61 throw new RuntimeException ( "Attempt to get array base type of a non-array" ); 62 } 63 public RefType getBase() { return base; } 64 public void setBase( RefType base ) { this.base = base; } 65 private RefType base; 66 } 67 | Popular Tags |