1 19 20 package soot.util; 21 import java.util.*; 22 23 27 28 public class StringNumberer extends ArrayNumberer { 29 HashMap stringToNumbered = new HashMap(1024); 30 31 public NumberedString find( String s ) { 32 NumberedString ret = (NumberedString) stringToNumbered.get( s ); 33 if( ret == null ) { 34 stringToNumbered.put( s, ret = new NumberedString(s) ); 35 add( ret ); 36 } 37 return ret; 38 } 39 public NumberedString findOrAdd( String s ) { 40 NumberedString ret = (NumberedString) stringToNumbered.get( s ); 41 if( ret == null ) { 42 stringToNumbered.put( s, ret = new NumberedString(s) ); 43 add( ret ); 44 } 45 return ret; 46 } 47 } 48 | Popular Tags |