Package plugins
Class V2CPluginVDMJ
- java.lang.Object
-
- com.fujitsu.vdmj.plugins.AnalysisPlugin
-
- plugins.V2CPluginVDMJ
-
public class V2CPluginVDMJ extends com.fujitsu.vdmj.plugins.AnalysisPluginA VDMJ Plugin to enable the V2C translate features. This is a simple plugin which provides a single "translate" command via the getCommand method.
-
-
Constructor Summary
Constructors Constructor Description V2CPluginVDMJ()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static com.fujitsu.vdmj.plugins.AnalysisPluginfactory(com.fujitsu.vdmj.lex.Dialect dialect)com.fujitsu.vdmj.plugins.AnalysisCommandgetCommand(String line)com.fujitsu.vdmj.plugins.HelpListgetCommandHelp()StringgetName()voidinit()
-
-
-
Method Detail
-
factory
public static com.fujitsu.vdmj.plugins.AnalysisPlugin factory(com.fujitsu.vdmj.lex.Dialect dialect)
-
getName
public String getName()
- Specified by:
getNamein classcom.fujitsu.vdmj.plugins.AnalysisPlugin
-
init
public void init()
- Specified by:
initin classcom.fujitsu.vdmj.plugins.AnalysisPlugin
-
getCommand
public com.fujitsu.vdmj.plugins.AnalysisCommand getCommand(String line)
- Overrides:
getCommandin classcom.fujitsu.vdmj.plugins.AnalysisPlugin
-
getCommandHelp
public com.fujitsu.vdmj.plugins.HelpList getCommandHelp()
- Overrides:
getCommandHelpin classcom.fujitsu.vdmj.plugins.AnalysisPlugin
-
-