activefacts-examples 1.7.1

data/ruby/CinemaTickets.rb

@@ -0,0 +1,218 @@
+require 'activefacts/api'
+
+module ::CinemaTickets
+
+  class AddressText < Text
+    value_type 
+    one_to_one :address                         # See Address.address_text
+  end
+
+  class BookingNr < SignedInteger
+    value_type :length => 32
+    one_to_one :booking                         # See Booking.booking_nr
+  end
+
+  class CinemaID < AutoCounter
+    value_type 
+    one_to_one :cinema                          # See Cinema.cinema_id
+  end
+
+  class CollectionCode < SignedInteger
+    value_type :length => 32
+  end
+
+  class Day < SignedInteger
+    value_type :length => 32
+    restrict 1..31
+  end
+
+  class EncryptedPassword < String
+    value_type 
+  end
+
+  class FilmID < AutoCounter
+    value_type 
+    one_to_one :film                            # See Film.film_id
+  end
+
+  class HighDemand < Boolean
+    value_type 
+  end
+
+  class Hour < SignedInteger
+    value_type :length => 32
+    restrict 0..23
+  end
+
+  class Minute < SignedInteger
+    value_type :length => 32
+    restrict 0..59
+  end
+
+  class MonthNr < SignedInteger
+    value_type :length => 32
+    restrict 1..12
+    one_to_one :month                           # See Month.month_nr
+  end
+
+  class Name < String
+    value_type 
+    one_to_one :cinema                          # See Cinema.name
+    one_to_one :person, :counterpart => :login_name  # See Person.login_name
+  end
+
+  class Number < UnsignedInteger
+    value_type :length => 16
+    restrict 1..Infinity
+  end
+
+  class PaymentMethodCode < String
+    value_type 
+    one_to_one :payment_method, :restrict => ['Card', 'Cash', 'Gift Voucher', 'Loyalty Voucher']  # See PaymentMethod.payment_method_code
+  end
+
+  class PersonID < AutoCounter
+    value_type 
+    one_to_one :person                          # See Person.person_id
+  end
+
+  class Price < Money
+    value_type 
+  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 YearNr < SignedInteger
+    value_type :length => 32
+    restrict 1900..9999
+    one_to_one :year                            # See Year.year_nr
+  end
+
+  class Address
+    identified_by :address_text
+    one_to_one :address_text, :mandatory => true  # See AddressText.address
+  end
+
+  class Cinema
+    identified_by :cinema_id
+    one_to_one :cinema_id, :class => CinemaID, :mandatory => true  # See CinemaID.cinema
+    one_to_one :name, :mandatory => true        # See Name.cinema
+  end
+
+  class Film
+    identified_by :film_id
+    one_to_one :film_id, :class => FilmID, :mandatory => true  # See FilmID.film
+    has_one :name, :mandatory => true           # See Name.all_film
+    has_one :year                               # See Year.all_film
+  end
+
+  class Month
+    identified_by :month_nr
+    one_to_one :month_nr, :mandatory => true    # See MonthNr.month
+  end
+
+  class PaymentMethod
+    identified_by :payment_method_code
+    one_to_one :payment_method_code, :mandatory => true  # See PaymentMethodCode.payment_method
+  end
+
+  class Person
+    identified_by :person_id
+    has_one :encrypted_password                 # See EncryptedPassword.all_person
+    one_to_one :login_name, :class => Name      # 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 Year
+    identified_by :year_nr
+    one_to_one :year_nr, :mandatory => true     # See YearNr.year
+  end
+
+  class AllocatableCinemaSection
+    identified_by :cinema, :section
+    has_one :cinema, :mandatory => true         # See Cinema.all_allocatable_cinema_section
+    has_one :section, :mandatory => true        # See Section.all_allocatable_cinema_section
+  end
+
+  class SessionTime
+    identified_by :year, :month, :day, :hour, :minute
+    has_one :day, :mandatory => true            # See Day.all_session_time
+    has_one :hour, :mandatory => true           # See Hour.all_session_time
+    has_one :minute, :mandatory => true         # See Minute.all_session_time
+    has_one :month, :mandatory => true          # See Month.all_session_time
+    has_one :year, :mandatory => true           # See Year.all_session_time
+  end
+
+  class TicketPricing
+    identified_by :session_time, :cinema, :section, :high_demand
+    has_one :cinema, :mandatory => true         # See Cinema.all_ticket_pricing
+    has_one :high_demand, :mandatory => true    # See HighDemand.all_ticket_pricing
+    has_one :price, :mandatory => true          # See Price.all_ticket_pricing
+    has_one :section, :mandatory => true        # See Section.all_ticket_pricing
+    has_one :session_time, :mandatory => true   # See SessionTime.all_ticket_pricing
+  end
+
+  class Session
+    identified_by :cinema, :session_time
+    has_one :cinema, :mandatory => true         # See Cinema.all_session
+    has_one :film, :mandatory => true           # See Film.all_session
+    has_one :session_time, :mandatory => true   # See SessionTime.all_session
+    maybe :is_high_demand
+    maybe :uses_allocated_seating
+  end
+
+  class Booking
+    identified_by :booking_nr
+    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
+    has_one :address                            # See Address.all_booking
+    one_to_one :booking_nr, :mandatory => true  # See BookingNr.booking
+    has_one :collection_code                    # See CollectionCode.all_booking
+    has_one :section                            # See Section.all_booking
+    maybe :tickets_for_have_been_issued
+  end
+
+  class PlacesPaid
+    identified_by :booking, :payment_method
+    has_one :booking, :mandatory => true        # See Booking.all_places_paid
+    has_one :number, :mandatory => true         # See Number.all_places_paid
+    has_one :payment_method, :mandatory => true  # See PaymentMethod.all_places_paid
+  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

