如何解决textX模型无法将第五个测试用例识别为独立行的问题

textX 默认会跳过所有空白字符（包含换行符），你定义的Line规则没有明确的行边界限制，解析第四行big white cow fast left的时候，匹配完DirPhrase部分后，解析器会直接跳过换行符，把第五行开头的little black cow当作第四行可选的words字段内容匹配，就导致第四行的l.words不为None，触发断言失败。

你之前尝试[eolterm]修饰符报错，通常是没有配合调整文法的空白处理逻辑，可按以下两种方案修改：

方案1：使用[eolterm]限定行边界 #

直接给Line规则添加[eolterm]修饰符，限定每个Line匹配到行尾就终止，修改后的文法如下：

mm = metamodel_from_str('''
File:
    lines+=Line;

Line[eolterm]:
    startwords=Startwords
    dirp=DirPhrase?
    words=Words?
    command=Commands?
;

// 其余规则保持不变
Startwords: 
    (StartKeywords | Signs)?;

StartKeywords:
    'bag';

Commands:
    ('sleep over'|'walk');

Words:
    words+=Word?;

Word:
    !DirType !Commands ID;

Signs:
    signs+=Sign;

Sign:
    !Commands !StartKeywords Word;

DirPhrase:
    dirtyp=DirType
    dir=Dir
;

DirType:
    'fast';

Dir:
    ('left'|'right')+;
''')

修改后解析器会自动把每行作为单独的Line处理，不会跨行读取内容。

方案2：修改全局空白跳过规则 #

如果方案1仍有兼容问题，可以修改文法的全局跳过规则，明确只跳过空格和制表符，把换行符作为行分隔符，修改如下：

mm = metamodel_from_str('''
skip: /[ \t]+/; // 仅跳过空格、制表符，不跳过换行

File:
    lines+=Line(/\n/); // 多个Line用换行分隔

Line:
    startwords=Startwords
    dirp=DirPhrase?
    words=Words?
    command=Commands?
;

// 其余规则保持不变
Startwords: 
    (StartKeywords | Signs)?;

StartKeywords:
    'bag';

Commands:
    ('sleep over'|'walk');

Words:
    words+=Word?;

Word:
    !DirType !Commands ID;

Signs:
    signs+=Sign;

Sign:
    !Commands !StartKeywords Word;

DirPhrase:
    dirtyp=DirType
    dir=Dir
;

DirType:
    'fast';

Dir:
    ('left'|'right')+;
''')

这种方式显式定义了行分隔规则，适配性更强。

两种方案修改后，第五行内容会被识别为单独的Line，第四行的l.words会保持为None，所有断言均可正常通过。

内容的提问来源于stack exchange，提问作者Richard Wheeler