From 5eef8a7f469ddf6d16be7a4fc49d4650627cefaf Mon Sep 17 00:00:00 2001
From: Sven Gestegard Robertz <sven.robertz@cs.lth.se>
Date: Mon, 25 May 2015 18:45:11 +0200
Subject: [PATCH] Fixed duplicate generation of names in python
---
compiler/2014/Python_CodeGen.jrag | 24 ++++++++++++------------
1 file changed, 12 insertions(+), 12 deletions(-)
diff --git a/compiler/2014/Python_CodeGen.jrag b/compiler/2014/Python_CodeGen.jrag
index d29b584..18eabc7 100644
--- a/compiler/2014/Python_CodeGen.jrag
+++ b/compiler/2014/Python_CodeGen.jrag
@@ -7,7 +7,7 @@ aspect Python_CodeGenEnv {
public class Python_env {
final private class Python_printer {
-
+
private boolean newline = true;
private PrintStream out;
@@ -99,7 +99,7 @@ aspect Python_CodeGen {
}
aspect PythonTypes {
-
+
public void Specification.Python_genTypes(Python_env env) {
for (int i = 0 ; i < getNumDecl() ; i++) {
getDecl(i).Python_genSignatureAndTypedef(env);
@@ -107,8 +107,8 @@ aspect PythonTypes {
}
public void Decl.Python_genSignatureAndTypedef(Python_env env) {
- throw new Error(this.getClass().getName() +
- ".Python_genSignatureAndTypedef(Python_env env)" +
+ throw new Error(this.getClass().getName() +
+ ".Python_genSignatureAndTypedef(Python_env env)" +
" not declared");
}
@@ -151,9 +151,9 @@ aspect PythonTypes {
}
public void TypeInstance.Python_genIntentions(Python_env env) {
- env.print("{'':'"+getName()+"'");
+ env.print("{");
for(Intention i : sortedIntentions()) {
- env.print(", '"+i.getKey()+"':'"+new String(i.getValue())+"'");
+ env.print("'"+i.getKey()+"':'"+new String(i.getValue())+"', ");
}
env.print("}");
}
@@ -167,8 +167,8 @@ aspect PythonTypes {
}
public void DataType.Python_genSignature(Python_env env) {
- throw new Error(this.getClass().getName() +
- ".Python_genSignature(Python_env env)" +
+ throw new Error(this.getClass().getName() +
+ ".Python_genSignature(Python_env env)" +
" not declared");
}
@@ -227,8 +227,8 @@ aspect PythonTypes {
}
public void DataType.Python_genTypedef(Python_env env) {
- throw new Error(this.getClass().getName() +
- ".Python_genTypedef(Python_env env)" +
+ throw new Error(this.getClass().getName() +
+ ".Python_genTypedef(Python_env env)" +
" not declared");
}
@@ -297,8 +297,8 @@ aspect PythonTypes {
}
public String Exp.Python_getValue() {
- throw new Error(this.getClass().getName() +
- ".Python_getValue()" +
+ throw new Error(this.getClass().getName() +
+ ".Python_getValue()" +
" not declared");
}
--
GitLab