BNF for TutorialD.jj

/*
 *
 * Lexer definitions
 *
 */

<DEFAULT> SKIP : {
" "
| "\t"
| "\n"
| "\r"
| "\f"
}

   

<DEFAULT> SPECIAL : {
<SINGLE_LINE_COMMENT: "//" (~["\n","\r"])* ("\n" | "\r" | "\r\n")>
| <FORMAL_COMMENT: "/**" (~["*"])* "*" ("*" | ~["*","/"] (~["*"])* "*")* "/">
| <MULTI_LINE_COMMENT: "/*" (~["*"])* "*" ("*" | ~["*","/"] (~["*"])* "*")* "/">
}

   

<DEFAULT> TOKEN [IGNORE_CASE] : {
<ADD: "ADD">
| <AGGREGATE: "AGGREGATE">
| <AGGREGATED: "AGGREGATED">
| <ALL: "ALL">
| <ALTER: "ALTER">
| <AND: "AND">
| <ANNOUNCE: "ANNOUNCE">
| <ARRAY: "ARRAY">
| <AS: "AS">
| <ASC: "ASC">
| <ATTRIBUTES_OF: "ATTRIBUTES_OF">
| <AVG: "AVG">
| <AVGD: "AVGD">
| <BASE: "BASE">
| <BACKUP: "BACKUP">
| <BEGIN: "BEGIN">
| <BUT: "BUT">
| <BY: "BY">
| <CALL: "CALL">
| <CASE: "CASE">
| <COMMIT: "COMMIT">
| <COMPOSE: "COMPOSE">
| <CONSTRAINT: "CONSTRAINT">
| <COUNT: "COUNT">
| <COUNTD: "COUNTD">
| <DELETE: "DELETE">
| <DESC: "DESC">
| <DISTINCT: "DISTINCT">
| <DIVIDEBY: "DIVIDEBY">
| <DO: "DO">
| <DROP: "DROP">
| <D_INSERT: "D_INSERT">
| <D_UNION: "D_UNION">
| <ELSE: "ELSE">
| <END: "END">
| <EOT: "<EOT>">
| <EQUIV: "EQUIV">
| <EXACTLYD: "EXACTLYD">
| <EXACTLY: "EXACTLY">
| <EXECUTE: "EXECUTE">
| <EXTEND: "EXTEND">
| <EXTERNAL: "EXTERNAL">
| <FALSE: "FALSE">
| <FOREIGN: "FOREIGN"> : SCRIPT
| <FOR: "FOR">
| <FROM: "FROM">
| <FULL: "FULL">
| <GROUP: "GROUP">
| <I_DELETE: "I_DELETE">
| <I_MINUS: "I_MINUS">
| <IF: "IF">
| <IMAGE_IN: "IMAGE_IN">
| <IN: "IN">
| <INFINITY: "INFINITY">
| <INIT: "INIT">
| <INSERT: "INSERT">
| <INTERSECT: "INTERSECT">
| <IS: "IS">
| <JOIN: "JOIN">
| <KEY: "KEY">
| <LEAVE: "LEAVE">
| <LEFT: "LEFT">
| <LOAD: "LOAD">
| <LAMBDA: "~[">
| <LAMBDAEND: "]~">
| <MATCHING: "MATCHING">
| <MAX: "MAX">
| <MIN: "MIN">
| <MINUS: "MINUS">
| <NAN: "NAN">
| <NOEMPTY: "NOEMPTY">
| <NOT: "NOT">
| <OPERATOR: "OPERATOR">
| <ORDER: "ORDER">
| <ORDERED: "ORDERED">
| <ORDINAL: "ORDINAL">
| <OR: "OR">
| <OUTPUT: "OUTPUT">
| <PER: "PER">
| <POSSREP: "POSSREP">
| <PREFIX: "PREFIX">
| <PRIVATE: "PRIVATE">
| <PUBLIC: "PUBLIC">
| <RANK: "RANK">
| <REAL: "REAL">
| <RELATION: "RELATION" | "REL">
| <RENAME: "RENAME">
| <RETURN: "RETURN">
| <RETURNS: "RETURNS">
| <RIGHT: "RIGHT">
| <ROLLBACK: "ROLLBACK">
| <SAME_HEADING_AS: "SAME_HEADING_AS">
| <SAME_TYPE_AS: "SAME_TYPE_AS">
| <SEARCH: "SEARCH">
| <SET: "SET">
| <SEMIJOIN: "SEMIJOIN">
| <SEMIMINUS: "SEMIMINUS">
| <SUFFIX: "SUFFIX">
| <SUMD: "SUMD">
| <SUMMARIZE: "SUMMARIZE">
| <SUM: "SUM">
| <SYNONYMS: "SYNONYMS">
| <TABLE_DEE: "DEE" | "TABLE_DEE">
| <TABLE_DUM: "DUM" | "TABLE_DUM">
| <TCLOSE: "TCLOSE">
| <THEN: "THEN">
| <TIMES: "TIMES">
| <TO: "TO">
| <TRANSACTION: "TRANSACTION">
| <TRUE: "TRUE">
| <TUPLE: "TUPLE" | "TUP">
| <TYPE: "TYPE">
| <TYPE_OF: "TYPE_OF">
| <UNGROUP: "UNGROUP">
| <UNION: "UNION">
| <UNORDER: "UNORDER">
| <UNWRAP: "UNWRAP">
| <UPDATES: "UPDATES">
| <UPDATE: "UPDATE">
| <VAR: "VAR">
| <VERSION: "VERSION">
| <VIRTUAL: "VIRTUAL" | "VIEW">
| <WHEN: "WHEN">
| <WHERE: "WHERE">
| <WHILE: "WHILE">
| <WITH: "WITH">
| <WRAP: "WRAP">
| <WRITE: "WRITE">
| <WRITELN: "WRITELN">
| <XOR: "XOR">
| <XUNION: "XUNION">
}

   

