JML

net.sf.jml.util
Class StringHolder

java.lang.Object
  extended by net.sf.jml.util.StringHolder
All Implemented Interfaces:
Cloneable

public final class StringHolder
extends Object
implements Cloneable

Hold Strings.

Author:
Roger Chen

Constructor Summary
StringHolder()
           
 
Method Summary
 void clear()
           
 Object clone()
           
 int getIntProperty(String key)
           
 int getIntProperty(String key, int defaultValue)
           
 Map<String,String> getProperties()
           
 String getProperty(String key)
           
 void parseString(String s)
           
 void removeProperty(String key)
           
 void setProperty(String key, int value)
           
 void setProperty(String key, String value)
           
 String toString()
           
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

StringHolder

public StringHolder()
Method Detail

getProperties

public Map<String,String> getProperties()

getProperty

public String getProperty(String key)

getIntProperty

public int getIntProperty(String key)

getIntProperty

public int getIntProperty(String key,
                          int defaultValue)

setProperty

public void setProperty(String key,
                        String value)

setProperty

public void setProperty(String key,
                        int value)

removeProperty

public void removeProperty(String key)

clear

public void clear()

parseString

public void parseString(String s)

toString

public String toString()
Overrides:
toString in class Object

clone

public Object clone()
Overrides:
clone in class Object

JML