mathematical 1.6.17 → 1.6.20

data/ext/mathematical/mtex2MML/tests/fixtures/symbols/gt.html

@@ -0,0 +1 @@
+<math xmlns='http://www.w3.org/1998/Math/MathML' display='inline'><semantics><mrow><mi>a</mi><mo>&gt;</mo><mn>5</mn></mrow><annotation encoding='application/x-tex'>a &gt; 5</annotation></semantics></math>

data/ext/mathematical/mtex2MML/tests/fixtures/symbols/gt.txt

@@ -0,0 +1 @@
+$a > 5$

data/ext/mathematical/mtex2MML/tests/fixtures/symbols/lt.html

@@ -0,0 +1 @@
+<math xmlns='http://www.w3.org/1998/Math/MathML' display='inline'><semantics><mrow><mi>a</mi><mo>&lt;</mo><mn>5</mn></mrow><annotation encoding='application/x-tex'>a &lt; 5</annotation></semantics></math>

data/ext/mathematical/mtex2MML/tests/fixtures/symbols/lt.txt

@@ -0,0 +1 @@
+$a < 5$

data/ext/mathematical/mtex2MML/tests/fixtures/symbols/textgreater.html

@@ -0,0 +1 @@
+<math xmlns='http://www.w3.org/1998/Math/MathML' display='inline'><semantics><mrow><mn>5</mn><mo>&gt;</mo><mn>3</mn></mrow><annotation encoding='application/x-tex'>5 \textgreater 3</annotation></semantics></math>

data/ext/mathematical/mtex2MML/tests/fixtures/symbols/textgreater.txt

@@ -0,0 +1 @@
+$5 \textgreater 3$

data/ext/mathematical/mtex2MML/tests/fixtures/symbols/textless.html

@@ -0,0 +1 @@
+<math xmlns='http://www.w3.org/1998/Math/MathML' display='inline'><semantics><mrow><mi>c</mi><mo>&lt;</mo><mi>e</mi></mrow><annotation encoding='application/x-tex'>c \textless e</annotation></semantics></math>

data/ext/mathematical/mtex2MML/tests/fixtures/symbols/textless.txt

@@ -0,0 +1 @@
+$c \textless e$

data/ext/mathematical/mtex2MML/tests/functions.c

@@ -0,0 +1,55 @@
+#include "clar.h"
+#include "clar_test.h"
+#include <stdio.h>
+#include <string.h>
+
+static char *fixture_tex;
+static char *fixture_mml;
+static char *result;
+
+void test_functions__initialize(void)
+{
+  global_test_counter++;
+}
+
+void test_functions__cleanup(void)
+{
+  if (fixture_tex != NULL) {
+    free(fixture_tex);
+  }
+
+  if (fixture_mml != NULL) {
+    free(fixture_mml);
+  }
+
+  if (result != NULL) {
+    free(result);
+  }
+}
+
+void test_functions__max_limits(void)
+{
+  fixture_tex = read_fixture_tex("functions/max_limits.txt");
+  fixture_mml = read_fixture_mml("functions/max_limits.html");
+  result = mtex2MML_parse(fixture_tex, strlen(fixture_tex), MTEX2MML_DELIMITER_DEFAULT);
+
+  cl_assert_equal_s(fixture_mml, result);
+}
+
+void test_functions__min_limits(void)
+{
+  fixture_tex = read_fixture_tex("functions/min_limits.txt");
+  fixture_mml = read_fixture_mml("functions/min_limits.html");
+  result = mtex2MML_parse(fixture_tex, strlen(fixture_tex), MTEX2MML_DELIMITER_DEFAULT);
+
+  cl_assert_equal_s(fixture_mml, result);
+}
+
+void test_functions__prod_limits(void)
+{
+  fixture_tex = read_fixture_tex("functions/prod_limits.txt");
+  fixture_mml = read_fixture_mml("functions/prod_limits.html");
+  result = mtex2MML_parse(fixture_tex, strlen(fixture_tex), MTEX2MML_DELIMITER_DEFAULT);
+
+  cl_assert_equal_s(fixture_mml, result);
+}

data/ext/mathematical/mtex2MML/tests/generate.py

