--- freem/doc/freem.texi 2025/05/05 04:46:35 1.42 +++ freem/doc/freem.texi 2025/05/05 12:34:02 1.45 @@ -4,8 +4,7 @@ @settitle The FreeM Manual @copying -This manual is for FreeM, (version 0.64.0-rc1), which is a free software@footnote{FreeM subscribes to the software licensing philosophy described in @emph{Free Software, Free Society: -Selected Essays of Richard M. Stallman}.} implementation of the M programming language. +This manual is for FreeM, (version 0.64.0-rc1), which is a free software implementation of the M programming language. Print-optimized versions of this book are typeset in @emph{Computer Modern} by the author using the @emph{GNU Texinfo} tools. @@ -4590,7 +4589,7 @@ SET MYSTRING="This is a ""string literal @cindex types, custom @cindex classes -See @ref{Classes}. +See @ref{Object-Oriented Programming}. @node Globals @chapter Globals @@ -4946,19 +4945,15 @@ If you use other M implementations, you @cindex programming, object-oriented @menu -* Classes:: The basis of object-oriented programming. -* Inheritance:: Basing one class upon another. -* Methods:: Attaching code to a class. -* Public and Private Variables:: Managing class member access. -* Instantiating Objects:: Creating instances of classes. -* Determining Object Class:: Getting object information at runtime. +* Classes:: The organizing concept of object-oriented programming. +* Inheritance:: Making one class derive from another. +* Methods:: Attach code to classes. +* Public and Private Variables:: Determining accessibility. +* Instantiating Objects:: Creating instances of classes. @end menu @node Classes @section Classes - - -@node Class Overview @subsection Class Overview A @emph{class} is the primary organizing concept of FreeM support for object-oriented programming, and in FreeM, is simply an M routine with a few special properties: @@ -4976,7 +4971,6 @@ DESTROY(THIS) ; This is the destructor The above example demonstrates general class syntax. -@node Constructors @subsection Constructors A @emph{constructor} is an M entry point that is called when a new instance of a class is created. @@ -5001,7 +4995,6 @@ A constructor looks like this: In the above example, @emph{} represents the name of a class from which this class should inherit. In this case, the @code{FRACTION} class inherits from the @code{OBJECT} class. Note that this is not strictly necessary in this case, as all classes in FreeM automatically inherit from @code{OBJECT}. -@node Destructors @subsection Destructors A @code{destructor} is called when you @code{KILL} an instance variable. Its tag must be @code{DESTROY}, and it must take one argument (@code{THIS}). @@ -5028,7 +5021,6 @@ Inheritance is achieved by specifying th CLASS(THIS,INIT):SUPERCLASS @end example -@node Runtime Polymorphism @subsection Runtime Polymorphism You can achieve runtime polymorphism by subclassing, and defining methods in the subclass that match the names of existing methods in the superclass. Following FreeM inheritance rules, the overridden method in the subclass will be called, and the method in the superclass will not. @@ -5058,7 +5050,7 @@ DEFAULT.USER> W MYOBJ.MYMETHOD() VALUE @end example -@node Public and Private Variables +@node Public and Private Variables @section Public and Private Variables FreeM supports private fields with the @code{:PRIVATE} specifier in the @code{SET} command, enforcing classical object-oriented data encapsulation. The @code{:PUBLIC} specifier is provided for completeness, and is the default. @@ -5092,8 +5084,7 @@ NEW MYSTR=$#^%STRING("myString") This will create a local variable called MYSTR of type STRING, and initialize it with the value myString. -@node Determining Object Class -@section Determining Object Class +@subsection Determining Object Class To determine the class of any FreeM local variable, you will use the @code{$$TYPE()} method: