Changeset 728 for to-imperative/trunk/docs

Timestamp:

May 11, 2003, 11:25:50 PM (18 years ago)

Author:

sveta

Message:

• Correction ASAIL-text: DECL-OBJ, INT-var, logic term.

File:

• to-imperative/trunk/docs/ASAIL-syntax-long.tex (modified) (5 diffs)

to-imperative/trunk/docs/ASAIL-syntax-long.tex

@@ -28 +28 @@
                 | (EVAR t.QualifiedName) | (SVAR t.QualifiedName)
 e.body          ::= /*empty*/ | t.statement e.body
-t.statement     ::= t.call | t.tailcall | t.assign | t.decl 
-                |t.if | t.for | t.continue | t.break 
+t.statement     ::= t.call | t.tailcall | t.assign | t.decl   
+                |t.decl-int | t.if | t.for | t.continue | t.break 
                 |t.lsplit | t.rsplit | t.catch | t.try 
                 |t.drop | t.expr-obj | t.deref | t.subexpr 
                 |t.constexpr | t.blok-label | t.decl-func 
-                |t.error | t.decl-const 
+                |t.error | t.decl-const | t.decl-obj
                 | RETURN 
 \textit{// нОЕПЮРНП СЯОЕЬМНЦН БШУНДЮ ХГ ТСМЙЖХХ.}
@@ -61 +61 @@
 // int (ЖЕКШЕ ВХЯКЮ) Х Expr (пЕТЮК-БШПЮФЕМХЪ).}
 s.type          ::= "Expr" | "int" 
+t.decl-int      ::= (INT t.var e.expr-int)
+\textit{// нАЗЪБКЕМХЕ ОЕПЕЛЕММНИ t.var РХОЮ int
+// Х ХМХЖХЮКХГЮЖХЪ ЕЕ ГМЮВЕМХЕЛ e.expr-int.}
 t.if            ::= (IF (e.cond) e.body)
 \textit{// сЯКНБМШИ НОЕПЮРНП, ЦДЕ e.cond - СЯКНБХЕ, 
@@ -93 +96 @@
                 |(NOT e.cond) 
 \textit{// кНЦХВЕЯЙНЕ НРПХЖЮМХЕ СЯКНБХЪ e.cond.}
-                |(INFIX s.op-bool e.expr-log)
+                |(INFIX s.op-bool e.args-log)
                 |(INFIX s.op-eq e.args-int)
+e.args-log      ::= /*empty*/ | (e.cond) e.args-log
 e.pos           ::=e.expr-int
 e.len           ::= e.expr-int
@@ -101 +105 @@
                 |t.int-term e.expr-log
 s.op-bool       ::= "&&" | "||"   
-s.op-eq         ::= "<" | ">" | "<=" | ">=" | "==" 
+s.op-eq         ::= "<" | ">" | "<=" | ">=" | "==" | "!="
 t.for           ::= (FOR (e.maybe-empty)(e.cond)(e.step)e.body) 
 \textit{// жХЙК  FOR, ЦДЕ e.maybe-empty - empty ХКХ ЛЕРЙЮ ЖХЙКЮ 
@@ -179 +183 @@
 t.decl-const    ::= (DECL-CONST t.QualifiedName)
 \textit{// нАЗЪБКЕМХЕ ЙНМЯРЮМРМНЦН НАЗЕЙРЮ.}
+t.decl-obj      ::= (DECL-OBJ s.linkage s.tag t.QualifiedName)
+\textit{// нАЗЪБКЕМХЕ ОПНХГБНКЭМШУ НАЗЕЙРНБ, s.tag - РХО НАЗЕЙРЮ.}
+s.tag           ::= "Box" | "Vector" | ...
 t.blok-label    ::= (LABEL (e.maybe-empty) e.body)
 \textit{// аКНЙ, ЦДЕ e.body - РЕКН АКНЙЮ,