@@ -0,0 +1,244 @@
+#!/usr/bin/env python
+#
+# Copyright (c) Vicent Marti. All rights reserved.
+#
+# This file is part of clar, distributed under the ISC license.
+# For full terms see the included COPYING file.
+#
+
+from __future__ import with_statement
+from string import Template
+import re, fnmatch, os, codecs, pickle
+
+class Module(object):
+    class Template(object):
+        def __init__(self, module):
+            self.module = module
+
+        def _render_callback(self, cb):
+            if not cb:
+                return '    { NULL, NULL }'
+            return '    { "%s", &%s }' % (cb['short_name'], cb['symbol'])
+
+    class DeclarationTemplate(Template):
+        def render(self):
+            out = "\n".join("extern %s;" % cb['declaration'] for cb in self.module.callbacks) + "\n"
+
+            if self.module.initialize:
+                out += "extern %s;\n" % self.module.initialize['declaration']
+
+            if self.module.cleanup:
+                out += "extern %s;\n" % self.module.cleanup['declaration']
+
+            return out
+
+    class CallbacksTemplate(Template):
+        def render(self):
+            out = "static const struct clar_func _clar_cb_%s[] = {\n" % self.module.name
+            out += ",\n".join(self._render_callback(cb) for cb in self.module.callbacks)
+            out += "\n};\n"
+            return out
+
+    class InfoTemplate(Template):
+        def render(self):
+            return Template(
+            r"""
+    {
+        "${clean_name}",
+    ${initialize},
+    ${cleanup},
+        ${cb_ptr}, ${cb_count}, ${enabled}
+    }"""
+            ).substitute(
+                clean_name = self.module.clean_name(),
+                initialize = self._render_callback(self.module.initialize),
+                cleanup = self._render_callback(self.module.cleanup),
+                cb_ptr = "_clar_cb_%s" % self.module.name,
+                cb_count = len(self.module.callbacks),
+                enabled = int(self.module.enabled)
+            )
+
+    def __init__(self, name):
+        self.name = name
+
+        self.mtime = 0
+        self.enabled = True
+        self.modified = False
+
+    def clean_name(self):
+        return self.name.replace("_", "::")
+
+    def _skip_comments(self, text):
+        SKIP_COMMENTS_REGEX = re.compile(
+            r'//.*?$|/\*.*?\*/|\'(?:\\.|[^\\\'])*\'|"(?:\\.|[^\\"])*"',
+            re.DOTALL | re.MULTILINE)
+
+        def _replacer(match):
+            s = match.group(0)
+            return "" if s.startswith('/') else s
+
+        return re.sub(SKIP_COMMENTS_REGEX, _replacer, text)
+
+    def parse(self, contents):
+        TEST_FUNC_REGEX = r"^(void\s+(test_%s__(\w+))\s*\(\s*void\s*\))\s*\{"
+
+        contents = self._skip_comments(contents)
+        regex = re.compile(TEST_FUNC_REGEX % self.name, re.MULTILINE)
+
+        self.callbacks = []
+        self.initialize = None
+        self.cleanup = None
+
+        for (declaration, symbol, short_name) in regex.findall(contents):
+            data = {
+                "short_name" : short_name,
+                "declaration" : declaration,
+                "symbol" : symbol
+            }
+
+            if short_name == 'initialize':
+                self.initialize = data
+            elif short_name == 'cleanup':
+                self.cleanup = data
+            else:
+                self.callbacks.append(data)
+
+        return self.callbacks != []
+
+    def refresh(self, path):
+        self.modified = False
+
+        try:
+            st = os.stat(path)
+
+            # Not modified
+            if st.st_mtime == self.mtime:
+                return True
+
+            self.modified = True
+            self.mtime = st.st_mtime
+
+            with codecs.open(path, encoding='utf-8') as fp:
+                raw_content = fp.read()
+
+        except IOError:
+            return False
+
+        return self.parse(raw_content)
+
+class TestSuite(object):
+
+    def __init__(self, path):
+        self.path = path
+
+    def should_generate(self, path):
+        if not os.path.isfile(path):
+            return True
+
+        if any(module.modified for module in self.modules.values()):
+            return True
+
+        return False
+
+    def find_modules(self):
+        modules = []
+        for root, _, files in os.walk(self.path):
+            module_root = root[len(self.path):]
+            module_root = [c for c in module_root.split(os.sep) if c]
+
+            tests_in_module = fnmatch.filter(files, "*.c")
+
+            for test_file in tests_in_module:
+                full_path = os.path.join(root, test_file)
+                module_name = "_".join(module_root + [test_file[:-2]]).replace("-", "_")
+
+                modules.append((full_path, module_name))
+
+        return modules
+
+    def load_cache(self):
+        path = os.path.join(self.path, '.clarcache')
+        cache = {}
+
+        try:
+            fp = open(path, 'rb')
+            cache = pickle.load(fp)
+            fp.close()
+        except (IOError, ValueError):
+            pass
+
+        return cache
+
+    def save_cache(self):
+        path = os.path.join(self.path, '.clarcache')
+        with open(path, 'wb') as cache:
+            pickle.dump(self.modules, cache)
+
+    def load(self, force = False):
+        module_data = self.find_modules()
+        self.modules = {} if force else self.load_cache()
+
+        for path, name in module_data:
+            if name not in self.modules:
+                self.modules[name] = Module(name)
+
+            if not self.modules[name].refresh(path):
+                del self.modules[name]
+
+    def disable(self, excluded):
+        for exclude in excluded:
+            for module in self.modules.values():
+                name = module.clean_name()
+                if name.startswith(exclude):
+                    module.enabled = False
+                    module.modified = True
+
+    def suite_count(self):
+        return len(self.modules)
+
+    def callback_count(self):
+        return sum(len(module.callbacks) for module in self.modules.values())
+
+    def write(self):
+        output = os.path.join(self.path, 'clar.suite')
+
+        if not self.should_generate(output):
+            return False
+
+        with open(output, 'w') as data:
+            for module in self.modules.values():
+                t = Module.DeclarationTemplate(module)
+                data.write(t.render())
+
+            for module in self.modules.values():
+                t = Module.CallbacksTemplate(module)
+                data.write(t.render())
+
+            suites = "static struct clar_suite _clar_suites[] = {" + ','.join(
+                Module.InfoTemplate(module).render() for module in sorted(self.modules.values(), key=lambda module: module.name)
+            ) + "\n};\n"
+
+            data.write(suites)
+
+            data.write("static const size_t _clar_suite_count = %d;\n" % self.suite_count())
+            data.write("static const size_t _clar_callback_count = %d;\n" % self.callback_count())
+
+        self.save_cache()
+        return True
+
+if __name__ == '__main__':
+    from optparse import OptionParser
+
+    parser = OptionParser()
+    parser.add_option('-f', '--force', action="store_true", dest='force', default=False)
+    parser.add_option('-x', '--exclude', dest='excluded', action='append', default=[])
+
+    options, args = parser.parse_args()
+
+    for path in args or ['.']:
+        suite = TestSuite(path)
+        suite.load(options.force)
+        suite.disable(options.excluded)
+        if suite.write():
+            print("Written `clar.suite` (%d tests in %d suites)" % (suite.callback_count(), suite.suite_count()))
+

