.JML - Расширение файла
JML - это данные спецификации языка моделирования Java.
Функции | Описание |
---|---|
Расширение файла | .jml |
Формат | N/A |
Разработчик | The Eclipse Foundation |
категория | Source code and script |
JML - это данные спецификации языка моделирования Java.
Функции | Описание |
---|---|
Расширение файла | .jml |
Формат | N/A |
Разработчик | The Eclipse Foundation |
категория | Source code and script |
Расширение файла JML связано с языком моделирования Java (JML) языком спецификации поведенческого интерфейса, который можно использовать для указания поведения модулей Java.
Файл JML сохраняет спецификации библиотеки или структуры AA.