soot.util
Class NumberedString
java.lang.Object
soot.util.NumberedString
- All Implemented Interfaces:
- Numberable
public final class NumberedString
- extends Object
- implements Numberable
A class that assigns integers to java.lang.Strings.
- Author:
- Ondrej Lhotak
NumberedString
public NumberedString(String s)
toString
public final String toString()
- Overrides:
toString
in class Object
getString
public final 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