mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-03-22 23:04:12 -07:00
Code Issues Projects Releases Wiki Activity

Avoid duplicate tag nams.

Browse source 
Copied from Perforce
 Change: 194081
This commit is contained in:
Gareth Rees 2018-06-22 09:45:24 +01:00
parent 4d197feb99
commit 30245c19b1
2 changed files with 17 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

6
mps/code/protocol.h
View file

@ -1,7 +1,7 @@
/* protocol.h: PROTOCOL INHERITANCE DEFINITIONS
*
* $Id$
* Copyright (c) 2001-2016 Ravenbrook Limited. See end of file for license.
* Copyright (c) 2001-2018 Ravenbrook Limited. See end of file for license.
*
* See design.mps.protocol.
*/
@ -292,7 +292,7 @@ extern void ClassRegister(InstClass klass);
*
* This should only be used when specialising an instance to be a
* member of a subclass, once the instance has been initialized. See
* design.mps.protocol.if.set-class.
* design.mps.protocol.if.set-class-of-poly.
*/
#define SetClassOfPoly(inst, _class) \
@ -332,7 +332,7 @@ extern void ClassRegister(InstClass klass);
/* C. COPYRIGHT AND LICENSE
*
* Copyright (C) 2001-2016 Ravenbrook Limited <http://www.ravenbrook.com/>.
* Copyright (C) 2001-2018 Ravenbrook Limited <http://www.ravenbrook.com/>.
* All rights reserved. This is an open source license. Contact
* Ravenbrook for commercial licensing options.
*

27
mps/design/protocol.txt
View file

@ -395,34 +395,35 @@ functions.
``SuperclassPoly(kind, class)``
_`.if.superclass`: An introspection function which returns the direct
superclass of class object ``class`` as a class of kind ``kind``.
This may assert if the superclass is not (a subtype of) the kind
requested.
_`.if.superclass-poly`: An introspection function which returns the
direct superclass of class object ``class`` as a class of kind
``kind``. This may assert if the superclass is not (a subtype of) the
kind requested.
``ClassOfPoly(kind, inst)``
_`.if.class`: An introspection function which returns the class of
which ``inst`` is a direct instance, as a class of kind ``kind``.
This may assert if the class is not (a subtype of) the kind requested.
_`.if.class-of-poly`: An introspection function which returns the
class of which ``inst`` is a direct instance, as a class of kind
``kind``. This may assert if the class is not (a subtype of) the kind
requested.
``SetClassOfPoly(inst, class)``
_`.if.set-class`: An initialization function that sets the class of
``inst`` to be ``class``. This is intended only for use in
_`.if.set-class-of-poly`: An initialization function that sets the
class of ``inst`` to be ``class``. This is intended only for use in
initialization functions, to specialize the instance once its fields
have been initialized. Each Init function should call its superclass
have been initialized. Each Init function should call its superclass
init, finally reaching InstInit, and then, once it has set up its
fields, use SetClassOfPoly to set the class and check the instance
with its check method. Compare with `design.mps.sig`_.
with its check method. Compare with `design.mps.sig`_.
.. _`design.mps.sig`: sig
``IsSubclass(sub, super)``
_`.if.subclass`: An introspection function which returns a ``Bool``
_`.if.is-subclass`: An introspection function which returns a ``Bool``
indicating whether ``sub`` is a subclass of ``super``. That is, it is
a predicate for testing subclass relationships.
@ -644,7 +645,7 @@ B. Document History
C. Copyright and License
------------------------
Copyright © 2013-2016 Ravenbrook Limited <http://www.ravenbrook.com/>.
Copyright © 2013-2018 Ravenbrook Limited <http://www.ravenbrook.com/>.
All rights reserved. This is an open source license. Contact
Ravenbrook for commercial licensing options.