diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-10-08 17:23:58 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-10-08 17:23:58 -0400 |
commit | 8b909d991fe993c711d432cfc9928dc7ffbdbbac (patch) | |
tree | af5545a16e8c2d7f65737c161285cf78b8ed2d43 /src/c/urweb.c | |
parent | 2b3bec54a0307652646f5ad9deff619b82cb5a91 (diff) |
Primitive int/float functions: ceil, float, round, trunc
Diffstat (limited to 'src/c/urweb.c')
-rw-r--r-- | src/c/urweb.c | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c index 0f1634e9..491fb73d 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -16,6 +16,7 @@ #include <openssl/des.h> #include <openssl/rand.h> #include <time.h> +#include <math.h> #include <pthread.h> @@ -3956,3 +3957,19 @@ void uw_cutErrorLocation(char *s) { uw_Basis_string uw_Basis_fresh(uw_context ctx) { return uw_Basis_htmlifyInt(ctx, ctx->nextId++); } + +uw_Basis_float uw_Basis_floatFromInt(uw_context ctx, uw_Basis_int n) { + return n; +} + +uw_Basis_int uw_Basis_ceil(uw_context ctx, uw_Basis_float n) { + return ceil(n); +} + +uw_Basis_int uw_Basis_trunc(uw_context ctx, uw_Basis_float n) { + return trunc(n); +} + +uw_Basis_int uw_Basis_round(uw_context ctx, uw_Basis_float n) { + return round(n); +} |