Package soot.util

Class 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 Detail

      • NumberedString

        public NumberedString​(String s)