We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
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.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
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.
The text was updated successfully, but these errors were encountered: