.JML - Phần mở rộng của tệp
JML là dữ liệu đặc tả ngôn ngữ mô hình Java.
Tính năng | Mô tả |
---|---|
Phần mở rộng của tệp | .jml |
Định dạng | N/A |
Phát triển bởi | The Eclipse Foundation |
Danh mục | Source code and script |
JML là dữ liệu đặc tả ngôn ngữ mô hình Java.
Tính năng | Mô tả |
---|---|
Phần mở rộng của tệp | .jml |
Định dạng | N/A |
Phát triển bởi | The Eclipse Foundation |
Danh mục | Source code and script |
Tiện ích mở rộng tệp JML được liên kết với ngôn ngữ mô hình hóa Java (JML) Một ngôn ngữ đặc tả giao diện hành vi có thể được sử dụng để chỉ định hành vi của các mô -đun Java.
Tệp JML lưu trữ các thông số kỹ thuật của thư viện hoặc khung AA.