Package org.intocps.maestro.plugin
Class SomePlugin
- java.lang.Object
-
- org.intocps.maestro.plugin.SomePlugin
-
- All Implemented Interfaces:
org.intocps.maestro.plugin.IMaestroExpansionPlugin,org.intocps.maestro.plugin.IMaestroPlugin
public class SomePlugin extends java.lang.Object implements org.intocps.maestro.plugin.IMaestroExpansionPlugin
-
-
Constructor Summary
Constructors Constructor Description SomePlugin()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.util.List<org.intocps.maestro.ast.node.PStm>expand(org.intocps.maestro.ast.AFunctionDeclaration declaredFunction, java.util.List<org.intocps.maestro.ast.node.PExp> formalArguments, org.intocps.maestro.plugin.IPluginConfiguration config, org.intocps.maestro.framework.core.ISimulationEnvironment env, org.intocps.maestro.core.messages.IErrorReporter reporter)java.util.Set<org.intocps.maestro.ast.AFunctionDeclaration>getDeclaredUnfoldFunctions()java.lang.StringgetName()java.lang.StringgetVersion()org.intocps.maestro.plugin.IPluginConfigurationparseConfig(java.io.InputStream is)booleanrequireConfig()
-
-
-
Method Detail
-
getName
public java.lang.String getName()
- Specified by:
getNamein interfaceorg.intocps.maestro.plugin.IMaestroPlugin
-
getVersion
public java.lang.String getVersion()
- Specified by:
getVersionin interfaceorg.intocps.maestro.plugin.IMaestroPlugin
-
getDeclaredUnfoldFunctions
public java.util.Set<org.intocps.maestro.ast.AFunctionDeclaration> getDeclaredUnfoldFunctions()
- Specified by:
getDeclaredUnfoldFunctionsin interfaceorg.intocps.maestro.plugin.IMaestroExpansionPlugin
-
expand
public java.util.List<org.intocps.maestro.ast.node.PStm> expand(org.intocps.maestro.ast.AFunctionDeclaration declaredFunction, java.util.List<org.intocps.maestro.ast.node.PExp> formalArguments, org.intocps.maestro.plugin.IPluginConfiguration config, org.intocps.maestro.framework.core.ISimulationEnvironment env, org.intocps.maestro.core.messages.IErrorReporter reporter) throws org.intocps.maestro.plugin.ExpandException- Specified by:
expandin interfaceorg.intocps.maestro.plugin.IMaestroExpansionPlugin- Throws:
org.intocps.maestro.plugin.ExpandException
-
requireConfig
public boolean requireConfig()
- Specified by:
requireConfigin interfaceorg.intocps.maestro.plugin.IMaestroExpansionPlugin
-
parseConfig
public org.intocps.maestro.plugin.IPluginConfiguration parseConfig(java.io.InputStream is) throws java.io.IOException- Specified by:
parseConfigin interfaceorg.intocps.maestro.plugin.IMaestroExpansionPlugin- Throws:
java.io.IOException
-
-