annotate generics.lisp @ 9:22d090e96582

generics.lisp: Allen's interval relations. darcs-hash:20061113190010-aa3d6-dcf1cd62eaabdf5819ab0e64c414bdbef59f50f2.gz
author m.pearce <m.pearce@gold.ac.uk>
date Mon, 13 Nov 2006 19:00:10 +0000
parents 169e6d42dd51
children 356ee92313be
rev   line source
m@3 1 (cl:in-package #:amuse)
m@3 2
m@8 3 ;;; Pulling compositions from the database
m@8 4
m@8 5 (defgeneric get-composition (identifier))
m@8 6
m@0 7 ;;; Accessors (do we need the get- prefix?)
m@0 8
m@0 9 (defgeneric get-pitch (object &key kind)) ; ?
m@0 10 (defgeneric get-chromatic-pitch (object))
m@0 11 (defgeneric get-diatonic-pitch (object))
m@0 12 (defgeneric get-frequency (object))
m@0 13
m@0 14 (defgeneric get-duration (object))
m@0 15
m@0 16 (defgeneric get-onset (object)) ; get-time?
m@0 17
m@0 18
m@0 19 ;;; Time Protocol (or moments?)
m@0 20
m@0 21 ;; negative times/durations -> ERROR?
m@0 22
m@0 23 ;; time+: <time> <duration> -> <time>
m@0 24 ;; <duration> <time> -> <time> (same as previous?)
m@0 25 ;; <duration> <duration> -> <duration> (or a distinct duration+?)
m@0 26 ;; <time> <time> -> ERROR?
m@0 27 ;;
m@0 28 ;; time-: <time> <time> -> <duration>
m@0 29 ;; <time> <duration> -> <time>
m@0 30 ;; <duration> <duration> -> <duration> (or a distinct duration-?)
m@0 31 ;; <duration> <time> -> ERROR?
m@0 32
m@0 33 (defgeneric time+ (object1 object2))
m@0 34 (defgeneric time- (object1 object2))
m@0 35
m@0 36 (defgeneric time> (object1 object2))
m@0 37 (defgeneric time< (object1 object2))
m@0 38 (defgeneric time>= (object1 object2))
m@0 39 (defgeneric time<= (object1 object2))
m@0 40 (defgeneric time= (object1 object2))
m@0 41 (defgeneric time/= (object1 object2))
m@0 42
m@0 43 ;;; Duration protocol
m@0 44
m@0 45 (defgeneric duration> (object1 object2))
m@0 46 (defgeneric duration< (object1 object2))
m@0 47 (defgeneric duration>= (object1 object2))
m@0 48 (defgeneric duration<= (object1 object2))
m@0 49 (defgeneric duration= (object1 object2))
m@0 50 (defgeneric duration/= (object1 object2))
m@0 51
m@0 52
m@0 53 ;;; Pitch protocol
m@0 54
m@0 55 ;; pitch+: <pitch> <pitch> -> <pitch>
m@0 56 ;; <pitch> <interval> -> <pitch>
m@0 57 ;; <interval> <pitch> -> <pitch> (same as previous?)
m@0 58 ;; <interval> <interval> -> <interval> (or a distinct interval+?)
m@0 59 ;;
m@0 60 ;; pitch-: <pitch> <pitch> -> <interval>
m@0 61 ;; <pitch> <interval> -> <pitch>
m@0 62 ;; <interval> <interval> -> <interval> (or a distinct interval-?
m@0 63 ;; <interval> <pitch> -> ERROR?
m@0 64
m@0 65 (defgeneric pitch+ (object1 object2))
m@0 66 (defgeneric pitch- (object1 object2))
m@0 67
m@0 68 (defgeneric pitch> (object1 object2))
m@0 69 (defgeneric pitch< (object1 object2))
m@0 70 (defgeneric pitch>= (object1 object2))
m@0 71 (defgeneric pitch<= (object1 object2))
m@0 72 (defgeneric pitch= (object1 object2))
m@0 73 (defgeneric pitch/= (object1 object2))
m@0 74
m@0 75 ;;; Interval protocol (emphasise _pitch_ not _time_ interval?)
m@0 76
m@0 77 (defgeneric interval> (object1 object2))
m@0 78 (defgeneric interval< (object1 object2))
m@0 79 (defgeneric interval>= (object1 object2))
m@0 80 (defgeneric interval<= (object1 object2))
m@0 81 (defgeneric interval= (object1 object2))
m@0 82 (defgeneric interval/= (object1 object2))
m@0 83
m@9 84 ;;; Allen's (1984) interval relations
m@9 85 ;;; . equals already defined as INTERVAL= above
m@9 86 ;;; . can all be defined in terms of MEETS
m@9 87
m@9 88 (defgeneric meets (object1 object2))
m@9 89 (defgeneric before (object1 object2))
m@9 90 (defgeneric overlaps (object1 object2))
m@9 91 (defgeneric during (object1 object2))
m@9 92 (defgeneric starts (object1 object2))
m@9 93 (defgeneric ends (object1 object2))
m@9 94
m@9 95 ;;; and extensions ...
m@9 96
m@9 97 ;;; i subinterval j if i starts j or i during j or i ends j
m@9 98 (defgeneric subinterval (object1 object2))
m@9 99 ;;; i disjoint j if i before j or i meets j or j meets i or j before i
m@9 100 (defgeneric disjoint (object1 object2))
m@9 101
m@9 102
m@0 103 ;;; Time Signature
m@0 104 ;;; Tempo
m@0 105 ;;; Tonality (Key Signature / Mode)
m@0 106 ;;; Dynamics
m@0 107 ;;; Voice
m@0 108 ;;; Boundary Strength (phrasing)