Changeset 35846 in project

Timestamp:

07/12/18 08:52:33 (2 months ago)

Author:

snoewchen

Message:

 

File:

• wiki/eggref/4/datatypes (modified) (2 diffs)

wiki/eggref/4/datatypes

@@ -181 +181 @@
   (reader Point))
 
-; outdated - use simple-cells instead
-(use cells)
+(use simple-cells)
 
 ;; Base object
@@ -188 +187 @@
 
 ;; Couple objects
+(define-object-type
+  COUPLE couple? make-couple (
+    (parent obj?)
+    (cell-1 cell?)
+    (cell-2 cell?))
+  (override)
+  ((First) (cell-1))
+  ((Second) (cell-2))
+  ((First-set! (value number?)) (cell-1 value))
+  ((Second-set! (value number?)) (cell-2 value)))
+
 (define cpl
   (make-couple obj (cell 1) (cell 2)))
-(couple? cpl)
-(object? cpl)
-(not (couple? First))
+(couple? cpl) ; -> #t
+(object? cpl) ; -> #t
+(not (couple? First)) ; -> #t
 (cpl (Types))
-(cpl (Info))
-(cpl (Invariant))
+(cpl (Info)) ; -> ((Types) ... (First) ... (First-set! (value number?)) ...
+(cpl (Invariant)) ; -> (and (parent (Invariant)) (cell-1 cell?) ...
 (cpl (Ancestors))
-(= (cpl (First)) 1)
-(= (cpl (Second)) 2)
-(cpl (First-set! 10))
-(cpl (Second-set! 20))
-(= (cpl (First)) 10)
-(= (cpl (Second)) 20)
-    
+(= (cpl (First)) 1) ; -> #t
+(= (cpl (Second)) 2) ; -> #t
+(cpl (First-set! 10)) ; -> 1 (= old value of cell-1)
+(cpl (Second-set! 20)) ; -> 2 (= old value of cell-2)
+(= (cpl (First)) 10) ; -> #t
+(= (cpl (Second)) 20) ; -> #t
+
 ;; Triple objects
+(define-object-type
+  TRIPLE triple? make-triple (
+    (parent couple?)
+    (cell-3 cell?))
+  (override)
+  ((Third) (cell-3))
+  ((Third-set! (value number?)) (cell-3 value)))
+
 (define trp (make-triple cpl (cell 3)))
 (trp (Ancestors))
-(trp (Info))
-(= (trp (Third)) 3)
-(trp (Third-set! 30))
-(= (trp (Third)) 30)
-(= (trp (First)) 20)
-(= (trp (Second)) 20)
-(trp (Second-set! 2))
-(= (trp (Second)) 2)
-(trp (First-set! 25))
-(= (trp (First)) 100)
-(triple? trp)
-(not (triple? cpl))
-(couple? trp)
-(object? trp)
+(trp (Info)) ; -> ((Types) ... (First) ... (Third) (Third-set! (value number?)))
+(= (trp (Third)) 3) ; -> #t
+(trp (Third-set! 30)) ; -> 3 (= old value of cell-3)
+(= (trp (Third)) 30) ; -> #t
+(= (trp (First)) 20) ; -> #f
+(= (trp (Second)) 20) ; -> #t
+(trp (Second-set! 2)) ; -> 20 (= old value of cell-2)
+(= (trp (Second)) 2) ; -> #t
+(trp (First-set! 25)) ; -> 10 (= old value of cell-1)
+(= (trp (First)) 100) ; -> #f
+(triple? trp) ; -> #t
+(not (triple? cpl)) ; -> #t
+(couple? trp) ; -> #t
+(object? trp) ; -> #t
 
 ;; Note that Messages are precondition-checked and constructors pass the