data/ext/mathematical/mtex2MML/tests/helpers.c

@@ -0,0 +1,29 @@
+#include "helpers.h"
+#include "deps/file2str/file2str.h"
+#include "deps/trim/trim.h"
+#include "clar.h"
+#include <stdio.h>
+#include <string.h>
+
+char * read_fixture_tex(const char *filename)
+{
+  const char *tex = cl_fixture(filename);
+  return file2str(tex);
+}
+
+char * read_fixture_mml(const char *filename)
+{
+  const char *mml = cl_fixture(filename);
+  char * data = file2str(mml);
+
+  return trim(data);
+}
+
+void write_test_file(char * data)
+{
+  FILE *fp = fopen(cl_fixture("../test.html"), "w+");
+  if (fp != NULL) {
+    fputs(data, fp);
+    fclose(fp);
+  }
+}

data/ext/mathematical/mtex2MML/tests/helpers.h

@@ -0,0 +1,8 @@
+#ifndef __HELPERS__
+#define __HELPERS__
+
+char * read_fixture_tex(const char *filename);
+char * read_fixture_mml(const char *filename);
+void write_test_file(char *data);
+
+#endif

data/ext/mathematical/mtex2MML/tests/main.c

@@ -0,0 +1,35 @@
+/*
+ * Copyright (c) Vicent Marti. All rights reserved.
+ *
+ * This file is part of clar, distributed under the ISC license.
+ * For full terms see the included COPYING file.
+ */
+
+#include "clar_test.h"
+
+/*
+ * Minimal main() for clar tests.
+ *
+ * Modify this with any application specific setup or teardown that you need.
+ * The only required line is the call to `clar_test(argc, argv)`, which will
+ * execute the test suite.  If you want to check the return value of the test
+ * application, main() should return the same value returned by clar_test().
+ */
+
+int global_test_counter = 0;
+
+#ifdef _WIN32
+int __cdecl main(int argc, char *argv[])
+#else
+int main(int argc, char *argv[])
+#endif
+{
+  global_test_counter = 0;
+
+  /* Run the test suite */
+  int ret = clar_test(argc, argv);
+
+  /* cl_assert_equal_i(3, global_test_counter); */
+
+  return ret;
+}

