在Rascal中输入LabeledGraph的参数

Question

请考虑以下事项：

rascal>import analysis::graphs::LabeledGraph;
ok
rascal>LGraph[str,str,str] lg = {<"1","2","3">};
LGraph[str,str]: {<"1","2","3">}

为什么最后一行上列出的LGraph只有2个类型参数？

Answer 1

LGraph的定义是

alias LGraph[&T,&L] = rel[&T from, &L label, &T to];

由于它只需要两个类型参数 - 一个用于节点类型，一个用于标签类型 - 它只是忽略了lg声明中给出的第三个参数。