我目前正在研究一种Xtext
语法,并遇到了左递归图的一些问题。我已经在我的语法中消除了所有直接左递归,但现在我有一些间接左递归,它们在 IDE 中显示为消息This rule call is part of a left recursive call graph.
这是我的问题的一个例子:
grammar com.stackoverflow.Example with org.eclipse.xtext.common.Terminals
generate example "http://stackoverflow.com/Example"
Type:
var157=ValueType | var158=ReferenceType;
ValueType:
var160=StructType | var161=EnumType;
StructType:
var162=TypeName | var163=SimpleType | var164=NullableType;
TypeName:
var165=ID;
SimpleType:
var166=NumericType | "bool";
NumericType:
"decimal";
NullableType:
var169=NonNullableValueType "?";
NonNullableValueType:
var170=Type;
EnumType:
var171=TypeName;
ReferenceType:
var172=ClassType | var173=InterfaceType | var174=ArrayType;
ClassType:
var176=TypeName | "object" | "dynamic" | "string";
InterfaceType:
var177=TypeName;
ArrayType:
var178=NonArrayType "[]";
NonArrayType:
var180=Type;
我怎样才能解决这样的左递归?