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.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

    dapDispatcher, eventhub, lspDispatcher, messagehub, messages, registry

    Fields inherited from interface workspace.EventListener

    AST_PRIORITY, CT_PRIORITY, DAP_PRIORITY, IN_PRIORITY, LSP_PRIORITY, PO_PRIORITY, TC_PRIORITY, TR_PRIORITY, USER_PRIORITY, WS_PRIORITY

  • Constructor Summary

    Constructors
    Constructor
    Description
    V2CPluginLSP()
     

  • Method Summary

    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 class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    Methods inherited from interface workspace.EventListener

    getPriority, handleEvent

  • Constructor Details

    • V2CPluginLSP

      public V2CPluginLSP()

  • Method Details

    • 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