(defclass C1 () ((S1 :initform 5.4 :type number) (S2 :allocation :class))) (defclass C2 (C1) ((S1 :initform 5 :type integer) (S2 :allocation :instance) (S3 :accessor C2-S3)))
Instances of the class C1
have a local slot named S1
,
whose default initial value is 5.4 and
whose value should always be a number.
The class C1
also has a shared slot named S2
.
There is a local slot named S1
in instances of C2
.
The default initial value of S1
is 5.
The value of S1
should always be of type (and integer number)
.
There are also local slots named S2
and S3
in instances of C2
.
The class C2
has a method for C2-S3
for reading the value of slot S3
;
there is also a method for (setf C2-S3)
that writes the value of S3
.