Version 31 (modified by archibald, 8 years ago) (diff) |
---|
Table of Contents
Pages linking to NameSpaces:
ClassDefinition
CompileTimeTypeChecking
DataTypes
EnterTheIdeaBase
EnumDefinition
ExpressionSyntax
FiniteStateMachines
NotationExplaination
SignalDefinition
SingletonDefinition
TypeDefinition
WhatAboutIdentifiers
compoundStatementsLlambdas
ClassDefinition
CompileTimeTypeChecking
DataTypes
EnterTheIdeaBase
EnumDefinition
ExpressionSyntax
FiniteStateMachines
NotationExplaination
SignalDefinition
SingletonDefinition
TypeDefinition
WhatAboutIdentifiers
compoundStatementsLlambdas
1) Namespaces
Namespaces : Context
We need to create name spaces.
Namespaces are
- commonly structured as hierarchies to allow reuse of names in different contexts.
- typically employed for the purpose of grouping symbols and identifiers around a particular functionality and to avoid name collisions between multiple identifiers that share the same name.
- hierarchical, ie sets of namespaces can be nested within another namespace
Namespaces : Examples
In TDX
NAMESPACE $project
Puts anything following in the current project context
NAMESPACE $project:subComponent | NAMESPACE subComponent |
Puts everyting that follows
In VDX
Namespaces : Semantics
Namespaces : Data Definition
To store namespaces we need a structure similar to that detailed below ... explaination of the notation
In TDX
NAMESPACE $project:tdx - $system:lang // however $project is implied and not really needed SINGLETON design namespace ourNameSpaces = NEW namespace("system") SYNTAX textualDesignClause := ( designClause )+; designClause := namespaceClause ( designComponentClause )+; designComponentClause := ... ; CLASS namespace(ubyte$ name) namespace{} subSpaces namespace(namespace) addNamespace(newNameSpace) = { subSpaces->add(newNameSpace) RETURN newNameSpace } SYNTAX namespaceClause := "NAMESPACE" newNameSpaceClause ( "-" ( existingNameClause )+ ); newNameSpaceClause := ( "$" ident ( ":" ident )* | ident ( ":" ident )+ ); existingNameClause := ( "$" ident ( ":" ident )* | ident ( ":" ident )+ );
In VDX
Namespaces : Syntax
INFORMATION MODEL
PROCEDURAL MODEL
(2) Types
(3) Enums
(4) Signals
(5) Singletons
(6) Classes
Attachments
- existingNamespaceClause.png (28.1 KB) - added by archibald 8 years ago.
- namespaceClause.png (15.1 KB) - added by archibald 8 years ago.
- newNamespaceClause.png (27.0 KB) - added by archibald 8 years ago.
- namespace.png (27.4 KB) - added by archibald 8 years ago.