我写了以下两行：
OCLContextDefinitionMCParser parser = new OCLContextDefinitionMCParser();
Optional<ASTOCLContextDefinition> invariant = parser.parse(model.toString());
（而model的类型为Path，它指向文件名）
但方法parse用eclipse的红线加下划线。相应的错误消息如下：
The method parse(String) from type OCLContextDefinitionMCParser
refers to the missing type ASTOCLContextDefinition
当我查看位于parse的{{1}}签名时，我可以看到：
OCLContextDefinitionMCParser所以，我无法理解错误信息。我还添加了导入。但不知何故，public Optional<oclgrammarDefinition.oclgrammarDefinition._ast.ASTOCLContextDefinition> parse(String filename) throws IOException, RecognitionException {
...
}
仍然有下划线。
此处是 Problems 视图内容的一部分：
parse