activefacts-examples 1.7.1

data/ruby/OilSupply.rb

@@ -0,0 +1,112 @@
+require 'activefacts/api'
+
+module ::OilSupply
+
+  class Cost < Money
+    value_type 
+  end
+
+  class MonthNr < SignedInteger
+    value_type :length => 32
+    one_to_one :month, :restrict => 1..12       # See Month.month_nr
+  end
+
+  class ProductName < String
+    value_type 
+    one_to_one :product                         # See Product.product_name
+  end
+
+  class Quantity < UnsignedInteger
+    value_type :length => 32
+  end
+
+  class RefineryName < String
+    value_type :length => 80
+    one_to_one :refinery                        # See Refinery.refinery_name
+  end
+
+  class RegionName < String
+    value_type 
+    one_to_one :region                          # See Region.region_name
+  end
+
+  class Season < String
+    value_type :length => 6
+    restrict 'Autumn', 'Spring', 'Summer', 'Winter'
+  end
+
+  class TransportMethod < String
+    value_type 
+    restrict 'Rail', 'Road', 'Sea'
+  end
+
+  class YearNr < SignedInteger
+    value_type :length => 32
+    one_to_one :year                            # See Year.year_nr
+  end
+
+  class Month
+    identified_by :month_nr
+    one_to_one :month_nr, :mandatory => true    # See MonthNr.month
+    has_one :season, :mandatory => true         # See Season.all_month
+  end
+
+  class Product
+    identified_by :product_name
+    one_to_one :product_name, :mandatory => true  # See ProductName.product
+  end
+
+  class Refinery
+    identified_by :refinery_name
+    one_to_one :refinery_name, :mandatory => true  # See RefineryName.refinery
+  end
+
+  class Region
+    identified_by :region_name
+    one_to_one :region_name, :mandatory => true  # See RegionName.region
+  end
+
+  class TransportRoute
+    identified_by :transport_method, :refinery, :region
+    has_one :refinery, :mandatory => true       # See Refinery.all_transport_route
+    has_one :region, :mandatory => true         # See Region.all_transport_route
+    has_one :transport_method, :mandatory => true  # See TransportMethod.all_transport_route
+    has_one :cost                               # See Cost.all_transport_route
+  end
+
+  class Year
+    identified_by :year_nr
+    one_to_one :year_nr, :mandatory => true     # See YearNr.year
+  end
+
+  class AcceptableSubstitution
+    identified_by :product, :alternate_product, :season
+    has_one :alternate_product, :class => Product, :mandatory => true  # See Product.all_acceptable_substitution_as_alternate_product
+    has_one :product, :mandatory => true        # See Product.all_acceptable_substitution
+    has_one :season, :mandatory => true         # See Season.all_acceptable_substitution
+  end
+
+  class SupplyPeriod
+    identified_by :year, :month
+    has_one :month, :mandatory => true          # See Month.all_supply_period
+    has_one :year, :mandatory => true           # See Year.all_supply_period
+  end
+
+  class ProductionForecast
+    identified_by :refinery, :supply_period, :product
+    has_one :product, :mandatory => true        # See Product.all_production_forecast
+    has_one :quantity, :mandatory => true       # See Quantity.all_production_forecast
+    has_one :refinery, :mandatory => true       # See Refinery.all_production_forecast
+    has_one :supply_period, :mandatory => true  # See SupplyPeriod.all_production_forecast
+    has_one :cost                               # See Cost.all_production_forecast
+  end
+
+  class RegionalDemand
+    identified_by :region, :supply_period, :product
+    has_one :product, :mandatory => true        # See Product.all_regional_demand
+    has_one :quantity, :mandatory => true       # See Quantity.all_regional_demand
+    has_one :region, :mandatory => true         # See Region.all_regional_demand
+    has_one :supply_period, :mandatory => true  # See SupplyPeriod.all_regional_demand
+  end
+
+end

data/ruby/OneRoleNesting.rb

