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

NumberedString(String s)

Method Summary

int	getNumber()
String	getString()
void	setNumber(int number)
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NumberedString

public NumberedString(String s)

Method Detail

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