Changeset 3570


Ignore:
Timestamp:
Mar 25, 2008, 6:43:39 PM (13 years ago)
Author:
yura
Message:
  • astExp -> astExpr, exp -> expr.
  • Use toString() instead of ImageBuilder?.
Location:
devel-tools/trunk/eclipse
Files:
1 deleted
42 edited
2 moved

Legend:

Unmodified
Added
Removed
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstAlt.java

    r3566 r3570  
    3131        v.visit(this, e);
    3232    }
     33
     34    @Override
     35    public String toString () {
     36        StringBuffer strBuf = new StringBuffer();
     37        strBuf.append(failMode.select("\\{", "{") + (sentenceList.length == 0 ? "" : " "));
     38        for (AstSentence sentence : sentenceList) {
     39            String str = sentence.toString();
     40            strBuf.append((str.length() == 0 ? "" : str + " ") + "; ");
     41        }
     42        strBuf.append("}");
     43        return strBuf.toString();
     44    }
    3345}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstCall.java

    r3566 r3570  
    1818
    1919    @Override
    20     public void accept (ExpVisitor v) {
     20    public void accept (ExprVisitor v) {
    2121        v.visit(this);
    2222    }
    2323
    2424    @Override
    25     public <E> void accept (ExpVisitorWithEnv<E> v, E e) {
     25    public <E> void accept (ExprVisitorWithEnv<E> v, E e) {
    2626        v.visit(this, e);
    2727    }
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstCharSymbol.java

    r3566 r3570  
    1212
    1313    @Override
    14     public void accept (ExpVisitor v) {
     14    public void accept (ExprVisitor v) {
    1515        v.visit(this);
    1616    }
    1717
    1818    @Override
    19     public <E> void accept (ExpVisitorWithEnv<E> v, E e) {
     19    public <E> void accept (ExprVisitorWithEnv<E> v, E e) {
    2020        v.visit(this, e);
    2121    }
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstConstBinding.java

    r3566 r3570  
    44
    55public final class AstConstBinding extends AstDecl {
    6     public final AstExpr exp;
     6    public final AstExpr expr;
    77
    8     public AstConstBinding (SrcPosition pos, AstName name, boolean isPublic, AstExpr exp) {
     8    public AstConstBinding (SrcPosition pos, AstName name, boolean isPublic, AstExpr expr) {
    99        super(pos, name, isPublic);
    10         assert exp != null;
    11         this.exp = exp;
     10        assert expr != null;
     11        this.expr = expr;
    1212    }
    1313
     
    2121        v.visit(this, e);
    2222    }
    23 
     23   
    2424    public String getHoverInfo () {
    2525        String qname = getQualifiedName();
    2626        if (qname == null)
    2727            return null;
    28         return "$const " + qname + " = " + exp + ";";
     28        return "$const " + qname + " = " + expr + ";";
     29    }
     30
     31    @Override
     32    public String toString () {
     33        return (isPublic ? "$public " : "") + "$const " + name + " = " + expr + ";";
    2934    }
    3035}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstCutAll.java

    r3566 r3570  
    1717        v.visit(this, e);
    1818    }
     19   
     20    @Override
     21    public String toString () {
     22        return "=";
     23    }
    1924}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstError.java

    r3566 r3570  
    2121        v.visit(this, e);
    2222    }
     23   
     24    @Override
     25    public String toString () {
     26        String str = sentence.toString();
     27        return "$error" + (str.length() == 0 ? "" : " " + str);
     28    }
    2329}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstExpr.java

    r3567 r3570  
    1818    }
    1919
    20     public void accept (ExpVisitor v) {
     20    public void accept (ExprVisitor v) {
    2121        v.visit(this);
    2222    }
    2323
    24     public <E> void accept (ExpVisitorWithEnv<E> v, E e) {
     24    public <E> void accept (ExprVisitorWithEnv<E> v, E e) {
    2525        v.visit(this, e);
    2626    }
     
    2828    @Override
    2929    public String toString () {
    30         StringBuffer exp = new StringBuffer();
     30        StringBuffer strBuf = new StringBuffer();
    3131        boolean flag = false;
    3232        for (AstTerm astTerm : termList) {
    3333            if (flag)
    34                 exp.append(' ');
    35             exp.append(astTerm);
     34                strBuf.append(' ');
     35            strBuf.append(astTerm);
    3636            flag = true;
    3737        }
    38         return exp.toString();
     38        return strBuf.toString();
    3939    }
    4040}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstFail.java

    r3566 r3570  
    1717        v.visit(this, e);
    1818    }
     19   
     20    @Override
     21    public String toString () {
     22        return "$fail";
     23    }
    1924}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstFormat.java

    r3566 r3570  
    44
    55public final class AstFormat extends AstStatement {
    6     public final AstExpr exp;
     6    public final AstExpr expr;
    77
    8     public AstFormat (SrcPosition pos, AstExpr exp) {
     8    public AstFormat (SrcPosition pos, AstExpr expr) {
    99        super(pos);
    10         assert exp != null;
    11         this.exp = exp;
     10        assert expr != null;
     11        this.expr = expr;
    1212    }
    1313
     
    2121        v.visit(this, e);
    2222    }
     23   
     24    @Override
     25    public String toString () {
     26        String str = expr.toString();
     27        return "::" + (str.length() == 0 ? "" : " " + str);
     28    }
    2329}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstFuncDecl.java

    r3566 r3570  
    4545                + outFormat + ";";
    4646    }
     47
     48    @Override
     49    public String toString () {
     50        return (isPublic ? "$public " : "") + retMode.select("$func? ", "$func ") + name + " " + inFormat + " = " + outFormat + ";";
     51    }
    4752}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstFuncDef.java

    r3566 r3570  
    3131        return funcDecl.getHoverInfo();
    3232    }
     33
     34    @Override
     35    public String toString () {
     36        String str = body.toString();
     37        return name + (str.length() == 0 ? "" : " " + str + " ") + ";";
     38    }
    3339}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstImplem.java

    r3566 r3570  
    2626        v.visit(this, e);
    2727    }
     28
     29    @Override
     30    public String toString () {
     31        StringBuffer strBuf = new StringBuffer();
     32        boolean flag = false;
     33        if (astModuleName != null) {
     34            strBuf.append("$module " + astModuleName + ";");
     35            flag = true;
     36        }
     37        for (AstUse use : useList) {
     38            if (flag)
     39                strBuf.append(' ');
     40            strBuf.append(use);
     41            flag = true;
     42        }
     43        for (AstTopNode topNode : topNodeList) {
     44            if (flag)
     45                strBuf.append(' ');
     46            strBuf.append(topNode);
     47            flag = true;
     48        }
     49        return strBuf.toString();
     50    }
    2851}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstInterf.java

    r3566 r3570  
    2222        v.visit(this, e);
    2323    }
     24
     25    @Override
     26    public String toString () {
     27        StringBuffer strBuf = new StringBuffer();
     28        boolean flag = false;
     29        if (moduleName != null) {
     30            strBuf.append("$module " + moduleName + ";");
     31            flag = true;
     32        }
     33        for (AstTopNode topNode : topNodeList) {
     34            if (flag)
     35                strBuf.append(' ');
     36            strBuf.append(topNode);
     37            flag = true;
     38        }
     39        return strBuf.toString();
     40    }
    2441}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstIter.java

    r3566 r3570  
    2323        v.visit(this, e);
    2424    }
     25
     26    @Override
     27    public String toString () {
     28        String str1 = sentence.toString();
     29        String str2 = target.toString();
     30        return "$iter" + (str1.length() == 0 ? "" : " " + str1) + " ::" + (str2.length() == 0 ? "" : " " + str2);
     31    }
    2532}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstName.java

    r3566 r3570  
    22
    33import org.refal.rfpdt.compiler.SrcPosition;
     4import org.refal.rfpdt.parser.RfpCharacter;
    45
    56public final class AstName extends AstNode {
     
    1213    }
    1314
     15    public boolean isIdenifier () {
     16        if (identifier.length() == 0 || !RfpCharacter.isIdStartChar(identifier.charAt(0)))
     17            return false;
     18        for (int i = 1; i < identifier.length(); i++)
     19            if (!RfpCharacter.isIdInternalChar(identifier.charAt(i)))
     20                return false;
     21        return true;
     22    }
     23
     24    // public String getText () {
     25    // return pos.length() > identifier.length() ? "\"" + identifier + "\"" : identifier;
     26    // }
     27
    1428    @Override
    1529    public String toString () {
    16         return pos.length() > identifier.length() ? "\"" + identifier + "\"" : identifier;
     30        return isIdenifier() ? identifier : "\"" + identifier + "\"";
    1731    }
    1832}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstNative.java

    r3566 r3570  
    2727        v.visit(this, e);
    2828    }
     29
     30    @Override
     31    public String toString () {
     32        return "$native " + left + " = " + right + ";";
     33    }
    2934}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstNot.java

    r3566 r3570  
    2121        v.visit(this, e);
    2222    }
     23   
     24    @Override
     25    public String toString () {
     26        return ("# " + sentence).trim();
     27    }
    2328}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstNumberSymbol.java

    r3566 r3570  
    1515
    1616    @Override
    17     public void accept (ExpVisitor v) {
     17    public void accept (ExprVisitor v) {
    1818        v.visit(this);
    1919    }
    2020
    2121    @Override
    22     public <E> void accept (ExpVisitorWithEnv<E> v, E e) {
     22    public <E> void accept (ExprVisitorWithEnv<E> v, E e) {
    2323        v.visit(this, e);
    2424    }
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstObjDecl.java

    r3566 r3570  
    3232        return "$" + kind.name().toLowerCase() + " " + qname + ";";
    3333    }
     34
     35    @Override
     36    public String toString () {
     37        return (isPublic ? "$public " : "") + "$" + kind.name().toLowerCase() + " " + name + ";";
     38    }
    3439}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstParen.java

    r3566 r3570  
    44
    55public final class AstParen extends AstTerm {
    6     public final AstExpr exp;
     6    public final AstExpr expr;
    77
    8     public AstParen (SrcPosition pos, AstExpr exp) {
     8    public AstParen (SrcPosition pos, AstExpr expr) {
    99        super(pos);
    10         assert exp != null;
    11         this.exp = exp;
     10        assert expr != null;
     11        this.expr = expr;
    1212    }
    1313
    1414    @Override
    15     public void accept (ExpVisitor v) {
     15    public void accept (ExprVisitor v) {
    1616        v.visit(this);
    1717    }
    1818
    1919    @Override
    20     public <E> void accept (ExpVisitorWithEnv<E> v, E e) {
     20    public <E> void accept (ExprVisitorWithEnv<E> v, E e) {
    2121        v.visit(this, e);
    2222    }
     
    2424    @Override
    2525    public String toString () {
    26         return "(" + exp.toString() + ")";
     26        return "(" + expr.toString() + ")";
    2727    }
    2828}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstPattern.java

    r3566 r3570  
    1313
    1414    public final MatchDir dir;
    15     public final AstExpr exp;
     15    public final AstExpr expr;
    1616
    17     public AstPattern (SrcPosition pos, MatchDir dir, AstExpr exp) {
     17    public AstPattern (SrcPosition pos, MatchDir dir, AstExpr expr) {
    1818        super(pos);
    19         assert dir != null && exp != null;
     19        assert dir != null && expr != null;
    2020        this.dir = dir;
    21         this.exp = exp;
     21        this.expr = expr;
    2222    }
    2323
     
    3131        v.visit(this, e);
    3232    }
     33   
     34    @Override
     35    public String toString () {
     36        return (": " + dir.select("", "$r ") + expr).trim();
     37    }
    3338}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstRef.java

    r3566 r3570  
    1515
    1616    @Override
    17     public void accept (ExpVisitor v) {
     17    public void accept (ExprVisitor v) {
    1818        v.visit(this);
    1919    }
    2020
    2121    @Override
    22     public <E> void accept (ExpVisitorWithEnv<E> v, E e) {
     22    public <E> void accept (ExprVisitorWithEnv<E> v, E e) {
    2323        v.visit(this, e);
    2424    }
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstResult.java

    r3566 r3570  
    44
    55public final class AstResult extends AstStatement {
    6     public final AstExpr exp;
     6    public final AstExpr expr;
    77
    8     public AstResult (SrcPosition pos, AstExpr exp) {
     8    public AstResult (SrcPosition pos, AstExpr expr) {
    99        super(pos);
    10         assert exp != null;
    11         this.exp = exp;
     10        assert expr != null;
     11        this.expr = expr;
    1212    }
    1313
     
    2121        v.visit(this, e);
    2222    }
     23   
     24    @Override
     25    public String toString () {
     26        return (", " + expr).trim();
     27    }
    2328}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstSentence.java

    r3566 r3570  
    1919        v.visit(this, e);
    2020    }
     21   
     22    @Override
     23    public String toString () {
     24        StringBuffer strBuf = new StringBuffer();
     25        boolean flag = false;
     26        for (AstStatement statement : statementList) {
     27            if (flag)
     28                strBuf.append(' ');
     29            strBuf.append(statement);
     30            flag = true;
     31        }
     32        return strBuf.toString().trim();
     33    }
    2134}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstTerm.java

    r3566 r3570  
    88    }
    99   
    10     public abstract void accept (ExpVisitor v);
     10    public abstract void accept (ExprVisitor v);
    1111
    12     public abstract <E> void accept (ExpVisitorWithEnv<E> v, E e);
     12    public abstract <E> void accept (ExprVisitorWithEnv<E> v, E e);
    1313}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstTraceAll.java

    r3566 r3570  
    1717        v.visit(this, e);
    1818    }
     19
     20    @Override
     21    public String toString () {
     22        return "$traceall;";
     23    }
    1924}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstTrap.java

    r3566 r3570  
    2323        v.visit(this, e);
    2424    }
     25   
     26    @Override
     27    public String toString () {
     28        return (("$trap " + trySentence).trim() + " $with " + catchSentence).trim();
     29    }
    2530}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstUse.java

    r3566 r3570  
    2121        v.visit(this, e);
    2222    }
     23
     24    @Override
     25    public String toString () {
     26        return "$use " + name + ";";
     27    }
    2328}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstVar.java

    r3566 r3570  
    4545
    4646    @Override
    47     public void accept (ExpVisitor v) {
     47    public void accept (ExprVisitor v) {
    4848        v.visit(this);
    4949    }
    5050
    5151    @Override
    52     public <E> void accept (ExpVisitorWithEnv<E> v, E e) {
     52    public <E> void accept (ExprVisitorWithEnv<E> v, E e) {
    5353        v.visit(this, e);
    5454    }
    5555
     56    // public String getText () {
     57    // if (name != null)
     58    // return type.name().toLowerCase() + (pos.charStart + 1 < name.pos.charStart ? "." : "") + name.identifier;
     59    // else
     60    // return type.name().toLowerCase() + (pos.length() > 1 ? "." : "");
     61    // }
     62
    5663    @Override
    5764    public String toString () {
    58         if (name != null)
    59             return type.name().toLowerCase() + (pos.charStart + 1 < name.pos.charStart ? "." : "") + name.identifier;
    60         else
    61             return type.name().toLowerCase() + (pos.length() > 1 ? "." : "");
     65        return type.name().toLowerCase() + (name == null ? "" : "." + name.identifier);
    6266    }
    6367}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/AstWordSymbol.java

    r3566 r3570  
    1313
    1414    @Override
    15     public void accept (ExpVisitor v) {
     15    public void accept (ExprVisitor v) {
    1616        v.visit(this);
    1717    }
    1818
    1919    @Override
    20     public <E> void accept (ExpVisitorWithEnv<E> v, E e) {
     20    public <E> void accept (ExprVisitorWithEnv<E> v, E e) {
    2121        v.visit(this, e);
    2222    }
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/ExprVisitor.java

    r3568 r3570  
    11package org.refal.rfpdt.ast;
    22
    3 public interface ExpVisitor {
     3public interface ExprVisitor {
    44    void visit (AstCall astCall);
    55
    66    void visit (AstCharSymbol astCharSymbol);
    77
    8     void visit (AstExpr astExp);
     8    void visit (AstExpr astExpr);
    99
    1010    void visit (AstNumberSymbol astNumberSymbol);
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/ExprVisitorWithEnv.java

    r3568 r3570  
    11package org.refal.rfpdt.ast;
    22
    3 public interface ExpVisitorWithEnv<E> {
     3public interface ExprVisitorWithEnv<E> {
    44    void visit (AstCall astCall, E e);
    55
    66    void visit (AstCharSymbol astCharSymbol, E e);
    77
    8     void visit (AstExpr astExp, E e);
     8    void visit (AstExpr astExpr, E e);
    99
    1010    void visit (AstNumberSymbol astNumberSymbol, E e);
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/ast/Searcher.java

    r3566 r3570  
    33import java.util.ArrayList;
    44
    5 public class Searcher implements ProgramVisitor, SentenceVisitor, ExpVisitor {
     5public class Searcher implements ProgramVisitor, SentenceVisitor, ExprVisitor {
    66    public static ArrayList<AstNode> search (AstImplem astImplem, int offset) {
    77        Searcher search = new Searcher(offset);
     
    3737            return;
    3838        visit(astConstBinding.name);
    39         astConstBinding.exp.accept(this);
     39        astConstBinding.expr.accept(this);
    4040    }
    4141
     
    127127        if (!check(astFormat))
    128128            return;
    129         astFormat.exp.accept(this);
     129        astFormat.expr.accept(this);
    130130    }
    131131
     
    146146        if (!check(astPattern))
    147147            return;
    148         astPattern.exp.accept(this);
     148        astPattern.expr.accept(this);
    149149    }
    150150
     
    152152        if (!check(astResult))
    153153            return;
    154         astResult.exp.accept(this);
     154        astResult.expr.accept(this);
    155155    }
    156156
     
    182182    }
    183183
    184     public void visit (AstExpr astExp) {
    185         if (!check(astExp))
    186             return;
    187         for (AstTerm astTerm : astExp.termList)
     184    public void visit (AstExpr astExpr) {
     185        if (!check(astExpr))
     186            return;
     187        for (AstTerm astTerm : astExpr.termList)
    188188            astTerm.accept(this);
    189189    }
     
    196196        if (!check(astParen))
    197197            return;
    198         astParen.exp.accept(this);
     198        astParen.expr.accept(this);
    199199    }
    200200
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/compiler/ExpChecker.java

    r3566 r3570  
    3434import org.refal.rfpdt.ast.AstVar;
    3535import org.refal.rfpdt.ast.AstWordSymbol;
    36 import org.refal.rfpdt.ast.ExpVisitorWithEnv;
     36import org.refal.rfpdt.ast.ExprVisitorWithEnv;
    3737import org.refal.rfpdt.ast.ProgramVisitor;
    3838import org.refal.rfpdt.ast.SentenceVisitor;
     
    5353    }
    5454
    55     private final class FormatChecker implements ExpVisitorWithEnv<ContainerWithVar> {
     55    private final class FormatChecker implements ExprVisitorWithEnv<ContainerWithVar> {
    5656        public void visit (AstCall astCall, ContainerWithVar e) {
    5757            msgHandler.send(astCall.pos, MsgCode.UnexpectedFunctionCallInFormat);
     
    7171
    7272        public void visit (AstParen astParen, ContainerWithVar e) {
    73             astParen.exp.accept(this, e);
     73            astParen.expr.accept(this, e);
    7474        }
    7575
     
    7878                e.noError = false;
    7979            if (astRef.decl instanceof AstConstBinding)
    80                 e.noError &= ((AstConstBinding) astRef.decl).exp.noError;
     80                e.noError &= ((AstConstBinding) astRef.decl).expr.noError;
    8181        }
    8282
     
    9494    }
    9595
    96     private final class PatternChecker implements ExpVisitorWithEnv<Container> {
     96    private final class PatternChecker implements ExprVisitorWithEnv<Container> {
    9797        public void visit (AstCall astCall, Container e) {
    9898            msgHandler.send(astCall.pos, MsgCode.UnexpectedFunctionCallInPattern);
     
    110110
    111111        public void visit (AstParen astParen, Container e) {
    112             astParen.exp.accept(this, e);
     112            astParen.expr.accept(this, e);
    113113        }
    114114
     
    116116            e.noError &= astRef.decl != null;
    117117            if (astRef.decl instanceof AstConstBinding)
    118                 e.noError &= ((AstConstBinding) astRef.decl).exp.noError;
     118                e.noError &= ((AstConstBinding) astRef.decl).expr.noError;
    119119        }
    120120
     
    124124    }
    125125
    126     private final class ResultChecker implements ExpVisitorWithEnv<Container> {
     126    private final class ResultChecker implements ExprVisitorWithEnv<Container> {
    127127        public void visit (AstCall astCall, Container e) {
    128128            checkResult(astCall.arg);
     
    140140
    141141        public void visit (AstParen astParen, Container e) {
    142             astParen.exp.accept(this, e);
     142            astParen.expr.accept(this, e);
    143143        }
    144144
     
    146146            e.noError &= astRef.decl != null;
    147147            if (astRef.decl instanceof AstConstBinding)
    148                 e.noError &= ((AstConstBinding) astRef.decl).exp.noError;
     148                e.noError &= ((AstConstBinding) astRef.decl).expr.noError;
    149149        }
    150150
     
    181181
    182182    public void visit (AstConstBinding astConstBinding) {
    183         checkFormat(astConstBinding.exp);
     183        checkFormat(astConstBinding.expr);
    184184    }
    185185
     
    236236
    237237    public void visit (AstFormat astFormat) {
    238         checkFormat(astFormat.exp);
     238        checkFormat(astFormat.expr);
    239239    }
    240240
     
    249249
    250250    public void visit (AstPattern astPattern) {
    251         checkPattern(astPattern.exp);
     251        checkPattern(astPattern.expr);
    252252    }
    253253
    254254    public void visit (AstResult astResult) {
    255         checkResult(astResult.exp);
     255        checkResult(astResult.expr);
    256256    }
    257257
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/compiler/FormatChecker.java

    r3566 r3570  
    3434import org.refal.rfpdt.ast.AstVar;
    3535import org.refal.rfpdt.ast.AstWordSymbol;
    36 import org.refal.rfpdt.ast.ExpVisitor;
     36import org.refal.rfpdt.ast.ExprVisitor;
    3737import org.refal.rfpdt.ast.ProgramVisitor;
    3838import org.refal.rfpdt.ast.SentenceVisitor;
     
    4040
    4141public class FormatChecker implements ProgramVisitor, SentenceVisitor, SentenceVisitorWithEnv<FormatChecker.RefAstExp>,
    42         ExpVisitor {
     42        ExprVisitor {
    4343    private static final class RefAstExp {
    4444        public AstExpr exp;
     
    171171
    172172    public void visit (AstPattern astPattern) {
    173         covers(inFormat, astPattern.exp, MsgCode.WrongFormatOfPatternExpression);
     173        covers(inFormat, astPattern.expr, MsgCode.WrongFormatOfPatternExpression);
    174174    }
    175175
     
    211211
    212212    public void visit (AstFormat astFormat, RefAstExp e) {
    213         e.set(astFormat.exp, MsgCode.FormatMismatch);
     213        e.set(astFormat.expr, MsgCode.FormatMismatch);
    214214    }
    215215
     
    231231
    232232    public void visit (AstResult astResult, RefAstExp e) {
    233         covers(e.exp, astResult.exp, e.msgCode);
    234         astResult.exp.accept(this);
     233        covers(e.exp, astResult.expr, e.msgCode);
     234        astResult.expr.accept(this);
    235235        e.reset();
    236236    }
     
    257257    public void visit (AstCharSymbol astCharSymbol) {}
    258258
    259     public void visit (AstExpr astExp) {
    260         for (AstTerm astTerm : astExp.termList)
     259    public void visit (AstExpr astExpr) {
     260        for (AstTerm astTerm : astExpr.termList)
    261261            astTerm.accept(this);
    262262    }
     
    265265
    266266    public void visit (AstParen astParen) {
    267         astParen.exp.accept(this);
     267        astParen.expr.accept(this);
    268268    }
    269269
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/compiler/FormatMatcher.java

    r3566 r3570  
    1515import org.refal.rfpdt.ast.AstVar;
    1616import org.refal.rfpdt.ast.AstWordSymbol;
    17 import org.refal.rfpdt.ast.ExpVisitor;
    18 import org.refal.rfpdt.ast.ExpVisitorWithEnv;
     17import org.refal.rfpdt.ast.ExprVisitor;
     18import org.refal.rfpdt.ast.ExprVisitorWithEnv;
    1919import org.refal.rfpdt.ast.AstVar.VarType;
    2020
     
    2929
    3030        @Override
    31         public void accept (ExpVisitor v) {
     31        public void accept (ExprVisitor v) {
    3232            throw new UnsupportedOperationException();
    3333        }
    3434
    3535        @Override
    36         public <E> void accept (ExpVisitorWithEnv<E> v, E e) {
     36        public <E> void accept (ExprVisitorWithEnv<E> v, E e) {
    3737            throw new UnsupportedOperationException();
    3838        }
     
    7676            if (astDecl instanceof AstConstBinding) {
    7777                AstConstBinding astConstBinding = (AstConstBinding) astDecl;
    78                 return astConstBinding.exp.termList;
     78                return astConstBinding.expr.termList;
    7979            } else {
    8080                AstTerm[] list = { new AstRefSymbol(astRef) };
     
    9696                return false;
    9797            else
    98                 return covers(((AstParen) f).exp, ((AstParen) e).exp);
     98                return covers(((AstParen) f).expr, ((AstParen) e).expr);
    9999        } else if (isVar(VarType.S, f)) {
    100100            return (e instanceof AstSymbol) || (isVar(VarType.S, e));
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/compiler/NameChecker.java

    r3566 r3570  
    4040import org.refal.rfpdt.ast.AstVar;
    4141import org.refal.rfpdt.ast.AstWordSymbol;
    42 import org.refal.rfpdt.ast.ExpVisitor;
     42import org.refal.rfpdt.ast.ExprVisitor;
    4343import org.refal.rfpdt.ast.ProgramVisitor;
    4444import org.refal.rfpdt.ast.SentenceVisitor;
    4545import org.refal.rfpdt.ast.AstObjDecl.ObjKind;
    4646
    47 public final class NameChecker implements ProgramVisitor, SentenceVisitor, ExpVisitor {
     47public final class NameChecker implements ProgramVisitor, SentenceVisitor, ExprVisitor {
    4848    public static void check (AstImplem astImplem, MsgHandler msgHandler) {
    4949        NameChecker v = new NameChecker(msgHandler, astImplem.moduleName);
     
    191191
    192192    public void visit (AstConstBinding astConstBinding) {
    193         astConstBinding.exp.accept(this);
     193        astConstBinding.expr.accept(this);
    194194    }
    195195
     
    284284
    285285    public void visit (AstFormat astFormat) {
    286         astFormat.exp.accept(this);
     286        astFormat.expr.accept(this);
    287287    }
    288288
     
    298298
    299299    public void visit (AstPattern astPattern) {
    300         astPattern.exp.accept(this);
     300        astPattern.expr.accept(this);
    301301    }
    302302
    303303    public void visit (AstResult astResult) {
    304         astResult.exp.accept(this);
     304        astResult.expr.accept(this);
    305305    }
    306306
     
    333333
    334334    public void visit (AstParen astParen) {
    335         astParen.exp.accept(this);
     335        astParen.expr.accept(this);
    336336    }
    337337
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/compiler/RefalASGenerator.java

    r3568 r3570  
    3939import org.refal.rfpdt.ast.AstVar;
    4040import org.refal.rfpdt.ast.AstWordSymbol;
    41 import org.refal.rfpdt.ast.ExpVisitorWithEnv;
     41import org.refal.rfpdt.ast.ExprVisitorWithEnv;
    4242import org.refal.rfpdt.ast.ProgramVisitorWithEnv;
    4343import org.refal.rfpdt.ast.SentenceVisitorWithEnv;
    4444
    4545public class RefalASGenerator implements ProgramVisitorWithEnv<Expr.Concatenator>,
    46         SentenceVisitorWithEnv<Expr.Concatenator>, ExpVisitorWithEnv<Expr.Concatenator> {
     46        SentenceVisitorWithEnv<Expr.Concatenator>, ExprVisitorWithEnv<Expr.Concatenator> {
    4747    private static final String MODULE = "MODULE";
    4848    private static final String IMPORT = "IMPORT";
     
    110110        String modName = astConstBinding.module != null ? astConstBinding.module : moduleName;
    111111        items.toRight(makeName(modName + "." + astConstBinding.name.identifier));
    112         astConstBinding.exp.accept(this, items);
     112        astConstBinding.expr.accept(this, items);
    113113        e.toRight((Comparable<?>) items.yield());
    114114    }
     
    247247        Expr.Concatenator format = Expr.getConcatenator();
    248248        format.toRight(FORMAT);
    249         astFormat.exp.accept(this, format);
     249        astFormat.expr.accept(this, format);
    250250        e.toRight((Comparable<?>) format.yield());
    251251    }
     
    278278        Expr.Concatenator items = Expr.getConcatenator();
    279279        items.toRight(astPattern.dir.select(LEFT, RIGHT));
    280         astPattern.exp.accept(this, items);
     280        astPattern.expr.accept(this, items);
    281281        e.toRight((Comparable<?>) items.yield());
    282282    }
     
    286286        Expr.Concatenator items = Expr.getConcatenator();
    287287        items.toRight(RESULT);
    288         astResult.exp.accept(this, items);
     288        astResult.expr.accept(this, items);
    289289        e.toRight((Comparable<?>) items.yield());
    290290    }
     
    340340        Expr.Concatenator items = Expr.getConcatenator();
    341341        items.toRight(PAREN);
    342         astParen.exp.accept(this, items);
     342        astParen.expr.accept(this, items);
    343343        e.toRight((Comparable<?>) items.yield());
    344344    }
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/compiler/VariableScopeChecker.java

    r3566 r3570  
    3838import org.refal.rfpdt.ast.AstVar;
    3939import org.refal.rfpdt.ast.AstWordSymbol;
    40 import org.refal.rfpdt.ast.ExpVisitorWithEnv;
     40import org.refal.rfpdt.ast.ExprVisitorWithEnv;
    4141import org.refal.rfpdt.ast.ProgramVisitor;
    4242import org.refal.rfpdt.ast.SentenceVisitorWithEnv;
     
    4444public final class VariableScopeChecker implements ProgramVisitor,
    4545        SentenceVisitorWithEnv<VariableScopeChecker.LexicalEnvironment>,
    46         ExpVisitorWithEnv<VariableScopeChecker.VarVisitor> {
     46        ExprVisitorWithEnv<VariableScopeChecker.VarVisitor> {
    4747
    4848    private static final class LexicalEnvironment {
     
    212212
    213213    public void visit (AstFormat astFormat, LexicalEnvironment e) {
    214         astFormat.exp.accept(this, new DefineVarVisitor(e));
     214        astFormat.expr.accept(this, new DefineVarVisitor(e));
    215215    }
    216216
     
    225225
    226226    public void visit (AstPattern astPattern, LexicalEnvironment e) {
    227         astPattern.exp.accept(this, new AddVarVisitor(e));
     227        astPattern.expr.accept(this, new AddVarVisitor(e));
    228228    }
    229229
    230230    public void visit (AstResult astResult, LexicalEnvironment e) {
    231         astResult.exp.accept(this, new CheckVarVisitor(e));
     231        astResult.expr.accept(this, new CheckVarVisitor(e));
    232232    }
    233233
     
    259259
    260260    public void visit (AstParen astParen, VarVisitor e) {
    261         astParen.exp.accept(this, e);
     261        astParen.expr.accept(this, e);
    262262    }
    263263
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/parser/RfpCharacter.java

    r3566 r3570  
    44    public static boolean isIdStartChar (int c) {
    55        return ('A' <= c && c <= 'Z') || c == '_';
     6    }
     7
     8    public static boolean isIdInternalChar (int c) {
     9        return isAlphanum(c) || c == '.';
    610    }
    711
  • devel-tools/trunk/eclipse/org.refal.rfpdt.core/src/org/refal/rfpdt/parser/RfpScanner.java

    r3566 r3570  
    341341        sb.append((char) ch);
    342342        nextCh();
    343         while (RfpCharacter.isAlphanum(ch) || ch == '.') {
     343        while (RfpCharacter.isIdInternalChar(ch)) {
    344344            sb.append((char) ch);
    345345            nextCh();
  • devel-tools/trunk/eclipse/org.refal.rfpdt.test/src/org/refal/rfpdt/test/comp/ParserTest.java

    r3566 r3570  
    99import org.refal.rfpdt.ast.AstImplem;
    1010import org.refal.rfpdt.ast.AstInterf;
    11 import org.refal.rfpdt.ast.ImageBuilder;
    1211import org.refal.rfpdt.compiler.MsgCode;
    1312
     
    2322        AstInterf astInterf = Util.parseInterfString(input, msgAcc);
    2423        assertTrue("Syntax is OK", msgAcc.messages.isEmpty());
    25         String actual = ImageBuilder.getImage(astInterf);
     24        String actual = astInterf.toString();
    2625        assertEquals("AST is OK", expected, actual);
    2726    }
     
    3130        AstImplem astImplem = Util.parseImplemString(input, msgAcc);
    3231        assertTrue("Syntax is OK", msgAcc.messages.isEmpty());
    33         String actual = ImageBuilder.getImage(astImplem);
     32        String actual = astImplem.toString();
    3433        assertEquals("AST is OK", expected, actual);
    3534    }
     
    4544    public void parseModuleInterface () {
    4645        interf("$const;", "");
    47         interf("$const A = 1;", "$public $const A = 1 ; ");
    48         interf("$const A = 1, B = 2;", "$public $const A = 1 ; $public $const B = 2 ; ");
    49         interf("$const A = A \"x x\" 123 ( & B );", "$public $const A = A \"x x\" 123 ( & B ) ; ");
     46        interf("$const A = 1;", "$public $const A = 1;");
     47        interf("$const A = 1, B = 2;", "$public $const A = 1; $public $const B = 2;");
     48        interf("$const A = A \"x x\" 123 ( & B );", "$public $const A = A \"x x\" 123 (&B);");
    5049
    5150        interf("$box;", "");
    52         interf("$box A;", "$public $box A ; ");
    53         interf("$box A B;", "$public $box A ; $public $box B ; ");
     51        interf("$box A;", "$public $box A;");
     52        interf("$box A B;", "$public $box A; $public $box B;");
    5453
    5554        interf("$vector;", "");
    56         interf("$vector A;", "$public $vector A ; ");
    57         interf("$vector A B;", "$public $vector A ; $public $vector B ; ");
     55        interf("$vector A;", "$public $vector A;");
     56        interf("$vector A B;", "$public $vector A; $public $vector B;");
    5857
    5958        interf("$string;", "");
    60         interf("$string A;", "$public $string A ; ");
    61         interf("$string A B;", "$public $string A ; $public $string B ; ");
     59        interf("$string A;", "$public $string A;");
     60        interf("$string A B;", "$public $string A; $public $string B;");
    6261
    6362        interf("$table;", "");
    64         interf("$table A;", "$public $table A ; ");
    65         interf("$table A B;", "$public $table A ; $public $table B ; ");
     63        interf("$table A;", "$public $table A;");
     64        interf("$table A B;", "$public $table A; $public $table B;");
    6665
    6766        interf("$channel;", "");
    68         interf("$channel A;", "$public $channel A ; ");
    69         interf("$channel A B;", "$public $channel A ; $public $channel B ; ");
     67        interf("$channel A;", "$public $channel A;");
     68        interf("$channel A B;", "$public $channel A; $public $channel B;");
    7069
    71         interf("$func F s (e t) = sX (eY tZ);", "$public $func F s ( e t ) = sX ( eY tZ ) ; ");
    72         interf("$func? F s (e t) = s.X (e.Y t.Z) ;", "$public $func? F s ( e t ) = s.X ( e.Y t.Z ) ; ");
     70        interf("$func F s (e t) = sX (eY tZ);", "$public $func F s (e t) = s.X (e.Y t.Z);");
     71        interf("$func? F s (e t) = s.X (e.Y t.Z) ;", "$public $func? F s (e t) = s.X (e.Y t.Z);");
    7372
    74         interf("$module A.B.C;", "$module A.B.C ; ");
     73        interf("$module A.B.C;", "$module A.B.C;");
     74        interf("$module \"A.B.C\";", "$module A.B.C;");
     75        interf("$module \"a.B.C\";", "$module \"a.B.C\";");
    7576    }
    7677
     
    7879    public void parseModuleImplementation () {
    7980        implem("$use;", "");
    80         implem("$use A;", "$use A ; ");
    81         implem("$use A B;", "$use A ; $use B ; ");
     81        implem("$use A;", "$use A;");
     82        implem("$use A B;", "$use A; $use B;");
    8283
    8384        implem("$const;", "");
    84         implem("$const A = 1;", "$const A = 1 ; ");
    85         implem("$const A = 1, B = 2;", "$const A = 1 ; $const B = 2 ; ");
    86         implem("$const A = A \"x x\" ( &B );", "$const A = A \"x x\" ( & B ) ; ");
     85        implem("$const A = 1;", "$const A = 1;");
     86        implem("$const A = 1, B = 2;", "$const A = 1; $const B = 2;");
     87        implem("$const A = A \"x x\" ( &B );", "$const A = A \"x x\" (&B);");
    8788
    8889        implem("$box;", "");
    89         implem("$box A;", "$box A ; ");
    90         implem("$box A B;", "$box A ; $box B ; ");
     90        implem("$box A;", "$box A;");
     91        implem("$box A B;", "$box A; $box B;");
    9192
    9293        implem("$vector;", "");
    93         implem("$vector A;", "$vector A ; ");
    94         implem("$vector A B;", "$vector A ; $vector B ; ");
     94        implem("$vector A;", "$vector A;");
     95        implem("$vector A B;", "$vector A; $vector B;");
    9596
    9697        implem("$string;", "");
    97         implem("$string A;", "$string A ; ");
    98         implem("$string A B;", "$string A ; $string B ; ");
     98        implem("$string A;", "$string A;");
     99        implem("$string A B;", "$string A; $string B;");
    99100
    100101        implem("$table;", "");
    101         implem("$table A;", "$table A ; ");
    102         implem("$table A B;", "$table A ; $table B ; ");
     102        implem("$table A;", "$table A;");
     103        implem("$table A B;", "$table A; $table B;");
    103104
    104105        implem("$channel;", "");
    105         implem("$channel A;", "$channel A ; ");
    106         implem("$channel A B;", "$channel A ; $channel B ; ");
     106        implem("$channel A;", "$channel A;");
     107        implem("$channel A B;", "$channel A; $channel B;");
    107108
    108109        implem("$func F s (e t) 123 A \"A b\" ( &B ) = sX (eY tZ);",
    109                 "$func F s ( e t ) 123 A \"A b\" ( & B ) = sX ( eY tZ ) ; ");
    110         implem("$func? F s = t;", "$func? F s = t ; ");
     110                "$func F s (e t) 123 A \"A b\" (&B) = s.X (e.Y t.Z);");
     111        implem("$func? F s = t;", "$func? F s = t;");
    111112
    112113        implem("$trace;", "");
    113         implem("$trace A;", "$trace A ; ");
    114         implem("$trace A B;", "$trace A ; $trace B ; ");
     114        implem("$trace A;", "$trace A;");
     115        implem("$trace A B;", "$trace A; $trace B;");
    115116
    116         implem("$traceall;", "$traceall; ");
     117        implem("$traceall;", "$traceall;");
    117118
    118         implem("\"F\" {};", "F { } ; ");
     119        implem("\"F\" {};", "F {} ;");
    119120
    120         implem("$use A B C; F {};", "$use A ; $use B ; $use C ; F { } ; ");
     121        implem("$use A B C; F {};", "$use A; $use B; $use C; F {} ;");
    121122
    122         implem("F;", "F : , ; ");
    123         implem("F sX;", "F : sX , ; ");
     123        implem("F;", "F : , ;");
     124        implem("F sX;", "F : s.X , ;");
    124125        implem("F s t e v sX1_ t2X_ eX3_ v_X4 s.X1_ t.2X_ e.X3_ v._X4;",
    125                 "F : s t e v sX1_ t2X_ eX3_ v_X4 s.X1_ t.2X_ e.X3_ v._X4 , ; ");
    126         implem("F $l s;", "F : s , ; ");
    127         implem("F $r s;", "F : $r s , ; ");
     126                "F : s t e v s.X1_ t.2X_ e.X3_ v._X4 s.X1_ t.2X_ e.X3_ v._X4 , ;");
     127        implem("F $l s;", "F : s , ;");
     128        implem("F $r s;", "F : $r s , ;");
     129        implem("F $r;", "F : $r , ;");
    128130
    129         implem("F A;", "F : A , ; ");
    130         implem("F s1, s1 : A;", "F : s1 , s1 : A , ; ");
    131         implem("F {A; B;};", "F { : A , ; : B , ; } ; ");
    132         implem("F {};", "F { } ; ");
    133         implem("F {;};", "F { : , ; } ; ");
    134         implem("F {A;};", "F { : A , ; } ; ");
    135         implem("F \\{A; B;};", "F \\{ : A , ; : B , ; } ; ");
     131        implem("F A;", "F : A , ;");
     132        implem("F s1, s1 : A;", "F : s.1 , s.1 : A , ;");
     133        implem("F {A; B;};", "F { : A , ; : B , ; } ;");
     134        implem("F {};", "F {} ;");
     135        implem("F {;};", "F { : , ; } ;");
     136        implem("F {A;};", "F { : A , ; } ;");
     137        implem("F \\{A; B;};", "F \\{ : A , ; : B , ; } ;");
     138        implem("F, {};", "F : {} ;");
     139        implem("F, {;};", "F : { , ; } ;");
     140        implem("F, {A;};", "F : { , A ; } ;");
     141        implem("F, \\{A; B;};", "F : \\{ , A ; , B ; } ;");
    136142
    137143        implem("F = sX1_ t2X_ eX3_ v_X4 s.X1_ t.2X_ e.X3_ v._X4;",
    138                 "F : = , sX1_ t2X_ eX3_ v_X4 s.X1_ t.2X_ e.X3_ v._X4 ; ");
    139         implem("F = sX <F (e2) A>;", "F : = , sX < F ( e2 ) A > ; ");
     144                "F : = , s.X1_ t.2X_ e.X3_ v._X4 s.X1_ t.2X_ e.X3_ v._X4 ;");
     145        implem("F = sX <F (e2) A> ;", "F : = , s.X <F (e.2) A> ;");
    140146
    141         implem("F , eX;", "F : , eX ; ");
    142         implem("F , A:: ;", "F : , A :: , ; ");
    143         implem("F , A::s, B;", "F : , A :: s , B ; ");
    144         implem("F , A $iter B;", "F : , A $iter , B :: , ; ");
    145         implem("F , A $iter B,;", "F : , A $iter , B :: , ; ");
    146         implem("F , A $iter B :: s;", "F : , A $iter , B :: s , ; ");
    147         implem("F , A $iter B :: s,;", "F : , A $iter , B :: s , ; ");
    148         implem("F , A : sX;", "F : , A : sX , ; ");
    149         implem("F , A : sX,;", "F : , A : sX , ; ");
     147        implem("F , eX;", "F : , e.X ;");
     148        implem("F , A:: ;", "F : , A :: , ;");
     149        implem("F , A::s, B;", "F : , A :: s , B ;");
     150        implem("F , A $iter B;", "F : , A $iter , B :: , ;");
     151        implem("F , A $iter B,;", "F : , A $iter , B :: , ;");
     152        implem("F , A $iter B :: s;", "F : , A $iter , B :: s , ;");
     153        implem("F , A $iter B :: s,;", "F : , A $iter , B :: s , ;");
     154        implem("F , A : sX;", "F : , A : s.X , ;");
     155        implem("F , A : sX,;", "F : , A : s.X , ;");
    150156
    151         implem("F , , A;", "F : , :: , A ; ");
    152         implem("F , #{;};", "F : , :: # { , ; } :: , ; ");
    153         implem("F , #{;},A;", "F : , :: # { , ; } :: , A ; ");
    154         implem("F , \\? A;", "F : , :: \\? , A ; ");
    155         implem("F , \\! A;", "F : , :: \\! , A ; ");
    156         implem("F , $fail;", "F : , :: $fail ; ");
    157         implem("F , = A;", "F : , :: = , A ; ");
    158         implem("F , $error A;", "F : , :: $error , A ; ");
    159         implem("F , $trap A $with { A,; B,; };", "F : , :: $trap , A $with { : A , ; : B , ; } ; ");
    160         implem("F , $trap A $with \\{ A,; B,; };", "F : , :: $trap , A $with \\{ : A , ; : B , ; } ; ");
     157        implem("F , , A;", "F : , :: , A ;");
     158        implem("F , #{;};", "F : , :: # { , ; } :: , ;");
     159        implem("F , #{;},A;", "F : , :: # { , ; } :: , A ;");
     160        implem("F , \\? A;", "F : , :: \\? , A ;");
     161        implem("F , \\! A;", "F : , :: \\! , A ;");
     162        implem("F , $fail;", "F : , :: $fail ;");
     163        implem("F , = A;", "F : , :: = , A ;");
     164        implem("F , $error A;", "F : , :: $error , A ;");
     165        implem("F , $trap A $with { A,; B,; };", "F : , :: $trap , A $with { : A , ; : B , ; } ;");
     166        implem("F , $trap A $with \\{ A,; B,; };", "F : , :: $trap , A $with \\{ : A , ; : B , ; } ;");
    161167
    162         implem("F , #A;", "F : , :: # , A :: , ; ");
    163         implem("F , #;", "F : , :: # , :: , ; ");
    164         implem("F , #{A; B;};", "F : , :: # { , A ; , B ; } :: , ; ");
    165         implem("F , #\\{A; B;};", "F : , :: # \\{ , A ; , B ; } :: , ; ");
    166         implem("F , #A : {A,1;B,2;};", "F : , :: # , A { : A , 1 ; : B , 2 ; } :: , ; ");
    167         implem("F , #A : \\{A,1;B,2;};", "F : , :: # , A \\{ : A , 1 ; : B , 2 ; } :: , ; ");
     168        implem("F , #A;", "F : , :: # , A :: , ;");
     169        implem("F , #;", "F : , :: # , :: , ;");
     170        implem("F , #{A; B;};", "F : , :: # { , A ; , B ; } :: , ;");
     171        implem("F , #\\{A; B;};", "F : , :: # \\{ , A ; , B ; } :: , ;");
     172        implem("F , #A : {A,1;B,2;};", "F : , :: # , A { : A , 1 ; : B , 2 ; } :: , ;");
     173        implem("F , #A : \\{A,1;B,2;};", "F : , :: # , A \\{ : A , 1 ; : B , 2 ; } :: , ;");
    168174        implem("F , #A : {A,1;B,2;} : {A,1;B,2;};",
    169                 "F : , :: # , A { : A , 1 ; : B , 2 ; } { : A , 1 ; : B , 2 ; } :: , ; ");
     175                "F : , :: # , A { : A , 1 ; : B , 2 ; } { : A , 1 ; : B , 2 ; } :: , ;");
    170176        implem("F , A : {A,1;B,2;} : {A,1;B,2;} :: sX, sX;",
    171                 "F : , A { : A , 1 ; : B , 2 ; } { : A , 1 ; : B , 2 ; } :: sX , sX ; ");
     177                "F : , A { : A , 1 ; : B , 2 ; } { : A , 1 ; : B , 2 ; } :: s.X , s.X ;");
    172178        implem("F , A : {$fail;A;} : {A,1;B,2;} :: sX, sX;",
    173                 "F : , A { : $fail ; : A , ; } { : A , 1 ; : B , 2 ; } :: sX , sX ; ");
     179                "F : , A { : $fail ; : A , ; } { : A , 1 ; : B , 2 ; } :: s.X , s.X ;");
    174180
    175         implem("F { {}; };", "F { { } ; } ; ");
    176         implem("F { { A = B; } :: sX; };", "F { { : A = , B ; } :: sX , ; } ; ");
     181        implem("F { {}; };", "F { {} ; } ;");
     182        implem("F { { A = B; } :: sX; };", "F { { : A = , B ; } :: s.X , ; } ;");
    177183
    178         implem("F A,A;", "F : A , A ; ");
    179         implem("F #A,A;", "F : # , A :: , A ; ");
    180         implem("F {A,A;};", "F { : A , A ; } ; ");
    181         implem("F {#A,A;};", "F { : # , A :: , A ; } ; ");
    182         implem("F #{A,A;};", "F : # { , A :: , A ; } :: , ; ");
     184        implem("F A,A;", "F : A , A ;");
     185        implem("F #A,A;", "F : # , A :: , A ;");
     186        implem("F {A,A;};", "F { : A , A ; } ;");
     187        implem("F {#A,A;};", "F { : # , A :: , A ; } ;");
     188        implem("F #{A,A;};", "F : # { , A :: , A ; } :: , ;");
    183189    }
    184190}
  • devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/editor/PresentationVisitor.java

    r3566 r3570  
    4343import org.refal.rfpdt.ast.AstVar;
    4444import org.refal.rfpdt.ast.AstWordSymbol;
    45 import org.refal.rfpdt.ast.ExpVisitor;
     45import org.refal.rfpdt.ast.ExprVisitor;
    4646import org.refal.rfpdt.ast.ProgramVisitor;
    4747import org.refal.rfpdt.ast.SentenceVisitor;
     
    5151import org.refal.rfpdt.editor.color.IColorPreferences;
    5252
    53 public class PresentationVisitor implements ProgramVisitor, SentenceVisitor, ExpVisitor {
     53public class PresentationVisitor implements ProgramVisitor, SentenceVisitor, ExprVisitor {
    5454    public static class StylePosition extends Position {
    5555        private final String key;
     
    123123    public void visit (AstConstBinding astConstBinding) {
    124124        visitObjectDefinition(astConstBinding.name);
    125         astConstBinding.exp.accept(this);
     125        astConstBinding.expr.accept(this);
    126126    }
    127127
     
    188188
    189189    public void visit (AstFormat astFormat) {
    190         astFormat.exp.accept(this);
     190        astFormat.expr.accept(this);
    191191    }
    192192
     
    201201
    202202    public void visit (AstPattern astPattern) {
    203         astPattern.exp.accept(this);
     203        astPattern.expr.accept(this);
    204204    }
    205205
    206206    public void visit (AstResult astResult) {
    207         astResult.exp.accept(this);
     207        astResult.expr.accept(this);
    208208    }
    209209
     
    235235
    236236    public void visit (AstParen astParen) {
    237         astParen.exp.accept(this);
     237        astParen.expr.accept(this);
    238238    }
    239239
  • devel-tools/trunk/eclipse/org.refal.rfpdt.ui/src/org/refal/rfpdt/editor/color/IdentifierDetector.java

    r3566 r3570  
    66class IdentifierDetector implements IWordDetector {
    77    public boolean isWordPart (char c) {
    8         return RfpCharacter.isAlphanum(c) || c == '.';
     8        return RfpCharacter.isIdInternalChar(c);
    99    }
    1010
Note: See TracChangeset for help on using the changeset viewer.