home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / rec / games / pbm / 3395 < prev    next >
Encoding:
Internet Message Format  |  1992-12-22  |  1.4 KB
  1. Path: sparky!uunet!pipex!bnr.co.uk!uknet!mcsun!Germany.EU.net!Informatik.Uni-Dortmund.DE!ls12r!markhof
  2. From: markhof@ls12r.informatik.uni-dortmund.de (Ingolf Markhof)
  3. Newsgroups: rec.games.pbm
  4. Subject: Galaxy Results Format
  5. Keywords: galaxy
  6. Message-ID: <1h781gINNil8@fbi-news.Informatik.Uni-Dortmund.DE>
  7. Date: 22 Dec 92 14:17:20 GMT
  8. Sender: markhof@ls12r (Ingolf Markhof)
  9. Organization: CS Department, Dortmund University, Germany
  10. Lines: 16
  11. NNTP-Posting-Host: ls12r.informatik.uni-dortmund.de
  12.  
  13. I remember, there has been a proposal to change the results format of Galaxy,
  14. to support parsing of the results by tools. Something like "Record Numbers"
  15. was proposed...
  16.  
  17. In contrast, I'd not like to see such a change in the results. I'm currently
  18. writing a parser for Galaxy results in a yacc/lex environment. I'm almost
  19. finished and would not like to change all the stuff again. I guess, the same
  20. ius true for many other people, too.
  21.  
  22. Anyway, I'd like to have a small change in the galaxy rules to support
  23. parsing. This change of rules is related to the rules of names in Galaxy.
  24. It would be _very_ nice to restrict the allowed names in Galaxy: All names
  25. should be identifiers in the sense of programing languages, i.e. they should
  26. be forced to start with a letter. Moreover, any Galaxy keywords form the
  27. section headings should be reserved, i.e. "Status of Players" yields three
  28. keywords: Status, of, Players.
  29.