: Public <<type>> Class
A ScopedName is a composite of a LocalName for anther NameSpace and a GenericName valid in that NameSpace.<br/><br/>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/><br/>
- Operations
- Tagged Values
- Constraints
- Advanced
- Other Links
| 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.<br/>
|
|
Public
push(  new: GenericName,
| Default: |
|
| Kind: |
inout |
| Stereotype: |
|
|
|
):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/><br/><br/><br/>push().tail = self<br/><br/><br/><br/><br/><br/>push(S:Scope).head() = S<br/>
|
|
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. <br/>
|
|
Public
tail():GenericName
|
Details:
Sequential
|
Notes:
|
tail will be the name of the next layer down the resolution chain. <br/>If depth = 2, the tail will be the local name in the target scope of the physical object. <br/>Otherwise, the tail is the scoped name within the scope for which "head" is the local name (essentially a proxy).<br/>
|
|
| Tag |
Value |
| persistence |
persistent |
Details:
|
| Constraint |
Type |
Status |
| head().scope = scope |
Invariant |
Superseeded |
Details:
|
| push(head()).tail = self |
Invariant |
Superseeded |
Details:
|
| push(S:Scope).scope = S |
Invariant |
Superseeded |
Details:
|
| Property |
Value |
| isFinalSpecialization: |
0 |