Changeset 221

Timestamp:

Nov 3, 2002, 12:03:20 AM (18 years ago)

Author:

orlov

Message:

* empty log message *

Location:

to-imperative/trunk/docs

Files:

• abstract_syntax.txt (modified) (8 diffs)
• asail.txt (deleted)

to-imperative/trunk/docs/abstract_syntax.txt

@@ -11 +11 @@
 e.ModuleBody ::= t.Item | e.ModuleBody t.Item 
 
-t.Item ::= t.Function | t.Object | t.Pragma | t.Const
+t.Item ::= t.Function | t.Object | t.Const
 
 s.Linkage ::= s.IntLinkage | s.ExtLinkage
@@ -19 +19 @@
 s.ExtLinkage ::= IMPORT
 
-t.Function ::= (s.IntLinkage s.FunctionTag t.FunctionName
-                t.InputFormat t.OutputFormat e.Sentence) |
-               (s.ExtLinkage s.FunctionTag t.FunctionName
+t.Function ::= (s.IntLinkage s.FunctionTag t.Pragma t.FunctionName
+                t.InputFormat t.OutputFormat t.Branch) |
+               (s.ExtLinkage s.FunctionTag t.Pragma t.FunctionName
                 t.InputFormat t.OutputFormat)
 
 s.FunctionTag ::= FUNC | FUNC?
 
+t.Pragma ::= (PRAGMA e.PragmaBody)
+
+e.PragmaBody ::= [Empty] | t.PragmaTerm e.PragmaBody
+
+t.PragmaTerm ::= (FILE e.FileName)
+               | (LINE s.Line s.Column)
+               | (TRACE e.TraceNames)
+
+e.FileName ::= [Sequence of liters]
+
+s.Line ::= [Number]
+
+s.Column ::= [Number]
+
+e.TraceNames ::= [Empty] | t.TraceName e.TraceNames
+
+t.TraceName ::= t.Name
+
 t.FunctionName ::= t.Name
 
-t.InputFormat ::= t.Format
+t.InputFormat ::= t.FunFormat
 
-t.OutputFormat ::= t.Format
+t.OutputFormat ::= t.FunFormat
 
-t.Format ::= (FORMAT e.HardExpression)
+t.FunFormat ::= (e.HardExpression)
 
-e.HardExpression ::= e.HardTerms |
-                     e.HardTerms t.EVar e.HardTerms |
-                     e.HardTerms t.VVar e.HardTerms
+t.Format ::= (FORMAT t.Pragma e.HardExpression)
+
+e.HardExpression ::= e.HardTerms
+                   | e.HardTerms t.EVar e.HardTerms
+                   | e.HardTerms t.VVar e.HardTerms
 
 e.HardTerms ::= [Empty] | t.HardTerm e.HardTerms
@@ -42 +62 @@
 t.HardTerm ::= t.Symbol | (PAREN e.HardExpression) | t.SVar | t.TVar
 
-t.Block ::= (BLOCK e.Branches)
+e.Block?! ::= t.Block | NOFAIL t.Block
+
+t.Block ::= (BLOCK t.Pragma e.Branches)
 
 e.Branches ::= [Empty] | t.Branch e.Branches
 
-t.Branch ::= (BRANCH e.Sentence) 
+t.Branch ::= (BRANCH t.Pragma e.Sentence) 
 
-e.Sentence ::= [Empty] | t.Statement e.Sentence
+e.Sentence ::= [Empty] | e.Block?! e.Sentence | t.Statement e.Sentence
 
-t.Statement ::= t.Action | t.Operator | t.ComplexOperator | t.Pragma
+t.Statement ::= t.Action | t.Operator | t.ComplexOperator
 
-t.Operator ::= CUT | CUTALL | STAKE | NOFAIL | FAIL | ERROR
+t.Operator ::= (CUT    t.Pragma)
+             | (CUTALL t.Pragma)
+             | (STAKE  t.Pragma)
+             | (FAIL   t.Pragma)
+             | (ERROR  t.Pragma)
 
-t.ComplexOperator ::= (NOT e.Sentence) |
-                      (ITER t.IterBody t.IterVars t.IterCondition) |
-                      (TRY t.TrySentence t.CatchSentence)
+t.ComplexOperator ::= (NOT t.Branch)
+                    | (ITER t.IterBody t.IterVars t.IterCondition)
+                    | (TRY t.TryBranch e.CatchBlock)
 
-t.IterBody ::= (e.Sentence)
+t.IterBody ::= t.Branch
 
 t.IterVars ::= t.Format
 
-t.IterCondition ::= (e.Sentence)
+t.IterCondition ::= t.Branch
 
-t.TrySentence ::= (e.Sentence)
+t.TryBranch ::= t.Branch
 
-t.CatchSentence ::= (e.Sentence)
+e.CatchBlock ::= e.Block?!
 
 t.Action ::= t.Pattern | t.Result | t.Format | t.Block
 
-t.Pattern ::= (LEFT e.PatternExpression) | (RIGHT e.PatternExpression)
+t.Pattern ::= (LEFT  t.Pragma e.PatternExpression)
+            | (RIGHT t.Pragma e.PatternExpression)
 
 e.PatternExpression ::= [Empty] | t.PatternTerm e.PatternExpression
@@ -78 +105 @@
 t.Variable ::= t.EVar | t.VVar | t.TVar | t.Svar
 
-t.EVar ::= (EVAR t.Name)
+t.EVar ::= (EVAR t.Pragma t.Name) | (EVAR)
 
-t.VVar ::= (VVAR t.Name)
+t.VVar ::= (VVAR t.Pragma t.Name) | (VVAR)
 
-t.TVar ::= (TVAR t.Name)
+t.TVar ::= (TVAR t.Pragma t.Name) | (TVAR)
 
-t.SVar ::= (SVAR t.Name)
+t.SVar ::= (SVAR t.Pragma t.Name) | (SVAR)
 
 t.Name ::= (e.QualifiedName)
@@ -90 +117 @@
 e.QualifiedName ::= [Word] | e.QualifiedName [Word]
 
-t.Result ::= (RESULT e.ResultExpression) 
+t.Result ::= (RESULT t.Pragma e.ResultExpression) 
 
-e.ResultExpression ::= [Empty] | t.ResultTerm e.ResultExpression
+e.ResultExpression ::= [Empty]
+                     | e.Block?! e.ResultExpression
+                     | t.ResultTerm e.ResultExpression
 
-t.ResultTerm ::= t.Symbol | (PAREN e.ResultExpression) | t.Variable |
-                 (CALL e.ResultExpression) | t.Block
+t.ResultTerm ::= t.Symbol | (PAREN e.ResultExpression) | t.Variable
+               | (CALL t.Pragma e.ResultExpression)
 
 t.Symbol ::= s.ObjectSymbol | (REF t.Name)
@@ -101 +130 @@
 s.ObjectSymbol ::= [Symbol]
 
-t.Object ::= (s.Linkage s.ObjectType t.ObjectName)
+t.Object ::= (s.Linkage s.ObjectType t.Pragma t.ObjectName)
 
 s.ObjectType ::= TABLE | BOX | STRING | VECTOR | CHANNEL
@@ -109 +138 @@
 t.Initializer ::= (EXEC e.ResultExpression)
 
-t.Pragma ::= (PRAGMA e.PragmaBody)
-
-s.PragmaBody ::= e.PragmaFile | e.PragmaLine | e.PragmaTrace
-
-e.PragmaFile ::= FILE s.FileName
-
-s.FileName ::= [Word]
-
-e.PragmaLine ::= LINE s.Line s.Column
-
-s.Line ::= [Number]
-
-s.Column ::= [Number]
-
-e.PragmaTrace ::= TRACE e.TraceNames
-
-e.TraceNames ::= [Empty] | t.TraceName e.TraceNames
-
-t.TraceName ::= t.Name
-
-t.Const ::= (s.IntLinkage CONST t.ConstName e.ConstExpression) |
-            (s.ExtLinkage CONST t.ConstName)
+t.Const ::= (s.Linkage CONST t.Pragma t.ConstName e.ConstExpression)
 
 t.ConstName ::= t.Name
@@ -136 +144 @@
 e.ConstExpression ::= [Empty] | t.ConstTerm e.ConstExpression
 
-t.ConstTerm ::= t.Symbol | (PAREN e.ConstExpression) | t.Variable
+t.ConstTerm ::= t.Symbol | (PAREN e.ConstExpression)