Fix bogus error messages.

[Bug] Signed-off-by: Markus Alexander Kuppe <[email protected]>
tlaplus · Aug 22, 2023 · aa83852 · aa83852
1 parent e9217de
commit aa83852
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/modules/tlc2/overrides/IOUtils.java b/modules/tlc2/overrides/IOUtils.java
@@ -271,11 +271,11 @@ public static Value ioEnvExec(final Value env, final Value parameter) throws IOE
 		final RecordValue environment = (RecordValue) env.toRcd();
 		if (environment == null) {
 			throw new EvalException(EC.TLC_MODULE_ONE_ARGUMENT_ERROR,
-					new String[] { "IOExecVars", "record", Values.ppr(env.toString()) });
+					new String[] { "IOEnvExec", "record", Values.ppr(env.toString()) });
 		}
 		if (!(parameter instanceof TupleValue)) {
 			throw new EvalException(EC.TLC_MODULE_ONE_ARGUMENT_ERROR,
-					new String[] { "IOExecVars", "sequence", Values.ppr(parameter.toString()) });
+					new String[] { "IOEnvExec", "sequence", Values.ppr(parameter.toString()) });
 		}
 		final TupleValue tv = (TupleValue) parameter;
 
@@ -293,11 +293,11 @@ public static Value ioExecTemplate(final Value commandTemplate, final Value para
 		// 1. Check parameters and covert.
 		if (!(commandTemplate instanceof TupleValue)) {
 			throw new EvalException(EC.TLC_MODULE_ONE_ARGUMENT_ERROR,
-					new String[] { "IOExec", "sequence", Values.ppr(commandTemplate.toString()) });
+					new String[] { "IOExecTemplate", "sequence", Values.ppr(commandTemplate.toString()) });
 		}
 		if (!(parameter instanceof TupleValue)) {
 			throw new EvalException(EC.TLC_MODULE_ONE_ARGUMENT_ERROR,
-					new String[] { "IOExec", "sequence", Values.ppr(parameter.toString()) });
+					new String[] { "IOExecTemplate", "sequence", Values.ppr(parameter.toString()) });
 		}
 		final TupleValue sv = (TupleValue) commandTemplate;
 		final TupleValue tv = (TupleValue) parameter;
@@ -320,16 +320,16 @@ public static Value ioEnvExecTemplate(final Value env, final Value commandTempla
 		final RecordValue environment = (RecordValue) env.toRcd();
 		if (environment == null) {
 			throw new EvalException(EC.TLC_MODULE_ONE_ARGUMENT_ERROR,
-					new String[] { "ioEnvExecTemplate", "record", Values.ppr(env.toString()) });
+					new String[] { "IOEnvExecTemplate", "record", Values.ppr(env.toString()) });
 		}
 		// 1. Check parameters and covert.
 		if (!(commandTemplate instanceof TupleValue)) {
 			throw new EvalException(EC.TLC_MODULE_ONE_ARGUMENT_ERROR,
-					new String[] { "ioEnvExecTemplate", "sequence", Values.ppr(commandTemplate.toString()) });
+					new String[] { "IOEnvExecTemplate", "sequence", Values.ppr(commandTemplate.toString()) });
 		}
 		if (!(parameter instanceof TupleValue)) {
 			throw new EvalException(EC.TLC_MODULE_ONE_ARGUMENT_ERROR,
-					new String[] { "ioEnvExecTemplate", "sequence", Values.ppr(parameter.toString()) });
+					new String[] { "IOEnvExecTemplate", "sequence", Values.ppr(parameter.toString()) });
 		}
 		final TupleValue sv = (TupleValue) commandTemplate;
 		final TupleValue tv = (TupleValue) parameter;