EDU.utwente.CoCompose.util
Class Identifier
java.lang.Object
|
+--EDU.utwente.CoCompose.util.UniqueString
|
+--EDU.utwente.CoCompose.util.Identifier
- public class Identifier
- extends UniqueString
Represents a valid programming language identifier.
- Version:
- 0.1.06, 7 February 2003
- Author:
- Dennis Wagelaar
Method Summary |
void |
setValue(java.lang.String value)
Sets the string value. |
protected boolean |
valueOk(java.lang.String value)
Check whether the string value is a valid identifier. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Identifier
public Identifier(UniqueRealm realm)
throws CoComposeException
- Constructs an Identifier.
- Parameters:
realm
- The realm in which the value has to be unique.- Throws:
CoComposeException
- if the new identifier ("") is not unique or valid.
Identifier
public Identifier(UniqueRealm realm,
java.lang.String value)
throws CoComposeException
- Constructs a Identifier.
- Parameters:
realm
- The realm in which the value has to be unique.value
- The value to set this string to.- Throws:
CoComposeException
- if the new identifier is not unique or valid.
valueOk
protected boolean valueOk(java.lang.String value)
- Check whether the string value is a valid identifier.
- Parameters:
value
- The string value.- Returns:
- True if and only if the string value is valid.
setValue
public void setValue(java.lang.String value)
throws CoComposeException
- Sets the string value.
- Overrides:
setValue
in class UniqueString
- Parameters:
value
- The new string value.- Throws:
CoComposeException
- if the new value is not unique or valid.