2

我正在使用 C# 编写一个 PLC 语言解释器。我的解释器有自己的类型层次结构：元素类型（整数、布尔值、..）和派生类型（结构、数组、...）。从我的 ANTLR 语法创建多维数组时遇到问题。

这是我的语言声明多维数组（3x2 int 数组）的方式：

TYPE 
    MY_ARRAY : ARRAY [0..2, 1..2] OF INT; 
END_TYPE

接下来是我用于解析一维数组声明的 antlr 语法：

decl_derivated
    : 'TYPE' NEWLINE* ID ':' NEWLINE* type_decl ';' NEWLINE* 'END_TYPE' NEWLINE* -> ^(TYPEDEF<TypeDefinition>[$ID.text, $type_decl.type])
    ;

type_decl returns [Type type]
    : 'STRUCT' NEWLINE* decl_fields 'END_STRUCT' { $type = new STRUCT($decl_fields.fieldList); }
    | 'ARRAY' '[' range ']' 'OF' type_var { $type = new ARRAY($type_var.type, $range.init, $range.end); }   
    ;

range returns [int init, int end]
    : ini=CTE_INT '..' en=CTE_INT { $init = int.Parse($ini.text); $end = int.Parse($en.text); }
    ;

type_var returns [Type type]
    : 'BOOL'  { $type = new BOOL(); }
    | 'INT'   { $type = new INT(); }
    | 'REAL'  { $type = new REAL(); }
    ;

/* lexer */

ID  :   (LETTER | '_') (LETTER | DIGIT | '_')*
    ;

fragment
DIGIT : '0'..'9'
      ;

fragment
INTEGER : DIGIT ('_'|DIGIT)*
    ;

fragment
EXPONENT : ('e'|'E') ('+'|'-')? INTEGER ;

fragment
CTE_INT
    : ('+'|'-'| ) INTEGER
    ;

fragment
CTE_REAL
    : ('+'|'-'| /*vacio*/ ) INTEGER '.' INTEGER EXPONENT?
    ;

RANGE   : '..' ;

RANGE_OR_INT 
    : ( CTE_INT RANGE ) => CTE_INT  { $type=CTE_INT; }
        | ( CTE_REAL )  => CTE_REAL     { $type=CTE_REAL; }
        | CTE_INT                   { $type=CTE_INT; }
    ;

NEWLINE : '\r'? '\n'
    | '\r'
    ;

我可以解析多维数组，将数组声明中的语法更改为：

type_decl returns [Type type]
        : 'ARRAY' '[' range (',' range)* ']' 'OF' type_var

我不知道如何为这个多维数组编写我的构造函数。任何人都可以帮助我吗？谢谢你。

4

1 回答 1

1

解决方案

最后，我实现了一个更好、更优雅的解决方案。我向我的 ARRAY 数据类型类添加了两种新方法：一种用于添加新维度，另一种用于设置基本类型。

public class ARRAY : ANY_DERIVED
    {
        public Type de; // ARRAY type
        public int size;
        public int initIndex;
        public int finalIndex;

    public ARRAY(int initIndex, int finalIndex)
    {   
        this.initIndex = initIndex;
        this.finalIndex = finalIndex;
        size = finalIndex - initIndex + 1;
    }

    public void NewDim(int initIndex, int finalIndex)
    {
        if (de == null)
            de = new ARRAY(initIndex, finalIndex);
        else
            ((ARRAY)de).NewDim(initIndex, finalIndex);
    }

    public void SetBaseType(Type t)
    {
        if (de == null)
            de = t;
        else
            ((ARRAY)de).SetBaseType(t);
    }
   }

ANTLR 语法：

decl_type returns [Type type]
    : 'ARRAY' '[' r1=range {$type = new ARRAY($r1.init, $r1.end);} (',' r2=range {((ARRAY)$type).NewDim($r2.init, $r2.end);})* ']' 'OF' type_var { ((ARRAY)$type).SetBaseType($type_var.type); }    
    ;

无论如何，谢谢你的时间；）

于 2012-04-05T08:05:22.247 回答