@@ -0,0 +1,66 @@
+require 'activefacts/api'
+
+module ::OneRoleNesting
+
+  class AccuracyLevel < SignedInteger
+    value_type :length => 32
+    one_to_one :accuracy, :restrict => 1..5     # See Accuracy.accuracy_level
+  end
+
+  class PartyId < AutoCounter
+    value_type 
+    one_to_one :party                           # See Party.party_id
+  end
+
+  class PartyName < String
+    value_type 
+  end
+
+  class Ymd < Date
+    value_type 
+    one_to_one :event_date                      # See EventDate.ymd
+  end
+
+  class Accuracy
+    identified_by :accuracy_level
+    one_to_one :accuracy_level, :mandatory => true  # See AccuracyLevel.accuracy
+  end
+
+  class EventDate
+    identified_by :ymd
+    one_to_one :ymd, :mandatory => true         # See ymd.event_date
+  end
+
+  class Party
+    identified_by :party_id
+    one_to_one :party_id, :mandatory => true    # See PartyId.party
+  end
+
+  class PartyMoniker
+    identified_by :party
+    one_to_one :party, :mandatory => true       # See Party.party_moniker
+    has_one :party_name, :mandatory => true     # See PartyName.all_party_moniker
+    has_one :accuracy, :mandatory => true       # See Accuracy.all_party_moniker
+  end
+
+  class Person < Party
+    maybe :died
+  end
+
+  class Birth
+    identified_by :person
+    has_one :event_date, :mandatory => true     # See EventDate.all_birth
+    one_to_one :person, :mandatory => true      # See Person.birth
+    has_one :attending_doctor, :class => "Doctor"  # See Doctor.all_birth_as_attending_doctor
+  end
+
+  class Death
+    identified_by :person
+    one_to_one :person, :mandatory => true      # See Person.death
+    has_one :death_event_date, :class => EventDate  # See EventDate.all_death_as_death_event_date
+  end
+
+  class Doctor < Person
+  end
+
+end

data/ruby/Orienteering.rb

