ESC/Java2 Frontend For Linux
ESC/Java2 Frontend project parses Java 1.4 source code and Java 1.5 bytecode into an Abstract Syntax Tree.. #Java parser #Java library #JavaFE subsystem #ESC #Java #Frontend
ESC/Java2 Frontend project parses Java 1.4 source code and Java 1.5 bytecode into an Abstract Syntax Tree that can be used for Extended Static Checking.
The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations. Users can control the amount and kinds of checking that ESC/Java2 performs by annotating their programs with specially formatted comments called pragmas.
ESC/Java2 is available in two forms:
� ESC/Java2 is a command-line tool with a simple Swing GUI front-end. � ESC/Java2 is also an Eclipse 3.3 (Europa) plugin.
Requirements:
� Java 1.4 or later
What's New in This Release:
� AST Vector and Test classes are now included in the Javafe library. � Binary executables for the ASTGEN and ASTFILELIST tools have been prebuilt for MacOS X and Linux.
ESC/Java2 Frontend 2.0.5
add to watchlist add to download basket send us an update REPORT- runs on:
- Linux
- main category:
- Science and Engineering
- developer:
- visit homepage
IrfanView 4.67
Windows Sandbox Launcher 1.0.0
Context Menu Manager 3.3.3.1
Microsoft Teams 24060.3102.2733.5911 Home / 1.7.00.7956 Work
Zoom Client 6.0.3.37634
4k Video Downloader 1.5.3.0080 Plus / 4.30.0.5655
ShareX 16.0.1
7-Zip 23.01 / 24.04 Beta
Bitdefender Antivirus Free 27.0.35.146
calibre 7.9.0
- 7-Zip
- Bitdefender Antivirus Free
- calibre
- IrfanView
- Windows Sandbox Launcher
- Context Menu Manager
- Microsoft Teams
- Zoom Client
- 4k Video Downloader
- ShareX