对于Rascal中的列表理解，错误“集合[声明]不支持下标”

Question

我不明白为什么我得到我目前在Rascal中得到的错误。

|cwd:///loader.rsc|(391,1,<19,33>,<19,34>): subscript not supported on set[Declaration] at |cwd:///loader.rsc|(391,1,<19,33>,<19,34>)
Advice: |http://tutor.rascal-mpl.org/Errors/Static/UnsupportedOperation/UnsupportedOperation.html|

我在下面的列表理解中得到了这个：

{asts[astIndexes[i]] | int i <- [0 .. size(astIndexes)]}

如果需要，这是整个文件：

module loader

import IO;
import Set;
import List;
import lang::java::m3::Core;
import lang::java::m3::AST;
import String;

set[Declaration] asts = {};

void getAsts(list[loc] partialScanList){
    asts = {};
    for (loc m <- partialScanList)
        asts += createAstFromFile(m, true);
}

void scanMetric(void (set[Declaration]) metricFunction, list[int] astIndexes){
    metricFunction({asts[astIndexes[i]] | int i <- [0 .. size(astIndexes)]});
    println(0);
}

Answer 1

答案是下标运算符是在地图和关系上定义的，而不是在集合上定义的。例如在rel[int,int] x = {<1,2>}你可以x[1]并获得{2}，在map[int,int] y = (1:2)你可以y[1]并获得2。

请注意，这些代码看起来像是AST节点的计算查找索引，但是Rascal已经为所有ADT构造函数树提供了非常高效的哈希值，并且这些哈希值用于在关系和映射中查找。由于这些哈希码也是整数，并且它们的分布非常均匀，因此通过在此基础上引入自己的索引方案来提高性能非常困难。最有可能的是它会降低性能而不是改善性能。

因此，如果您需要每个AST节点进行查找，则可以使用rel[Declaration, Something else]。人们通常也使用loc作为AST节点的引用，因为它们应该是非常独特的。如果您无法始终将所有AST保留在内存中，这会有所帮助。