@@ -0,0 +1,216 @@
+require 'activefacts/api'
+
+module ::Orienteering
+
+  class Accessibility < Char
+    value_type :length => 1
+    restrict 'A'..'D'
+  end
+
+  class ClubCode < String
+    value_type :length => 6
+    one_to_one :club                            # See Club.club_code
+  end
+
+  class ClubName < String
+    value_type :length => 32
+    one_to_one :club                            # See Club.club_name
+  end
+
+  class ControlNumber < UnsignedInteger
+    value_type :length => 32
+    restrict 1..1000
+  end
+
+  class Course < String
+    value_type :length => 16
+    restrict 'A'..'E', 'PW'
+  end
+
+  class EntryID < AutoCounter
+    value_type 
+    one_to_one :entry                           # See Entry.entry_id
+  end
+
+  class EventID < AutoCounter
+    value_type 
+    one_to_one :event                           # See Event.event_id
+  end
+
+  class EventName < String
+    value_type :length => 50
+    one_to_one :event                           # See Event.event_name
+  end
+
+  class FamilyName < String
+    value_type :length => 48
+  end
+
+  class Gender < Char
+    value_type :length => 1
+    restrict 'F', 'M'
+  end
+
+  class GivenName < String
+    value_type :length => 48
+  end
+
+  class Location < String
+    value_type :length => 200
+  end
+
+  class MapID < AutoCounter
+    value_type 
+    one_to_one :map                             # See Map.map_id
+  end
+
+  class MapName < String
+    value_type :length => 80
+    one_to_one :map                             # See Map.map_name
+  end
+
+  class Number < UnsignedInteger
+    value_type :length => 32
+    restrict 1..100
+  end
+
+  class PersonID < AutoCounter
+    value_type 
+    one_to_one :person                          # See Person.person_id
+  end
+
+  class Placing < UnsignedInteger
+    value_type :length => 32
+  end
+
+  class PointValue < UnsignedInteger
+    value_type :length => 32
+  end
+
+  class PostCode < UnsignedInteger
+    value_type :length => 32
+  end
+
+  class PunchID < AutoCounter
+    value_type 
+    one_to_one :punch                           # See Punch.punch_id
+  end
+
+  class Score < SignedInteger
+    value_type :length => 32
+  end
+
+  class ScoringMethod < String
+    value_type :length => 32
+    restrict 'Scatter', 'Score', 'Special'
+  end
+
+  class SeriesID < AutoCounter
+    value_type 
+    one_to_one :series                          # See Series.series_id
+  end
+
+  class SeriesName < String
+    value_type :length => 40
+    one_to_one :series, :counterpart => :name   # See Series.name
+  end
+
+  class StartTime < DateTime
+    value_type 
+  end
+
+  class Time < DateTime
+    value_type 
+  end
+
+  class Year < UnsignedInteger
+    value_type :length => 32
+    restrict 1900..3000
+  end
+
+  class Club
+    identified_by :club_code
+    one_to_one :club_code, :mandatory => true   # See ClubCode.club
+    one_to_one :club_name, :mandatory => true   # See ClubName.club
+  end
+
+  class Event
+    identified_by :event_id
+    has_one :club, :mandatory => true           # See Club.all_event
+    one_to_one :event_id, :class => EventID, :mandatory => true  # See EventID.event
+    one_to_one :event_name                      # See EventName.event
+    has_one :map, :mandatory => true            # See Map.all_event
+    has_one :number                             # See Number.all_event
+    has_one :series                             # See Series.all_event
+    has_one :start_location, :class => Location, :mandatory => true  # See Location.all_event_as_start_location
+    has_one :start_time, :mandatory => true     # See StartTime.all_event
+  end
+
+  class EventControl
+    identified_by :event, :control_number
+    has_one :control_number, :mandatory => true  # See ControlNumber.all_event_control
+    has_one :event, :mandatory => true          # See Event.all_event_control
+    has_one :point_value                        # See PointValue.all_event_control
+  end
+
+  class EventScoringMethod
+    identified_by :course, :event
+    has_one :course, :mandatory => true         # See Course.all_event_scoring_method
+    has_one :event, :mandatory => true          # See Event.all_event_scoring_method
+    has_one :scoring_method, :mandatory => true  # See ScoringMethod.all_event_scoring_method
+  end
+
+  class Map
+    identified_by :map_id
+    has_one :accessibility                      # See Accessibility.all_map
+    one_to_one :map_id, :class => MapID, :mandatory => true  # See MapID.map
+    one_to_one :map_name, :mandatory => true    # See MapName.map
+    has_one :owner, :class => Club, :mandatory => true  # See Club.all_map_as_owner
+  end
+
+  class Person
+    identified_by :person_id
+    has_one :birth_year, :class => Year         # See Year.all_person_as_birth_year
+    has_one :club                               # See Club.all_person
+    has_one :family_name, :mandatory => true    # See FamilyName.all_person
+    has_one :gender                             # See Gender.all_person
+    has_one :given_name, :mandatory => true     # See GivenName.all_person
+    one_to_one :person_id, :class => PersonID, :mandatory => true  # See PersonID.person
+    has_one :post_code                          # See PostCode.all_person
+  end
+
+  class Punch
+    identified_by :punch_id
+    one_to_one :punch_id, :class => PunchID, :mandatory => true  # See PunchID.punch
+  end
+
+  class PunchPlacement
+    identified_by :punch, :event_control
+    has_one :event_control, :mandatory => true  # See EventControl.all_punch_placement
+    has_one :punch, :mandatory => true          # See Punch.all_punch_placement
+  end
+
+  class Series
+    identified_by :series_id
+    one_to_one :name, :class => SeriesName, :mandatory => true  # See SeriesName.series_as_name
+    one_to_one :series_id, :class => SeriesID, :mandatory => true  # See SeriesID.series
+  end
+
+  class Entry
+    identified_by :entry_id
+    has_one :course, :mandatory => true         # See Course.all_entry
+    has_one :event, :mandatory => true          # See Event.all_entry
+    has_one :person, :mandatory => true         # See Person.all_entry
+    one_to_one :entry_id, :class => EntryID, :mandatory => true  # See EntryID.entry
+    has_one :finish_placing, :class => Placing  # See Placing.all_entry_as_finish_placing
+    has_one :score                              # See Score.all_entry
+  end
+
+  class Visit
+    identified_by :punch, :entry, :time
+    has_one :entry, :mandatory => true          # See Entry.all_visit
+    has_one :punch, :mandatory => true          # See Punch.all_visit
+    has_one :time, :mandatory => true           # See Time.all_visit
+  end
+
+end

data/ruby/PersonPlaysGame.rb

