Mathematica: NAMING CONVENTION: Webel: ADT pseudo classes: An UpValue that can be invoked on an ADT accepting its unique 'signature' pattern as (at least) 1st argument is called an "ADT-method"'. They are NOT methods in the general object-oriented sense!

Webel IT Australia promotes the amazing Mathematica tool and the powerful Wolfram Language and offers professional Mathematica services for computational computing and data analysis. Our Mathematica tips, issue tracking, and wishlist is offered here most constructively to help improve the tool and language and support the Mathematica user community.
DISCLAIMER: Wolfram Research does not officially endorse analysis by Webel IT Australia.
Icon class
icon_class
far fa-sticky-note
icon_class_computed
far fa-sticky-note
Note kind
CONVENTION
NAMING
Policy level
STRICT
Keywords
Example: In the Webel recipe for pseudo-class ADTs the get and head UpValues below are called ADT-methods. In this example they are generated by the base definer: 

adt$def$ADT[
  class_Symbol,
  $usage_String,
  pattern_,
  isAllSuper:(True|False):False
] := Module[{ ...},
...
  class /: get[pattern] := $$;
  class /: head[pattern] := Head[$$];
...
  pattern
];
The stringLength UpValue below is called an ADT-method: 

pattern = adt$def$ADT[MY$ADT$String,
  "An ADT that carries a String",
  MY$ADT$String[$$_String],
  True
];
MY$ADT$String /: stringLength[pattern] := StringLength[$$]; 


my$adt$s = MY$ADT$String["string1"];

stringLength[my$adt$s]

7
Relates to
[STUB] TRAIL: Mathematica: The Webel recipe for Abstract Data Type (ADT) pseudo classes with inheritance for the Wolfram Language
Related notes
[CONVENTION, POLICY]{STRICT} Mathematica: Webel: ADT pseudo classes: POLICY: Every named concrete Abstract Data Type (ADT) class has a ONE unique "signature" (which is the pattern passed to the "definer" functions). To vary a signature, define another unique ADT class name.
[CONVENTION, POLICY]{STRICT} Mathematica: Webel: ADT pseudo classes: POLICY: The Abstract Data Types (ADTs) are stateless functional (although inheritance and overrides are supported), with no caching by default (although there is nice optional caching using CreateUUID[] and Once[]).
[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.
[POLICY]{STRICT} Mathematica: Webel: ADT pseudo classes: There is an 'ADT' universal base class that has no supers. It "blesses" every other sub-class ADT by populating it with some common ADT-method UpValues against its signature pattern via the 'adt$def$All[]' definer.
Related notes (backlinks)
Related snippets (extracts)
Visit also
Visit also (backlinks)