Работа с выражением АСТ

Question

Есть ли какая-либо передовая практика при работе с АСТ? У меня есть анализируемое выражение AST. ConstantExpression, BinaryExpression и т. Д. Я хочу заполнить GUI-диалог информацией из AST, и именно здесь я немного смущен, потому что мой код становится довольно грязным.

Пример:

expression = "Var1 > 10 AND Var2 < 20" 

Я хочу, чтобы заполнить два текстовых полей со значением 10 соответственно. 20 из АСТ. Что я сейчас делаю, это рекурсивный метод, который проверяет правильные типы дочерних выражений (с .Net Is-operator) и действует соответственно, а код действительно «вонючий» :)

Есть ли какой-либо шаблон дизайна, например, посетитель или такой, что делает его несколько более легким/удобочитаемым/поддерживаемым?

Answer 1

Большинство компиляторов решают эту проблему с помощью либо

• Метод перекрывая
• Visitor

Вот как вы бы идти о сборе всех постоянного значения (литералы), который появляется в вашем выражение в целые числа List. Затем код вызова может заполнять текстовые поля со значениями из этого списка.

Метод наиважнейшая

Самый верхний АСТ класс определяет абстрактный метод, который переопределен в подклассах.

class AstNode { 
    .. // Some stuff 
    public abstract void collectValues(List<Integer> ints); 
} 

class ConstantExpression : AstNode { 
    private int value; 
    .. // Some stuff 
    public override void collectValues(List<Integer> ints) { ints.Add(value); } 
} 

class BinaryExpression : AstNode { 
    private AstNode left; 
    private AstNode right; 
    .. // Some stuff 
    public override void collectValues(List<Integer> ints) { 
     left.collectValues(ints); 
     right.collectValues(ints); 
    } 
} 

class Identifier : AstNode { 
    .. // Some stuff 
    public override void collectValues(List<Integer> ints) { 
    // do nothing! 
    } 
} 

посетители

же программа, но написано с помощью посетителей.

class Visitor { 
    public abstract void visit(ConstantExpression e); 
    public abstract void visit(BinaryExpression e); 
    public abstract void visit(Identifier e); 
} 

class AstNode { 
    .. // Some stuff 
    public abstract void accept(Visitor v); 
} 

class ConstantExpression : AstNode { 
    public int value; 
    .. // Some stuff 
    public override void accept(Visitor v) { v.visit(this); } 
} 

class BinaryExpression : AstNode { 
    private AstNode left; 
    private AstNode right; 
    .. // Some stuff 
    public override void accept(Visitor v) { 
    left.accept(v); 
    right.accept(v); 
    v.visit(this); 
    } 
} 

class Identifier : AstNode { 
    .. // Some stuff 
    public override void accept(Visitor v) { v.visit(this); } 
} 


class ValueCollector : Visitor { 
    public List<Integer> ints = ...; 

    public void visit(ConstantExpression e) { ints.Add(e.value); } 
    public void visit(BinaryExpression e) { } 
    public void visit(Identifier e) { } 
} 

Answer 2

Рекомендация по работе с НРХАМИ являются:

• Получить хорошие парсер, чтобы помочь вам построить ASTS от какого-то описания грамматики
• Получить хорошую библиотеку, чтобы помочь вам ходить AST к собирать/модифицировать AST

Для серьезных работ с АСТ это лучше всего сделать, используя упаковку, предназначенную для создания и управления АСТ. Часто такие пакеты включают в себя дополнительную поддержку, такую ​​как сопоставление образцов и/или переписывание AST с использованием преобразований источника в источник.

Вот несколько:

• ANTLR
• DMS Software Reengineering Toolkit (мой продукт)
• TXL

This example показывает, как создавать и манипулировать ASTS используя только BNF, узоры и источника- to-source.