Changeset c21f5a9 for doc/theses/andrew_beach_MMath/features.tex

Timestamp:

May 20, 2021, 10:53:21 AM (2 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

090a7c5

Parents:

77f1265

Message:

Andrew MMath: Work on figures and linkonce.

File:

• doc/theses/andrew_beach_MMath/features.tex (modified) (1 diff)

doc/theses/andrew_beach_MMath/features.tex

@@ -150 +150 @@
 It is important to note that these are virtual members, not virtual methods
 of object-orientated programming, and can be of any type.
-However, since \CFA has function pointers and they are allowed, virtual
-members can be used to mimic virtual methods.
+\CFA still supports virtual methods as a special case of virtual members.
+Function pointers that take a pointer to the virtual type will be modified
+with each level of inheritance so that refers to the new type.
+This means an object can always be passed to a function in its virtual table
+as if it were a method.
 
 Each virtual type has a unique id.