soot.util
Class NumberedString
java.lang.Object
|
+--soot.util.NumberedString
- public final class NumberedString
- extends java.lang.Object
- implements Numberable
A class that assigns integers to java.lang.Strings.
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
NumberedString
public NumberedString(java.lang.String s)
toString
public final java.lang.String toString()
- Overrides:
- toString in class java.lang.Object
getString
public final java.lang.String getString()
setNumber
public final void setNumber(int number)
- Specified by:
- setNumber in interface Numberable
getNumber
public final int getNumber()
- Specified by:
- getNumber in interface Numberable