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

Constructor Summary
Identifier(UniqueRealm realm)
          Constructs an Identifier.
Identifier(UniqueRealm realm, java.lang.String value)
          Constructs a Identifier.
 
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 EDU.utwente.CoCompose.util.UniqueString
getValue
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

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.
Method Detail

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.