1 19 20 25 26 27 28 29 30 package soot; 31 import soot.*; 32 33 import soot.util.*; 34 import java.util.*; 35 36 37 41 public class NullType extends RefLikeType 42 { 43 public NullType( Singletons.Global g ) {} 44 public static NullType v() { return G.v().soot_NullType(); } 45 46 public int hashCode() 47 { 48 return 0x9891DFE1; 49 } 50 51 public boolean equals(Object t) 52 { 53 return this == t; 54 } 55 56 public String toString() 57 { 58 return "null_type"; 59 } 60 61 public void apply(Switch sw) 62 { 63 ((TypeSwitch) sw).caseNullType(this); 64 } 65 66 public Type getArrayElementType() { 67 throw new RuntimeException ( "Attempt to get array base type of a non-array" ); 68 } 69 } 70 | Popular Tags |