Changeset 728


Ignore:
Timestamp:
May 11, 2003, 11:25:50 PM (18 years ago)
Author:
sveta
Message:
  • Correction ASAIL-text: DECL-OBJ, INT-var, logic term.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/docs/ASAIL-syntax-long.tex

    r700 r728  
    2828                | (EVAR t.QualifiedName) | (SVAR t.QualifiedName)
    2929e.body          ::= /*empty*/ | t.statement e.body
    30 t.statement     ::= t.call | t.tailcall | t.assign | t.decl
    31                 |t.if | t.for | t.continue | t.break
     30t.statement     ::= t.call | t.tailcall | t.assign | t.decl  
     31                |t.decl-int | t.if | t.for | t.continue | t.break
    3232                |t.lsplit | t.rsplit | t.catch | t.try
    3333                |t.drop | t.expr-obj | t.deref | t.subexpr
    3434                |t.constexpr | t.blok-label | t.decl-func
    35                 |t.error | t.decl-const
     35                |t.error | t.decl-const | t.decl-obj
    3636                | RETURN
    3737\textit{// нОЕПЮРНП СЯОЕЬМНЦН БШУНДЮ ХГ ТСМЙЖХХ.}
     
    6161// int (ЖЕКШЕ ВХЯКЮ) Х Expr (пЕТЮК-БШПЮФЕМХЪ).}
    6262s.type          ::= "Expr" | "int"
     63t.decl-int      ::= (INT t.var e.expr-int)
     64\textit{// нАЗЪБКЕМХЕ ОЕПЕЛЕММНИ t.var РХОЮ int
     65// Х ХМХЖХЮКХГЮЖХЪ ЕЕ ГМЮВЕМХЕЛ e.expr-int.}
    6366t.if            ::= (IF (e.cond) e.body)
    6467\textit{// сЯКНБМШИ НОЕПЮРНП, ЦДЕ e.cond - СЯКНБХЕ,
     
    9396                |(NOT e.cond)
    9497\textit{// кНЦХВЕЯЙНЕ НРПХЖЮМХЕ СЯКНБХЪ e.cond.}
    95                 |(INFIX s.op-bool e.expr-log)
     98                |(INFIX s.op-bool e.args-log)
    9699                |(INFIX s.op-eq e.args-int)
     100e.args-log      ::= /*empty*/ | (e.cond) e.args-log
    97101e.pos           ::=e.expr-int
    98102e.len           ::= e.expr-int
     
    101105                |t.int-term e.expr-log
    102106s.op-bool       ::= "&&" | "||"   
    103 s.op-eq         ::= "<" | ">" | "<=" | ">=" | "=="
     107s.op-eq         ::= "<" | ">" | "<=" | ">=" | "==" | "!="
    104108t.for           ::= (FOR (e.maybe-empty)(e.cond)(e.step)e.body)
    105109\textit{// жХЙК  FOR, ЦДЕ e.maybe-empty - empty ХКХ ЛЕРЙЮ ЖХЙКЮ
     
    179183t.decl-const    ::= (DECL-CONST t.QualifiedName)
    180184\textit{// нАЗЪБКЕМХЕ ЙНМЯРЮМРМНЦН НАЗЕЙРЮ.}
     185t.decl-obj      ::= (DECL-OBJ s.linkage s.tag t.QualifiedName)
     186\textit{// нАЗЪБКЕМХЕ ОПНХГБНКЭМШУ НАЗЕЙРНБ, s.tag - РХО НАЗЕЙРЮ.}
     187s.tag           ::= "Box" | "Vector" | ...
    181188t.blok-label    ::= (LABEL (e.maybe-empty) e.body)
    182189\textit{// аКНЙ, ЦДЕ e.body - РЕКН АКНЙЮ,
Note: See TracChangeset for help on using the changeset viewer.