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