@@ -0,0 +1,31 @@
+require 'activefacts/api'
+
+module ::PersonPlaysGame
+
+  class GameCode < Char
+    value_type 
+    one_to_one :game                            # See Game.game_code
+  end
+
+  class PersonName < String
+    value_type 
+    one_to_one :person                          # See Person.person_name
+  end
+
+  class Game
+    identified_by :game_code
+    one_to_one :game_code, :mandatory => true   # See GameCode.game
+  end
+
+  class Person
+    identified_by :person_name
+    one_to_one :person_name, :mandatory => true  # See PersonName.person
+  end
+
+  class Playing
+    identified_by :person, :game
+    has_one :game, :mandatory => true           # See Game.all_playing
+    has_one :person, :mandatory => true         # See Person.all_playing
+  end
+
+end

data/ruby/RedundantDependency.rb

@@ -0,0 +1,53 @@
+require 'activefacts/api'
+
+module ::RedundantDependency
+
+  class AddressId < AutoCounter
+    value_type 
+    one_to_one :address                         # See Address.address_id
+  end
+
+  class DistrictNumber < SignedInteger
+    value_type :length => 32
+  end
+
+  class PoliticianId < AutoCounter
+    value_type 
+    one_to_one :politician                      # See Politician.politician_id
+  end
+
+  class PostalCode < SignedInteger
+    value_type :length => 32
+  end
+
+  class StateOrProvinceId < AutoCounter
+    value_type 
+    one_to_one :state_or_province               # See StateOrProvince.state_or_province_id
+  end
+
+  class Address
+    identified_by :address_id
+    one_to_one :address_id, :mandatory => true  # See AddressId.address
+    has_one :legislative_district               # See LegislativeDistrict.all_address
+    has_one :postal_code                        # See PostalCode.all_address
+    has_one :state_or_province                  # See StateOrProvince.all_address
+  end
+
+  class Politician
+    identified_by :politician_id
+    one_to_one :politician_id, :mandatory => true  # See PoliticianId.politician
+  end
+
+  class StateOrProvince
+    identified_by :state_or_province_id
+    one_to_one :state_or_province_id, :mandatory => true  # See StateOrProvinceId.state_or_province
+  end
+
+  class LegislativeDistrict
+    identified_by :district_number, :state_or_province
+    has_one :district_number, :mandatory => true  # See DistrictNumber.all_legislative_district
+    one_to_one :politician, :mandatory => true  # See Politician.legislative_district
+    has_one :state_or_province, :mandatory => true  # See StateOrProvince.all_legislative_district
+  end
+
+end

data/ruby/SchoolActivities.rb

@@ -0,0 +1,49 @@
+require 'activefacts/api'
+
+module ::SchoolActivities
+
+  class ActivityName < String
+    value_type :length => 32
+    one_to_one :activity                        # See Activity.activity_name
+  end
+
+  class SchoolName < String
+    value_type 
+    one_to_one :school                          # See School.school_name
+  end
+
+  class StudentName < String
+    value_type 
+    one_to_one :student                         # See Student.student_name
+  end
+
+  class Activity
+    identified_by :activity_name
+    one_to_one :activity_name, :mandatory => true  # See ActivityName.activity
+  end
+
+  class School
+    identified_by :school_name
+    one_to_one :school_name, :mandatory => true  # See SchoolName.school
+  end
+
+  class SchoolActivity
+    identified_by :school, :activity
+    has_one :activity, :mandatory => true       # See Activity.all_school_activity
+    has_one :school, :mandatory => true         # See School.all_school_activity
+  end
+
+  class Student
+    identified_by :student_name
+    has_one :school, :mandatory => true         # See School.all_student
+    one_to_one :student_name, :mandatory => true  # See StudentName.student
+  end
+
+  class StudentParticipation
+    identified_by :student, :activity
+    has_one :activity, :mandatory => true       # See Activity.all_student_participation
+    has_one :school, :mandatory => true         # See School.all_student_participation
+    has_one :student, :mandatory => true        # See Student.all_student_participation
+  end
+
+end

data/ruby/SeparateSubtype.rb

