From: Mark Wooding Date: Tue, 23 Jun 2020 09:29:08 +0000 (+0100) Subject: doc/concepts.tex: Emphasize a defining occurrence of `methods'. X-Git-Url: https://git.distorted.org.uk/~mdw/sod/commitdiff_plain/64d9458347710b87cb2ca9bf1ad8e2565060a866 doc/concepts.tex: Emphasize a defining occurrence of `methods'. --- diff --git a/doc/concepts.tex b/doc/concepts.tex index 1cf0476..fc83714 100644 --- a/doc/concepts.tex +++ b/doc/concepts.tex @@ -78,11 +78,11 @@ and a C value being returned to the sender. Every object is a \emph{direct instance} of exactly one \emph{class}. The class determines which slots its instances have, which messages its instances -can be sent, and which methods are invoked when those messages are received. -The Sod translator's main job is to read class definitions and convert them -into appropriate C declarations, tables, and functions. An object cannot -(usually) change its direct class, and the direct class of an object is not -affected by, for example, the static type of a pointer to it. +can be sent, and which \emph{methods} are invoked when those messages are +received. The Sod translator's main job is to read class definitions and +convert them into appropriate C declarations, tables, and functions. An +object cannot (usually) change its direct class, and the direct class of an +object is not affected by, for example, the static type of a pointer to it. If an object~$x$ is a direct instance of some class~$C$, then we say that $C$ is \emph{the class of}~$x$. Note that the class of an object is a property