From feb23f8e84af532c914b03f855b97659ab09bb99 Mon Sep 17 00:00:00 2001 From: Markus Alexander Kuppe Date: Mon, 17 Nov 2025 08:15:59 -0800 Subject: [PATCH] Do not require CSV read/write operations to be state level. Constant level is sufficient and allows TLC to cache the results. Signed-off-by: Markus Alexander Kuppe --- modules/tlc2/overrides/CSV.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/modules/tlc2/overrides/CSV.java b/modules/tlc2/overrides/CSV.java index 96bdcc2..efb3062 100644 --- a/modules/tlc2/overrides/CSV.java +++ b/modules/tlc2/overrides/CSV.java @@ -49,7 +49,7 @@ public class CSV { - @TLAPlusOperator(identifier = "CSVWriteRecord", module = "CSV", minLevel = 1, warn = false) + @TLAPlusOperator(identifier = "CSVWriteRecord", module = "CSV", warn = false) public static Value writeRecord(final Value parameter, final StringValue delim, final BoolValue headers, final StringValue absolutePath) throws IOException { @@ -80,7 +80,7 @@ public static Value writeRecord(final Value parameter, final StringValue delim, return BoolValue.ValTrue; } - @TLAPlusOperator(identifier = "CSVWrite", module = "CSV", minLevel = 1, warn = false) + @TLAPlusOperator(identifier = "CSVWrite", module = "CSV", warn = false) public static Value write(final StringValue template, final Value parameter, final StringValue absolutePath) throws IOException { final TupleValue tv = (TupleValue) parameter.toTuple(); @@ -97,7 +97,7 @@ public static Value write(final StringValue template, final Value parameter, fin return BoolValue.ValTrue; } - @TLAPlusOperator(identifier = "CSVRead", module = "CSV", minLevel = 1, warn = false) + @TLAPlusOperator(identifier = "CSVRead", module = "CSV", warn = false) public static Value read(final Value columns, final StringValue delim, final StringValue absolutePath) throws IOException { @@ -127,7 +127,7 @@ public static Value read(final Value columns, final StringValue delim, final Str return new TupleValue(records); } - @TLAPlusOperator(identifier = "CSVRecords", module = "CSV", minLevel = 1, warn = false) + @TLAPlusOperator(identifier = "CSVRecords", module = "CSV", warn = false) public static Value records(final StringValue absolutePath) throws IOException { final Path path = Paths.get(absolutePath.val.toString());