@@ -0,0 +1,46 @@
+require 'activefacts/api'
+
+module ::SeparateSubtype
+
+  class ClaimID < AutoCounter
+    value_type 
+    one_to_one :claim                           # See Claim.claim_id
+  end
+
+  class DateTime < ::DateTime
+    value_type 
+  end
+
+  class PersonName < String
+    value_type 
+    one_to_one :person                          # See Person.person_name
+  end
+
+  class Claim
+    identified_by :claim_id
+    one_to_one :claim_id, :class => ClaimID, :mandatory => true  # See ClaimID.claim
+  end
+
+  class Incident
+    identified_by :claim
+    one_to_one :claim, :mandatory => true       # See Claim.incident
+    has_one :date_time                          # See DateTime.all_incident
+    has_one :witness                            # See Witness.all_incident
+  end
+
+  class Person
+    identified_by :person_name
+    one_to_one :person_name, :mandatory => true  # See PersonName.person
+  end
+
+  class VehicleIncident < Incident
+    has_one :driver                             # See Driver.all_vehicle_incident
+  end
+
+  class Witness < Person
+  end
+
+  class Driver < Person
+  end
+
+end

data/ruby/SimplestUnary.rb

@@ -0,0 +1,10 @@
+require 'activefacts/api'
+
+module ::SimplestUnary
+
+  class SomeString < String
+    value_type 
+    maybe :is_long
+  end
+
+end

data/ruby/Supervision.rb

@@ -0,0 +1,33 @@
+require 'activefacts/api'
+
+module ::Supervision
+
+  class CompanyName < String
+    value_type 
+    one_to_one :company                         # See Company.company_name
+  end
+
+  class EmployeeNr < SignedInteger
+    value_type :length => 32
+  end
+
+  class Company
+    identified_by :company_name
+    has_one :ceo, :class => "CEO", :mandatory => true  # See CEO.all_company
+    one_to_one :company_name, :mandatory => true  # See CompanyName.company
+  end
+
+  class Employee
+    identified_by :company, :employee_nr
+    has_one :company, :mandatory => true        # See Company.all_employee
+    has_one :employee_nr, :mandatory => true    # See EmployeeNr.all_employee
+    has_one :manager                            # See Manager.all_employee
+  end
+
+  class Manager < Employee
+  end
+
+  class CEO < Manager
+  end
+
+end

data/ruby/TwoValues.rb

@@ -0,0 +1,14 @@
+require 'activefacts/api'
+
+module ::E1
+
+  class Count < UnsignedInteger
+    value_type :length => 32
+  end
+
+  class Name < String
+    value_type 
+    has_one :count
+  end
+
+end

data/ruby/VenueSeating.rb

@@ -0,0 +1,64 @@
+require 'activefacts/api'
+
+module ::VenueSeating
+
+  class EventId < AutoCounter
+    value_type 
+    one_to_one :event                           # See Event.event_id
+  end
+
+  class Number < UnsignedInteger
+    value_type :length => 16
+  end
+
+  class ReserveName < String
+    value_type 
+    one_to_one :reserve                         # See Reserve.reserve_name
+  end
+
+  class RowCode < Char
+    value_type 
+    one_to_one :row                             # See Row.row_code
+  end
+
+  class VenueId < AutoCounter
+    value_type 
+    one_to_one :venue                           # See Venue.venue_id
+  end
+
+  class Event
+    identified_by :event_id
+    one_to_one :event_id, :mandatory => true    # See EventId.event
+    has_one :venue, :mandatory => true          # See Venue.all_event
+  end
+
+  class Reserve
+    identified_by :reserve_name
+    one_to_one :reserve_name, :mandatory => true  # See ReserveName.reserve
+  end
+
+  class Row
+    identified_by :row_code
+    one_to_one :row_code, :mandatory => true    # See RowCode.row
+  end
+
+  class Venue
+    identified_by :venue_id
+    one_to_one :venue_id, :mandatory => true    # See VenueId.venue
+  end
+
+  class Seat
+    identified_by :venue, :reserve, :row, :number
+    has_one :number, :mandatory => true         # See Number.all_seat
+    has_one :reserve, :mandatory => true        # See Reserve.all_seat
+    has_one :row, :mandatory => true            # See Row.all_seat
+    has_one :venue, :mandatory => true          # See Venue.all_seat
+  end
+
+  class Ticket
+    identified_by :event, :seat
+    has_one :event, :mandatory => true          # See Event.all_ticket
+    has_one :seat, :mandatory => true           # See Seat.all_ticket
+  end
+
+end