0

私が ANTLR で、一部のテキストを解析して、消費可能な読み取り専用オブジェクト モデルを生成すると仮定しましょう。オブジェクト モデルでは、多数のオブジェクトが他のオブジェクトを参照しています。

私が現在取っている手順は次のとおりです。

  1. ANTLR 4 を使用して、ソースをツリーに解析します (生成されます)。
  2. ツリーをたどって一時オブジェクト モデルを構築します (文字列を参照として使用します)。
  3. 一時オブジェクト モデルをウォークし、パブリック モデルを作成する

このアプローチの問題は、文法が成長するにつれて型とマッピングが爆発的に増えることです。オブジェクト モデルを構築し、内部参照を解決するために、コンパイラやその他の解析はどのようなアプローチをとりますか?

ソース

以下は、解析中のソースの抜粋です。課題を説明するために単純化されています。

class Class1 : Class2, Class4
{

}

class Class2 : Class3
{

}

class Class3
{

}

class Class4
{

}

パブリック オブジェクト モデル

解析の結果であるパブリック オブジェクト モデルを次に示します。

public class ModelFactory
{
    public IModel Create()
    {
        /* Some magic */
    }
}

public interface IModel
{
    IClass CreateClass(string name);

    IEnumerable<IClass> Classes
    {
        get;
    }
}

public interface IClass
{
    void CreateGeneralization(IClass superClass);

    IEnumerable<IClass> SubClasses
    {
        get;
    }

    IEnumerable<IClass> SuperClasses
    {
        get;
    }

    IModel Model
    {
        get;
    }

    string Name
    {
        get;
    }
}

テスト

正しいことを検証するために書いたテスト:

[Test]
public void ParseTest()
{
    // Arrange
    const string path = "MultipleInheritance.txt";
    var target = new ModelParser();

    // Act
    var model = target.Parse(path);

    // Assert
    Assert.IsNotNull(model);
    Assert.IsNotNull(model.Classes);
    var class1 = model.Classes.FirstOrDefault(c => c.Name == "Class1");
    var class2 = model.Classes.FirstOrDefault(c => c.Name == "Class2");
    var class3 = model.Classes.FirstOrDefault(c => c.Name == "Class3");
    var class4 = model.Classes.FirstOrDefault(c => c.Name == "Class4");            
    Assert.IsNotNull(class1);
    Assert.IsNotNull(class2);
    Assert.IsNotNull(class3);
    Assert.IsNotNull(class4);

    Assert.IsTrue(class1.SuperClasses.Any(c => c == class2));
    Assert.IsTrue(class1.SuperClasses.Any(c => c == class4));
    Assert.IsTrue(class2.SuperClasses.Any(c => c == class3));
    Assert.IsEmpty(class3.SuperClasses);
    Assert.IsEmpty(class4.SuperClasses);

    Assert.IsTrue(class4.SubClasses.Any(c => c == class1));
}

文法

問題を説明するために、文法を簡略化しています。

grammar Model;

/*
 * Parser Rules
 */

model
    :   classDeclaration*
    |   EOF
    ;

classDeclaration
    :   'class' name=Identifier  (':' generalizations=typeList)?
        '{' 
        /* attributeDeclaration* */
        '}'
    ;

typeList
    :   type (',' type)*
    ;

type
    :   name=Identifier
    ;

/*
 * Lexer Rules
 */

Identifier
    :   Letter (Letter|IdentifierDigit)*
    ;

fragment
Letter
    :   '\u0024' 
    |   '\u0041'..'\u005a' 
    |   '\u005f' 
    |   '\u0061'..'\u007a' 
    |   '\u00c0'..'\u00d6' 
    |   '\u00d8'..'\u00f6' 
    |   '\u00f8'..'\u00ff' 
    |   '\u0100'..'\u1fff' 
    |   '\u3040'..'\u318f' 
    |   '\u3300'..'\u337f' 
    |   '\u3400'..'\u3d2d' 
    |   '\u4e00'..'\u9fff' 
    |   '\uf900'..'\ufaff'
    ;

fragment
IdentifierDigit
    :   '\u0030'..'\u0039' 
    |   '\u0660'..'\u0669' 
    |   '\u06f0'..'\u06f9' 
    |   '\u0966'..'\u096f' 
    |   '\u09e6'..'\u09ef' 
    |   '\u0a66'..'\u0a6f' 
    |   '\u0ae6'..'\u0aef' 
    |   '\u0b66'..'\u0b6f' 
    |   '\u0be7'..'\u0bef' 
    |   '\u0c66'..'\u0c6f' 
    |   '\u0ce6'..'\u0cef' 
    |   '\u0d66'..'\u0d6f' 
    |   '\u0e50'..'\u0e59' 
    |   '\u0ed0'..'\u0ed9' 
    |   '\u1040'..'\u1049'
    ;

WS
    :   [ \r\t\n]+ -> skip 
    ;

一時オブジェクト モデル

解析したら、ツリーからこのモデルを構築します。次に、ツリーをたどってパブリック ドメイン モデルを構築します。

public class TempoaryModel
{
    public TempoaryModel()
    {
        Classes = new List<TemporaryClass>();
    }

    public List<TemporaryClass> Classes
    {
        get;
        private set;
    }
}

public class TemporaryClass
{
    public TemporaryClass()
    {
        SuperClasses = new List<string>();
    }

    public List<string> SuperClasses
    {
        get;
        private set;
    }

    public string Name
    {
        get;
        set;
    }
}
4

1 に答える 1