/** Transforms the {@link Statechart} model to a {@link ExecutionFlow} model */
protected ExecutionFlow createExecutionFlow(Statechart statechart, GeneratorEntry entry) {
Injector injector = getInjector(entry);
ModelSequencer sequencer = injector.getInstance(ModelSequencer.class);
ExecutionFlow flow = sequencer.transform(statechart);
Assert.isNotNull(flow, "Error creation ExecutionFlow");
FeatureConfiguration optimizeConfig = entry.getFeatureConfiguration(FUNCTION_INLINING_FEATURE);
FlowOptimizer optimizer = injector.getInstance(FlowOptimizer.class);
optimizer.inlineReactions(
getBoolValue(optimizeConfig, FUNCTION_INLINING_FEATURE_INLINE_REACTIONS, true));
optimizer.inlineExitActions(
getBoolValue(optimizeConfig, FUNCTION_INLINING_FEATURE_INLINE_EXIT_ACTIONS, true));
optimizer.inlineEntryActions(
getBoolValue(optimizeConfig, FUNCTION_INLINING_FEATURE_INLINE_ENTRY_ACTIONS, true));
optimizer.inlineEnterSequences(
getBoolValue(optimizeConfig, FUNCTION_INLINING_FEATURE_INLINE_ENTER_SEQUENCES, true));
optimizer.inlineExitSequences(
getBoolValue(optimizeConfig, FUNCTION_INLINING_FEATURE_INLINE_EXIT_SEQUENCES, true));
optimizer.inlineChoices(
getBoolValue(optimizeConfig, FUNCTION_INLINING_FEATURE_INLINE_CHOICES, true));
optimizer.inlineEntries(
getBoolValue(optimizeConfig, FUNCTION_INLINING_FEATURE_INLINE_ENTRIES, true));
optimizer.inlineEnterRegion(
getBoolValue(optimizeConfig, FUNCTION_INLINING_FEATURE_INLINE_ENTER_REGION, true));
optimizer.inlineExitRegion(
getBoolValue(optimizeConfig, FUNCTION_INLINING_FEATURE_INLINE_EXIT_REGION, true));
flow = optimizer.transform(flow);
return flow;
}
/** Transforms the {@link Statechart} model to a {@link ExecutionFlow} model */
public static ExecutionFlow createExecutionFlowModel(Statechart statechart) {
Injector injector = Guice.createInjector(new SequencerModule());
ModelSequencer sequencer = injector.getInstance(ModelSequencer.class);
ExecutionFlow flow = sequencer.transform(statechart);
Assert.isNotNull(flow);
return flow;
}
