activefacts-examples 1.7.1

data/rails/schema/VenueSeating.schema.rb

@@ -0,0 +1,46 @@
+#
+# schema.rb auto-generated using ActiveFacts for VenueSeating on 2015-07-08
+#
+
+ActiveRecord::Base.logger = Logger.new(STDOUT)
+ActiveRecord::Schema.define(:version => 20150708011603) do
+  enable_extension 'pgcrypto' unless extension_enabled?('pgcrypto')
+  create_table "events", :id => false, :force => true do |t|
+    t.column "event_id", :primary_key, :null => false
+    t.column "venue_id", :integer, :null => false
+  end
+
+
+  create_table "seats", :id => false, :force => true do |t|
+    t.column "seat_id", :primary_key, :null => false
+    t.column "venue_id", :integer, :null => false
+    t.column "number", :integer, :limit => 16, :null => false
+    t.column "reserve_name", :string, :null => false
+    t.column "row_code", :string, :null => false
+  end
+
+  add_index "seats", ["venue_id", "reserve_name", "row_code", "number"], :name => :index_seats_on_venue_id_reserve_name_row_code_number, :unique => true
+
+  create_table "tickets", :id => false, :force => true do |t|
+    t.column "event_id", :integer, :null => false
+    t.column "seat_id", :integer, :null => false
+  end
+
+  add_index "tickets", ["event_id", "seat_id"], :name => :index_tickets_on_event_id_seat_id, :unique => true
+
+  create_table "venues", :id => false, :force => true do |t|
+    t.column "venue_id", :primary_key, :null => false
+  end
+
+
+  unless ENV["EXCLUDE_FKS"]
+    add_foreign_key :events, :venues, :column => :venue_id, :primary_key => :venue_id, :on_delete => :cascade
+    add_index :events, [:venue_id], :unique => false, :name => :index_events_on_venue_id
+    add_foreign_key :seats, :venues, :column => :venue_id, :primary_key => :venue_id, :on_delete => :cascade
+    add_index :seats, [:venue_id], :unique => false, :name => :index_seats_on_venue_id
+    add_foreign_key :tickets, :events, :column => :event_id, :primary_key => :event_id, :on_delete => :cascade
+    add_index :tickets, [:event_id], :unique => false, :name => :index_tickets_on_event_id
+    add_foreign_key :tickets, :seats, :column => :seat_id, :primary_key => :seat_id, :on_delete => :cascade
+    add_index :tickets, [:seat_id], :unique => false, :name => :index_tickets_on_seat_id
+  end
+end

data/rails/schema/Warehousing.schema.rb

