IntelliJML: A JML plugin for IntelliJ IDEA

Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom Van Dijk, Marieke Huisman

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Downloads (Pure)

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.

Original languageEnglish
Title of host publicationFTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021
EditorsDavid R. Cok
Place of PublicationNew York, NY
PublisherAssociation for Computing Machinery (ACM)
Pages39-42
Number of pages4
ISBN (Electronic)978-1-4503-8543-5
ISBN (Print)978-1-4503-8543-5
DOIs
Publication statusPublished - 13 Jul 2021
Event23rd ACM International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2021, co-located with ECOOP/ISSTA 2021 - Virtual, Online, Denmark
Duration: 13 Jul 2021 → …

Conference

Conference23rd ACM International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2021, co-located with ECOOP/ISSTA 2021
CountryDenmark
CityVirtual, Online
Period13/07/21 → …

Keywords

  • Error checking
  • IDE
  • IntelliJ IDEA
  • Interactive Development Environment
  • Java
  • Java Modelling Language
  • JML
  • Plugin

Fingerprint

Dive into the research topics of 'IntelliJML: A JML plugin for IntelliJ IDEA'. Together they form a unique fingerprint.

Cite this