Package plugins

Class 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.
    • Constructor Detail

      • V2CPluginVDMJ

        public V2CPluginVDMJ()
    • Method Detail

      • 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