@@ -0,0 +1,145 @@
+#
+# schema.rb auto-generated using ActiveFacts for Warehousing on 2015-07-08
+#
+
+ActiveRecord::Base.logger = Logger.new(STDOUT)
+ActiveRecord::Schema.define(:version => 20150708011604) do
+  enable_extension 'pgcrypto' unless extension_enabled?('pgcrypto')
+  create_table "back_order_allocations", :id => false, :force => true do |t|
+    t.column "back_order_allocation_id", :primary_key, :null => false
+    t.column "purchase_order_item_id", :integer, :null => false
+    t.column "sales_order_item_id", :integer, :null => false
+    t.column "quantity", :integer, :limit => 32, :null => false
+  end
+
+  add_index "back_order_allocations", ["purchase_order_item_id", "sales_order_item_id"], :name => :index_back_order_allocations_on_purchase_order_item_i__1a63f970, :unique => true
+
+  create_table "bins", :id => false, :force => true do |t|
+    t.column "bin_id", :primary_key, :null => false
+    t.column "product_id", :integer, :null => true
+    t.column "warehouse_id", :integer, :null => true
+    t.column "quantity", :integer, :limit => 32, :null => false
+  end
+
+
+  create_table "dispatch_items", :id => false, :force => true do |t|
+    t.column "dispatch_item_id", :primary_key, :null => false
+    t.column "product_id", :integer, :null => false
+    t.column "sales_order_item_id", :integer, :null => true
+    t.column "transfer_request_id", :integer, :null => true
+    t.column "dispatch_id", :integer, :null => true
+    t.column "quantity", :integer, :limit => 32, :null => false
+  end
+
+
+  create_table "parties", :id => false, :force => true do |t|
+    t.column "party_id", :primary_key, :null => false
+  end
+
+
+  create_table "products", :id => false, :force => true do |t|
+    t.column "product_id", :primary_key, :null => false
+  end
+
+
+  create_table "purchase_orders", :id => false, :force => true do |t|
+    t.column "purchase_order_id", :primary_key, :null => false
+    t.column "supplier_id", :integer, :null => false
+    t.column "warehouse_id", :integer, :null => false
+  end
+
+
+  create_table "purchase_order_items", :id => false, :force => true do |t|
+    t.column "purchase_order_item_id", :primary_key, :null => false
+    t.column "product_id", :integer, :null => false
+    t.column "purchase_order_id", :integer, :null => false
+    t.column "quantity", :integer, :limit => 32, :null => false
+  end
+
+  add_index "purchase_order_items", ["purchase_order_id", "product_id"], :name => :index_purchase_order_items_on_purchase_order_id_product_id, :unique => true
+
+  create_table "received_items", :id => false, :force => true do |t|
+    t.column "received_item_id", :primary_key, :null => false
+    t.column "product_id", :integer, :null => false
+    t.column "purchase_order_item_id", :integer, :null => true
+    t.column "transfer_request_id", :integer, :null => true
+    t.column "quantity", :integer, :limit => 32, :null => false
+    t.column "receipt_id", :integer, :null => true
+  end
+
+
+  create_table "sales_orders", :id => false, :force => true do |t|
+    t.column "sales_order_id", :primary_key, :null => false
+    t.column "customer_id", :integer, :null => false
+    t.column "warehouse_id", :integer, :null => false
+  end
+
+
+  create_table "sales_order_items", :id => false, :force => true do |t|
+    t.column "sales_order_item_id", :primary_key, :null => false
+    t.column "product_id", :integer, :null => false
+    t.column "sales_order_id", :integer, :null => false
+    t.column "quantity", :integer, :limit => 32, :null => false
+  end
+
+  add_index "sales_order_items", ["sales_order_id", "product_id"], :name => :index_sales_order_items_on_sales_order_id_product_id, :unique => true
+
+  create_table "transfer_requests", :id => false, :force => true do |t|
+    t.column "transfer_request_id", :primary_key, :null => false
+    t.column "from_warehouse_id", :integer, :null => false
+    t.column "product_id", :integer, :null => false
+    t.column "to_warehouse_id", :integer, :null => false
+    t.column "quantity", :integer, :limit => 32, :null => false
+  end
+
+
+  create_table "warehouses", :id => false, :force => true do |t|
+    t.column "warehouse_id", :primary_key, :null => false
+  end
+
+
+  unless ENV["EXCLUDE_FKS"]
+    add_foreign_key :back_order_allocations, :purchase_order_items, :column => :purchase_order_item_id, :primary_key => :purchase_order_item_id, :on_delete => :cascade
+    add_index :back_order_allocations, [:purchase_order_item_id], :unique => false, :name => :index_back_order_allocations_on_purchase_order_item_id
+    add_foreign_key :back_order_allocations, :sales_order_items, :column => :sales_order_item_id, :primary_key => :sales_order_item_id, :on_delete => :cascade
+    add_index :back_order_allocations, [:sales_order_item_id], :unique => false, :name => :index_back_order_allocations_on_sales_order_item_id
+    add_foreign_key :bins, :products, :column => :product_id, :primary_key => :product_id, :on_delete => :cascade
+    add_index :bins, [:product_id], :unique => false, :name => :index_bins_on_product_id
+    add_foreign_key :bins, :warehouses, :column => :warehouse_id, :primary_key => :warehouse_id, :on_delete => :cascade
+    add_index :bins, [:warehouse_id], :unique => false, :name => :index_bins_on_warehouse_id
+    add_foreign_key :dispatch_items, :products, :column => :product_id, :primary_key => :product_id, :on_delete => :cascade
+    add_index :dispatch_items, [:product_id], :unique => false, :name => :index_dispatch_items_on_product_id
+    add_foreign_key :dispatch_items, :sales_order_items, :column => :sales_order_item_id, :primary_key => :sales_order_item_id, :on_delete => :cascade
+    add_index :dispatch_items, [:sales_order_item_id], :unique => false, :name => :index_dispatch_items_on_sales_order_item_id
+    add_foreign_key :dispatch_items, :transfer_requests, :column => :transfer_request_id, :primary_key => :transfer_request_id, :on_delete => :cascade
+    add_index :dispatch_items, [:transfer_request_id], :unique => false, :name => :index_dispatch_items_on_transfer_request_id
+    add_foreign_key :purchase_orders, :parties, :column => :supplier_id, :primary_key => :party_id, :on_delete => :cascade
+    add_index :purchase_orders, [:supplier_id], :unique => false, :name => :index_purchase_orders_on_supplier_id
+    add_foreign_key :purchase_orders, :warehouses, :column => :warehouse_id, :primary_key => :warehouse_id, :on_delete => :cascade
+    add_index :purchase_orders, [:warehouse_id], :unique => false, :name => :index_purchase_orders_on_warehouse_id
+    add_foreign_key :purchase_order_items, :products, :column => :product_id, :primary_key => :product_id, :on_delete => :cascade
+    add_index :purchase_order_items, [:product_id], :unique => false, :name => :index_purchase_order_items_on_product_id
+    add_foreign_key :purchase_order_items, :purchase_orders, :column => :purchase_order_id, :primary_key => :purchase_order_id, :on_delete => :cascade
+    add_index :purchase_order_items, [:purchase_order_id], :unique => false, :name => :index_purchase_order_items_on_purchase_order_id
+    add_foreign_key :received_items, :products, :column => :product_id, :primary_key => :product_id, :on_delete => :cascade
+    add_index :received_items, [:product_id], :unique => false, :name => :index_received_items_on_product_id
+    add_foreign_key :received_items, :purchase_order_items, :column => :purchase_order_item_id, :primary_key => :purchase_order_item_id, :on_delete => :cascade
+    add_index :received_items, [:purchase_order_item_id], :unique => false, :name => :index_received_items_on_purchase_order_item_id
+    add_foreign_key :received_items, :transfer_requests, :column => :transfer_request_id, :primary_key => :transfer_request_id, :on_delete => :cascade
+    add_index :received_items, [:transfer_request_id], :unique => false, :name => :index_received_items_on_transfer_request_id
+    add_foreign_key :sales_orders, :parties, :column => :customer_id, :primary_key => :party_id, :on_delete => :cascade
+    add_index :sales_orders, [:customer_id], :unique => false, :name => :index_sales_orders_on_customer_id
+    add_foreign_key :sales_orders, :warehouses, :column => :warehouse_id, :primary_key => :warehouse_id, :on_delete => :cascade
+    add_index :sales_orders, [:warehouse_id], :unique => false, :name => :index_sales_orders_on_warehouse_id
+    add_foreign_key :sales_order_items, :products, :column => :product_id, :primary_key => :product_id, :on_delete => :cascade
+    add_index :sales_order_items, [:product_id], :unique => false, :name => :index_sales_order_items_on_product_id
+    add_foreign_key :sales_order_items, :sales_orders, :column => :sales_order_id, :primary_key => :sales_order_id, :on_delete => :cascade
+    add_index :sales_order_items, [:sales_order_id], :unique => false, :name => :index_sales_order_items_on_sales_order_id
+    add_foreign_key :transfer_requests, :products, :column => :product_id, :primary_key => :product_id, :on_delete => :cascade
+    add_index :transfer_requests, [:product_id], :unique => false, :name => :index_transfer_requests_on_product_id
+    add_foreign_key :transfer_requests, :warehouses, :column => :from_warehouse_id, :primary_key => :warehouse_id, :on_delete => :cascade
+    add_index :transfer_requests, [:from_warehouse_id], :unique => false, :name => :index_transfer_requests_on_from_warehouse_id
+    add_foreign_key :transfer_requests, :warehouses, :column => :to_warehouse_id, :primary_key => :warehouse_id, :on_delete => :cascade
+    add_index :transfer_requests, [:to_warehouse_id], :unique => false, :name => :index_transfer_requests_on_to_warehouse_id
+  end
+end

