This shows you the differences between two versions of the page.
— |
tantum:spec [2015/07/25 15:41] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Tantum Ergo, Kyrie, Gloria e Credo ====== | ||
+ | |||
+ | ===== Specification ===== | ||
+ | |||
+ | < | ||
+ | |||
+ | import WikiScore | ||
+ | import Stave | ||
+ | import Abc | ||
+ | |||
+ | ---------------------------------------------------------------------------------------------- | ||
+ | ------------------------ | ||
+ | ---------------------------------------------------------------------------------------------- | ||
+ | -- Prj attributes | ||
+ | namespace = A " | ||
+ | musicby | ||
+ | title = A " | ||
+ | facsimile = A " | ||
+ | --libreto | ||
+ | latex = A " | ||
+ | introd = A " | ||
+ | |||
+ | -- Prj Parts | ||
+ | |||
+ | pt1 = Prt 1 " | ||
+ | pt2 = Prt 2 " | ||
+ | pt3 = Prt 3 " | ||
+ | pt4 = Prt 4 " | ||
+ | pt5 = Prt 5 " | ||
+ | pt6 = Prt 6 " | ||
+ | pt7 = Prt 7 " | ||
+ | pt8 = Prt 8 " | ||
+ | pt9 = Prt 9 " | ||
+ | pt10 = Prt 10 " | ||
+ | pt11 = Prt 11 " | ||
+ | |||
+ | -- Prj Stave | ||
+ | |||
+ | base = [ Sq [ pa [10,11], br [1,2], the 3, sq [6,7,8,9], the 4, the 5 ] ] | ||
+ | |||
+ | -- Prj Sections | ||
+ | -- gurl n t = url (facfol n) t where facfol x = " | ||
+ | |||
+ | status | ||
+ | |||
+ | shiftedBy n k = gurl (show (n+k)) (show n) | ||
+ | |||
+ | gurl s t = url (facfol s) t | ||
+ | where facfol s = " | ||
+ | |||
+ | -- Sections | ||
+ | |||
+ | s1= Sct " | ||
+ | All | ||
+ | (MLK " | ||
+ | [ A " | ||
+ | s2= Sct " | ||
+ | All | ||
+ | (MLK " | ||
+ | [ A " | ||
+ | s3= Sct " | ||
+ | All | ||
+ | (MLK " | ||
+ | [ A " | ||
+ | s4= Sct " | ||
+ | All | ||
+ | (MLK " | ||
+ | [ A " | ||
+ | s5= Sct "Agnus Dei" 5 | ||
+ | All | ||
+ | (MLK " | ||
+ | [ A " | ||
+ | s6= Sct " | ||
+ | All | ||
+ | (MLK " | ||
+ | [ A " | ||
+ | |||
+ | -- the END | ||
+ | |||
+ | -- abbreviations | ||
+ | |||
+ | prj = initWSPproject | ||
+ | " | ||
+ | | ||
+ | [ title, facsimile, namespace, introd, latex ] | ||
+ | [ pt1 , pt2, pt3, pt4 , pt5 , pt6 , pt7 , pt8, pt9, pt10, pt11 ] | ||
+ | [ s1, s2, s3, s4, s5, s6 ] | ||
+ | base | ||
+ | |||
+ | main = prj2jsonFile prj | ||
+ | |||
+ | -- checking invariants | ||
+ | |||
+ | ok = (matrixOk prj) && (riSP prj) && (riSS prj) && (matts prj) | ||
+ | |||
+ | |||
+ | </ | ||
+ | < | ||
+ | [[tantum: | ||