data/ruby/CompanyDirectorEmployee.rb

@@ -0,0 +1,73 @@
+require 'activefacts/api'
+
+module ::CompanyDirectorEmployee
+
+  class CompanyName < String
+    value_type :length => 48
+    one_to_one :company                         # See Company.company_name
+  end
+
+  class Date < ::Date
+    value_type 
+  end
+
+  class EmployeeNr < SignedInteger
+    value_type :length => 32
+    one_to_one :employee                        # See Employee.employee_nr
+  end
+
+  class Name < String
+    value_type :length => 48
+  end
+
+  class Company
+    identified_by :company_name
+    one_to_one :company_name, :mandatory => true  # See CompanyName.company
+    maybe :is_listed
+  end
+
+  class Employee
+    identified_by :employee_nr
+    has_one :company, :mandatory => true        # See Company.all_employee
+    one_to_one :employee_nr, :mandatory => true  # See EmployeeNr.employee
+    has_one :manager                            # See Manager.all_employee
+  end
+
+  class Manager < Employee
+    maybe :is_ceo
+  end
+
+  class Meeting
+    identified_by :company, :date, :is_board_meeting
+    has_one :company, :mandatory => true        # See Company.all_meeting
+    has_one :date, :mandatory => true           # See Date.all_meeting
+    maybe :is_board_meeting
+  end
+
+  class Person
+    identified_by :given_name, :family_name
+    has_one :birth_date, :class => Date         # See Date.all_person_as_birth_date
+    has_one :family_name, :class => Name        # See Name.all_person_as_family_name
+    has_one :given_name, :class => Name, :mandatory => true  # See Name.all_person_as_given_name
+  end
+
+  class Attendance
+    identified_by :attendee, :meeting
+    has_one :attendee, :class => Person, :mandatory => true  # See Person.all_attendance_as_attendee
+    has_one :meeting, :mandatory => true        # See Meeting.all_attendance
+  end
+
+  class Directorship
+    identified_by :director, :company
+    has_one :company, :mandatory => true        # See Company.all_directorship
+    has_one :director, :class => Person, :mandatory => true  # See Person.all_directorship_as_director
+    has_one :appointment_date, :class => Date, :mandatory => true  # See Date.all_directorship_as_appointment_date
+  end
+
+  class Employment
+    identified_by :person, :employee
+    has_one :employee, :mandatory => true       # See Employee.all_employment
+    has_one :person, :mandatory => true         # See Person.all_employment
+  end
+
+end

