: Public abstract Interface
Created: 23.5.2022 18.05.03
Modified: 1.8.2022 13.54.00
Project:
Advanced:
ScopedName is a composite of a LocalName for locating another NameSpace and a GenericName valid in that NameSpace. ScopedName contains a LocalName as head and a GenericName, which might be a LocalName or a ScopedName, as tail.<br/>
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,
):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:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
GenericName Interface Generalization To