data/ruby/Address.rb

@@ -0,0 +1,68 @@
+require 'activefacts/api'
+
+module ::Address
+
+  class City < String
+    value_type :length => 64
+  end
+
+  class CompanyName < String
+    value_type 
+    one_to_one :company                         # See Company.company_name
+  end
+
+  class FamilyName < String
+    value_type :length => 20
+    one_to_one :family                          # See Family.family_name
+  end
+
+  class GivenNames < String
+    value_type :length => 20
+  end
+
+  class Number < String
+    value_type :length => 12
+  end
+
+  class Postcode < String
+    value_type 
+  end
+
+  class StreetLine < String
+    value_type :length => 64
+  end
+
+  class Company
+    identified_by :company_name
+    has_one :address                            # See Address.all_company
+    one_to_one :company_name, :mandatory => true  # See CompanyName.company
+  end
+
+  class Family
+    identified_by :family_name
+    one_to_one :family_name, :mandatory => true  # See FamilyName.family
+  end
+
+  class Person
+    identified_by :family, :given_names
+    has_one :address                            # See Address.all_person
+    has_one :family, :mandatory => true         # See Family.all_person
+    has_one :given_names, :mandatory => true    # See GivenNames.all_person
+  end
+
+  class Street
+    identified_by :first_street_line, :second_street_line, :third_street_line
+    has_one :first_street_line, :class => StreetLine, :mandatory => true  # See StreetLine.all_street_as_first_street_line
+    has_one :second_street_line, :class => StreetLine  # See StreetLine.all_street_as_second_street_line
+    has_one :third_street_line, :class => StreetLine  # See StreetLine.all_street_as_third_street_line
+  end
+
+  class Address
+    identified_by :street_number, :street, :city, :postcode
+    has_one :city, :mandatory => true           # See City.all_address
+    has_one :postcode                           # See Postcode.all_address
+    has_one :street, :mandatory => true         # See Street.all_address
+    has_one :street_number, :class => Number    # See Number.all_address_as_street_number
+  end
+
+end

