2017-08-23 02:57:30 +00:00
|
|
|
// Implementation of the math builtin.
|
|
|
|
#include "config.h" // IWYU pragma: keep
|
|
|
|
|
2019-10-13 22:50:48 +00:00
|
|
|
#include "builtin_math.h"
|
|
|
|
|
2017-08-23 02:57:30 +00:00
|
|
|
#include <algorithm>
|
2019-11-19 01:11:16 +00:00
|
|
|
#include <cerrno>
|
2018-03-07 17:01:12 +00:00
|
|
|
#include <cmath>
|
2019-11-19 01:11:16 +00:00
|
|
|
#include <cstddef>
|
2019-10-13 22:50:48 +00:00
|
|
|
#include <cstring>
|
2018-07-24 07:00:06 +00:00
|
|
|
#include <limits>
|
2017-08-23 02:57:30 +00:00
|
|
|
#include <string>
|
|
|
|
|
|
|
|
#include "builtin.h"
|
|
|
|
#include "common.h"
|
|
|
|
#include "fallback.h" // IWYU pragma: keep
|
|
|
|
#include "io.h"
|
2019-10-13 22:50:48 +00:00
|
|
|
#include "tinyexpr.h"
|
2017-08-23 02:57:30 +00:00
|
|
|
#include "wgetopt.h"
|
|
|
|
#include "wutil.h" // IWYU pragma: keep
|
|
|
|
|
2018-07-24 07:00:06 +00:00
|
|
|
// The maximum number of points after the decimal that we'll print.
|
|
|
|
static constexpr int kDefaultScale = 6;
|
|
|
|
|
|
|
|
// The end of the range such that every integer is representable as a double.
|
|
|
|
// i.e. this is the first value such that x + 1 == x (or == x + 2, depending on rounding mode).
|
|
|
|
static constexpr double kMaximumContiguousInteger =
|
|
|
|
double(1LLU << std::numeric_limits<double>::digits);
|
|
|
|
|
2017-08-23 02:57:30 +00:00
|
|
|
struct math_cmd_opts_t {
|
|
|
|
bool print_help = false;
|
2018-07-24 07:00:06 +00:00
|
|
|
int scale = kDefaultScale;
|
2017-08-23 02:57:30 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
// This command is atypical in using the "+" (REQUIRE_ORDER) option for flag parsing.
|
|
|
|
// This is needed because of the minus, `-`, operator in math expressions.
|
2018-09-29 03:45:56 +00:00
|
|
|
static const wchar_t *const short_options = L"+:hs:";
|
2019-11-19 02:34:50 +00:00
|
|
|
static const struct woption long_options[] = {{L"scale", required_argument, nullptr, 's'},
|
|
|
|
{L"help", no_argument, nullptr, 'h'},
|
|
|
|
{nullptr, 0, nullptr, 0}};
|
2017-08-23 02:57:30 +00:00
|
|
|
|
|
|
|
static int parse_cmd_opts(math_cmd_opts_t &opts, int *optind, //!OCLINT(high ncss method)
|
|
|
|
int argc, wchar_t **argv, parser_t &parser, io_streams_t &streams) {
|
|
|
|
const wchar_t *cmd = L"math";
|
|
|
|
int opt;
|
|
|
|
wgetopter_t w;
|
2019-11-19 02:34:50 +00:00
|
|
|
while ((opt = w.wgetopt_long(argc, argv, short_options, long_options, nullptr)) != -1) {
|
2017-08-23 02:57:30 +00:00
|
|
|
switch (opt) {
|
|
|
|
case 's': {
|
2019-02-13 11:54:19 +00:00
|
|
|
// "max" is the special value that tells us to pick the maximum scale.
|
2019-03-12 21:06:01 +00:00
|
|
|
if (std::wcscmp(w.woptarg, L"max") == 0) {
|
2019-02-13 11:54:19 +00:00
|
|
|
opts.scale = 15;
|
|
|
|
} else {
|
|
|
|
opts.scale = fish_wcstoi(w.woptarg);
|
|
|
|
if (errno || opts.scale < 0 || opts.scale > 15) {
|
2019-05-05 10:09:25 +00:00
|
|
|
streams.err.append_format(_(L"%ls: '%ls' is not a valid scale value\n"),
|
|
|
|
cmd, w.woptarg);
|
2019-02-13 11:54:19 +00:00
|
|
|
return STATUS_INVALID_ARGS;
|
|
|
|
}
|
2017-08-23 02:57:30 +00:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case 'h': {
|
|
|
|
opts.print_help = true;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case ':': {
|
|
|
|
builtin_missing_argument(parser, streams, cmd, argv[w.woptind - 1]);
|
|
|
|
return STATUS_INVALID_ARGS;
|
|
|
|
}
|
|
|
|
case '?': {
|
|
|
|
// For most commands this is an error. We ignore it because a math expression
|
|
|
|
// can begin with a minus sign.
|
|
|
|
*optind = w.woptind - 1;
|
|
|
|
return STATUS_CMD_OK;
|
|
|
|
}
|
|
|
|
default: {
|
|
|
|
DIE("unexpected retval from wgetopt_long");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
*optind = w.woptind;
|
|
|
|
return STATUS_CMD_OK;
|
|
|
|
}
|
|
|
|
|
|
|
|
// We read from stdin if we are the second or later process in a pipeline.
|
|
|
|
static bool math_args_from_stdin(const io_streams_t &streams) {
|
|
|
|
return streams.stdin_is_directly_redirected;
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Get the arguments from stdin.
|
|
|
|
static const wchar_t *math_get_arg_stdin(wcstring *storage, const io_streams_t &streams) {
|
|
|
|
std::string arg;
|
|
|
|
for (;;) {
|
|
|
|
char ch = '\0';
|
|
|
|
long rc = read_blocked(streams.stdin_fd, &ch, 1);
|
|
|
|
|
2019-11-19 02:34:50 +00:00
|
|
|
if (rc < 0) return nullptr; // failure
|
2017-08-23 02:57:30 +00:00
|
|
|
|
|
|
|
if (rc == 0) { // EOF
|
2019-11-19 02:34:50 +00:00
|
|
|
if (arg.empty()) return nullptr;
|
2017-08-23 02:57:30 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (ch == '\n') break; // we're done
|
|
|
|
|
|
|
|
arg += ch;
|
|
|
|
}
|
|
|
|
|
|
|
|
*storage = str2wcstring(arg);
|
|
|
|
return storage->c_str();
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Return the next argument from argv.
|
|
|
|
static const wchar_t *math_get_arg_argv(int *argidx, wchar_t **argv) {
|
2019-11-19 02:34:50 +00:00
|
|
|
return argv && argv[*argidx] ? argv[(*argidx)++] : nullptr;
|
2017-08-23 02:57:30 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// Get the arguments from argv or stdin based on the execution context. This mimics how builtin
|
|
|
|
/// `string` does it.
|
|
|
|
static const wchar_t *math_get_arg(int *argidx, wchar_t **argv, wcstring *storage,
|
2017-08-24 03:38:40 +00:00
|
|
|
const io_streams_t &streams) {
|
2017-08-23 02:57:30 +00:00
|
|
|
if (math_args_from_stdin(streams)) {
|
|
|
|
return math_get_arg_stdin(storage, streams);
|
|
|
|
}
|
|
|
|
return math_get_arg_argv(argidx, argv);
|
|
|
|
}
|
|
|
|
|
2020-03-13 20:59:10 +00:00
|
|
|
static const wchar_t *math_describe_error(const te_error_t &error) {
|
2018-02-26 13:23:21 +00:00
|
|
|
if (error.position == 0) return L"NO ERROR?!?";
|
2018-02-11 23:02:47 +00:00
|
|
|
|
2019-05-05 10:09:25 +00:00
|
|
|
switch (error.type) {
|
|
|
|
case TE_ERROR_NONE:
|
|
|
|
DIE("Error has no position");
|
2020-01-30 20:46:22 +00:00
|
|
|
case TE_ERROR_UNKNOWN_FUNCTION:
|
|
|
|
return _(L"Unknown function");
|
2019-05-05 10:09:25 +00:00
|
|
|
case TE_ERROR_MISSING_CLOSING_PAREN:
|
|
|
|
return _(L"Missing closing parenthesis");
|
|
|
|
case TE_ERROR_MISSING_OPENING_PAREN:
|
|
|
|
return _(L"Missing opening parenthesis");
|
|
|
|
case TE_ERROR_TOO_FEW_ARGS:
|
|
|
|
return _(L"Too few arguments");
|
|
|
|
case TE_ERROR_TOO_MANY_ARGS:
|
|
|
|
return _(L"Too many arguments");
|
|
|
|
case TE_ERROR_MISSING_OPERATOR:
|
|
|
|
return _(L"Missing operator");
|
2019-10-30 11:49:13 +00:00
|
|
|
case TE_ERROR_UNEXPECTED_TOKEN:
|
|
|
|
return _(L"Unexpected token");
|
2019-11-01 07:40:56 +00:00
|
|
|
case TE_ERROR_LOGICAL_OPERATOR:
|
|
|
|
return _(L"Logical operations are not supported, use `test` instead");
|
2019-05-05 10:09:25 +00:00
|
|
|
case TE_ERROR_UNKNOWN:
|
|
|
|
return _(L"Expression is bogus");
|
|
|
|
default:
|
|
|
|
return L"Unknown error";
|
2018-02-11 23:02:47 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-07-24 07:00:06 +00:00
|
|
|
/// Return a formatted version of the value \p v respecting the given \p opts.
|
|
|
|
static wcstring format_double(double v, const math_cmd_opts_t &opts) {
|
2018-10-21 10:20:18 +00:00
|
|
|
// As a special-case, a scale of 0 means to truncate to an integer
|
|
|
|
// instead of rounding.
|
|
|
|
if (opts.scale == 0) {
|
2019-11-24 20:40:03 +00:00
|
|
|
v = trunc(v);
|
2018-10-21 10:20:18 +00:00
|
|
|
return format_string(L"%.*f", opts.scale, v);
|
|
|
|
}
|
|
|
|
|
2018-07-24 07:00:06 +00:00
|
|
|
wcstring ret = format_string(L"%.*f", opts.scale, v);
|
|
|
|
// If we contain a decimal separator, trim trailing zeros after it, and then the separator
|
|
|
|
// itself if there's nothing after it. Detect a decimal separator as a non-digit.
|
|
|
|
const wchar_t *const digits = L"0123456789";
|
|
|
|
if (ret.find_first_not_of(digits) != wcstring::npos) {
|
|
|
|
while (ret.back() == L'0') {
|
|
|
|
ret.pop_back();
|
|
|
|
}
|
2019-03-12 21:06:01 +00:00
|
|
|
if (!std::wcschr(digits, ret.back())) {
|
2018-07-24 07:00:06 +00:00
|
|
|
ret.pop_back();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
// If we trimmed everything it must have just been zero.
|
|
|
|
if (ret.empty()) {
|
|
|
|
ret.push_back(L'0');
|
|
|
|
}
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2017-08-24 03:38:40 +00:00
|
|
|
/// Evaluate math expressions.
|
2020-03-13 20:59:10 +00:00
|
|
|
static int evaluate_expression(const wchar_t *cmd, const parser_t &parser, io_streams_t &streams,
|
|
|
|
const math_cmd_opts_t &opts, wcstring &expression) {
|
2017-08-23 02:57:30 +00:00
|
|
|
UNUSED(parser);
|
|
|
|
|
2018-02-26 10:25:07 +00:00
|
|
|
int retval = STATUS_CMD_OK;
|
2018-02-11 23:02:47 +00:00
|
|
|
te_error_t error;
|
2018-03-01 19:24:16 +00:00
|
|
|
std::string narrow_str = wcs2string(expression);
|
2018-02-11 14:44:35 +00:00
|
|
|
// Switch locale while computing stuff.
|
|
|
|
// This means that the "." is always the radix character,
|
|
|
|
// so numbers work the same across locales.
|
2019-11-19 02:34:50 +00:00
|
|
|
char *saved_locale = strdup(setlocale(LC_NUMERIC, nullptr));
|
2018-02-11 14:44:35 +00:00
|
|
|
setlocale(LC_NUMERIC, "C");
|
2018-03-01 19:24:16 +00:00
|
|
|
double v = te_interp(narrow_str.c_str(), &error);
|
2018-02-11 14:44:35 +00:00
|
|
|
|
2018-02-11 23:02:47 +00:00
|
|
|
if (error.position == 0) {
|
2018-03-07 17:01:12 +00:00
|
|
|
// Check some runtime errors after the fact.
|
|
|
|
// TODO: Really, this should be done in tinyexpr
|
|
|
|
// (e.g. infinite is the result of "x / 0"),
|
|
|
|
// but that's much more work.
|
2019-11-19 02:34:50 +00:00
|
|
|
const char *error_message = nullptr;
|
2018-03-07 17:13:26 +00:00
|
|
|
if (std::isinf(v)) {
|
2018-07-24 07:00:06 +00:00
|
|
|
error_message = "Result is infinite";
|
2018-03-07 17:01:12 +00:00
|
|
|
} else if (std::isnan(v)) {
|
2018-07-24 07:00:06 +00:00
|
|
|
error_message = "Result is not a number";
|
|
|
|
} else if (std::abs(v) >= kMaximumContiguousInteger) {
|
|
|
|
error_message = "Result magnitude is too large";
|
|
|
|
}
|
|
|
|
if (error_message) {
|
|
|
|
streams.err.append_format(L"%ls: Error: %s\n", cmd, error_message);
|
2018-03-07 17:01:12 +00:00
|
|
|
streams.err.append_format(L"'%ls'\n", expression.c_str());
|
|
|
|
retval = STATUS_CMD_ERROR;
|
2017-12-17 22:41:55 +00:00
|
|
|
} else {
|
2018-07-24 07:00:06 +00:00
|
|
|
streams.out.append(format_double(v, opts));
|
|
|
|
streams.out.push_back(L'\n');
|
2017-12-17 22:41:55 +00:00
|
|
|
}
|
2018-02-10 18:46:34 +00:00
|
|
|
} else {
|
2019-03-14 22:12:14 +00:00
|
|
|
streams.err.append_format(L"%ls: Error: %ls\n", cmd, math_describe_error(error));
|
2018-02-11 23:02:47 +00:00
|
|
|
streams.err.append_format(L"'%ls'\n", expression.c_str());
|
2019-05-05 10:09:25 +00:00
|
|
|
streams.err.append_format(L"%*ls%ls\n", error.position - 1, L" ", L"^");
|
2018-02-26 10:25:07 +00:00
|
|
|
retval = STATUS_CMD_ERROR;
|
2017-12-17 22:41:55 +00:00
|
|
|
}
|
2018-02-26 20:23:41 +00:00
|
|
|
setlocale(LC_NUMERIC, saved_locale);
|
2018-02-11 14:44:35 +00:00
|
|
|
free(saved_locale);
|
2018-02-26 10:25:07 +00:00
|
|
|
return retval;
|
2017-08-23 02:57:30 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/// The math builtin evaluates math expressions.
|
2020-07-18 17:25:43 +00:00
|
|
|
maybe_t<int> builtin_math(parser_t &parser, io_streams_t &streams, wchar_t **argv) {
|
2017-08-23 02:57:30 +00:00
|
|
|
wchar_t *cmd = argv[0];
|
|
|
|
int argc = builtin_count_args(argv);
|
|
|
|
math_cmd_opts_t opts;
|
|
|
|
int optind;
|
|
|
|
|
|
|
|
// Is this really the right way to handle no expression present?
|
|
|
|
// if (argc == 0) return STATUS_CMD_OK;
|
|
|
|
|
|
|
|
int retval = parse_cmd_opts(opts, &optind, argc, argv, parser, streams);
|
|
|
|
if (retval != STATUS_CMD_OK) return retval;
|
|
|
|
|
|
|
|
if (opts.print_help) {
|
2019-10-20 09:38:17 +00:00
|
|
|
builtin_print_help(parser, streams, cmd);
|
2017-08-23 02:57:30 +00:00
|
|
|
return STATUS_CMD_OK;
|
|
|
|
}
|
|
|
|
|
|
|
|
wcstring expression;
|
|
|
|
wcstring storage;
|
|
|
|
while (const wchar_t *arg = math_get_arg(&optind, argv, &storage, streams)) {
|
|
|
|
if (!expression.empty()) expression.push_back(L' ');
|
|
|
|
expression.append(arg);
|
|
|
|
}
|
|
|
|
|
2018-03-01 21:27:24 +00:00
|
|
|
if (expression.empty()) {
|
|
|
|
streams.err.append_format(BUILTIN_ERR_MIN_ARG_COUNT1, L"math", 1, 0);
|
|
|
|
return STATUS_CMD_ERROR;
|
|
|
|
}
|
2017-08-23 02:57:30 +00:00
|
|
|
return evaluate_expression(cmd, parser, streams, opts, expression);
|
|
|
|
}
|