Question

我正试图从Rascal的一个类中获取所有修饰符。

m = createM3FromEclipseProject(projectLocation);
for(cl <- classes(m)){
    set[Modifier] modi = { f | f <- m@modifiers[cl], f.scheme == "java+class"};
    println(modi);
}

这为我提供了一组所有类的修饰符，但是如果我检查m @ modifiers，它就不是空的。

所以m @ modifiers [cl]不会给我属于具有位置cl的类的修饰符。我如何获得这些修饰符？

Answer 1

您提供的代码出了点问题。如果您尝试在REPL上一步一步地执行此操作，您将看到原因：

对于一个带有Fruit的示例项目，并将其提取到M3模型中m我有这个：

rascal>classes(m)
set[loc]: {
  |java+class:///Fruit|,
  |java+class:///Apple|,
  |java+class:///HelloWorld|
}

rascal>m@modifiers
rel[loc definition,Modifier modifier]: {
  <|java+interface:///IFruit|,public()>,
  <|java+method:///HelloWorld/main(java.lang.String%5B%5D)|,static()>,
  <|java+class:///Fruit|,abstract()>,
  <|java+method:///Apple/edible()|,public()>,
  <|java+method:///Fruit/edible()|,public()>,
  <|java+class:///Apple|,public()>,
  <|java+method:///HelloWorld/main(java.lang.String%5B%5D)|,public()>,
  <|java+class:///HelloWorld|,public()>,
  <|java+method:///Fruit/edible()|,abstract()>,
  <|java+class:///Fruit|,public()>
}

所以m@modifiers[someClass]返回一组修饰符：

rascal>m@modifiers[|java+class:///Fruit|]
set[Modifier]: {
  abstract(),
  public()
}

在您的代码f <- m@modifiers[cl]中，f因此绑定到修饰符而不是源位置。不知何故，代码不会抛出异常，而是让条件失败？因为我得到了这个结果：

rascal>{ f | cl <- classes(m), f <- m@modifiers[cl], f.scheme == "java+class"};
|prompt:///|(46,1,<1,46>,<1,47>): Undeclared field: scheme for Modifier
Advice: |http://tutor.rascal-mpl.org/Errors/Static/UndeclaredField/UndeclaredField.html|

如果要打印每个类的修饰符，则此代码应该执行此操作：

for (cl <- classes(m)) {
  println("modifiers for <cl> are <m@modifiers[cl]>");
}

从课堂上获取修饰语

1 个答案: