rascal - 可能的错误？在具有函数大小的列表列表上使用映射器

Question

我遇到了一个问题，在这个问题中，根据编译器，代码在运行时是有效的。代码非常简单。当你有一个 set[set[str]] 时也会发生这种情况，但这里我列出了 list[list[str]] 版本。不知道是独占字符串还是可以是任意类型。

list[int] testMapperSizeListOfList() {
    list[list[str]] a = [["a", "b" , "c"] , ["d"] , ["e", "f"]];
    list[int] b = mapper(a, size);
    return b;
}

这是我得到的错误:

|std:///List.rsc|(8916,3,<394,56>,<394,59>): CallFailed(
  |std:///List.rsc|(8916,3,<394,56>,<394,59>),
  [["a","b","c"]])
        at mapper(|std:///List.rsc|(8912,25,<394,52>,<394,77>))
        at testMapperSizeListOfList(|project://series0/src/Prob3.rsc|(860,149,<32,0>,<36,1>))
        at $root$(|prompt:///|(0,27,<1,0>,<1,27>)ok

只是寻找有关正在发生的事情以及是否有意的更多信息。

编辑:该模块有点臃肿，有一些可能与问题无关的东西，但这里有相应的子模块。

module Prob3

import IO;
import Set;
import List;
import Map;

import lang::java::m3::Core;
import lang::java::m3::AST;
import lang::java::jdt::m3::Core;
import lang::java::jdt::m3::AST;

import Helper;
import Prob2;

tuple[int, int, list[str]] mostOccurringNumber(list[Declaration] asts) {
     map[str name, int amount] dic = countVariables(asts);
     map[int amount, set[str] names] invertedDic = invert(dic);
     
     map[int amount, int count]  lengths = (entry : size(invertedDic[entry]) | entry <- invertedDic, true);
     int highest = max(lengths.count);
     int mostCommonValue = getOneFrom(invert(lengths)[highest]);
     
     set[str] filteredNames = invertedDic[mostCommonValue];
     return <mostCommonValue, highest, toList(filteredNames)>;
}

list[int] testMapperSizeListOfList() {
    list[list[str]] a = [["a", "b" , "c"] , ["d"] , ["e", "f"]];
    list[int] b = mapper(a, List::size);
    return b;
}

list[int] mapperSizeListOfListInt() {
    list[list[int]] a = [[1,2,3] , [4] , [5,6]];
    list[int] b = mapper(a, List::size);
    return b;
}

 set[int] mapSizeSetSet() {
     asts = getASTs(|project://smallsql0.21_src|);
     map[str name, int amount] dic = countVariables(asts);
     map[int amount, set[str] names] invertedDic = invert(dic);
     
     int temp = size(getOneFrom(invertedDic.names));
     
     set[int] lengths = mapper(invertedDic.names, size);
     
     //set[list[str]] listTestt = mapper(foo.names, toList);
     //list[list[str]] listTest = toList(listTestt);
     //list[int] lengths2 = mapper(listTest, size);
     
     
     //return temp;
     return lengths;
}

子模块:

module Prob2

import IO;
import Set;
import List;
import Map;

import lang::java::m3::Core;
import lang::java::m3::AST;
import lang::java::jdt::m3::Core;
import lang::java::jdt::m3::AST;


tuple[int, list[str]] mostOccurringVariable(list[Declaration] asts){
    map[str name, int amount] dic = countVariables(asts);
    int highest = max(dic.amount);
    set[str] correspondingNames = invert(dic)[highest];
    return <highest, toList(correspondingNames)>;
}

map[str,int] countVariables(list[Declaration] asts) {
    map[str name, int amount] dic = ();

    visit(asts){
        case \simpleName(str name):  dic = addToDic(dic,name);
        case \variable(str name , _ , _ ): dic = addToDic(dic,name);
        case \variable(str name , _ ): dic = addToDic(dic,name);
        case \fieldAccess(_ , _ , str name): dic = addToDic(dic,name);
        case \fieldAccess(_ , str name): dic = addToDic(dic,name);
        case \vararg(_ , str name): dic = addToDic(dic,name);
    }
    
    return dic;
}

map[str,int] addToDic(map[str,int] dic, str name) {
    if(name in dic){
                dic[name] = dic[name] + 1; 
            } 
            else{       
             dic = dic += (name: 1);
            } 
    return dic;
}

辅助子模块:

module Helper

import IO;
import Set;
import List;

import lang::java::m3::Core;
import lang::java::m3::AST;
import lang::java::jdt::m3::Core;
import lang::java::jdt::m3::AST;

list[Declaration] getASTs(loc projectLocation){
M3 model = createM3FromEclipseProject(projectLocation);
list[Declaration] asts = [];
for (m <- model.containment, m[0].scheme == "java+compilationUnit"){
asts += createAstFromFile(m[0], true);
}
return asts;
}

int getNumberOfInterfaces(list[Declaration] asts){
int interfaces = 0;
visit(asts){
case \interface(_, _, _, _): interfaces 
+= 1; 
}
return interfaces;
}

Answer 1

由于您只提供了一个代码片段，请在需要时纠正我的怀疑/假设。

• 是否还要导入 Set 模块？
• 当您完全限定 size 函数时错误是否消失？ (即，将第三行替换为 list[int] b = mapper(a, List::size);)

如果是这样，您遇到了高阶函数的错误，我们将不胜感激 GitHub 上的错误报告!同时，您可以将其用作解决方法。

编辑:我的立场得到纠正。似乎列表元素的类型未正确导出(value 而不是 list[&T])，我相信这是一个早已修复的错误。您是否可以切换到 rascal-unstable，看看是否可以解决您的问题？它可以从不同的更新站点 ( https://update.rascal-mpl.org/unstable ) 获得。