Eclipse-Plugin
Bis einschließlich Release 25.04 stellen wir Ihnen ein Plugin zur automatischen Integration von Astrée in Eclipse kostenlos zur Verfügung.
Die Eclipse-Integration wird von Astrée unmittelbar ermöglicht. Es muß keine Zusatzsoftware installiert werden. Sie können Astrée 30 Tage lang kostenlos und unverbindlich an Ihren eigenen Anwendungen testen.
LSP-basierte Integration
Ab dem Release 25.04 unterstützt Astrée das Language Server Protocol (LSP) zur einfachen Integration mit allen Entwicklungsumgebungen und Code-Editoren, die einen LSP-Client bieten.
Zur Integration mit Eclipse braucht man nur noch LSP4E, das man mit dem Astrée-LSP-Server verbindet.
Das eigenständige Eclipse-Plugin wird damit überflüssig und wird demnächst eingestellt.