data/ruby/Death.rb

@@ -0,0 +1,26 @@
+require 'activefacts/api'
+
+module ::Death
+
+  class CauseOfDeath < String
+    value_type 
+  end
+
+  class PersonName < String
+    value_type :length => 40
+    one_to_one :person                          # See Person.person_name
+  end
+
+  class Person
+    identified_by :person_name
+    maybe :is_dead
+    one_to_one :person_name, :mandatory => true  # See PersonName.person
+  end
+
+  class Death
+    identified_by :person
+    one_to_one :person, :mandatory => true      # See Person.death
+    has_one :cause_of_death                     # See CauseOfDeath.all_death
+  end
+
+end

data/ruby/Diplomacy.rb

@@ -0,0 +1,59 @@
+require 'activefacts/api'
+
+module ::Diplomacy
+
+  class CountryName < String
+    value_type 
+    one_to_one :country                         # See Country.country_name
+  end
+
+  class DiplomatName < String
+    value_type 
+    one_to_one :diplomat                        # See Diplomat.diplomat_name
+  end
+
+  class LanguageName < String
+    value_type 
+    one_to_one :language                        # See Language.language_name
+  end
+
+  class Country
+    identified_by :country_name
+    one_to_one :country_name, :mandatory => true  # See CountryName.country
+  end
+
+  class Diplomat
+    identified_by :diplomat_name
+    one_to_one :diplomat_name, :mandatory => true  # See DiplomatName.diplomat
+    has_one :represented_country, :class => Country, :mandatory => true  # See Country.all_diplomat_as_represented_country
+    has_one :served_country, :class => Country, :mandatory => true  # See Country.all_diplomat_as_served_country
+  end
+
+  class Language
+    identified_by :language_name
+    one_to_one :language_name, :mandatory => true  # See LanguageName.language
+  end
+
+  class LanguageUse
+    identified_by :language, :country
+    has_one :country, :mandatory => true        # See Country.all_language_use
+    has_one :language, :mandatory => true       # See Language.all_language_use
+  end
+
+  class Ambassador < Diplomat
+  end
+
+  class Fluency
+    identified_by :diplomat, :language
+    has_one :diplomat, :mandatory => true       # See Diplomat.all_fluency
+    has_one :language, :mandatory => true       # See Language.all_fluency
+  end
+
+  class Representation
+    identified_by :represented_country, :country
+    has_one :ambassador, :mandatory => true     # See Ambassador.all_representation
+    has_one :country, :mandatory => true        # See Country.all_representation
+    has_one :represented_country, :class => Country, :mandatory => true  # See Country.all_representation_as_represented_country
+  end
+
+end

data/ruby/Genealogy.rb

