Merge pull request #215 from gama-platform/fixes-214

fixes #214
gama-platform · Jun 18, 2024 · 1d50ac6 · 1d50ac6
2 parents 238fa9a + b69ec89
commit 1d50ac6
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/gama.core/src/gama/core/kernel/batch/exploration/Exploration.java b/gama.core/src/gama/core/kernel/batch/exploration/Exploration.java
@@ -50,7 +50,6 @@
 import gama.gaml.descriptions.IDescription;
 import gama.gaml.expressions.IExpression;
 import gama.gaml.operators.Cast;
-import gama.gaml.operators.Random;
 import gama.gaml.types.GamaDateType;
 import gama.gaml.types.GamaFloatType;
 import gama.gaml.types.GamaPointType;
@@ -311,8 +310,10 @@ public Object value() {
 	private List<ParametersSet> buildParameterFromMap(final IScope scope, final List<ParametersSet> sets,
 			final int index) {
 		IExpression psexp = getFacet(IKeyword.WITH);
-		if (psexp.getDenotedType() != Types.LIST) throw GamaRuntimeException.error(
-				"You cannot use " + IKeyword.WITH + " facet without input a list of maps as parameters inputs", scope);
+		if ( !Types.LIST.isAssignableFrom(psexp.getDenotedType())) {
+			GAMA.reportAndThrowIfNeeded(scope, GamaRuntimeException.error(
+					"The facet '" + IKeyword.WITH + "' must be provided with a list of maps", scope), true);
+		}
 		List<Map<String, Object>> parameterSets = Cast.asList(scope, psexp.value(scope));
 
 		for (Map<String, Object> parameterSet : parameterSets) {