: Public <<type>> Class
Created: 10-04-2008 12:15:52
Modified: 01-06-2009 21:43:37
Project:
Advanced:
A ScopedName is a composite of a LocalName for anther NameSpace and a GenericName valid in that NameSpace.<br /></p><p><br /></p><p>This is the value returned by the getObject() operations. In a cascade for of TypeNames and Attribute names, the usual notation is a sequence of name separated by dots ".".<br /></p>
Operation
Public
head():LocalName
Details:
Sequential
Notes: head returns a local name that is the proxy for the next scope down the resolution chain to the actual stored object.
Public
push( new: GenericName,
):ScopedName
Details:
Sequential
Notes: Push goes to the scope passed and finds its parent scope and creates a new ScopedName valid in the new scope where the head is the local name in the new scope for the current scope. <br /></p><p><br /></p><p><br /></p><p><br /></p><p>push().tail = self<br /></p><p><br /></p><p><br /></p><p><br /></p><p><br /></p><p><br /></p><p>push(S:Scope).head() = S<br /></p>
Public
scopedName():CharacterString
Details:
Sequential
Notes: The scopedName() operations returns a character string that consist of a parsible string which can be stripped by navigation through a sequence of NameSpaces to find the final target of the name.
Public
tail():GenericName
Details:
Sequential
Notes: tail will be the name of the next layer down the resolution chain. <br /></p><p>If depth = 2, the tail will be the local name in the target scope of the physical object. <br /></p><p>Otherwise, the tail is the scoped name within the scope for which "head" is the local name (essentially a proxy).<br /></p>
Tag Value
persistence persistent
Details:
 
Constraint Type Status
head().scope = scope Invariant Approved
Details:
 
push(head()).tail = self Invariant Approved
Details:
 
push(S:Scope).scope = S Invariant Approved
Details:
 
Object Type Connection Direction Notes
«type» GenericName Class Generalization To