added controlled getters

Author: isaacmaffeis

asmetal2java_codegen/src/org/asmeta/asm2java/main/JavaASMGenerator.xtend

@@ -356,6 +356,91 @@ class JavaASMGenerator extends AsmToJavaGenerator {
 						 	''');
 					}
 				}
+				else{ // getter per le funzioni con Dominio -> Codominio
+				
+					for(dd : asm.headerSection.signature.domain){
+						if(dd.equals(fd.domain)){
+							if(dd instanceof EnumTd){
+								for (var int i = 0; i < dd.element.size; i++) {
+									var symbol = new ToString(asm).visit(dd.element.get(i))
+									sb.append(System.lineSeparator)
+									if(fd.codomain instanceof ConcreteDomain){ // considero subsetOf Integer
+										sb.append("\t").append('''private int get_«fd.name»_«symbol»(){''');
+										sb.append(System.lineSeparator)
+										sb.append("\t\t").append('''return this.esecuzione.«fd.name».get(''');
+										sb.append(System.lineSeparator)
+										sb.append("\t\t\t").append('''this.esecuzione.«fd.domain.name»_elemsList.get(«i»)).value;''');
+										sb.append(System.lineSeparator)
+										sb.append("\t").append('''}''');
+									} else{
+										if (fd.codomain.name.equals("Integer")){
+											sb.append("\t").append('''private int get_«fd.name»_«symbol»(){''');
+										}
+										else if (fd.codomain.name.equals("Boolean")){
+											sb.append("\t").append('''private boolean get_«fd.name»_«symbol»(){''');
+										}
+										else if (fd.codomain.name.equals("String")){
+											sb.append("\t").append('''private String get_«fd.name»_«symbol»(){''');
+										}
+										else{
+											sb.append("\t").append('''private «asmName».«fd.codomain.name» get_«fd.name»_«symbol»(){''');
+										}	
+										sb.append(System.lineSeparator)
+										sb.append("\t\t").append('''return this.esecuzione.«fd.name».get(''');
+										sb.append(System.lineSeparator)
+										sb.append("\t\t\t").append('''this.esecuzione.«fd.domain.name»_elemsList.get(«i»));''');
+										sb.append(System.lineSeparator)
+										sb.append("\t").append('''}''');
+									}
+									sb.append(System.lineSeparator)		
+								}
+							}
+							else if(dd instanceof AbstractTd){
+								for (sf : asm.headerSection.signature.function) { // controllo le funzioni statiche e prendo quelle che aggiungono al dominio astratto
+									if(sf instanceof StaticFunction){
+										if(sf.codomain.equals(dd)){ 
+											var symbol = sf.name
+											sb.append(System.lineSeparator)
+											if(fd.codomain instanceof ConcreteDomain){
+												sb.append("\t").append('''private int get_«fd.name»_«symbol»(){''');
+												sb.append(System.lineSeparator)
+												sb.append("\t\t").append('''return this.esecuzione.«fd.name».get(''');
+												sb.append(System.lineSeparator)
+												sb.append("\t\t\t").append('''this.esecuzione.«fd.domain.name»_Class.get(''');
+												sb.append(System.lineSeparator)
+												sb.append("\t\t\t").append('''this.esecuzione.«fd.domain.name»_elemsList.indexOf("«symbol»")).value);''');
+												sb.append(System.lineSeparator)
+												sb.append("\t").append('''}''');
+											} else{
+												if (fd.codomain.name.equals("Integer")){
+													sb.append("\t").append('''private int get_«fd.name»_«symbol»(){''');
+												}
+												else if (fd.codomain.name.equals("Boolean")){
+													sb.append("\t").append('''private boolean get_«fd.name»_«symbol»(){''');
+												}
+												else if (fd.codomain.name.equals("String")){
+													sb.append("\t").append('''private Srting get_«fd.name»_«symbol»(){''');
+												}
+												else{
+													sb.append("\t").append('''private «asm.name».«fd.codomain.name» get_«fd.name»_«symbol»(){''');
+												}
+												sb.append(System.lineSeparator)
+												sb.append("\t\t").append('''return this.esecuzione.«fd.name».get(''');
+												sb.append(System.lineSeparator)
+												sb.append("\t\t\t").append('''this.esecuzione.«fd.domain.name»_Class.get(''');
+												sb.append(System.lineSeparator)
+												sb.append("\t\t\t").append('''this.esecuzione.«fd.domain.name»_elemsList.indexOf("«symbol»")));''');
+												sb.append(System.lineSeparator)
+												sb.append("\t").append('''}''');
+											} 
+											sb.append(System.lineSeparator)	
+										}
+									}
+								}
+							}
+						}
+					}
+				}
 			}
 		}
 	}