Package 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
-
-
Constructor Summary
Constructors Constructor Description NumberedString(String s)
-
-
-
Constructor Detail
-
NumberedString
public NumberedString(String s)
-
-
Method Detail
-
setNumber
public final void setNumber(int number)
- Specified by:
setNumberin interfaceNumberable
-
getNumber
public final int getNumber()
- Specified by:
getNumberin interfaceNumberable
-
getString
public final String getString()
-
-