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://www.chiark.greenend.org.uk/ucgi/~mdw/git/sod/commitdiff_plain/254bd05261479f0af6b90c6140000e23d54c691b?ds=sidebyside doc/concepts.tex: Emphasize a defining occurrence of `methods'. --- diff --git a/doc/concepts.tex b/doc/concepts.tex index cabb1ab..95a0891 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