From e0e975cc5fc7f899ca463da7ac3d01c3ca0c853e Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Mon, 4 May 2020 23:02:27 +0200
Subject: [PATCH] show message when unsupported options were used
---
.../java/org/jastadd/relast/compiler/Compiler.java | 10 +++-------
1 file changed, 3 insertions(+), 7 deletions(-)
diff --git a/src/main/java/org/jastadd/relast/compiler/Compiler.java b/src/main/java/org/jastadd/relast/compiler/Compiler.java
index f423ad9..4f82148 100644
--- a/src/main/java/org/jastadd/relast/compiler/Compiler.java
+++ b/src/main/java/org/jastadd/relast/compiler/Compiler.java
@@ -17,8 +17,6 @@ import java.nio.file.Files;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.ArrayList;
-import java.util.Collections;
-import java.util.List;
public class Compiler {
@@ -47,7 +45,7 @@ public class Compiler {
addOptions();
commandLine = new ArgumentParser();
commandLine.addOptions(options);
- commandLine.parseArgs(args, System.err);
+ boolean unknownOptions = !commandLine.parseArgs(args, System.err);
Path inputPath;
if (optionInputDir.isMatched()) {
@@ -79,10 +77,8 @@ public class Compiler {
printMessage("Running RelAST Preprocessor");
- // TODO treat unknown options appropriately
- List<String> otherArgs = Collections.emptyList();
- if (!otherArgs.isEmpty()) {
- printMessage("Unsupported arguments will be ignored: " + otherArgs);
+ if (unknownOptions) {
+ printMessage("Some options were unsupported!");
}
Program program = parseProgram(inputPath);
--
GitLab