Package org.intocps.maestro.plugin
Class SomePlugin
- java.lang.Object
-
- org.intocps.maestro.plugin.BasicMaestroExpansionPlugin
-
- org.intocps.maestro.plugin.SomePlugin
-
- All Implemented Interfaces:
org.intocps.maestro.plugin.IMaestroExpansionPlugin,org.intocps.maestro.plugin.IMaestroPlugin
public class SomePlugin extends org.intocps.maestro.plugin.BasicMaestroExpansionPlugin
-
-
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)org.intocps.maestro.ast.node.AImportedModuleCompilationUnitgetDeclaredImportUnit()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()
-
getVersion
public java.lang.String getVersion()
-
getDeclaredUnfoldFunctions
public java.util.Set<org.intocps.maestro.ast.AFunctionDeclaration> getDeclaredUnfoldFunctions()
-
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- Throws:
org.intocps.maestro.plugin.ExpandException
-
requireConfig
public boolean requireConfig()
- Specified by:
requireConfigin interfaceorg.intocps.maestro.plugin.IMaestroExpansionPlugin- Overrides:
requireConfigin classorg.intocps.maestro.plugin.BasicMaestroExpansionPlugin
-
parseConfig
public org.intocps.maestro.plugin.IPluginConfiguration parseConfig(java.io.InputStream is) throws java.io.IOException- Throws:
java.io.IOException
-
getDeclaredImportUnit
public org.intocps.maestro.ast.node.AImportedModuleCompilationUnit getDeclaredImportUnit()
-
-