Abstract
Java code can be annotated with formal specifications using the Java Modelling Language (JML). Previous work has provided IDE plugins intended to help write JML, but mostly for the Eclipse IDE. We introduce IntelliJML, a JML plugin for IntelliJ IDEA, with a focus on ease of use and maintainability. Features such as syntax, semantic, and type checking, as well as syntax highlighting and code completion are integrated into the plugin. The plugin can also be extended in the future to add more features. The source code for the plugin can be found at https://gitlab.utwente.nl/fmt/intellijml.
Author supplied keywords
Cite
CITATION STYLE
Monteiro, S., Sokolovas, E., Wittingen, E., Dijk, T. V., & Huisman, M. (2021). IntelliJML: A JML plugin for IntelliJ IDEA. In FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021 (pp. 39–42). Association for Computing Machinery, Inc. https://doi.org/10.1145/3464971.3468423
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
