Re: Refal+ abstract syntax


Subject: Re: Refal+ abstract syntax
From: Andrey Slepuhin (pooh@msu.ru)
Date: Fri Dec 17 1999 - 12:48:20 MSK


Добрый день всем!

По некотором размышлении я понял, что все-таки функция в абстрактном
синтаксисе должна состоять из двух частей - объявления и
определения, потому что она может использоваться до того, как
определена, а ее формат к этому времени уже нужно знать.
Так что изменения следующие:

! t.Item ::= t.FuncDecl
                         | t.FuncDef
                         | t.Object
                         | t.Pragma
                         | t.Initializer

- t.Function ...

+ t.FuncDecl ::= (s.Linkage s.FunctionTag s.FunctionName
t.InputFormat t.OutputFormat)

+ t.FuncDef ::= (FUNCDEF s.FunctionName e.Sentence)

Всего доброго,
Андрей.



This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:24:58 MSD