/*
* Helper functions for outputting text.
- * Copyright © 2011 Nick Bowler
+ * Copyright © 2011, 2021, 2023 Nick Bowler
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
#include <stdio.h>
#include <assert.h>
-#include "typemap.h"
-#include "output.h"
#include "cdecl.h"
+#include "cdecl-internal.h"
-size_t cdecl__advance_(char **buf, size_t *n, size_t amount)
+#include "parse.h"
+#include "specstr.h"
+
+size_t cdecl__advance(struct output_state *dst, size_t amount)
{
- if (amount >= *n) {
- *n = 0;
- *buf = 0;
- } else {
- *buf += amount;
- *n -= amount;
- }
+ size_t x = MIN(amount, dst->dstlen);
+
+ dst->dst += x;
+ dst->dstlen -= x;
+ dst->accum += amount;
return amount;
}
-size_t cdecl__advance(char **buf, size_t *n, size_t amount)
+size_t cdecl__strlcpy(char *dst, const char *src, size_t dstlen)
+{
+ if (dst)
+ snprintf(dst, dstlen, "%s", src);
+ return strlen(src);
+}
+
+size_t cdecl__emit(struct output_state *dst, const char *src)
+{
+ size_t rc = cdecl__strlcpy(dst->dst, src, dst->dstlen);
+ return cdecl__advance(dst, rc);
+}
+
+/*
+ * 31 decimal digits is enough for values up to 2^102 - 1.
+ * 63 decimal digits is enough for values up to 2^209 - 1.
+ *
+ * We can't portably write numbers this large in preprocessor conditionals,
+ * but since the maximum values of unsigned integer types are always one
+ * less than a power of two, we can use a sequence of small shifts to infer
+ * the bounds.
+ *
+ * All known implementations have 64-bit uintmax_t. Leave some headroom
+ * to support a possible future implementatons with 128-bit uintmax_t.
+ */
+enum {
+#if (UINTMAX_MAX >> 27 >> 27 >> 26 >> 26) == 0
+ MAX_UINT_DIGITS = 31
+#elif (UINTMAX_MAX >> 27 >> 26 >> 26 >> 26 >> 26 >> 26 >> 26 >> 26) == 0
+ MAX_UINT_DIGITS = 63
+#else
+# error UINTMAX_MAX is too large, please report a bug.
+#endif
+};
+
+size_t cdecl__emit_uint(struct output_state *dst, uintmax_t val)
{
- size_t ret, rc;
+ char buf[MAX_UINT_DIGITS + 1], *p = &buf[sizeof buf];
- if (!amount)
- return 0;
+ *(--p) = 0;
+ while (val > 0) {
+ *(--p) = '0' + val % 10;
+ val /= 10;
+ }
- ret = cdecl__advance_(buf, n, amount);
- rc = snprintf(*buf, *n, " ");
- return ret + cdecl__advance_(buf, n, rc);
+ return cdecl__emit(dst, p);
}
-static size_t explain_spec(char *buf, size_t n, struct cdecl_declspec *s)
+static void explain_spec(struct output_state *dst, struct cdecl_declspec *s)
{
- switch (s->type) {
- /* Function specifiers */
- case CDECL_FUNC_INLINE:
- return snprintf(buf, n, "inline");
- /* Storage-class specifiers */
- case CDECL_STOR_TYPEDEF:
- return snprintf(buf, n, "typedef");
- case CDECL_STOR_EXTERN:
- return snprintf(buf, n, "extern");
- case CDECL_STOR_STATIC:
- return snprintf(buf, n, "static");
- case CDECL_STOR_AUTO:
- return snprintf(buf, n, "auto");
- case CDECL_STOR_REGISTER:
- return snprintf(buf, n, "register");
- /* Type qualifiers */
- case CDECL_QUAL_RESTRICT:
- return snprintf(buf, n, "restrict");
- case CDECL_QUAL_VOLATILE:
- return snprintf(buf, n, "volatile");
- case CDECL_QUAL_CONST:
- return snprintf(buf, n, "const");
- /* Type specifiers */
- case CDECL_TYPE_VOID:
- return snprintf(buf, n, "void");
- case CDECL_TYPE_CHAR:
- return snprintf(buf, n, "char");
- case CDECL_TYPE_SHORT:
- return snprintf(buf, n, "short");
- case CDECL_TYPE_INT:
- return snprintf(buf, n, "int");
- case CDECL_TYPE_LONG:
- return snprintf(buf, n, "long");
- case CDECL_TYPE_FLOAT:
- return snprintf(buf, n, "float");
- case CDECL_TYPE_DOUBLE:
- return snprintf(buf, n, "double");
- case CDECL_TYPE_SIGNED:
- return snprintf(buf, n, "signed");
- case CDECL_TYPE_UNSIGNED:
- return snprintf(buf, n, "unsigned");
- case CDECL_TYPE_BOOL:
- return snprintf(buf, n, "_Bool");
- case CDECL_TYPE_COMPLEX:
- return snprintf(buf, n, "_Complex");
- case CDECL_TYPE_IMAGINARY:
- return snprintf(buf, n, "_Imaginary");
- case CDECL_TYPE_STRUCT:
- return snprintf(buf, n, "struct %s", s->ident);
- case CDECL_TYPE_UNION:
- return snprintf(buf, n, "union %s", s->ident);
- case CDECL_TYPE_ENUM:
- return snprintf(buf, n, "enum %s", s->ident);
- case CDECL_TYPE_IDENT:
- return snprintf(buf, n, "%s", s->ident);
- default:
- assert(0);
+ size_t rc;
+
+ rc = cdecl__emit(dst, spec_string(s->type));
+ if (s->ident) {
+ cdecl__emit(dst, " " + !rc);
+ cdecl__emit(dst, s->ident);
}
}
* listed in mask, which is the bitwise OR of the desired specifier kinds, are
* printed.
*/
-size_t cdecl__explain_specs(char *buf, size_t n, struct cdecl_declspec *s,
- unsigned mask)
+const char *cdecl__emit_specs(struct output_state *dst,
+ struct cdecl_declspec *s,
+ unsigned mask)
{
- size_t ret = 0, rc = 0;
-
- for (struct cdecl_declspec *c = s; c; c = c->next) {
- switch (cdecl_spec_kind(c) & mask) {
- case CDECL_SPEC_FUNC:
- case CDECL_SPEC_STOR:
- case CDECL_SPEC_QUAL:
- case CDECL_SPEC_TYPE:
- ret += cdecl__advance(&buf, &n, rc);
- rc = explain_spec(buf, n, c);
- }
- }
+ const char *sep = " ";
+ int empty = 1;
- return ret + rc;
-}
+ for (; s; s = s->next) {
+ if (!(s->type & mask))
+ continue;
-/* Renders the storage-class and function specifiers in canonical form. */
-size_t cdecl__explain_pre_specs(char *buf, size_t n, struct cdecl_declspec *s)
-{
- return cdecl__explain_specs(buf, n, s, CDECL_SPEC_FUNC|CDECL_SPEC_STOR);
-}
+ cdecl__emit(dst, sep + empty);
+ explain_spec(dst, s);
+ empty = 0;
+ }
-/* Renders the type qualifiers and type specifiers in canonical form. */
-size_t cdecl__explain_post_specs(char *buf, size_t n, struct cdecl_declspec *s)
-{
- return cdecl__explain_specs(buf, n, s, CDECL_SPEC_QUAL|CDECL_SPEC_TYPE);
+ return sep + empty;
}
projects / cdecl99.git / blobdiff