<DEFAULT> TOKEN : {
<INTEGER_LITERAL: <DECIMAL_LITERAL> (["l","L"])?>
| <#DECIMAL_LITERAL: ["0"-"9"] (["0"-"9"])*>
| <FLOATING_POINT_LITERAL: (["0"-"9"])+ "." (["0"-"9"])* (<EXPONENT>)? (["f","F","d","D"])? | "." (["0"-"9"])+ (<EXPONENT>)? (["f","F","d","D"])? | (["0"-"9"])+ <EXPONENT> (["f","F","d","D"])? | (["0"-"9"])+ (<EXPONENT>)? ["f","F","d","D"]>
| <#EXPONENT: ["e","E"] (["+","-"])? (["0"-"9"])+>
| <STRING_LITERAL: ("\"" | "\u2018" | "\u2019" | "\u201c" | "\u201d") (~["\"","\\","\n","\r"] | "\\" (["n","t","b","r","f","\\","\'","\""] | ["0"-"7"] (["0"-"7"])? | ["0"-"3"] ["0"-"7"] ["0"-"7"]))* ("\"" | "\'" | "\u2018" | "\u2019" | "\u201c" | "\u201d") | "\'" (~["\'","\\","\n","\r"] | "\\" (["n","t","b","r","f","\\","\'","\""] | ["0"-"7"] (["0"-"7"])? | ["0"-"3"] ["0"-"7"] ["0"-"7"]))* ("\'" | "\"" | "\u2018" | "\u2019" | "\u201c" | "\u201d")>
}

   

<DEFAULT> TOKEN : {
<IDENTIFIER: <LETTER> (<LETTER> | <DIGIT> | "." | "#")*>
| <#LETTER: ["$","A"-"Z","_","a"-"z","\u00c0"-"\u00d6","\u00d8"-"\u00f6","\u00f8"-"\u00ff","\u0100"-"\u1fff","\u3040"-"\u318f","\u3300"-"\u337f","\u3400"-"\u3d2d","\u4e00"-"\u9fff","\uf900"-"\ufaff"]>
| <#DIGIT: ["0"-"9","\u0660"-"\u0669","\u06f0"-"\u06f9","\u0966"-"\u096f","\u09e6"-"\u09ef","\u0a66"-"\u0a6f","\u0ae6"-"\u0aef","\u0b66"-"\u0b6f","\u0be7"-"\u0bef","\u0c66"-"\u0c6f","\u0ce6"-"\u0cef","\u0d66"-"\u0d6f","\u0e50"-"\u0e59","\u0ed0"-"\u0ed9","\u1040"-"\u1049"]>
}

   

