All Classes and Interfaces
Classes
Class
Description
All command line plugins must extend AnalysisCommand and be in the class "plugins" by
default.
All LSP plugins must extend AnalysisPlugin.
A VDMJ Plugin to enable the V2C translate features.