bmg 0.6.0 → 0.6.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 8485745f67f9a5f3b481e8f8121e57c30f404661
-  data.tar.gz: 010a318d9896ae6514c96798230ab564540c788d
+  metadata.gz: e2b2153bc229ff1517982db773316de847812ac3
+  data.tar.gz: 9f9b558de99c868d0b8dd5d8e11eb649fca7e1bd
 SHA512:
-  metadata.gz: 5aae26e7caca19cf4ae627cde3eb8de7278b48f881d40b6ff72fcb7f67ff9f571246e5bc8220e4576b2e8f25cddfb4ae1cd92f7670fe856d9ef6399b3c0a679b
-  data.tar.gz: ff68734d5b561543224dc66c5731f0f89cd9456a3ff94891ce207f18799ceef5d27150b6c848301c0987f7a7a02488d0c9e270a47d01f60689744efc03393a47
+  metadata.gz: b46d9fe457281dcee1cc202b341fc98a8dbb55a4b5a1c1fc8cf7163bc4c5694149d2697b55736c112d4583596cc8d1b353f8c4f1144475ef2fe7d7d79deb3047
+  data.tar.gz: 4ed985da29e10309920a3a8866aff6f2d21014e23ee023a695cc4105f6d740ab62c4b87cc72f9157aa98bfc06b0c5e2c1f8dd98f8554e1e605fe27e8b1f1ba43

data/lib/bmg/relation.rb

@@ -9,6 +9,7 @@ module Bmg
     end
 
     def self.empty(type = Type::ANY)
+      raise ArgumentError, "Missing type" if type.nil?
       Relation::Empty.new(type)
     end
 
@@ -95,5 +96,3 @@ module Bmg
 
   end # module Relation
 end # module Bmg
-require_relative 'relation/empty'
-require_relative 'relation/in_memory'

data/lib/bmg/type.rb

@@ -1,6 +1,12 @@
 module Bmg
   class Type
 
+    def initialize(predicate = Predicate.tautology)
+      @predicate = predicate
+      raise ArgumentError if @predicate.nil?
+    end
+    attr_reader :predicate
+
     ANY = Type.new
 
     def [](attribute)
@@ -20,7 +26,7 @@ module Bmg
     end
 
     def constants(cs)
-      ANY
+      Type.new(@predicate & Predicate.eq(cs))
     end
 
     def extend(extension)
@@ -36,15 +42,15 @@ module Bmg
     end
 
     def rename(renaming)
-      ANY
+      Type.new(@predicate.rename(renaming))
     end
 
     def restrict(predicate)
-      ANY
+      Type.new(@predicate & predicate)
     end
 
     def union(other)
-      ANY
+      Type.new(@predicate | other.predicate)
     end
 
   end # class Type

data/lib/bmg/version.rb

@@ -2,7 +2,7 @@ module Bmg
   module Version
     MAJOR = 0
     MINOR = 6
-    TINY  = 0
+    TINY  = 1
   end
   VERSION = "#{Version::MAJOR}.#{Version::MINOR}.#{Version::TINY}"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: bmg
 version: !ruby/object:Gem::Version
-  version: 0.6.0
+  version: 0.6.1
 platform: ruby
 authors:
 - Bernard Lambeau