Imported Upstream version 4.0.0upstream/4.0.0

11 files changed, 759 insertions, 0 deletions

diff --git a/libcutl/tests/compiler/cxx-indenter/driver.cxx b/libcutl/tests/compiler/cxx-indenter/driver.cxx
new file mode 100644
index 0000000..665c6ab
--- /dev/null
+++ b/libcutl/tests/compiler/cxx-indenter/driver.cxx
@@ -0,0 +1,168 @@
+// file      : tests/compiler/cxx-indenter/driver.cxx
+// copyright : Copyright (c) 2009-2013 Code Synthesis Tools CC
+// license   : MIT; see accompanying LICENSE file
+
+#include <fstream>
+#include <iostream>
+
+#include <cutl/compiler/code-stream.hxx>
+#include <cutl/compiler/cxx-indenter.hxx>
+
+using namespace std;
+using namespace cutl::compiler;
+
+int
+main ()
+{
+  //std::wostream& os (wcout);
+  //ostream_filter<cxx_indenter, wchar_t> filt (os);
+
+  std::ostream& os (cout);
+  ostream_filter<cxx_indenter, char> filt (os);
+
+  os << "if (true)"
+     << "{"
+     << "// Hello there" << endl
+     << "//" << endl
+     << "a ();"
+     << "}"
+     << "else"
+     << "{"
+     << "b ();"
+     << "}";
+
+  os << "if (true)" << endl
+     << "// Hello there" << endl
+     << "//" << endl
+     << "a ();"
+     << "else" << endl
+     << "b ();"
+     << endl;
+
+  os << "if (false)"
+     << "{"
+     << "if (true)"
+     << "{"
+     << "// test" << endl
+     << "}"
+     << "else"
+     << "{"
+     << "// test" << endl
+     << "b ();"
+     << "}"
+     << "}";
+
+  os << "namespace a"
+     << "{"
+     << "void f ();"
+     << "}"
+     << "#if defined(__HP_aCC) && __HP_aCC <= 39999" << endl
+     << "#include <foo.h>" << endl
+     << "#endif" << endl
+     << endl
+     << "namespace b"
+     << "{"
+     << "void f ();"
+     << "}";
+
+  // Test do-while handling.
+  //
+  os << "do" << endl
+     << "f ();"
+     << "while (false);"
+     << endl;
+
+  os << "do"
+     << "{"
+     << "f ();"
+     << "}"
+     << "while (false);"
+     << endl;
+
+  os << "do"
+     << "{"
+     << "if (f ())"
+     << "{"
+     << "g ();"
+     << "}"
+     << "}"
+     << "while (false);"
+     << endl;
+
+  os << "do"
+     << "{"
+     << "do" << endl
+     << "f ();"
+     << "while (false);"
+     << "}"
+     << "while (false);"
+     << endl;
+
+  os << "do"
+     << "{"
+     << "do"
+     << "{"
+     << "f ();"
+     << "}"
+     << "while (false);"
+     << "}"
+     << "while (false);"
+     << endl;
+
+  os << "{"
+     << "f (\"CREATE TABLE \\\"test\\\" (\"" << endl
+     << "\"'id',\"" << endl
+     << "\"'name')\");"
+     << "}";
+
+  os << "namespace N"
+     << "{"
+     << "static int i[] = {{0,\n0},{1,\n1}};"
+     << "}";
+
+/*
+  @@ TODO: still misindents (if-else association problem)
+
+  os << "{"
+     << "if (foo != bar)" << endl
+     << "if (foo (bar))" << endl
+     << "baz = true;"
+     << "else" << endl
+     << "baz = false;"
+     << "else" << endl
+     << "biz = true;"
+     << endl
+     << "biz = false;"
+     << "}";
+
+  os << "{"
+     << "if (foo != bar)" << endl
+     << "if (foo (bar))"
+     << "{"
+     << "baz = true;"
+
+     << "if (x)" << endl
+     << "test ();"
+     << "else" << endl
+     << "test ();"
+     << endl
+
+     << "if (x)" << endl
+     << "if (y)"
+     << "{"
+     << "test ();"
+     << "}"
+     << "else"
+     << "{"
+     << "test ();"
+     << "}"
+
+     << "}"
+     << "else"
+     << "{"
+     << "test ();"
+     << "}"
+     << "biz = false;"
+     << "}";
+*/
+}
diff --git a/libcutl/tests/compiler/cxx-indenter/makefile b/libcutl/tests/compiler/cxx-indenter/makefile
new file mode 100644
index 0000000..da5dbe0
--- /dev/null
+++ b/libcutl/tests/compiler/cxx-indenter/makefile
@@ -0,0 +1,70 @@
+# file      : tests/compiler/cxx-indenter/makefile
+# copyright : Copyright (c) 2009-2013 Code Synthesis Tools CC
+# license   : MIT; see accompanying LICENSE file
+
+include $(dir $(lastword $(MAKEFILE_LIST)))../../../build/bootstrap.make
+
+cxx_tun := driver.cxx
+
+#
+#
+cxx_obj  := $(addprefix $(out_base)/,$(cxx_tun:.cxx=.o))
+cxx_od   := $(cxx_obj:.o=.o.d)
+
+cutl.l             := $(out_root)/cutl/cutl.l
+cutl.l.cpp-options := $(out_root)/cutl/cutl.l.cpp-options
+
+driver   := $(out_base)/driver
+test     := $(out_base)/.test
+clean    := $(out_base)/.clean
+
+# Build.
+#
+$(driver): $(cxx_obj) $(cutl.l)
+$(cxx_obj) $(cxx_od): $(cutl.l.cpp-options)
+
+
+$(call include-dep,$(cxx_od))
+
+
+# Alias for default target.
+#
+$(out_base)/: $(driver)
+
+
+# Test.
+#
+$(test): driver := $(driver)
+$(test): $(driver) $(src_base)/output.std
+	$(call message,test $$1,$$1 | diff -u $(src_base)/output.std -,$(driver))
+
+
+# Clean.
+#
+$(clean):                            \
+  $(driver).o.clean                  \
+  $(addsuffix .cxx.clean,$(cxx_obj)) \
+  $(addsuffix .cxx.clean,$(cxx_od))
+
+
+# Generated .gitignore.
+#
+ifeq ($(out_base),$(src_base))
+$(driver): | $(out_base)/.gitignore
+
+$(out_base)/.gitignore: files := driver
+$(clean): $(out_base)/.gitignore.clean
+
+$(call include,$(bld_root)/git/gitignore.make)
+endif
+
+
+# How to.
+#
+$(call include,$(bld_root)/cxx/o-e.make)
+$(call include,$(bld_root)/cxx/cxx-o.make)
+$(call include,$(bld_root)/cxx/cxx-d.make)
+
+# Dependencies.
+#
+$(call import,$(src_root)/cutl/makefile)
diff --git a/libcutl/tests/compiler/cxx-indenter/output.std b/libcutl/tests/compiler/cxx-indenter/output.std
new file mode 100644
index 0000000..79e74f4
--- /dev/null
+++ b/libcutl/tests/compiler/cxx-indenter/output.std
@@ -0,0 +1,103 @@
+if (true)
+{
+  // Hello there
+  //
+  a ();
+}
+else
+{
+  b ();
+}
+
+if (true)
+  // Hello there
+  //
+  a ();
+else
+  b ();
+
+if (false)
+{
+  if (true)
+  {
+    // test
+  }
+  else
+  {
+    // test
+    b ();
+  }
+}
+
+namespace a
+{
+  void f ();
+}
+
+#if defined(__HP_aCC) && __HP_aCC <= 39999
+#include <foo.h>
+#endif
+
+namespace b
+{
+  void f ();
+}
+
+do
+  f ();
+while (false);
+
+do
+{
+  f ();
+}
+while (false);
+
+do
+{
+  if (f ())
+  {
+    g ();
+  }
+}
+while (false);
+
+do
+{
+  do
+    f ();
+  while (false);
+}
+while (false);
+
+do
+{
+  do
+  {
+    f ();
+  }
+  while (false);
+}
+while (false);
+
+{
+  f ("CREATE TABLE \"test\" ("
+     "'id',"
+     "'name')");
+}
+
+namespace N
+{
+  static int i[] = 
+  {
+    {
+      0,
+      0
+    },
+    {
+      1,
+      1
+    }
+  };
+}
+
diff --git a/libcutl/tests/compiler/makefile b/libcutl/tests/compiler/makefile
new file mode 100644
index 0000000..11506fd
--- /dev/null
+++ b/libcutl/tests/compiler/makefile
@@ -0,0 +1,17 @@
+# file      : tests/compiler/makefile
+# copyright : Copyright (c) 2009-2013 Code Synthesis Tools CC
+# license   : MIT; see accompanying LICENSE file
+
+include $(dir $(lastword $(MAKEFILE_LIST)))../../build/bootstrap.make
+
+tests := cxx-indenter sloc-counter traversal
+
+default   := $(out_base)/
+test      := $(out_base)/.test
+clean     := $(out_base)/.clean
+
+$(default): $(addprefix $(out_base)/,$(addsuffix /,$(tests)))
+$(test): $(addprefix $(out_base)/,$(addsuffix /.test,$(tests)))
+$(clean): $(addprefix $(out_base)/,$(addsuffix /.clean,$(tests)))
+
+$(foreach t,$(tests),$(call import,$(src_base)/$t/makefile))
diff --git a/libcutl/tests/compiler/sloc-counter/driver.cxx b/libcutl/tests/compiler/sloc-counter/driver.cxx
new file mode 100644
index 0000000..504fbb7
--- /dev/null
+++ b/libcutl/tests/compiler/sloc-counter/driver.cxx
@@ -0,0 +1,36 @@
+// file      : tests/compiler/sloc-counter/driver.cxx
+// copyright : Copyright (c) 2009-2013 Code Synthesis Tools CC
+// license   : MIT; see accompanying LICENSE file
+
+#include <fstream>
+#include <iostream>
+
+#include <cutl/compiler/code-stream.hxx>
+#include <cutl/compiler/sloc-counter.hxx>
+
+using namespace std;
+using namespace cutl::compiler;
+
+int
+main (int argc, char* argv[])
+{
+  if (argc != 2)
+  {
+    cerr << "usage: " << argv[0] << " <file>" << endl;
+    return 1;
+  }
+
+  ostream_filter<sloc_counter, char> filt (cout);
+
+  ifstream ifs(argv[1]);
+
+  for (istream::int_type c (ifs.get ());
+       c != istream::traits_type::eof ();
+       c = ifs.get ())
+  {
+    cout.put (istream::traits_type::to_char_type (c));
+  }
+
+  cout << endl
+       << filt.stream ().count () << endl;
+}
diff --git a/libcutl/tests/compiler/sloc-counter/makefile b/libcutl/tests/compiler/sloc-counter/makefile
new file mode 100644
index 0000000..74c9a4a
--- /dev/null
+++ b/libcutl/tests/compiler/sloc-counter/makefile
@@ -0,0 +1,70 @@
+# file      : tests/compiler/sloc-counter/makefile
+# copyright : Copyright (c) 2009-2013 Code Synthesis Tools CC
+# license   : MIT; see accompanying LICENSE file
+
+include $(dir $(lastword $(MAKEFILE_LIST)))../../../build/bootstrap.make
+
+cxx_tun := driver.cxx
+
+#
+#
+cxx_obj  := $(addprefix $(out_base)/,$(cxx_tun:.cxx=.o))
+cxx_od   := $(cxx_obj:.o=.o.d)
+
+cutl.l             := $(out_root)/cutl/cutl.l
+cutl.l.cpp-options := $(out_root)/cutl/cutl.l.cpp-options
+
+driver   := $(out_base)/driver
+test     := $(out_base)/.test
+clean    := $(out_base)/.clean
+
+# Build.
+#
+$(driver): $(cxx_obj) $(cutl.l)
+$(cxx_obj) $(cxx_od): $(cutl.l.cpp-options)
+
+
+$(call include-dep,$(cxx_od))
+
+
+# Alias for default target.
+#
+$(out_base)/: $(driver)
+
+
+# Test.
+#
+$(test): driver := $(driver)
+$(test): $(driver) $(src_base)/test.cxx $(src_base)/test.std
+	$(call message,test $$1,$$1 $(src_base)/test.cxx | diff -u $(src_base)/test.std -,$(driver))
+
+
+# Clean.
+#
+$(clean):                            \
+  $(driver).o.clean                  \
+  $(addsuffix .cxx.clean,$(cxx_obj)) \
+  $(addsuffix .cxx.clean,$(cxx_od))
+
+
+# Generated .gitignore.
+#
+ifeq ($(out_base),$(src_base))
+$(driver): | $(out_base)/.gitignore
+
+$(out_base)/.gitignore: files := driver
+$(clean): $(out_base)/.gitignore.clean
+
+$(call include,$(bld_root)/git/gitignore.make)
+endif
+
+
+# How to.
+#
+$(call include,$(bld_root)/cxx/o-e.make)
+$(call include,$(bld_root)/cxx/cxx-o.make)
+$(call include,$(bld_root)/cxx/cxx-d.make)
+
+# Dependencies.
+#
+$(call import,$(src_root)/cutl/makefile)
diff --git a/libcutl/tests/compiler/sloc-counter/test.cxx b/libcutl/tests/compiler/sloc-counter/test.cxx
new file mode 100644
index 0000000..ff0f5b2
--- /dev/null
+++ b/libcutl/tests/compiler/sloc-counter/test.cxx
@@ -0,0 +1,34 @@
+// C++ comment
+  // C++ comment
+
+/* C comment */
+
+/* Multiline
+   C
+   Comment
+
+
+*/
+
+#include <iostream>
+
+char str[] = "multi\
+line\
+string\
+literal";
+
+using namespace std;
+
+
+int main(
+  int argc /*count*/,
+  char* argv[] /*array*/)
+{
+  /* comment start */ int x = 0;
+  char* s = 
+  /* comment start */"foo";
+  int y = 2
+  /* tricky stuff *//
+  2;
+  cerr << "Hello, \"world!" << '\'' << endl;
+}
diff --git a/libcutl/tests/compiler/sloc-counter/test.std b/libcutl/tests/compiler/sloc-counter/test.std
new file mode 100644
index 0000000..00b9c31
--- /dev/null
+++ b/libcutl/tests/compiler/sloc-counter/test.std
@@ -0,0 +1,36 @@
+// C++ comment
+  // C++ comment
+
+/* C comment */
+
+/* Multiline
+   C
+   Comment
+
+
+*/
+
+#include <iostream>
+
+char str[] = "multi\
+line\
+string\
+literal";
+
+using namespace std;
+
+
+int main(
+  int argc /*count*/,
+  char* argv[] /*array*/)
+{
+  /* comment start */ int x = 0;
+  char* s = 
+  /* comment start */"foo";
+  int y = 2
+  /* tricky stuff *//
+  2;
+  cerr << "Hello, \"world!" << '\'' << endl;
+}
+
+18
diff --git a/libcutl/tests/compiler/traversal/driver.cxx b/libcutl/tests/compiler/traversal/driver.cxx
new file mode 100644
index 0000000..b1fea74
--- /dev/null
+++ b/libcutl/tests/compiler/traversal/driver.cxx
@@ -0,0 +1,139 @@
+// file      : tests/compiler/traversal/driver.cxx
+// copyright : Copyright (c) 2009-2013 Code Synthesis Tools CC
+// license   : MIT; see accompanying LICENSE file
+
+#include <vector>
+#include <iostream>
+
+#include <cutl/shared-ptr.hxx>
+
+#include <cutl/compiler/type-info.hxx>
+#include <cutl/compiler/traversal.hxx>
+
+using namespace std;
+using namespace cutl;
+
+// Data types.
+//
+struct base
+{
+  virtual ~base () {}
+};
+
+struct derived1: base {};
+struct derived2: base {};
+
+typedef vector<shared_ptr<base> > objects;
+
+struct init
+{
+  init ()
+  {
+    using compiler::type_info;
+
+    {
+      type_info ti (typeid (base));
+      insert (ti);
+    }
+
+    {
+      type_info ti (typeid (derived1));
+      ti.add_base (typeid (base));
+      insert (ti);
+    }
+
+    {
+      type_info ti (typeid (derived2));
+      ti.add_base (typeid (base));
+      insert (ti);
+    }
+  }
+} init_;
+
+// Traversers.
+//
+template <typename X>
+struct traverser: compiler::traverser_impl<X, base>,
+                  virtual compiler::dispatcher<base>
+{
+  void
+  add_traverser (compiler::traverser_map<base>& m)
+  {
+    compiler::dispatcher<base>::traverser (m);
+  }
+};
+
+typedef traverser<base> base_trav;
+typedef traverser<derived1> derived1_trav;
+typedef traverser<derived2> derived2_trav;
+
+struct base_impl: base_trav
+{
+  virtual void
+  traverse (type&)
+  {
+    cout << "base_impl: base" << endl;
+  }
+};
+
+struct derived1_impl: derived1_trav
+{
+  virtual void
+  traverse (type&)
+  {
+    cout << "derived1_impl: derived1" << endl;
+  }
+};
+
+struct combined_impl: derived1_trav, derived2_trav
+{
+  virtual void
+  traverse (derived1&)
+  {
+    cout << "combined_impl: derived1" << endl;
+  }
+
+  virtual void
+  traverse (derived2&)
+  {
+    cout << "combined_impl: derived2" << endl;
+  }
+};
+
+int
+main ()
+{
+  objects o;
+  o.push_back (shared_ptr<base> (new (shared) base));
+  o.push_back (shared_ptr<base> (new (shared) derived1));
+  o.push_back (shared_ptr<base> (new (shared) derived2));
+
+  base_impl base;
+  derived1_impl derived1;
+  combined_impl combined;
+
+  for (objects::iterator i (o.begin ()); i != o.end (); ++i)
+    base.dispatch (**i);
+
+  cout << endl;
+
+  for (objects::iterator i (o.begin ()); i != o.end (); ++i)
+    derived1.dispatch (**i);
+
+  cout << endl;
+
+  for (objects::iterator i (o.begin ()); i != o.end (); ++i)
+    combined.dispatch (**i);
+
+  cout << endl;
+
+  base.add_traverser (derived1);
+  for (objects::iterator i (o.begin ()); i != o.end (); ++i)
+    base.dispatch (**i);
+
+  cout << endl;
+
+  derived1.add_traverser (combined);
+  for (objects::iterator i (o.begin ()); i != o.end (); ++i)
+    derived1.dispatch (**i);
+}
diff --git a/libcutl/tests/compiler/traversal/makefile b/libcutl/tests/compiler/traversal/makefile
new file mode 100644
index 0000000..f1c0fcf
--- /dev/null
+++ b/libcutl/tests/compiler/traversal/makefile
@@ -0,0 +1,70 @@
+# file      : tests/compiler/traversal/makefile
+# copyright : Copyright (c) 2009-2013 Code Synthesis Tools CC
+# license   : MIT; see accompanying LICENSE file
+
+include $(dir $(lastword $(MAKEFILE_LIST)))../../../build/bootstrap.make
+
+cxx_tun := driver.cxx
+
+#
+#
+cxx_obj  := $(addprefix $(out_base)/,$(cxx_tun:.cxx=.o))
+cxx_od   := $(cxx_obj:.o=.o.d)
+
+cutl.l             := $(out_root)/cutl/cutl.l
+cutl.l.cpp-options := $(out_root)/cutl/cutl.l.cpp-options
+
+driver   := $(out_base)/driver
+test     := $(out_base)/.test
+clean    := $(out_base)/.clean
+
+# Build.
+#
+$(driver): $(cxx_obj) $(cutl.l)
+$(cxx_obj) $(cxx_od): $(cutl.l.cpp-options)
+
+
+$(call include-dep,$(cxx_od))
+
+
+# Alias for default target.
+#
+$(out_base)/: $(driver)
+
+
+# Test.
+#
+$(test): driver := $(driver)
+$(test): $(driver) $(src_base)/output.std
+	$(call message,test $$1,$$1 | diff -u $(src_base)/output.std -,$(driver))
+
+
+# Clean.
+#
+$(clean):                            \
+  $(driver).o.clean                  \
+  $(addsuffix .cxx.clean,$(cxx_obj)) \
+  $(addsuffix .cxx.clean,$(cxx_od))
+
+
+# Generated .gitignore.
+#
+ifeq ($(out_base),$(src_base))
+$(driver): | $(out_base)/.gitignore
+
+$(out_base)/.gitignore: files := driver
+$(clean): $(out_base)/.gitignore.clean
+
+$(call include,$(bld_root)/git/gitignore.make)
+endif
+
+
+# How to.
+#
+$(call include,$(bld_root)/cxx/o-e.make)
+$(call include,$(bld_root)/cxx/cxx-o.make)
+$(call include,$(bld_root)/cxx/cxx-d.make)
+
+# Dependencies.
+#
+$(call import,$(src_root)/cutl/makefile)
diff --git a/libcutl/tests/compiler/traversal/output.std b/libcutl/tests/compiler/traversal/output.std
new file mode 100644
index 0000000..095739c
--- /dev/null
+++ b/libcutl/tests/compiler/traversal/output.std
@@ -0,0 +1,16 @@
+base_impl: base
+base_impl: base
+base_impl: base
+
+derived1_impl: derived1
+
+combined_impl: derived1
+combined_impl: derived2
+
+base_impl: base
+derived1_impl: derived1
+base_impl: base
+
+derived1_impl: derived1
+combined_impl: derived1
+combined_impl: derived2