From d7b9fb191fa123157f3d651181f26054a6d3bbbb Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 25 Nov 2024 10:41:04 +0100
Subject: [PATCH] Fix indents
---
.../src/de/prob/eventb/translator/ContextTranslator.java | 6 +++---
.../de/prob/eventb/translator/internal/ModelTranslator.java | 2 +-
2 files changed, 4 insertions(+), 4 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 e0c56078..edc3c1ae 100644
--- a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
@@ -321,7 +321,7 @@ public final class ContextTranslator extends AbstractComponentTranslator {
final ICarrierSet ucs = (ICarrierSet) carrierSet.getSource(); // comments only attached in unchecked source
if (ucs.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
- // The carrier set has a comment attached to it, we convert it to a description pragma:
+ // The carrier set has a comment attached to it, we convert it to a description pragma:
final String commentString = ucs.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
final TPragmaFreeText desc = new TPragmaFreeText(commentString);
ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
@@ -361,7 +361,7 @@ public final class ContextTranslator extends AbstractComponentTranslator {
final IConstant ucc = (IConstant) constant.getSource(); // comments only attached in unchecked source
if (ucc.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
- // The constant has a comment attached to it, we convert it to a description pragma:
+ // The constant has a comment attached to it, we convert it to a description pragma:
final String commentString = ucc.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
final TPragmaFreeText desc = new TPragmaFreeText(commentString);
ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
@@ -411,7 +411,7 @@ public final class ContextTranslator extends AbstractComponentTranslator {
final PPredicate predicate = translatePredicate(ff, te, element);
final IAxiom uca = (IAxiom) element.getSource(); // comments only attached in unchecked source
if (uca.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
- // The axiom has a comment attached to it, we convert it to a description pragma:
+ // The axiom has a comment attached to it, we convert it to a description pragma:
final String commentString = uca.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
final TPragmaFreeText desc = new TPragmaFreeText(commentString);
ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
diff --git a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
index a04c51e0..6962f302 100644
--- a/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/internal/ModelTranslator.java
@@ -460,7 +460,7 @@ public class ModelTranslator extends AbstractComponentTranslator {
final IVariable ucv = (IVariable) variable.getSource(); // comments only attached in unchecked source
if (ucv.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
- // The variable has a comment attached to it, we convert it to a description pragma:
+ // The variable has a comment attached to it, we convert it to a description pragma:
final String commentString = ucv.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
final TPragmaFreeText desc = new TPragmaFreeText(commentString);
ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
--
GitLab