T_Cyjb_Compilers_Parsers_Parser_1

Parser(T) 类

提供构造语法分析器的功能。

继承层次

System.Object
  Cyjb.Compilers.Parsers.Parser(T, ParserController(T))
    Cyjb.Compilers.Parsers.Parser(T)
Namespace: Cyjb.Compilers.Parsers
Assembly: Cyjb.Compilers (in Cyjb.Compilers.dll) Version: 1.0.20+d347ea0351607fb282fdf60a5301f9cccb3ab27e

语法

C#

public sealed class Parser<T> : Parser<T, ParserController<T>>
where T : struct, new()

类型参数

 

T

词法单元标识符的类型，一般是一个枚举类型。

  The Parser(T) type exposes the following members.

构造函数

 

	名称	说明
	Parser(T)	Initializes a new instance of the Parser(T) class

  Back to Top

方法

 

	名称	说明
	AddStart	将指定非终结符标标记为开始符号。 (继承自 Parser(T, TController)。)
	DefineAssociativity	定义具有指定结合性的终结符集合，定义越晚优先级越高。 (继承自 Parser(T, TController)。)
	DefineProduction	定义指定的产生式。 (继承自 Parser(T, TController)。)
	Equals	Determines whether the specified object is equal to the current object. (继承自 Object。)
	GetData	返回语法分析器的数据。 (继承自 Parser(T, TController)。)
	GetFactory	返回语法分析的工厂。 (继承自 Parser(T, TController)。)
	GetHashCode	Serves as the default hash function. (继承自 Object。)
	GetStateDescription	返回最近一次构造的词法分析器的状态描述信息。 (继承自 Parser(T, TController)。)
	GetType	Gets the Type of the current instance. (继承自 Object。)
	ToString	Returns a string that represents the current object. (继承自 Object。)

  Back to Top

Remarks

泛型参数 T 一般是一个枚举类型，用于标识词法单元。 其中包含了所有终结符和非终结符的定义。关于语法分析的相关信息，请参考我的系列博文 《C# 语法分析器（一）语法分析介绍》。

示例

下面简单的构造一个数学算式的语法分析器：

enum Calc { Id, Add, Sub, Mul, Div, Pow, LBrace, RBrace, E }
// 非终结符的定义。
Parser<Calc> parser = new();
// 定义产生式
parser.DefineProduction(Calc.E, Calc.Id).Action(c => c[0].Value);
parser.DefineProduction(Calc.E, Calc.E, Calc.Add, Calc.E)
    .Action(c => (double) c[0].Value! + (double) c[2].Value!);
parser.DefineProduction(Calc.E, Calc.E, Calc.Sub, Calc.E)
    .Action(c => (double) c[0].Value! - (double) c[2].Value!);
parser.DefineProduction(Calc.E, Calc.E, Calc.Mul, Calc.E)
    .Action(c => (double) c[0].Value! * (double) c[2].Value!);
parser.DefineProduction(Calc.E, Calc.E, Calc.Div, Calc.E)
    .Action(c => (double) c[0].Value! / (double) c[2].Value!);
parser.DefineProduction(Calc.E, Calc.E, Calc.Pow, Calc.E)
    .Action(c => Math.Pow((double) c[0].Value!, (double) c[2].Value!));
parser.DefineProduction(Calc.E, Calc.LBrace, Calc.E, Calc.RBrace)
    .Action(c => c[1].Value);
// 定义运算符优先级。
parser.DefineAssociativity(AssociativeType.Left, Calc.Add, Calc.Sub);
parser.DefineAssociativity(AssociativeType.Left, Calc.Mul, Calc.Div);
parser.DefineAssociativity(AssociativeType.Right, Calc.Pow);
parser.DefineAssociativity(AssociativeType.NonAssociate, Calc.Id);
IParserFactory<Calc> factory = parser.GetFactory();
// 解析词法单元序列。
ITokenizer<Calc> tokenizer = /* 创建词法分析器 */;
ITokenParser<Calc> parser = factory.CreateParser(tokenizer);
Console.WriteLine(parser.Parse().Value);
// 输出 166.0

参见

Reference

Cyjb.Compilers.Parsers 命名空间
Cyjb.Compilers.Parsers.ParserData(T)

Other Resources

《C# 语法分析器（一）语法分析介绍》