gecoder-with-gecode 0.7.1

data/vendor/rust/rust/type.rb

@@ -0,0 +1,98 @@
+# Copyright (c) 2007 David Cuadrado <krawek@gmail.com>
+# 
+# Permission is hereby granted, free of charge, to any person obtaining
+# a copy of this software and associated documentation files (the
+# "Software"), to deal in the Software without restriction, including
+# without limitation the rights to use, copy, modify, merge,
+# publish, distribute, sublicense, and/or sell copies of the Software,
+# and to permit persons to whom the Software is furnished to do so,
+# subject to the following conditions:
+# 
+# The above copyright notice and this permission notice shall be
+# included in all copies or substantial portions of the Software.
+# 
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+# MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+# NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+# BE LIABLE
+# FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
+# CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+# WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+
+module Rust
+  class Type
+    attr_reader :valid_name
+    attr_reader :name
+    
+    def initialize(name)
+      @name = name
+      @valid_name = name.dup.to_s
+      
+      if name.include?("*")
+        @is_pointer = true
+        @valid_name.gsub!("*", "Ptr")
+      else
+      
+      if not name.index(/\[\s*\]/).nil?
+        @valid_name.gsub!(/\[\s*\]/, "Array")
+        @is_array = true
+      end
+      
+      end
+      
+      @valid_name = @valid_name.gsub("::", "_").gsub(/&|\s/, "")
+    end
+    
+    def pointer?
+      @is_pointer == true
+    end
+    
+    def array?
+      @is_array == true
+    end
+    
+    def native?
+      [ /(u){0,1}int(\d\d_t){0,1}\s*\*{0,1}/, /float\s*\*{0,1}/, /double\s*\*{0,1}/, /char\s*\*{0,1}/, /bool/, /(std::){0,1}string/ ].each { |type|
+        if @name =~ type
+          return true
+        end
+      }
+      
+      false
+    end
+    
+    def ruby_type?
+      @name == "VALUE"
+    end
+    
+    def to_s
+      @valid_name.dup
+    end
+    
+  end
+end # module
+
+
+if __FILE__ == $0 # tests
+  
+  def showtype(type)
+    puts "Name: #{type.name}"
+    puts "Valid name: #{type.valid_name}"
+    puts "Is native: #{type.native?}"
+    puts "Is pointer: #{type.pointer?}"
+  end
+  
+  showtype Rust::Type.new("int *")
+  
+  showtype Rust::Type.new("Namespace::Class")
+  
+  showtype Rust::Type.new("Namespace::SubNamespace::Class *")
+  
+end
+
+
+
+
+
+

data/vendor/rust/test/Makefile

@@ -0,0 +1,4 @@
+test:
+	for test in test-*.rb; do \
+		ruby $${test} || exit 0; \
+	done

data/vendor/rust/test/constants.rb

@@ -0,0 +1,36 @@
+# Copyright (c) 2007 Diego Pettenò <flameeyes@gmail.com>
+# 
+# Permission is hereby granted, free of charge, to any person obtaining
+# a copy of this software and associated documentation files (the
+# "Software"), to deal in the Software without restriction, including
+# without limitation the rights to use, copy, modify, merge,
+# publish, distribute, sublicense, and/or sell copies of the Software,
+# and to permit persons to whom the Software is furnished to do so,
+# subject to the following conditions:
+# 
+# The above copyright notice and this permission notice shall be
+# included in all copies or substantial portions of the Software.
+# 
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+# MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+# NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+# BE LIABLE
+# FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
+# CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+# WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+
+require 'rust'
+
+Rust::Bindings::create_bindings Rust::Bindings::LangCxx, "constants_rb" do |b|
+  b.include_header 'dummyclass.hh', Rust::Bindings::HeaderLocal
+
+  b.add_namespace "RustTestConstants", "" do |ns|
+    ns.add_cxx_class "DummyClass" do |klass|
+      klass.add_constant 'ClassConstant', '123'
+    end
+
+    ns.add_constant 'ModuleConstant', '"foobar"'
+  end
+end
+

data/vendor/rust/test/cppclass.cc

@@ -0,0 +1,45 @@
+/* Copyright (c) 2005-2007 Diego Pettenò <flameeyes@gmail.com>
+ * 
+ * Permission is hereby granted, free of charge, to any person obtaining
+ * a copy of this software and associated documentation files (the
+ * "Software"), to deal in the Software without restriction, including
+ * without limitation the rights to use, copy, modify, merge,
+ * publish, distribute, sublicense, and/or sell copies of the Software,
+ * and to permit persons to whom the Software is furnished to do so,
+ * subject to the following conditions:
+ * 
+ * The above copyright notice and this permission notice shall be
+ * included in all copies or substantial portions of the Software.
+ * 
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+ * BE LIABLE
+ * FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
+ * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ */
+
+#include "cppclass.hh"
+
+TestClass::TestClass() {
+  str = "undefined";
+}
+
+TestClass::~TestClass() {
+}
+
+void TestClass::action1(uint32_t unused_parameter) {
+  val = unused_parameter;
+}
+
+void TestClass::action2(char *string) {
+  str = string;
+}
+
+void TestClass::action3(const TestClass &tc) {
+  str = "action3 called";
+}
+
+

