Package plugins

Class V2CPluginLSP

  • All Implemented Interfaces:
    workspace.EventListener

    public class V2CPluginLSP
    extends workspace.plugins.AnalysisPlugin
    implements workspace.EventListener
    All 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.
    • Field Summary

      • Fields inherited from class workspace.plugins.AnalysisPlugin

        eventhub, messagehub, messages, registry
      • Fields inherited from interface workspace.EventListener

        AST_PRIORITY, CT_PRIORITY, IN_PRIORITY, PO_PRIORITY, TC_PRIORITY, USER_PRIORITY, WS_PRIORITY
    • Constructor Summary

      Constructors 
      Constructor Description
      V2CPluginLSP()  
    • Method Summary

      All Methods Static Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      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.
      String getName()
      This is the registered name in the plugin registry.
      rpc.RPCMessageList handleEvent​(workspace.events.LSPEvent event)
      This method is called when unknownMethodEvent, slsp/v2c events are raised.
      void init()
      This method is called when the plugin is registered.
      • Methods inherited from class workspace.plugins.AnalysisPlugin

        getCommand, getCommandHelp, getDescription, getPriority, handleEvent, setDAPCapabilities, setServerCapabilities
      • Methods inherited from interface workspace.EventListener

        getPriority, handleEvent
    • Constructor Detail

      • V2CPluginLSP

        public V2CPluginLSP()
    • 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:
        getName in interface workspace.EventListener
        Specified by:
        getName in class workspace.plugins.AnalysisPlugin
      • init

        public void init()
        This method is called when the plugin is registered.
        Specified by:
        init in class workspace.plugins.AnalysisPlugin
      • handleEvent

        public rpc.RPCMessageList handleEvent​(workspace.events.LSPEvent event)
                                       throws Exception
        This method is called when unknownMethodEvent, slsp/v2c events are raised. They go via the unknownMethod handler, which sends an unknownMethodEvent.
        Specified by:
        handleEvent in interface workspace.EventListener
        Overrides:
        handleEvent in class workspace.plugins.AnalysisPlugin
        Throws:
        Exception