Xtext：关键字作为标识符

Question

我有以下问题：我正在为GLSL着色语言创建一个编辑器。我希望在某些情况下允许关键字作为标识符，因为内置函数的名称可以用作标识符。

例如：vec3纹理=vec3（1,2,3） 是有效的，即使纹理是一个内置函数。

这是内置函数的规则：

BuiltInFunction:
'abs' |
'acos' |
'acosh' |
'all' |
'any' |
'asin' |
'asinh' |
'atan' |
'atanh' |
'atomicAdd' |
'atomicAnd' |
//etc...

这是标识符终端规则：

terminal IDENTIFIER: (('a'..'z')|('A'..'Z')|'_') (('a'..'z')|('A'..'Z')|'_'|('0'..'9'))*;

这是编辑器中的结果<代码>纹理和abs不被识别为标识符。

完整语法供参考：http://paste2.org/YwDNkBYW

解决方案：

我创建了一个包含所有内置函数的源文件：

common void abs(); 
common void acos(); 
common void acosh(); 
common void all(); 
common void any(); 
common void asin(); 
common void asinh(); 
common void atan(); 
common void atanh(); 
common void atomicAdd(); 
common void atomicAnd(); 
common void atomicCompSwap(); 
//etc...

我使用保留的关键字common来区分内置函数和本地创建的函数：

BuiltInFunctionDeclaration returns FunctionDeclaration:
    'common' qualifier=TypeQualifier? type=Type name=BuiltInFunction LEFT_PAREN (args+=Parameter (COMMA args+=Parameter)*)? RIGHT_PAREN (functionBlock=BlockStatement|SEMICOLON)
;

BuiltInFunction returns Function:
    ({BuiltInFunction}name=IDENTIFIER)
;

FunctionDeclaration:
    qualifier=TypeQualifier? type=Type name=Function LEFT_PAREN (args+=Parameter (COMMA args+=Parameter)*)? RIGHT_PAREN (functionBlock=BlockStatement|SEMICOLON)
;

Function:
    ({Function}name=IDENTIFIER)
;

...在ScopeProvider中添加了以下内容：

public IScope scope_CallFunction_name(CallFunction context,EReference reference){
    ... add local functions to list ...
    if(builtInFunctions==null){
        ResourceSet set=file.eResource().getResourceSet();
        Resource r=set.createResource(URI.createURI("internal:/builtin.glsl"));
        try {
            //Internals.builtInFunctions is a String of the source file.
            r.load(new ByteArrayInputStream(Internals.builtInFunctions.getBytes()), set.getLoadOptions());
        } catch (IOException e) {
            e.printStackTrace();
        }
        builtInFunctions=((GLSLFile) r.getContents().get(0)).getFunctions().stream()
                .map(FunctionDeclaration::getName)
                .collect(Collectors.toList());
    }
    functions.addAll(builtInFunctions);
    return Scopes.scopeFor(functions);
}

在ISemanticHighlight ing计算器中，我在迭代器循环中添加了这个检查：

        if(current instanceof CallFunction){
            if(((CallFunction) current).getName() instanceof BuiltInFunction){
                acceptor.addPosition(node.getOffset(), node.getLength(), "CallBuiltInFunction");
                continue;
            }
        }

Answer 1

在xtext中，关键字覆盖标识符规则。当您在规则中使用标识符时，它将永远不会与关键字匹配。

无论如何，如果你想这么做，你必须把这些规则合并成一个新的规则：

keywordOrIdentifier:
    BuiltInFunction | IDENTIFIER
;

然后您必须使用此规则而不是IDENTIFIER规则：

Function:
    {Function} name=keywordOrIdentifier
;

通过此修改，您的语法将解析所需内容，如本例所示：

vec3 texture(float x, float y) {
    return vec(1,2,3)
}

这个解决方案的唯一问题是，单词texture将作为关键字着色，而在这种情况下，它不是关键字。我想你可以用一个自定义的语义计算程序来覆盖这个行为。