prop-src/keywords.ph

   1 ///////////////////////////////////////////////////////////////////////////////
   2 //
   3 //  This file defines the lexical structure of the Prop language.
   4 //
   5 ///////////////////////////////////////////////////////////////////////////////
   6 #ifndef prop_lexemes_h
   7 #define prop_lexemes_h
   8
   9 ///////////////////////////////////////////////////////////////////////////////
  10 //
  11 //  Here are some regular expression abbreviations.
  12 //
  13 ///////////////////////////////////////////////////////////////////////////////
  14 lexeme digits      = /[0-9]+/
  15      | sign        = /[\+\-]/
  16      | integer     = /{digits}/
  17      | exponent    = /[eE]{sign}?{digits}/
  18      | mantissa    = /({digits}\.{digits}?|\.{digits})/
  19      | real        = /{mantissa}{exponent}?/
  20      | ident       = /([a-zA-Z\$][a-zA-Z0-9_\$]*|[a-zA-Z_][a-zA-Z0-9_]+)/
  21      | patvar      = /([\?\#\$]*{ident}[\'\?]*|\#\#)/
  22      | string      = /"([^\\"\n]|\\.)*"/
  23      | character   = /'([^\\'\n]|\\.[0-9a-f]*)'/
  24      | regexp      = /\/([^\/\n*]|\\.)([^\/\n]|\\.)*\//
  25      | logical_var = /\'{ident}/
  26      | meta        = /`([^`]|\\.)*`/
  27      ;
  28
  29 ///////////////////////////////////////////////////////////////////////////////
  30 //
  31 //  Main keywords are keywords that can start Prop constructs.
  32 //
  33 ///////////////////////////////////////////////////////////////////////////////
  34 lexeme class MainKeywords =
  35     "rewrite" | "inference" | "match" | "matchall" | "matchscan"
  36   | "refine"  | "classof" | "type" | "datatype" | "instantiate"
  37   | "lexeme"  | "bitfield" | "begin" | "syntax"
  38   | "dataflow" | "module" | "signature" | "constraint" | "declare"
  39   | "procedure" | "fun" | "function"
  40   | "graphtype" | "graphrewrite" | "cutrewrite" | "failrewrite"
  41   | "attributegrammar"
  42
  43 ///////////////////////////////////////////////////////////////////////////////
  44 //
  45 //  Keywords are the normal kinds of keywords
  46 //
  47 ///////////////////////////////////////////////////////////////////////////////
  48 and Keywords =
  49     "if" | "then" | "else" | "elsif" | "while" | "loop" | "is"
  50   | "class" | "unifiable" | "of"
  51   | "do" | "break" | "continue" | "goto"
  52   | "where" | "as" | "public" | "protected"
  53   | "private" | "const" | "extern" | "mutable" | "applicative"
  54   | "virtual" | "true" | "false" | "collectable" | "finalizable"
  55   | "printable" | "traced" | "persistent"
  56   | "treeparser" | "inline" | "with" | "switch" | "unsigned"
  57   | "signed" | "for" | "category" | "functor" | "feature"
  58   | "sharing" | "relation" | "view" | "inherited" | "return"
  59   | "synthesized" | "law" | "left:" | "right:" | "expect:" | "prec:"
  60   | "mapof" | "setof" | "bagof" | "multimapof" | "listof" | "priqueueof"
  61   | "queueof" | "dequeof" | "tupleof" | "forall" | "exists"
  62   | "dom" | "ran" | "arb" | "less" | "include"
  63   | "lfp" | "gfp" | "hom"
  64   | "implies:" | "xor:" | "equiv:" | "time:" | "space:"
  65   | "nodes:" | "edges:" | "index:" | "hash:" | "equality:"
  66   | "preorder:" | "postorder:" | "before:"
  67   | "topdown:" | "bottomup:" | "strategy:" | "order:"
  68   | "pragma:"
  69
  70 and SepKeywords = "case" | "and" | "end"
  71
  72 ///////////////////////////////////////////////////////////////////////////////
  73 //
  74 //  Symbols are multi-character symbols used in Prop.
  75 //  Single character symbols are implicit and unlisted here.
  76 //
  77 ///////////////////////////////////////////////////////////////////////////////
  78 and  Symbols =
  79     ".." | "..." | "<->" | "::" | "&&" | "||" | "++" | "--" | "->"
  80   | "<<" | ">>" | ">=" | "<=" | "+=" | "-=" | "*=" | "/=" | "%=" | "=="
  81   | "!=" | "<<=" | ">>=" | "&=" | "|=" | "^=" | "=>" | "<-" | "<=>"
  82   | ":=" | ":-" | LONG_BAR /\-\-\-\-\-+/
  83
  84 ///////////////////////////////////////////////////////////////////////////////
  85 //
  86 //  Special symbols are symbols that is used for ad hoc syntactic features.
  87 //
  88 ///////////////////////////////////////////////////////////////////////////////
  89 and Special =
  90     CONS_TOK | DOMAIN_TOK | CONS_EXP | META_QUOTE | POLY_DATATYPE | ATTRIB_ID
  91   | "(|" | "|)" | "[|" | "|]" | "{|" | "|}" | ".(" | ".[" | "``" | "''"
  92
  93 ///////////////////////////////////////////////////////////////////////////////
  94 //
  95 //  Literal values
  96 //
  97 ///////////////////////////////////////////////////////////////////////////////
  98 and Literals =
  99     INT_TOK     /{integer}/
 100   | REAL_TOK    /{real}/
 101   | CHAR_TOK    /{character}/
 102   | STRING_TOK  /{string}/
 103   ;
 104
 105 ///////////////////////////////////////////////////////////////////////////////
 106 //
 107 //  PropToken is the class of all terminals in Prop.
 108 //
 109 ///////////////////////////////////////////////////////////////////////////////
 110 datatype PropToken :: lexeme =
 111     lexeme class MainKeywords
 112   | lexeme class Keywords
 113   | lexeme class SepKeywords
 114   | lexeme class Symbols
 115   | lexeme class Special
 116   | lexeme class Literals
 117   | ID_TOK       /{patvar}/
 118   | REGEXP_TOK   /{regexp}/
 119   | QUARK_TOK    /#{string}/
 120   | BIGINT_TOK   /#{sign}{integer}/
 121   | PUNCTUATIONS /[\<\>\,\.\;\&\|\^\!\~\+\-\*\/\%\?\=\:\\]/
 122   ;
 123
 124 #endif