m@3: (cl:in-package #:amuse) 
m@3: 
m@8: ;;; Pulling compositions from the database 
m@8: 
m@8: (defgeneric get-composition (identifier))
m@8: 
m@0: ;;; Accessors (do we need the get- prefix?) 
m@0: 
m@0: (defgeneric get-pitch (object &key kind)) ; ? 
m@0: (defgeneric get-chromatic-pitch (object))
m@0: (defgeneric get-diatonic-pitch (object))
m@0: (defgeneric get-frequency (object))
m@0: 
m@0: (defgeneric get-duration (object))
m@0: 
m@0: (defgeneric get-onset (object)) ; get-time? 
m@0: 
m@0: 
m@0: ;;; Time Protocol (or moments?)
m@0: 
m@0: ;; negative times/durations -> ERROR? 
m@0: 
m@0: ;; time+: <time>      <duration> -> <time>
m@0: ;;        <duration>  <time>     -> <time> (same as previous?) 
m@0: ;;        <duration>  <duration> -> <duration> (or a distinct duration+?) 
m@0: ;;        <time>      <time>     -> ERROR? 
m@0: ;; 
m@0: ;; time-: <time>      <time>     -> <duration>
m@0: ;;        <time>      <duration> -> <time> 
m@0: ;;        <duration>  <duration> -> <duration> (or a distinct duration-?) 
m@0: ;;        <duration>  <time>     -> ERROR? 
m@0: 
m@0: (defgeneric time+ (object1 object2))
m@0: (defgeneric time- (object1 object2))
m@0: 
m@0: (defgeneric time> (object1 object2))
m@0: (defgeneric time< (object1 object2))
m@0: (defgeneric time= (object1 object2)) 
m@10: (defgeneric time>= (object1 object2)
m@10:   (:method (o1 o2) (or (time> o1 o2) (time= o1 o2))))
m@10: (defgeneric time<= (object1 object2)
m@10:   (:method (o1 o2) (or (time< o1 o2) (time= o1 o2))))
m@10: (defgeneric time/= (object1 object2)
m@10:   (:method (o1 o2) (not (time= o1 o2))))
m@10: 
m@0: 
m@0: ;;; Duration protocol 
m@0: 
m@0: (defgeneric duration> (object1 object2))
m@0: (defgeneric duration< (object1 object2))
m@0: (defgeneric duration= (object1 object2)) 
m@10: (defgeneric duration>= (object1 object2) 
m@10:   (:method (o1 o2) (or (duration> o1 o2) (duration= o1 o2))))
m@10: (defgeneric duration<= (object1 object2)
m@10:   (:method (o1 o2) (or (duration< o1 o2) (duration= o1 o2))))
m@10: (defgeneric duration/= (object1 object2) 
m@10:   (:method (o1 o2) (not (duration= o1 o2))))
m@0: 
m@0: 
m@0: ;;; Pitch protocol 
m@0: 
m@0: ;; pitch+: <pitch>    <pitch>     -> <pitch> 
m@0: ;;         <pitch>    <interval>  -> <pitch> 
m@0: ;;         <interval> <pitch>     -> <pitch> (same as previous?) 
m@0: ;;         <interval> <interval>  -> <interval> (or a distinct interval+?) 
m@0: ;; 
m@0: ;; pitch-: <pitch>    <pitch>     -> <interval>
m@0: ;;         <pitch>    <interval>  -> <pitch> 
m@0: ;;         <interval> <interval>  -> <interval> (or a distinct interval-? 
m@0: ;;         <interval> <pitch>     -> ERROR? 
m@0: 
m@0: (defgeneric pitch+ (object1 object2))
m@0: (defgeneric pitch- (object1 object2))
m@0: 
m@0: (defgeneric pitch> (object1 object2))
m@0: (defgeneric pitch< (object1 object2))
m@0: (defgeneric pitch= (object1 object2)) 
m@10: (defgeneric pitch>= (object1 object2) 
m@10:   (:method (o1 o2) (or (pitch> o1 o2) (pitch= o1 o2))))
m@10: (defgeneric pitch<= (object1 object2)
m@10:   (:method (o1 o2) (or (pitch< o1 o2) (pitch= o1 o2))))
m@10: (defgeneric pitch/= (object1 object2) 
m@10:   (:method (o1 o2) (not (pitch= o1 o2))))
m@0: 
m@0: ;;; Interval protocol (emphasise _pitch_ not _time_ interval?) 
m@0: 
m@0: (defgeneric interval> (object1 object2))
m@0: (defgeneric interval< (object1 object2))
m@0: (defgeneric interval= (object1 object2)) 
m@10: (defgeneric interval>= (object1 object2) 
m@10:   (:method (o1 o2) (or (interval> o1 o2) (interval= o1 o2))))
m@10: (defgeneric interval<= (object1 object2)
m@10:   (:method (o1 o2) (or (interval< o1 o2) (interval= o1 o2))))
m@10: (defgeneric interval/= (object1 object2) 
m@10:   (:method (o1 o2) (not (interval= o1 o2))))
m@0: 
m@9: ;;; Allen's (1984) interval relations 
m@9: ;;;  . equals already defined as INTERVAL= above 
m@10: ;;;  . inverses ommitted for now (just use CL:NOT) 
m@10: ;;;  . can all be defined in terms of MEETS (apparently)
m@9: 
m@9: (defgeneric meets (object1 object2))
m@9: (defgeneric before (object1 object2))
m@9: (defgeneric overlaps (object1 object2))
m@9: (defgeneric during (object1 object2))
m@9: (defgeneric starts (object1 object2))
m@9: (defgeneric ends (object1 object2))
m@9: 
m@10: ;;; and extensions thereof ...
m@9: 
m@10: (defgeneric subinterval (object1 object2)
m@10:   (:method (o1 o2) (or (starts o1 o2) (during o1 o2) (ends o1 o2))))
m@10: 
m@10: (defgeneric disjoint (object1 object2)
m@10:   (:method (o1 o2) 
m@10:     (or (before o1 o2) (meets o1 o2) (meets o2 o1) (before o2 o1))))
m@9: 
m@9: 
m@0: ;;; Time Signature 
m@0: ;;; Tempo 
m@0: ;;; Tonality (Key Signature / Mode) 
m@0: ;;; Dynamics 
m@0: ;;; Voice 
m@0: ;;; Boundary Strength (phrasing)