Minor bugfixing.

d3scomp · Jun 29, 2016 · b3166d6 · b3166d6
1 parent c64e975
commit b3166d6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/EDLValidator.xtend b/jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/EDLValidator.xtend
@@ -79,7 +79,7 @@ class EDLValidator extends AbstractEDLValidator implements IErrorReportingServic
 				reportError("Fitness function must be a numeric expression.", ensemble, EdlPackage.Literals.ENSEMBLE_DEFINITION__FITNESS)
 		}
 
-		if (!this.typing.isKnownType(ensemble.id.type))
+		if (!this.typing.isKnownType(ensemble.id.type) && !ensemble.id.type.toString().equals(PrimitiveTypes.INT))
 				reportError("Could not resolve the type name: " + ensemble.id.type, ensemble.id.type, EdlPackage.Literals.QUALIFIED_NAME__PREFIX)
 
 		if (ensemble.id.isIsAssigned) {

diff --git a/...-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/ConstraintParser.java b/...-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/ConstraintParser.java
@@ -136,8 +136,7 @@ public Expr visit(KnowledgeVariable query) {
 			try {
 				return idMapping.getFieldExpression(ctx, ensembleIndex, query.getPath());
 			} catch (Exception e) {				
-				// TODO Rethrow?
-				System.out.println("Catch!");
+				// TODO Rethrow?				
 			}
 		}