Package plugins
Class V2CPluginLSP
- java.lang.Object
-
- workspace.plugins.AnalysisPlugin
-
- plugins.V2CPluginLSP
-
- All Implemented Interfaces:
workspace.EventListener
public class V2CPluginLSP extends workspace.plugins.AnalysisPlugin implements workspace.EventListenerAll LSP plugins must extend AnalysisPlugin. The fully qualified class name of the plugin must be set in the "lspx.plugins" property or resource file, to make the LSP Server load it.
-
-
Constructor Summary
Constructors Constructor Description V2CPluginLSP()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static workspace.plugins.AnalysisPluginfactory(com.fujitsu.vdmj.lex.Dialect dialect)A plugin must provide a static "factory" method that takes a single Dialect parameter.StringgetName()This is the registered name in the plugin registry.rpc.RPCMessageListhandleEvent(workspace.events.LSPEvent event)This method is called when unknownMethodEvent, slsp/v2c events are raised.voidinit()This method is called when the plugin is registered.-
Methods inherited from class workspace.plugins.AnalysisPlugin
getCommand, getCommandHelp, getDescription, getPriority, handleEvent, setDAPCapabilities, setServerCapabilities
-
-
-
-
Method Detail
-
factory
public static workspace.plugins.AnalysisPlugin factory(com.fujitsu.vdmj.lex.Dialect dialect)
A plugin must provide a static "factory" method that takes a single Dialect parameter.
-
getName
public String getName()
This is the registered name in the plugin registry. It can be anything.- Specified by:
getNamein interfaceworkspace.EventListener- Specified by:
getNamein classworkspace.plugins.AnalysisPlugin
-
init
public void init()
This method is called when the plugin is registered.- Specified by:
initin classworkspace.plugins.AnalysisPlugin
-
handleEvent
public rpc.RPCMessageList handleEvent(workspace.events.LSPEvent event) throws ExceptionThis method is called when unknownMethodEvent, slsp/v2c events are raised. They go via the unknownMethod handler, which sends an unknownMethodEvent.- Specified by:
handleEventin interfaceworkspace.EventListener- Overrides:
handleEventin classworkspace.plugins.AnalysisPlugin- Throws:
Exception
-
-