data/ruby/Astronomy.rb

@@ -0,0 +1,55 @@
+require 'activefacts/api'
+
+module ::Astronomy
+
+  class AstronomicalObjectCode < String
+    value_type :length => 12
+    one_to_one :astronomical_object             # See AstronomicalObject.astronomical_object_code
+  end
+
+  class Mass < Real
+    value_type :length => 32
+  end
+
+  class MoonName < String
+    value_type :length => 256
+    one_to_one :moon                            # See Moon.moon_name
+  end
+
+  class NrDays < Real
+    value_type :length => 32
+  end
+
+  class PlanetName < String
+    value_type :length => 256
+    one_to_one :planet                          # See Planet.planet_name
+  end
+
+  class AstronomicalObject
+    identified_by :astronomical_object_code
+    one_to_one :astronomical_object_code, :mandatory => true  # See AstronomicalObjectCode.astronomical_object
+    maybe :is_in_orbit
+    has_one :mass                               # See Mass.all_astronomical_object
+  end
+
+  class Moon < AstronomicalObject
+    identified_by :moon_name
+    one_to_one :moon_name, :mandatory => true   # See MoonName.moon
+  end
+
+  class Orbit
+    identified_by :astronomical_object
+    one_to_one :astronomical_object, :mandatory => true  # See AstronomicalObject.orbit
+    has_one :center, :class => AstronomicalObject, :mandatory => true  # See AstronomicalObject.all_orbit_as_center
+    has_one :nr_days                            # See NrDays.all_orbit
+  end
+
+  class Planet < AstronomicalObject
+    identified_by :planet_name
+    one_to_one :planet_name, :mandatory => true  # See PlanetName.planet
+  end
+
+  class Star < AstronomicalObject
+  end
+
+end

data/ruby/Blog.rb

@@ -0,0 +1,84 @@
+require 'activefacts/api'
+
+module ::Blog
+
+  class AuthorId < AutoCounter
+    value_type 
+    one_to_one :author                          # See Author.author_id
+  end
+
+  class CommentId < AutoCounter
+    value_type 
+    one_to_one :comment                         # See Comment.comment_id
+  end
+
+  class Name < String
+    value_type :length => 64
+    one_to_one :author, :counterpart => :author_name  # See Author.author_name
+    one_to_one :topic, :counterpart => :topic_name  # See Topic.topic_name
+  end
+
+  class Ordinal < UnsignedInteger
+    value_type :length => 32
+  end
+
+  class PostId < AutoCounter
+    value_type 
+    one_to_one :post                            # See Post.post_id
+  end
+
+  class Style < String
+    value_type :length => 20
+  end
+
+  class Text < ::Text
+    value_type 
+  end
+
+  class TopicId < AutoCounter
+    value_type 
+    one_to_one :topic                           # See Topic.topic_id
+  end
+
+  class Author
+    identified_by :author_id
+    one_to_one :author_id, :mandatory => true   # See AuthorId.author
+    one_to_one :author_name, :class => Name, :mandatory => true  # See Name.author_as_author_name
+  end
+
+  class Comment
+    identified_by :comment_id
+    has_one :author, :mandatory => true         # See Author.all_comment
+    one_to_one :comment_id, :mandatory => true  # See CommentId.comment
+    has_one :content, :mandatory => true        # See Content.all_comment
+    has_one :paragraph, :mandatory => true      # See Paragraph.all_comment
+  end
+
+  class Content
+    identified_by :style, :text
+    has_one :style                              # See Style.all_content
+    has_one :text, :mandatory => true           # See Text.all_content
+  end
+
+  class Post
+    identified_by :post_id
+    has_one :author, :mandatory => true         # See Author.all_post
+    one_to_one :post_id, :mandatory => true     # See PostId.post
+    has_one :topic, :mandatory => true          # See Topic.all_post
+  end
+
+  class Topic
+    identified_by :topic_id
+    has_one :parent_topic, :class => Topic      # See Topic.all_topic_as_parent_topic
+    one_to_one :topic_id, :mandatory => true    # See TopicId.topic
+    one_to_one :topic_name, :class => Name, :mandatory => true  # See Name.topic_as_topic_name
+  end
+
+  class Paragraph
+    identified_by :post, :ordinal
+    has_one :ordinal, :mandatory => true        # See Ordinal.all_paragraph
+    has_one :post, :mandatory => true           # See Post.all_paragraph
+    has_one :content, :mandatory => true        # See Content.all_paragraph
+  end
+
+end

