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.