From 36b857ed4f1a6bee7c70cb01074017ea5ae17b16 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 21 Nov 2024 12:41:45 +0100
Subject: [PATCH] Remove debug prints
---
.../src/de/prob/eventb/translator/ContextTranslator.java | 5 -----
1 file changed, 5 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 5a6f484d..b8ac510f 100644
--- a/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
+++ b/de.prob.core/src/de/prob/eventb/translator/ContextTranslator.java
@@ -322,8 +322,6 @@ public final class ContextTranslator extends AbstractComponentTranslator {
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 TPragmaFreeText desc = new TPragmaFreeText(commentString);
ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
final ADescriptionSet descid = new ADescriptionSet(descPragma,deferredSet);
@@ -364,8 +362,6 @@ public final class ContextTranslator extends AbstractComponentTranslator {
final IConstant ucc = (IConstant) constant.getSource(); // comments only attached in unchecked source
if (ucc.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
final String commentString = ucc.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
- // System.out.println("Constant " + constant + " has description " + commentString);
-
final TPragmaFreeText desc = new TPragmaFreeText(commentString);
ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
final ADescriptionExpression descid = new ADescriptionExpression(descPragma,cstid);
@@ -415,7 +411,6 @@ public final class ContextTranslator extends AbstractComponentTranslator {
final IAxiom uca = (IAxiom) element.getSource(); // comments only attached in unchecked source
if (uca.hasAttribute(EventBAttributes.COMMENT_ATTRIBUTE)) {
final String commentString = uca.getAttributeValue(EventBAttributes.COMMENT_ATTRIBUTE);
- //System.out.println("Axiom/theorem " + element + " has description " + commentString);
final TPragmaFreeText desc = new TPragmaFreeText(commentString);
ADescriptionPragma descPragma = new ADescriptionPragma(Collections.singletonList(desc));
ADescriptionPredicate dpred = new ADescriptionPredicate(descPragma, predicate);
--
GitLab