Skip to content

Commit

Permalink
Merge pull request #2038 from lf-lang/diagrams-assignment-serializati…
Browse files Browse the repository at this point in the history
…on-fix

Fix problems with assignment serialization in diagrams
  • Loading branch information
cmnrd authored Oct 5, 2023
2 parents 0042432 + ef4cf81 commit f00e8ab
Showing 1 changed file with 14 additions and 6 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -273,6 +273,12 @@ public class LinguaFrancaSynthesis extends AbstractDiagramSynthesis<Model> {
public static final DisplayedActionData EXPAND_ALL =
DisplayedActionData.create(ExpandAllReactorsAction.ID, "Show all Details");

// -------------------------------------------------------------------------

private final ToLf serializer = new ToLf();

// -------------------------------------------------------------------------

@Override
public List<SynthesisOption> getDisplayedSynthesisOptions() {
return List.of(
Expand Down Expand Up @@ -319,6 +325,9 @@ public KNode transform(final Model model) {
setLayoutOption(rootNode, CoreOptions.DIRECTION, Direction.RIGHT);
setLayoutOption(rootNode, CoreOptions.PADDING, new ElkPadding(0));

// Set target for serializer
serializer.setTarget(ASTUtils.getTarget(model));

try {
// Find main
Reactor main =
Expand Down Expand Up @@ -1490,12 +1499,11 @@ private String createParameterLabel(ParameterInstance param) {
b.append(param.getName());
String t = param.type.toOriginalText();
if (!StringExtensions.isNullOrEmpty(t)) {
b.append(": ").append(t);
b.append(":").append(t);
}
if (param.getOverride() != null) {
b.append(" = ");
var init = param.getActualValue();
b.append(new ToLf().doSwitch(init));
var init = param.getActualValue();
if (init != null) {
b.append(serializer.doSwitch(init));
}
return b.toString();
}
Expand Down Expand Up @@ -1526,7 +1534,7 @@ private String createStateVariableLabel(StateVar variable) {
b.append(":").append(t.toOriginalText());
}
if (variable.getInit() != null) {
b.append(new ToLf().doSwitch(variable.getInit()));
b.append(serializer.doSwitch(variable.getInit()));
}
return b.toString();
}
Expand Down

0 comments on commit f00e8ab

Please sign in to comment.