From 01e7b349ab4bf17817e8a3948a33eb0b42eae7c8 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 21 Nov 2024 12:40:29 +0100
Subject: [PATCH] Fix indents
---
.../prob/eventb/translator/ContextTranslator.java | 13 ++++++-------
1 file changed, 6 insertions(+), 7 deletions(-)
diff --git a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
index 0174b35d..5a6f484d 100644
--- a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
@@ -316,21 +316,20 @@ public final class ContextTranslator extends AbstractComponentTranslator {
final ISCCarrierSet[] carrierSets = context.getSCCarrierSets();
final List<PSet> setList = new ArrayList<PSet>(carrierSets.length);
for (final ISCCarrierSet carrierSet : carrierSets) {
-
final ADeferredSetSet deferredSet = new ADeferredSetSet(Arrays
.asList(new TIdentifierLiteral[] { new TIdentifierLiteral(carrierSet.getIdentifierString()) }));
-
+
final ICarrierSet ucs = (ICarrierSet) carrierSet.getSource(); // comments only attached in unchecked source
if (ucs.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
- final String commentString = ucs.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
- System.out.println("Carrier set " + carrierSet + " has comment " + commentString);
-
+ final String commentString = ucs.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
+ System.out.println("Carrier set " + carrierSet + " has comment " + commentString);
+
final TPragmaFreeText desc = new TPragmaFreeText(commentString);
ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
final ADescriptionSet descid = new ADescriptionSet(descPragma,deferredSet);
- setList.add(descid);
+ setList.add(descid);
} else {
- setList.add(deferredSet);
+ setList.add(deferredSet);
}
}
return new ASetsContextClause(setList);
--
GitLab