data/ext/mathematical/mtex2MML/tests/maliciousness.c

@@ -0,0 +1,107 @@
+#include "clar.h"
+#include "clar_test.h"
+#include <stdio.h>
+#include <string.h>
+
+static char *fixture_tex;
+static char *fixture_mml;
+static char *result;
+
+void test_maliciousness__initialize(void)
+{
+  global_test_counter++;
+}
+
+void test_maliciousness__cleanup(void)
+{
+  if (fixture_tex != NULL) {
+    free(fixture_tex);
+  }
+
+  if (fixture_mml != NULL) {
+    free(fixture_mml);
+  }
+
+  if (result != NULL) {
+    free(result);
+  }
+}
+
+void test_maliciousness__parsing(void)
+{
+  fixture_tex = read_fixture_tex("maliciousness/just_enough_parsing.txt");
+  fixture_mml = read_fixture_mml("maliciousness/just_enough_parsing.html");
+  result = mtex2MML_parse(fixture_tex, strlen(fixture_tex), MTEX2MML_DELIMITER_DEFAULT);
+
+  cl_assert_equal_s(fixture_mml, result);
+}
+
+void test_maliciousness__excess_parsing(void)
+{
+  fixture_tex = read_fixture_tex("maliciousness/excess_parsing.txt");
+  fixture_mml =  read_fixture_mml("maliciousness/just_enough_parsing.html");
+  result = mtex2MML_parse(fixture_tex, strlen(fixture_tex), MTEX2MML_DELIMITER_DEFAULT);
+
+  cl_assert(result == NULL);
+}
+
+void test_maliciousness__unknown_command_with_parse(void)
+{
+  /* lazy way to continue with the free in cleanup */
+  fixture_tex = malloc(1);
+  fixture_mml = malloc(1);
+
+  char *s1 = "$\\not__thisisnotreal$";
+  result = mtex2MML_parse(s1, strlen(s1), 0);
+  cl_assert(result == NULL);
+  free(result);
+
+  char *s2 = "$x$";
+  result = mtex2MML_parse(s2, strlen(s2), 0);
+  cl_assert(result != NULL);
+}
+
+void test_maliciousness__unknown_command_with_filter(void)
+{
+  /* lazy way to continue with the free in cleanup */
+  fixture_tex = malloc(1);
+  fixture_mml = malloc(1);
+
+  char *s1 = "$\\not__thisisnotreal$";
+  int status1 = mtex2MML_filter(s1, strlen(s1), 0);
+  result = mtex2MML_output();
+  cl_assert(status1 == 1);
+  cl_assert(strlen(result) == 0);
+  free(result);
+
+  char *s2 = "$x$";
+  int status2 = mtex2MML_filter(s2, strlen(s2), 0);
+  result = mtex2MML_output();
+  cl_assert(status2 == 0);
+  cl_assert(strlen(result) > 0);
+}
+
+void test_maliciousness__bad_options(void)
+{
+  /* lazy way to continue with the free in cleanup */
+  fixture_tex = malloc(1);
+  fixture_mml = malloc(1);
+
+  char *s1 = "$\\pi";
+  int status = mtex2MML_filter(s1, strlen(s1), 9000);
+  result = mtex2MML_output();
+  cl_assert(status == 0);
+  cl_assert(strlen(result) == 0);
+}
+
+void test_maliciousness__imbalanced_dollars(void)
+{
+  /* lazy way to continue with the free in cleanup */
+  fixture_tex = malloc(1);
+  fixture_mml = malloc(1);
+
+  char *s1 = "x$$";
+  result = mtex2MML_parse(s1, strlen(s1), 0);
+
+  cl_assert(result == NULL);
+}