Changeset 1835


Ignore:
Timestamp:
Jan 24, 2006, 10:24:24 AM (15 years ago)
Author:
orlov
Message:
  • Various improvements. Now any ASAIL program should compile to Java.
Location:
to-imperative/trunk/compiler
Files:
5 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/compiler/rfp_asail_cpp.rf

    r1819 r1835  
    8787ASAIL-To-CPP e.asail, {
    8888  e.asail : t.item e.rest, t.item : {
    89     (FUNC t.name (e.args) (e.ress) e.body) =
     89    (s.tag t.name (e.args) (e.ress) e.body),
     90      s.tag : \{
     91        FUNC  = ('void') /*empty*/;
     92        FUNC? = ('boolean') ('return true;');
     93      } :: (e.return-type) e.return =
    9094      <Store &Current-Func t.name>,
    9195      { <? &Entry> : t.name = <Store &Entry-Name <Rfp2Cpp t.name>>;; },
  • to-imperative/trunk/compiler/rfp_asail_java.rf

    r1831 r1835  
    223223      };
    224224  } :: e.java-item,
    225     e.java-item <ASAIL-To-Java e.rest>;
     225    {
     226      e.java-item : ('break ' e) = e.java-item;
     227      e.java-item <ASAIL-To-Java e.rest>;
     228    };
    226229  /*empty*/;
    227230};
     
    416419    (STATIC e) =
    417420      () (<Rfp2Java t.item>);
     421    (FUNC t.name) = () ('new Expr (new Func () {'
     422      ('public boolean eval (Expr arg, Expr res) throws RefalException {'
     423        ('return '<Name-To-Java t.name>' (arg, res);')
     424      '}') '})');
    418425//    (FUNC t.name) =
    419426//      '.concat (new Expr (new Reference ("'<Name-To-JAVA t.name>'")));
  • to-imperative/trunk/compiler/rfp_asail_optim.rf

    r1723 r1835  
    662662  /*empty*/ = /*empty*/;
    663663  (LABEL e.block) e.tail = (LABEL e.block) e.tail;
    664   t.head e.tail = <Unachiev-Del e.tail>;
     664  t.head e.tail = t.head <Unachiev-Del e.tail>;
    665665};
    666666 
  • to-imperative/trunk/compiler/rfp_compile.rf

    r1819 r1835  
    747747    e1 = e1 '_' 0;
    748748  } :: e.name,
    749   (e.qualifiers <To-Word e.name>) :: t.name,
     749  (/*e.qualifiers*/ <To-Word e.name>) :: t.name,
    750750  {
    751751    <Lookup-Func t.name> : e = <Stub-Name t.name>;
  • to-imperative/trunk/compiler/rfp_lex.rf

    r1825 r1835  
    8080  <Store &Src-Counter 0>,
    8181  <RFP-Clear-Table &RFP-Sources>,
     82  <RFP-Clear-Table &RFP-Includes>,
    8283  {
    8384    e.filename : v, {
Note: See TracChangeset for help on using the changeset viewer.