@@ -0,0 +1,173 @@
+require 'activefacts/api'
+
+module ::Genealogy
+
+  class Address < String
+    value_type :length => 128
+  end
+
+  class Certificate < String
+    value_type :length => 64
+  end
+
+  class Day < UnsignedInteger
+    value_type :length => 32
+    restrict 1..31
+  end
+
+  class Email < String
+    value_type :length => 64
+  end
+
+  class EventID < AutoCounter
+    value_type 
+    one_to_one :event                           # See Event.event_id
+  end
+
+  class EventLocation < String
+    value_type :length => 128
+  end
+
+  class EventRoleName < String
+    value_type 
+    restrict 'Celebrant', 'Father', 'Husband', 'Mother', 'Subject', 'Wife'
+    one_to_one :role                            # See Role.event_role_name
+  end
+
+  class EventTypeID < AutoCounter
+    value_type 
+    one_to_one :event_type                      # See EventType.event_type_id
+  end
+
+  class EventTypeName < String
+    value_type :length => 16
+    restrict 'Birth', 'Burial', 'Christening', 'Death', 'Divorce', 'Marriage'
+    one_to_one :event_type                      # See EventType.event_type_name
+  end
+
+  class Gender < Char
+    value_type :length => 1
+    restrict 'F', 'M'
+  end
+
+  class Month < UnsignedInteger
+    value_type :length => 32
+    restrict 1..12
+  end
+
+  class Name < String
+    value_type :length => 128
+  end
+
+  class Occupation < String
+    value_type :length => 128
+  end
+
+  class Official < String
+    value_type :length => 64
+  end
+
+  class PersonID < AutoCounter
+    value_type 
+    one_to_one :person                          # See Person.person_id
+  end
+
+  class Picture < Image
+    value_type 
+  end
+
+  class RoleID < AutoCounter
+    value_type 
+    one_to_one :role                            # See Role.role_id
+  end
+
+  class SourceID < AutoCounter
+    value_type 
+    one_to_one :source                          # See Source.source_id
+  end
+
+  class SourceName < String
+    value_type :length => 128
+    one_to_one :source                          # See Source.source_name
+  end
+
+  class UserID < AutoCounter
+    value_type 
+    one_to_one :user                            # See User.user_id
+  end
+
+  class Year < UnsignedInteger
+    value_type :length => 32
+  end
+
+  class Event
+    identified_by :event_id
+    has_one :certificate                        # See Certificate.all_event
+    has_one :event_date                         # See EventDate.all_event
+    one_to_one :event_id, :class => EventID, :mandatory => true  # See EventID.event
+    has_one :event_location                     # See EventLocation.all_event
+    has_one :event_type                         # See EventType.all_event
+    has_one :official                           # See Official.all_event
+  end
+
+  class EventDate
+    identified_by :min_year, :max_year, :month, :day
+    has_one :day                                # See Day.all_event_date
+    has_one :max_year, :class => Year           # See Year.all_event_date_as_max_year
+    has_one :min_year, :class => Year           # See Year.all_event_date_as_min_year
+    has_one :month                              # See Month.all_event_date
+  end
+
+  class EventType
+    identified_by :event_type_id
+    one_to_one :event_type_id, :class => EventTypeID, :mandatory => true  # See EventTypeID.event_type
+    one_to_one :event_type_name, :mandatory => true  # See EventTypeName.event_type
+  end
+
+  class Person
+    identified_by :person_id
+    has_one :address                            # See Address.all_person
+    has_one :email                              # See Email.all_person
+    has_one :family_name, :class => Name        # See Name.all_person_as_family_name
+    has_one :gender                             # See Gender.all_person
+    has_one :given_name, :class => Name         # See Name.all_person_as_given_name
+    has_one :occupation                         # See Occupation.all_person
+    one_to_one :person_id, :class => PersonID, :mandatory => true  # See PersonID.person
+    has_one :preferred_picture, :class => Picture  # See Picture.all_person_as_preferred_picture
+  end
+
+  class Role
+    identified_by :role_id
+    one_to_one :event_role_name, :mandatory => true  # See EventRoleName.role
+    one_to_one :role_id, :class => RoleID, :mandatory => true  # See RoleID.role
+  end
+
+  class Source
+    identified_by :source_id
+    one_to_one :source_id, :class => SourceID, :mandatory => true  # See SourceID.source
+    one_to_one :source_name, :mandatory => true  # See SourceName.source
+    has_one :user, :mandatory => true           # See User.all_source
+  end
+
+  class User
+    identified_by :user_id
+    has_one :email                              # See Email.all_user
+    one_to_one :user_id, :class => UserID, :mandatory => true  # See UserID.user
+  end
+
+  class Friendship
+    identified_by :user, :other_user
+    has_one :other_user, :class => User, :mandatory => true  # See User.all_friendship_as_other_user
+    has_one :user, :mandatory => true           # See User.all_friendship
+    maybe :is_confirmed
+  end
+
+  class Participation
+    identified_by :person, :role, :event, :source
+    has_one :event, :mandatory => true          # See Event.all_participation
+    has_one :person, :mandatory => true         # See Person.all_participation
+    has_one :role, :mandatory => true           # See Role.all_participation
+    has_one :source, :mandatory => true         # See Source.all_participation
+  end
+
+end