| #!/usr/bin/env -S java --source 11 | |
| /* | |
| * BRLTTY - A background process providing access to the console screen (when in | |
| * text mode) for a blind person using a refreshable braille display. | |
| * | |
| * Copyright (C) 1995-2023 by The BRLTTY Developers. | |
| * | |
| * BRLTTY comes with ABSOLUTELY NO WARRANTY. | |
| * | |
| * This is free software, placed under the terms of the | |
| * GNU Lesser General Public License, as published by the Free Software | |
| * Foundation; either version 2.1 of the License, or (at your option) any | |
| * later version. Please see the file LICENSE-LGPL for details. | |
| * | |
| * Web Page: http://brltty.app/ | |
| * | |
| * This software is maintained by Dave Mielke <dave@mielke.cc>. | |
| */ | |
| import java.io.File; | |
| import java.util.Arrays; | |
| import java.util.ArrayList; | |
| /* This is the class that contains the main() method. | |
| * Don't be misled by the fact that it seems to have a required name. | |
| * It can actually have any name so we chose to give it a descriptive one. | |
| * The only rule is that the main() method must be within the first class. | |
| */ | |
| public class ScriptImplementation extends ScriptHelper { | |
| public static void main (String[] arguments) { | |
| var operands = new ScriptOperands(arguments); | |
| String action = operands.next(); | |
| if (action == null) syntaxError("action not specified"); | |
| switch (action) { | |
| case "jvmpath": { | |
| verifyNoMoreParameters(operands); | |
| String path = getProcessInformation().command().orElse(null); | |
| if (path != null) putScriptOutput("%s", path); | |
| break; | |
| } | |
| default: { | |
| syntaxError("unknown action: %s", action); | |
| } | |
| } | |
| } | |
| } | |
| public class ScriptHelper { | |
| public static ProcessHandle.Info getProcessInformation () { | |
| return ProcessHandle.current().info(); | |
| } | |
| public static String getScriptPath () { | |
| String[] arguments = getProcessInformation().arguments().orElse(null); | |
| if (arguments == null) return null; | |
| final int index = 2; | |
| if (arguments.length <= index) return null; | |
| return arguments[index]; | |
| } | |
| public static File getScriptFile () { | |
| String path = getScriptPath(); | |
| if (path == null) return null; | |
| return new File(path); | |
| } | |
| public static String getScriptName () { | |
| File file = getScriptFile(); | |
| if (file == null) return null; | |
| return file.getName(); | |
| } | |
| public static void putScriptMessage (String format, Object... arguments) { | |
| String message = String.format(format, arguments); | |
| String tag = getScriptName(); | |
| if ((tag != null) && !tag.isEmpty()) { | |
| String prefix = tag + ": "; | |
| message = prefix + message; | |
| prefix = " ".repeat(prefix.length()); | |
| message = message.replaceAll("(\n)", ("$1" + prefix)); | |
| } | |
| System.err.println(message); | |
| } | |
| public static void syntaxError (String format, Object... arguments) { | |
| putScriptMessage(format, arguments); | |
| System.exit(2); | |
| } | |
| public static void putTooManyParameters () { | |
| syntaxError("too many parameters"); | |
| } | |
| public static void verifyNoMoreParameters (ScriptOperands operands) { | |
| if (!operands.isEmpty()) putTooManyParameters(); | |
| } | |
| public static void putScriptOutput (String format, Object... arguments) { | |
| System.out.println(String.format(format, arguments)); | |
| } | |
| } | |
| public class ScriptOperands extends ArrayList<String> { | |
| public ScriptOperands (String... operands) { | |
| super(Arrays.asList(operands)); | |
| } | |
| public String next () { | |
| return isEmpty()? null: remove(0); | |
| } | |
| } |