|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ec.util.Parameter
A Parameter is an object which the ParameterDatabase class uses as a key to associate with strings, forming a key-value pair. Parameters are designed to be hierarchical in nature, consisting of "path items" separated by a path separator. Parameters are created either from a single path item, from an array of path items, or both. For example, a parameter with the path foo.bar.baz might be created from new Parameter(new String[] {"foo","bar","baz"})
Parameters are not mutable -- but once a parameter is created, path items may be pushed an popped from it, forming a new parameter. For example, if a parameter p consists of the path foo.bar.baz, p.pop() results in a new parameter whose path is foo.bar This pushing and popping isn't cheap, so be sparing.
Because this system internally uses "." as its path separator, you should not use that character in parts of the path that you provide; however if you need some other path separator, you can change the delimiter in the code trivially. In fact, you can create a new Parameter with a path foo.bar.baz simply by calling new Parameter("foo.bar.baz") but you'd better know what you're doing.
Additionally, parameters must not contain "#", "=", non-ascii values, or whitespace. Yes, a parameter path item may be empty.
Field Summary | |
static char |
delimiter
|
java.lang.String |
param
|
Constructor Summary | |
Parameter(java.lang.String s)
Creates a new parameter from the single path item in s. |
|
Parameter(java.lang.String[] s)
Creates a new parameter by joining the path items in s into a single path. |
|
Parameter(java.lang.String s,
java.lang.String[] s2)
Creates a new parameter from the path item in s, plus the path items in s2. |
Method Summary | |
Parameter |
pop()
Returns a new parameter with one path item popped off the end. |
Parameter |
popn(int n)
Returns a new parameter with n path items popped off the end. |
Parameter |
push(java.lang.String s)
Returns a new parameter with s added to the end of the current path items. |
Parameter |
push(java.lang.String[] s)
Returns a new parameter with the path items in s added to the end of the current path items. |
java.lang.String |
top()
Returns the path item at the far end of the parameter. |
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
wait,
wait,
wait |
Field Detail |
public java.lang.String param
public static final char delimiter
Constructor Detail |
public Parameter(java.lang.String[] s) throws BadParameterException
public Parameter(java.lang.String s) throws BadParameterException
public Parameter(java.lang.String s, java.lang.String[] s2)
Method Detail |
public Parameter push(java.lang.String s)
public Parameter push(java.lang.String[] s)
public Parameter pop()
public Parameter popn(int n)
public java.lang.String top()
public java.lang.String toString()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |