Package plugins

Class V2CPluginVDMJ

java.lang.Object
com.fujitsu.vdmj.plugins.AnalysisPlugin
plugins.V2CPluginVDMJ
public class V2CPluginVDMJ extends com.fujitsu.vdmj.plugins.AnalysisPlugin
A VDMJ Plugin to enable the V2C translate features. This is a simple plugin which provides a single "translate" command via the getCommand method.

  • Field Summary

    Fields inherited from class com.fujitsu.vdmj.plugins.AnalysisPlugin

    eventhub, registry

  • Constructor Summary

    Constructors
    Constructor
    Description
    V2CPluginVDMJ()
     

  • Method Summary

    Modifier and Type
    Method
    Description
    static com.fujitsu.vdmj.plugins.AnalysisPlugin
    factory(com.fujitsu.vdmj.lex.Dialect dialect)
     
    com.fujitsu.vdmj.plugins.AnalysisCommand
    getCommand(String line)
     
    com.fujitsu.vdmj.plugins.HelpList
    getCommandHelp()
     
    String
    getName()
     
    void
    init()
     

    Methods inherited from class com.fujitsu.vdmj.plugins.AnalysisPlugin

    errsOf, getDescription, getPriority, processArgs, usage

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • V2CPluginVDMJ

      public V2CPluginVDMJ()

  • Method Details

    • factory

      public static com.fujitsu.vdmj.plugins.AnalysisPlugin factory(com.fujitsu.vdmj.lex.Dialect dialect)

    • getName

      public String getName()
      Specified by:
      getName in class com.fujitsu.vdmj.plugins.AnalysisPlugin

    • init

      public void init()
      Specified by:
      init in class com.fujitsu.vdmj.plugins.AnalysisPlugin

    • getCommand

      public com.fujitsu.vdmj.plugins.AnalysisCommand getCommand(String line)
      Overrides:
      getCommand in class com.fujitsu.vdmj.plugins.AnalysisPlugin

    • getCommandHelp

      public com.fujitsu.vdmj.plugins.HelpList getCommandHelp()
      Overrides:
      getCommandHelp in class com.fujitsu.vdmj.plugins.AnalysisPlugin