Package org.intocps.maestro.plugin

Interface IMaestroExpansionPlugin

All Superinterfaces:

IMaestroPlugin

public interface IMaestroExpansionPlugin
extends IMaestroPlugin

Field Summary

Fields inherited from interface org.intocps.maestro.plugin.IMaestroPlugin

GLOBAL_EXECUTION_CONTINUE

Method Summary

Modifier and Type	Method	Description
java.util.List<org.intocps.maestro.ast.PStm>	expand(org.intocps.maestro.ast.AFunctionDeclaration declaredFunction, java.util.List<org.intocps.maestro.ast.PExp> formalArguments, IPluginConfiguration config, org.intocps.maestro.framework.core.ISimulationEnvironment env, org.intocps.maestro.core.messages.IErrorReporter errorReporter)
java.util.Set<org.intocps.maestro.ast.AFunctionDeclaration>	getDeclaredUnfoldFunctions()
IPluginConfiguration	parseConfig(java.io.InputStream is)
boolean	requireConfig()

Methods inherited from interface org.intocps.maestro.plugin.IMaestroPlugin

getName, getVersion

Method Detail

getDeclaredUnfoldFunctions

java.util.Set<org.intocps.maestro.ast.AFunctionDeclaration> getDeclaredUnfoldFunctions()

expand

java.util.List<org.intocps.maestro.ast.PStm> expand(org.intocps.maestro.ast.AFunctionDeclaration declaredFunction,
                                                    java.util.List<org.intocps.maestro.ast.PExp> formalArguments,
                                                    IPluginConfiguration config,
                                                    org.intocps.maestro.framework.core.ISimulationEnvironment env,
                                                    org.intocps.maestro.core.messages.IErrorReporter errorReporter)
                                             throws ExpandException

Throws:

ExpandException

requireConfig

boolean requireConfig()

parseConfig

IPluginConfiguration parseConfig(java.io.InputStream is)
                          throws java.io.IOException

Throws:

java.io.IOException