data/ruby/CinemaBookings.rb

@@ -0,0 +1,109 @@
+require 'activefacts/api'
+
+module ::CinemaBookings
+
+  class CinemaID < AutoCounter
+    value_type 
+    one_to_one :cinema                          # See Cinema.cinema_id
+  end
+
+  class DateTimeValue < DateTime
+    value_type 
+    one_to_one :date_time                       # See DateTime.date_time_value
+  end
+
+  class FilmID < AutoCounter
+    value_type 
+    one_to_one :film                            # See Film.film_id
+  end
+
+  class Name < String
+    value_type 
+    one_to_one :person, :counterpart => :login_name  # See Person.login_name
+  end
+
+  class Number < UnsignedInteger
+    value_type :length => 16
+    restrict 1..Infinity
+  end
+
+  class PersonID < AutoCounter
+    value_type 
+    one_to_one :person                          # See Person.person_id
+  end
+
+  class RowNr < Char
+    value_type :length => 2
+  end
+
+  class SeatNumber < UnsignedInteger
+    value_type :length => 16
+  end
+
+  class SectionName < String
+    value_type 
+    one_to_one :section                         # See Section.section_name
+  end
+
+  class Cinema
+    identified_by :cinema_id
+    one_to_one :cinema_id, :class => CinemaID, :mandatory => true  # See CinemaID.cinema
+  end
+
+  class DateTime
+    identified_by :date_time_value
+    one_to_one :date_time_value, :mandatory => true  # See DateTimeValue.date_time
+  end
+
+  class Film
+    identified_by :film_id
+    one_to_one :film_id, :class => FilmID, :mandatory => true  # See FilmID.film
+    has_one :name                               # See Name.all_film
+  end
+
+  class Person
+    identified_by :person_id
+    one_to_one :login_name, :class => Name, :mandatory => true  # See Name.person_as_login_name
+    one_to_one :person_id, :class => PersonID, :mandatory => true  # See PersonID.person
+  end
+
+  class Row
+    identified_by :cinema, :row_nr
+    has_one :cinema, :mandatory => true         # See Cinema.all_row
+    has_one :row_nr, :mandatory => true         # See RowNr.all_row
+  end
+
+  class Seat
+    identified_by :row, :seat_number
+    has_one :row, :mandatory => true            # See Row.all_seat
+    has_one :seat_number, :mandatory => true    # See SeatNumber.all_seat
+    has_one :section                            # See Section.all_seat
+  end
+
+  class Section
+    identified_by :section_name
+    one_to_one :section_name, :mandatory => true  # See SectionName.section
+  end
+
+  class Session
+    identified_by :cinema, :date_time
+    has_one :cinema, :mandatory => true         # See Cinema.all_session
+    has_one :date_time, :mandatory => true      # See DateTime.all_session
+    has_one :film, :mandatory => true           # See Film.all_session
+  end
+
+  class Booking
+    identified_by :person, :session
+    has_one :number, :mandatory => true         # See Number.all_booking
+    has_one :person, :mandatory => true         # See Person.all_booking
+    has_one :session, :mandatory => true        # See Session.all_booking
+    maybe :is_confirmed
+  end
+
+  class SeatAllocation
+    identified_by :booking, :allocated_seat
+    has_one :allocated_seat, :class => Seat, :mandatory => true  # See Seat.all_seat_allocation_as_allocated_seat
+    has_one :booking, :mandatory => true        # See Booking.all_seat_allocation
+  end
+
+end