Semantica acabada

Tota la semantica acabada (semantic.cc) i tots els jocs de proves passats desde el jp0 fins al jp13.
arol · Apr 25, 2011 · 413116a · 413116a
1 parent edfa82b
commit 413116a
Show file tree

Hide file tree

Showing 6 changed files with 349 additions and 178 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/Practica Alex/semantic.cc b/Practica Alex/semantic.cc
@@ -343,25 +343,26 @@ void TypeCheck(AST *a,string info)
 
       if(info == "instruction"){
         if (symboltable[a->down->text].tp->kind != "procedure"){
-	  errorisnotprocedure(a->line);
-	}
-        if(symboltable[a->down->text].tp->kind == "procedure" || symboltable[a->down->text].tp->kind == "function"){
+	  		errorisnotprocedure(a->line);
+		}
+
+		if(symboltable[a->down->text].tp->kind == "procedure" || symboltable[a->down->text].tp->kind == "function"){
           check_params(a->down->right->down, symboltable[a->down->text].tp->down, a->line, 0);
           a->ref = 0;
         }
       }
       else{
-	if(a->tp->kind != "function"){
-	  errorisnotfunction(a->line);
-	}
-	check_params(a->down->right->down, symboltable[a->down->text].tp->down, a->line, 0);
-	a->ref=0;
-	if(a->tp->kind == "function"){
-	  a->tp = symboltable[a->down->text].tp->right;
-	}
-	else{
-	  a->tp = create_type("error", 0, 0);
-	}
+		if(a->tp->kind != "function"){
+		  errorisnotfunction(a->line);
+		}
+		check_params(a->down->right->down, symboltable[a->down->text].tp->down, a->line, 0);
+		a->ref=0;
+		if(a->tp->kind == "function"){
+		  a->tp = symboltable[a->down->text].tp->right;
+		}
+		else{
+		  a->tp = create_type("error", 0, 0);
+		}
       }
     }
   }

diff --git a/practica/cl b/practica/cl