<DEFAULT> TOKEN : {
<LPAREN: "(">
| <RPAREN: ")">
| <LBRACE: "{">
| <RBRACE: "}">
| <SEMICOLON: ";">
| <COMMA: ",">
| <COLON: ":">
}

   

<DEFAULT> TOKEN : {
<ASSIGN: ":=">
| <EQ: "=">
| <GT: ">">
| <LT: "<">
| <LTE_A: "<=">
| <LTE_U: "\u2264">
| <GTE_A: ">=">
| <GTE_U: "\u2265">
| <NEQ_A: "<>">
| <NEQ_U: "\u2260">
| <PLUS: "+">
| <SUBT: "-">
| <STAR: "*">
| <MULT_U: "\u00d7">
| <DIVD_A: "/">
| <DIVD_U: "\u00f7">
| <MODL: "%">
| <BANGBANG_A: "!!">
| <BANGBANG_U: "\u203c">
| <SUBSET: "\u2282">
| <SUBSET_OR_EQUAL: "\u2286">
| <SUPERSET: "\u2283">
| <SUPERSET_OR_EQUAL: "\u2287">
| <ELEMENT_U: "\u2208">
| <BARBAR: "||">
}

   

<SCRIPT> TOKEN : {
<ENDFOREIGN: "\nEND"> : DEFAULT
| <TEXT: ~[]>
}

   

/* Rel extension - non-TTM */

/* Rel extension - non-TTM */

/* Rel extension - non-TTM */

/* Rel extension - non-TTM */

/* Rel extension - non-TTM */

/* Rel extension - non-TTM */

/* Rel extension - non-TTM */

/* Note: op_returns() and op_updates()
should be mutually exclusive. */

/* Not explicitly defined in TTM3 */

/* Not explicitly defined in TTM3 */

/* Not explicitly defined in TTM3 */

/* Inclusion of type_ref_commalist() in
OPERATOR DROP is not per TTM3,
but necessary to 
disambiguate operators. */

/* Was user_scalar_type_def */

/* User-defined (internal) types start here */

/* Not explicitly defined in TTM3 */

/* Not explicitly defined in TTM3 */

/* Not defined in TTM3.  For explicitly setting
values of components not in the current possrep.  
Only required by types with multiple possreps.
Takes the place of "highly protected
operators not part of D". (pg 382, etc.) */

/* Not defined in TTM3, as per above.
Identifier should be existing POSSREP name. */

/* Not explicitly defined in TTM3 */

/* Expression must be boolean */

/* Expression must be boolean */

/* Not explicitly defined in TTM3 */

/* Not explicitly defined in TTM3 */

/* End user-defined types (internal) */

/* Includes scalar_var_def,
relation_var_def,
tuple_var_def */

/* type -- scalar_type, tuple_type, relation_type */

/* Note that THEN and ELSE are not
followed by semicolons, but maybe should be? */

/* Expressions */

/* Parentheses around  WRAP, UNWRAP, GROUP, UNGROUP removed as of 1.0.11
   Infix EXTEND added as of 1.0.20.  Not per Tutorial D spec.
   Infix SUMMARIZE added as of 1.0.20.  Not per Tutorial D spec.
   rel_monadic() and rel_dyadic() combined and changed to rel_op() to
   give monadic and dyadic ops equal precedence.
*/

/* Not explicitly defined in TTM3 */

/* Update expression, *not* assignment.
Contents of expression() does not change! */

/* Rel extension. */

/* Rel extension. */

/* Rel extension. */

/* Rel extension. */

/* Rel extension. */

/* Rel extension. */

/* Rel extension. */