bool argHasValue(String name) { if (hasArg(name)) { Argument arg = getArg(name)!; return arg.hasValue(); } else throw new Exception("Warning: No such argument"); }