data/vendor/rust/test/cppclass.hh

@@ -0,0 +1,67 @@
+/* Copyright (c) 2005-2007 Diego Pettenò <flameeyes@gmail.com>
+ * 
+ * Permission is hereby granted, free of charge, to any person obtaining
+ * a copy of this software and associated documentation files (the
+ * "Software"), to deal in the Software without restriction, including
+ * without limitation the rights to use, copy, modify, merge,
+ * publish, distribute, sublicense, and/or sell copies of the Software,
+ * and to permit persons to whom the Software is furnished to do so,
+ * subject to the following conditions:
+ * 
+ * The above copyright notice and this permission notice shall be
+ * included in all copies or substantial portions of the Software.
+ * 
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+ * BE LIABLE
+ * FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
+ * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ */
+
+#include <string>
+#include <stdint.h>
+
+class TestClass {
+public:
+  TestClass();
+  ~TestClass();
+
+  void action1(uint32_t unused_parameter);
+  void action2(char *string);
+  void action3(const TestClass &tc);
+
+  std::string stringValue() {
+    return str;
+  }
+
+  uint32_t integerValue() {
+    return val;
+  }
+
+  uint32_t variable() {
+    return m_variable;
+  }
+
+  uint32_t setVariable(uint32_t value) {
+    m_variable = value;
+  }
+
+  enum Test {
+    Foo1, Foo2, Foo3, Foo4, Foo6 = 6
+  };
+
+  void testEnum(Test param) {
+  }
+
+protected:
+  uint32_t val;
+  std::string str;
+
+  uint32_t m_variable;
+};
+
+
+

data/vendor/rust/test/cppclass.rb

@@ -0,0 +1,59 @@
+# Copyright (c) 2007 Diego Pettenò <flameeyes@gmail.com>
+# 
+# Permission is hereby granted, free of charge, to any person obtaining
+# a copy of this software and associated documentation files (the
+# "Software"), to deal in the Software without restriction, including
+# without limitation the rights to use, copy, modify, merge,
+# publish, distribute, sublicense, and/or sell copies of the Software,
+# and to permit persons to whom the Software is furnished to do so,
+# subject to the following conditions:
+# 
+# The above copyright notice and this permission notice shall be
+# included in all copies or substantial portions of the Software.
+# 
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+# MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+# NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+# BE LIABLE
+# FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
+# CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+# WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+
+require 'rust'
+
+Rust::Bindings::create_bindings Rust::Bindings::LangCxx, "cppclass_rb" do |b|
+  b.include_header 'cppclass.hh', Rust::Bindings::HeaderLocal
+
+  b.add_namespace "RustTestCppClass", "" do |ns|
+    ns.add_cxx_class "TestClass" do |klass|
+      klass.add_constructor do |method|
+      end
+
+      klass.add_method "action1" do |method|
+        method.add_parameter "uint32_t", "val"
+      end
+
+      klass.add_method "action2" do |method|
+        method.add_parameter "char *", "string"
+      end
+
+      klass.add_method "integerValue", "uint32_t"
+      klass.add_method "stringValue", "std::string"
+
+      klass.add_variable "variable", "uint32_t"
+
+      klass.add_enum "Test" do |enum|
+        enum.add_value 'Foo1'
+        enum.add_value 'Foo2'
+        enum.add_value 'Foo3'
+        enum.add_value 'Foo4'
+        enum.add_value 'Foo6'
+      end
+
+      klass.add_method "testEnum" do |method|
+        method.add_parameter "TestClass::Test", "param"
+      end
+    end
+  end
+end

data/vendor/rust/test/cwrapper.c

