Open wadoon opened 1 year ago
Jml imports (//@ import fqdn.Class;) are currently not mapped to regularly import statements (attribute isJmlModel).
//@ import fqdn.Class;
isJmlModel
Creating an own AST may be beneficial, e.g., NodeWithJmlTags is not applicable, but is very costly in the design as this requires a two new classes:
NodeWithJmlTags
ImportDeclaration : NodeWithName<> - JmlImportDeclaration : NodeWithJmlTags<> - JavaImportDeclarataion
TODO Think more about.
Jml imports (
//@ import fqdn.Class;) are currently not mapped to regularly import statements (attributeisJmlModel).Creating an own AST may be beneficial, e.g.,
NodeWithJmlTagsis not applicable, but is very costly in the design as this requires a two new classes:TODO Think more about.