Galaxy Results Format From: markhof@ls12r.informatik.uni-dortmund.de (Ingolf Markhof) Date: Tue, 22 Dec 1992 14:17:20 +0000 I remember, there has been a proposal to change the results format of Galaxy, to support parsing of the results by tools. Something like "Record Numbers" was proposed... In contrast, I'd not like to see such a change in the results. I'm currently writing a parser for Galaxy results in a yacc/lex environment. I'm almost finished and would not like to change all the stuff again. I guess, the same ius true for many other people, too. Anyway, I'd like to have a small change in the galaxy rules to support parsing. This change of rules is related to the rules of names in Galaxy. It would be _very_ nice to restrict the allowed names in Galaxy: All names should be identifiers in the sense of programing languages, i.e. they should be forced to start with a letter. Moreover, any Galaxy keywords form the section headings should be reserved, i.e. "Status of Players" yields three keywords: Status, of, Players. Referenced By Up