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