test/test/test_compressdev_test_buffer.h

   1 #ifndef TEST_COMPRESSDEV_TEST_BUFFERS_H_
   2 #define TEST_COMPRESSDEV_TEST_BUFFERS_H_
   3
   4 /*
   5  * These test buffers are snippets obtained
   6  * from the Canterbury and Calgary Corpus
   7  * collection.
   8  */
   9
  10 /* Snippet of Alice's Adventures in Wonderland */
  11 static const char test_buf_alice[] =
  12         "  Alice was beginning to get very tired of sitting by her sister\n"
  13         "on the bank, and of having nothing to do:  once or twice she had\n"
  14         "peeped into the book her sister was reading, but it had no\n"
  15         "pictures or conversations in it, `and what is the use of a book,'\n"
  16         "thought Alice `without pictures or conversation?'\n\n"
  17         "  So she was considering in her own mind (as well as she could,\n"
  18         "for the hot day made her feel very sleepy and stupid), whether\n"
  19         "the pleasure of making a daisy-chain would be worth the trouble\n"
  20         "of getting up and picking the daisies, when suddenly a White\n"
  21         "Rabbit with pink eyes ran close by her.\n\n"
  22         "  There was nothing so VERY remarkable in that; nor did Alice\n"
  23         "think it so VERY much out of the way to hear the Rabbit say to\n"
  24         "itself, `Oh dear!  Oh dear!  I shall be late!'  (when she thought\n"
  25         "it over afterwards, it occurred to her that she ought to have\n"
  26         "wondered at this, but at the time it all seemed quite natural);\n"
  27         "but when the Rabbit actually TOOK A WATCH OUT OF ITS WAISTCOAT-\n"
  28         "POCKET, and looked at it, and then hurried on, Alice started to\n"
  29         "her feet, for it flashed across her mind that she had never\n"
  30         "before seen a rabbit with either a waistcoat-pocket, or a watch to\n"
  31         "take out of it, and burning with curiosity, she ran across the\n"
  32         "field after it, and fortunately was just in time to see it pop\n"
  33         "down a large rabbit-hole under the hedge.\n\n"
  34         "  In another moment down went Alice after it, never once\n"
  35         "considering how in the world she was to get out again.\n\n"
  36         "  The rabbit-hole went straight on like a tunnel for some way,\n"
  37         "and then dipped suddenly down, so suddenly that Alice had not a\n"
  38         "moment to think about stopping herself before she found herself\n"
  39         "falling down a very deep well.\n\n"
  40         "  Either the well was very deep, or she fell very slowly, for she\n"
  41         "had plenty of time as she went down to look about her and to\n"
  42         "wonder what was going to happen next.  First, she tried to look\n"
  43         "down and make out what she was coming to, but it was too dark to\n"
  44         "see anything; then she looked at the sides of the well, and\n"
  45         "noticed that they were filled with cupboards and book-shelves;\n"
  46         "here and there she saw maps and pictures hung upon pegs.  She\n"
  47         "took down a jar from one of the shelves as she passed; it was\n"
  48         "labelled `ORANGE MARMALADE', but to her great disappointment it\n"
  49         "was empty:  she did not like to drop the jar for fear of killing\n"
  50         "somebody, so managed to put it into one of the cupboards as she\n"
  51         "fell past it.\n\n"
  52         "  `Well!' thought Alice to herself, `after such a fall as this, I\n"
  53         "shall think nothing of tumbling down stairs!  How brave they'll\n"
  54         "all think me at home!  Why, I wouldn't say anything about it,\n"
  55         "even if I fell off the top of the house!' (Which was very likely\n"
  56         "true.)\n\n"
  57         "  Down, down, down.  Would the fall NEVER come to an end!  `I\n"
  58         "wonder how many miles I've fallen by this time?' she said aloud.\n"
  59         "`I must be getting somewhere near the centre of the earth.  Let\n"
  60         "me see:  that would be four thousand miles down, I think--' (for,\n"
  61         "you see, Alice had learnt several things of this sort in her\n"
  62         "lessons in the schoolroom, and though this was not a VERY good\n"
  63         "opportunity for showing off her knowledge, as there was no one to\n"
  64         "listen to her, still it was good practice to say it over) `--yes,\n"
  65         "that's about the right distance--but then I wonder what Latitude\n"
  66         "or Longitude I've got to?'  (Alice had no idea what Latitude was,\n"
  67         "or Longitude either, but thought they were nice grand words to\n"
  68         "say.)\n\n"
  69         "  Presently she began again.  `I wonder if I shall fall right\n"
  70         "THROUGH the earth!  How funny it'll seem to come out among the\n"
  71         "people that walk with their heads downward!  The Antipathies, I\n"
  72         "think--' (she was rather glad there WAS no one listening, this\n"
  73         "time, as it didn't sound at all the right word) `--but I shall\n"
  74         "have to ask them what the name of the country is, you know.\n"
  75         "Please, Ma'am, is this New Zealand or Australia?' (and she tried\n"
  76         "to curtsey as she spoke--fancy CURTSEYING as you're falling\n"
  77         "through the air!  Do you think you could manage it?)  `And what\n"
  78         "an ignorant little girl she'll think me for asking!  No, it'll\n"
  79         "never do to ask:  perhaps I shall see it written up somewhere.'\n"
  80         "  Down, down, down.  There was nothing else to do, so Alice soon\n"
  81         "began talking again.  `Dinah'll miss me very much to-night, I\n"
  82         "should think!'  (Dinah was the cat.)  `I hope they'll remember\n"
  83         "her saucer of milk at tea-time.  Dinah my dear!  I wish you were\n"
  84         "down here with me!  There are no mice in the air, I'm afraid, but\n"
  85         "you might catch a bat, and that's very like a mouse, you know.\n"
  86         "But do cats eat bats, I wonder?'  And here Alice began to get\n"
  87         "rather sleepy, and went on saying to herself, in a dreamy sort of\n"
  88         "way, `Do cats eat bats?  Do cats eat bats?' and sometimes, `Do\n"
  89         "bats eat cats?' for, you see, as she couldn't answer either\n"
  90         "question, it didn't much matter which way she put it.  She felt\n"
  91         "that she was dozing off, and had just begun to dream that she\n"
  92         "was walking hand in hand with Dinah, and saying to her very\n"
  93         "earnestly, `Now, Dinah, tell me the truth:  did you ever eat a\n"
  94         "bat?' when suddenly, thump! thump! down she came upon a heap of\n"
  95         "sticks and dry leaves, and the fall was over.\n\n";
  96
  97 /* Snippet of Shakespeare play */
  98 static const char test_buf_shakespeare[] =
  99         "CHARLES        wrestler to Frederick.\n"
 100         "\n"
 101         "\n"
 102         "OLIVER         |\n"
 103         "               |\n"
 104         "JAQUES (JAQUES DE BOYS:)       |  sons of Sir Rowland de Boys.\n"
 105         "               |\n"
 106         "ORLANDO                |\n"
 107         "\n"
 108         "\n"
 109         "ADAM   |\n"
 110         "       |  servants to Oliver.\n"
 111         "DENNIS |\n"
 112         "\n"
 113         "\n"
 114         "TOUCHSTONE     a clown.\n"
 115         "\n"
 116         "SIR OLIVER MARTEXT     a vicar.\n"
 117         "\n"
 118         "\n"
 119         "CORIN  |\n"
 120         "       |  shepherds.\n"
 121         "SILVIUS        |\n"
 122         "\n"
 123         "\n"
 124         "WILLIAM        a country fellow in love with Audrey.\n"
 125         "\n"
 126         "       A person representing HYMEN. (HYMEN:)\n"
 127         "\n"
 128         "ROSALIND       daughter to the banished duke.\n"
 129         "\n"
 130         "CELIA  daughter to Frederick.\n"
 131         "\n"
 132         "PHEBE  a shepherdess.\n"
 133         "\n"
 134         "AUDREY a country wench.\n"
 135         "\n"
 136         "       Lords, pages, and attendants, &c.\n"
 137         "       (Forester:)\n"
 138         "       (A Lord:)\n"
 139         "       (First Lord:)\n"
 140         "       (Second Lord:)\n"
 141         "       (First Page:)\n"
 142         "       (Second Page:)\n"
 143         "\n"
 144         "\n"
 145         "SCENE  Oliver's house; Duke Frederick's court; and the\n"
 146         "       Forest of Arden.\n"
 147         "\n"
 148         "\n"
 149         "\n"
 150         "\n"
 151         "       AS YOU LIKE IT\n"
 152         "\n"
 153         "\n"
 154         "ACT I\n"
 155         "\n"
 156         "\n"
 157         "\n"
 158         "SCENE I        Orchard of Oliver's house.\n"
 159         "\n"
 160         "\n"
 161         "       [Enter ORLANDO and ADAM]\n"
 162         "\n"
 163         "ORLANDO        As I remember, Adam, it was upon this fashion\n"
 164         "       bequeathed me by will but poor a thousand crowns,\n"
 165         "       and, as thou sayest, charged my brother, on his\n"
 166         "       blessing, to breed me well: and there begins my\n"
 167         "       sadness. My brother Jaques he keeps at school, and\n"
 168         "       report speaks goldenly of his profit: for my part,\n"
 169         "       he keeps me rustically at home, or, to speak more\n"
 170         "       properly, stays me here at home unkept; for call you\n"
 171         "       that keeping for a gentleman of my birth, that\n"
 172         "       differs not from the stalling of an ox? His horses\n"
 173         "       are bred better; for, besides that they are fair\n"
 174         "       with their feeding, they are taught their manage,\n"
 175         "       and to that end riders dearly hired: but I, his\n"
 176         "       brother, gain nothing under him but growth; for the\n"
 177         "       which his animals on his dunghills are as much\n"
 178         "       bound to him as I. Besides this nothing that he so\n"
 179         "       plentifully gives me, the something that nature gave\n"
 180         "       me his countenance seems to take from me: he lets\n"
 181         "       me feed with his hinds, bars me the place of a\n"
 182         "       brother, and, as much as in him lies, mines my\n"
 183         "       gentility with my education. This is it, Adam, that\n"
 184         "       grieves me; and the spirit of my father, which I\n"
 185         "       think is within me, begins to mutiny against this\n"
 186         "       servitude: I will no longer endure it, though yet I\n"
 187         "       know no wise remedy how to avoid it.\n"
 188         "\n"
 189         "ADAM   Yonder comes my master, your brother.\n"
 190         "\n"
 191         "ORLANDO        Go apart, Adam, and thou shalt hear how he will\n";
 192
 193 /* Snippet of source code in Pascal */
 194 static const char test_buf_pascal[] =
 195         "       Ptr    = 1..DMem;\n"
 196         "       Loc    = 1..IMem;\n"
 197         "       Loc0   = 0..IMem;\n"
 198         "       EdgeT  = (hout,lin,hin,lout); {Warning this order is important in}\n"
 199         "                                     {predicates such as gtS,geS}\n"
 200         "       CardT  = (finite,infinite);\n"
 201         "       ExpT   = Minexp..Maxexp;\n"
 202         "       ManT   = Mininf..Maxinf; \n"
 203         "       Pflag  = (PNull,PSoln,PTrace,PPrint);\n"
 204         "       Sreal  = record\n"
 205         "                   edge:EdgeT;\n"
 206         "                   cardinality:CardT;\n"
 207         "                   exp:ExpT; {exponent}\n"
 208         "                   mantissa:ManT;\n"
 209         "                end;\n"
 210         "       Int    = record\n"
 211         "                   hi:Sreal;\n"
 212         "                   lo:Sreal;\n"
 213         "        end;\n"
 214         "       Instr  = record\n"
 215         "                   Code:OpType;\n"
 216         "                   Pars: array[0..Par] of 0..DMem;\n"
 217         "                end;\n"
 218         "       DataMem= record\n"
 219         "                   D        :array [Ptr] of Int;\n"
 220         "                   S        :array [Loc] of State;\n"
 221         "                   LastHalve:Loc;\n"
 222         "                   RHalve   :array [Loc] of real;\n"
 223         "                end;\n"
 224         "       DataFlags=record\n"
 225         "                   PF       :array [Ptr] of Pflag;\n"
 226         "                end;\n"
 227         "var\n"
 228         "       Debug  : (none,activity,post,trace,dump);\n"
 229         "       Cut    : (once,all);\n"
 230         "       GlobalEnd,Verifiable:boolean;\n"
 231         "       HalveThreshold:real;\n"
 232         "       I      : array [Loc] of Instr; {Memory holding instructions}\n"
 233         "       End    : Loc; {last instruction in I}\n"
 234         "       ParN   : array [OpType] of -1..Par; {number of parameters for each \n"
 235         "                       opcode. -1 means no result}\n"
 236         "        ParIntersect : array [OpType] of boolean ;\n"
 237         "       DInit  : DataMem; {initial memory which is cleared and \n"
 238         "                               used in first call}\n"
 239         "       DF     : DataFlags; {hold flags for variables, e.g. print/trace}\n"
 240         "       MaxDMem:0..DMem;\n"
 241         "       Shift  : array[0..Digits] of 1..maxint;{array of constant multipliers}\n"
 242         "                                               {used for alignment etc.}\n"
 243         "       Dummy  :Positive;\n"
 244         "       {constant intervals and Sreals}\n"
 245         "       PlusInfS,MinusInfS,PlusSmallS,MinusSmallS,ZeroS,\n"
 246         "       PlusFiniteS,MinusFiniteS:Sreal;\n"
 247         "       Zero,All,AllFinite:Int;\n"
 248         "\n"
 249         "procedure deblank;\n"
 250         "var Ch:char;\n"
 251         "begin\n"
 252         "   while (not eof) and (input^ in [' ','       ']) do read(Ch);\n"
 253         "end;\n"
 254         "\n"
 255         "procedure InitialOptions;\n"
 256         "\n"
 257         "#include '/user/profs/cleary/bin/options.i';\n"
 258         "\n"
 259         "   procedure Option;\n"
 260         "   begin\n"
 261         "      case Opt of\n"
 262         "      'a','A':Debug:=activity;\n"
 263         "      'd','D':Debug:=dump;\n"
 264         "      'h','H':HalveThreshold:=StringNum/100;\n"
 265         "      'n','N':Debug:=none;\n"
 266         "      'p','P':Debug:=post;\n"
 267         "      't','T':Debug:=trace;\n"
 268         "      'v','V':Verifiable:=true;\n"
 269         "      end;\n"
 270         "   end;\n"
 271         "\n"
 272         "begin\n"
 273         "   Debug:=trace;\n"
 274         "   Verifiable:=false;\n"
 275         "   HalveThreshold:=67/100;\n"
 276         "   Options;\n"
 277         "   writeln(Debug);\n"
 278         "   writeln('Verifiable:',Verifiable);\n"
 279         "   writeln('Halve threshold',HalveThreshold);\n"
 280         "end;{InitialOptions}\n"
 281         "\n"
 282         "procedure NormalizeUp(E,M:integer;var S:Sreal;var Closed:boolean);\n"
 283         "begin\n"
 284         "with S do\n"
 285         "begin\n"
 286         "   if M=0 then S:=ZeroS else\n"
 287         "   if M>0 then\n";
 288
 289 static const char * const compress_test_bufs[] = {
 290         test_buf_alice,
 291         test_buf_shakespeare,
 292         test_buf_pascal
 293 };
 294
 295 #endif /* TEST_COMPRESSDEV_TEST_BUFFERS_H_ */