@@ -0,0 +1,74 @@
+/* Copyright (c) 2005-2007 Diego Pettenò <flameeyes@gmail.com>
+ * 
+ * Permission is hereby granted, free of charge, to any person obtaining
+ * a copy of this software and associated documentation files (the
+ * "Software"), to deal in the Software without restriction, including
+ * without limitation the rights to use, copy, modify, merge,
+ * publish, distribute, sublicense, and/or sell copies of the Software,
+ * and to permit persons to whom the Software is furnished to do so,
+ * subject to the following conditions:
+ * 
+ * The above copyright notice and this permission notice shall be
+ * included in all copies or substantial portions of the Software.
+ * 
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+ * BE LIABLE
+ * FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
+ * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ */
+
+#include "cwrapper.h"
+
+#include <stdlib.h>
+#include <string.h>
+#include <stdio.h>
+
+test_wrapper_t *cwrapper_alloc() {
+  test_wrapper_t *instance = malloc(sizeof(struct test_wrapper_s));
+
+  instance->integer = 1985;
+  instance->string = malloc(256);
+  instance->string[0] = '\0';
+
+  fprintf(stderr, "created: %p\n", instance);
+
+  return instance;
+}
+
+uint32_t cwrapper_get_integer(test_wrapper_t *instance) {
+  fprintf(stderr, "instance: %p\n", instance);
+  return instance->integer;
+}
+
+const char *cwrapper_get_string(test_wrapper_t *instance) {
+  fprintf(stderr, "instance: %p\n", instance);
+  return instance->string;
+}
+
+int cwrapper_set_string(test_wrapper_t *instance, const char *string) {
+  fprintf(stderr, "instance: %p\n", instance);
+  if (strlen(string) > 255) return 0;
+
+  strncpy(instance->string, string, 255);
+
+  return 1;
+}
+
+void cwrapper_set_integer(test_wrapper_t *instance, uint32_t integer) {
+  fprintf(stderr, "instance: %p\n", instance);
+  instance->integer = integer;
+}
+
+uint32_t cwrapper_get_default_integer() {
+  return 1985;
+}
+
+void cwrapper_free(test_wrapper_t *instance) {
+  fprintf(stderr, "instance: %p\n", instance);
+  free(instance->string);
+  free(instance);
+}

data/vendor/rust/test/cwrapper.h

@@ -0,0 +1,41 @@
+/* Copyright (c) 2005-2007 Diego Pettenò <flameeyes@gmail.com>
+ * 
+ * Permission is hereby granted, free of charge, to any person obtaining
+ * a copy of this software and associated documentation files (the
+ * "Software"), to deal in the Software without restriction, including
+ * without limitation the rights to use, copy, modify, merge,
+ * publish, distribute, sublicense, and/or sell copies of the Software,
+ * and to permit persons to whom the Software is furnished to do so,
+ * subject to the following conditions:
+ * 
+ * The above copyright notice and this permission notice shall be
+ * included in all copies or substantial portions of the Software.
+ * 
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+ * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+ * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+ * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+ * BE LIABLE
+ * FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
+ * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+ * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ */
+
+#include <stdint.h>
+
+struct test_wrapper_s {
+  uint32_t integer;
+  char *string;
+};
+
+typedef struct test_wrapper_s test_wrapper_t;
+
+#define TEST_CONSTANT 1985
+
+test_wrapper_t *cwrapper_alloc();
+uint32_t cwrapper_get_integer(test_wrapper_t *instance);
+const char *cwrapper_get_string(test_wrapper_t *instance);
+int cwrapper_set_string(test_wrapper_t *instance, const char *string);
+void cwrapper_set_integer(test_wrapper_t *instance, uint32_t integer);
+uint32_t cwrapper_get_default_integer();
+void cwrapper_free(test_wrapper_t *instance);

data/vendor/rust/test/cwrapper.rb

@@ -0,0 +1,56 @@
+# Copyright (c) 2007 Diego Pettenò <flameeyes@gmail.com>
+# 
+# Permission is hereby granted, free of charge, to any person obtaining
+# a copy of this software and associated documentation files (the
+# "Software"), to deal in the Software without restriction, including
+# without limitation the rights to use, copy, modify, merge,
+# publish, distribute, sublicense, and/or sell copies of the Software,
+# and to permit persons to whom the Software is furnished to do so,
+# subject to the following conditions:
+# 
+# The above copyright notice and this permission notice shall be
+# included in all copies or substantial portions of the Software.
+# 
+# THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+# EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
+# MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
+# NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
+# BE LIABLE
+# FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
+# CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
+# WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+
+require 'rust'
+
+Rust::Bindings::create_bindings Rust::Bindings::LangC, "cwrapper_rb" do |b|
+  b.include_header 'cwrapper.h', Rust::Bindings::HeaderLocal
+
+  b.add_namespace "RustTestCWrapper", "" do |ns|
+    ns.add_class_wrapper 'TestClass', 'test_wrapper_t' do |klass|
+      klass.add_constructor 'cwrapper_alloc'
+
+      klass.add_method 'cwrapper_get_integer', 'uint32_t', 'get_integer' do |method|
+        method.add_instance_parameter
+      end
+      klass.add_method 'cwrapper_get_string', 'char*', 'get_string' do |method|
+        method.add_instance_parameter
+      end
+
+      klass.add_method 'cwrapper_set_string', 'bool', 'set_string' do |method|
+        method.add_instance_parameter
+        method.add_parameter "char *", "string"
+      end
+
+      klass.add_method 'cwrapper_set_integer', 'void', 'set_integer' do |method|
+        method.add_instance_parameter
+        method.add_parameter "uint32_t", "integer"
+      end
+
+      klass.add_cleanup_function 'cwrapper_free((test_wrapper_t*)p);'
+    end
+
+    ns.add_function 'cwrapper_get_default_integer', 'uint32_t', 'get_default_integer'
+
+    ns.add_constant 'TestConstant', '1985'
+  end
+end