Extending ADT sub-classes represented as SysML Blocks with redefined wrapped ‘$$’

Gallery
Tutorial
[TECHNICAL SLIDE TRAIL] The Webel libraries for Wolfram Mathematica: With SysMLv1 models.
Section
SECTION: The Webel Abstract Data Type (ADT) stateless pseudo-classes with inheritance (with SysMLv1 models)
UML keywords
Generalization
Property::redefinedProperty
Webel Mathematica keywords
ADT`
Webel ADT
ADT$List
ADT$Map
Keywords
Click on the image to view it full size
Up next
Webel «adt:pseudo» elements in the SysMLv1 ADT model (1)
Notes
[EXPLANATION]{INFORMATIVE} Mathematica: Webel ADT: The term 'Abstract Data Types (ADT)' is used informally (the Webel ADTs do not always adhere to strict definitions of ADTs). Please just think of it here as meaning a strong type or stateless "pseudo class".
[POLICY]{STRICT} Mathematica: Webel ADT pseudo classes: POLICY: The expression '$$' is reserved as the primary named parameter for the defining pattern of all ADT classes that extend the universal base 'ADT' class.
[CONVENTION, POLICY, TIP]{STRICT} Mathematica: Webel ADT pseudo classes: A tricky POLICY & CONVENTION: Client packages MUST access the special "wrapped" primary '$$' via $ContextAliases! The recommended alias is "A`" (which stands of course for ADT).
[CONVENTION, MODELLING, NAMING]{STRICT} Webel: SysML4Mathematica: An Association used as the Type of an argument or return is represented by a Block '<||>'. A List used as as the Type of an argument or return is represented by a Block '{}'. (Extending types may adapt the notation.)
Snippets (quotes/extracts)
Visit also
Mathematica: POLICY NOTES for the Webel Abstract Data Type (ADT) pseudo classes with inheritance for the Wolfram Language
Dr Darren of Webel IT Australia makes the case for better object-orientation for Mathematica using pseudo class ADTs without losing the super-functional power of the Wolfram Language
Visit also (backlinks)
Related slides (includes other tutorials)
Introduction to Webel Abstract Data Types (ADTs) with SysMLv1 models
Webel Abstract Data Types (ADTs) vs the user-contributed MTools for OO
Webel ADTs include inheritance (and aren’t actually formal ADTs)
Webel ADT hierarchy views as tree, graph, and SysML
Webel ADT`package: Some ADT pseudo class utility functions in a ::usage help viewer. Diagnostic, help, and development functions.
Classes in the ADT` package: Extendable ADT pseudo classes have corresponding "definer functions"
Simple Webel ADT in the development view dV[adt] and class/methods help hC[adt]
Related slides (backlinks, includes other tutorials)