Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> enhydra >> tool >> [ common overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.enhydra.tool.common
Class ReplacementSet  

java.lang.Object
  org.enhydra.tool.common.ReplacementSet

---

public class ReplacementSet

extends java.lang.Object

ReplacementSet is a utility class for working with Replacement objects.

---

Field Summary
private  Replacement[]	replacements
(package private) static java.util.ResourceBundle	res

 

Constructor Summary

ReplacementSet()           Create an empty replacement set.

ReplacementSet(Replacement[] reps)

 

Method Summary
void	add(Replacement newRep)           Add a new generator replacement.
void	delete(java.lang.String find)           Remove the generator replacement that has the specified replacement name.
Replacement	lookup(java.lang.String find)           Get the generator replacement that has the specified replacement name.
Replacement[]	toArray()           Convert the option set into an array of individual GeneratorOption objects.
java.lang.String[][]	toStringArray()

 

Methods inherited from class java.lang.Object

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

 

Field Detail

res

static java.util.ResourceBundle res

---

replacements

private Replacement[] replacements

Constructor Detail

ReplacementSet

public ReplacementSet()

Create an empty replacement set.

---

ReplacementSet

public ReplacementSet(Replacement[] reps)

Method Detail

lookup

public Replacement lookup(java.lang.String find)
                   throws ToolException

Get the generator replacement that has the specified replacement name.

---

delete

public void delete(java.lang.String find)
            throws ToolException

Remove the generator replacement that has the specified replacement name.

---

add

public void add(Replacement newRep)
         throws ToolException

Add a new generator replacement.

---

toArray

public Replacement[] toArray()

Convert the option set into an array of individual GeneratorOption objects.

---

toStringArray

public java.lang.String[][] toStringArray()

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> enhydra >> tool >> [ common overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---