From f71a700be65c823d570220b6f1a7cdeb19b00bc9 Mon Sep 17 00:00:00 2001
From: Matthew Dawson <matthew@mjdsystems.ca>
Date: Thu, 30 Oct 2014 23:58:19 -0400
Subject: [PATCH] And EventB's GenerateVariableType changes as well.

EventB's GenerateVariableType is now GenerateType.  Also narrow its visibility
to private, as it doesn't need to be public.
---
 .../EventBVariablesDeclarationGenerator.java                | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/main/java/ca/mcscert/jtet/eventbgenerator/EventBVariablesDeclarationGenerator.java b/src/main/java/ca/mcscert/jtet/eventbgenerator/EventBVariablesDeclarationGenerator.java
index 35a4fcf..d45c607 100644
--- a/src/main/java/ca/mcscert/jtet/eventbgenerator/EventBVariablesDeclarationGenerator.java
+++ b/src/main/java/ca/mcscert/jtet/eventbgenerator/EventBVariablesDeclarationGenerator.java
@@ -40,7 +40,7 @@ import java.util.Collection;
 final public class EventBVariablesDeclarationGenerator implements VariablesDeclarationGenerator {
     public final static EventBVariablesDeclarationGenerator Generator = new EventBVariablesDeclarationGenerator();
 
-    public String GenerateVariableType(Type type) {
+    private String GenerateType(Type type) {
         if (type instanceof RealType) {
             return "ℤ";
         } else {
@@ -93,7 +93,7 @@ final public class EventBVariablesDeclarationGenerator implements VariablesDecla
             generateInvariantXmlPre(ret, invariantsNum);
             ret.append(var.outputName());
             ret.append(" ∈ ");
-            ret.append(GenerateVariableType(var.type()));
+            ret.append(GenerateType(var.type()));
             ret.append(invariantXmlPost);
             invariantsNum++;
         }
@@ -134,7 +134,7 @@ final public class EventBVariablesDeclarationGenerator implements VariablesDecla
             generateInitEventActionXmlPre(ret, actionNo);
             ret.append(var.outputName());
             ret.append(" :∈ ");
-            ret.append(GenerateVariableType(var.type()));
+            ret.append(GenerateType(var.type()));
             generateInitEventActionXmlPost(ret, actionNo);
             ret.append("\n");
         }
-- 
GitLab