activefacts-examples 1.7.1

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 99975f58e454642230bf7ef45aa340f3e44f47c0
+  data.tar.gz: ccc97e26ea574a6da65a6a43c6d3c6a724e1ca37
+SHA512:
+  metadata.gz: f7225f4579a1d56e83dabe311d5eac60b88170d2908c8b1f6180d8c371634b0a691c4da0778ed8e1f0b572d44d08d22793bfa55a3bdf2f919877690f89faee7c
+  data.tar.gz: 81df7583700c754e0b7114f3dfcb6dc27365a98c48d39a629fc14eec605408459d2290d3118d20d938cd3cb75dff0f6516c1db2caf004ba26dbf5ab010490271

data/.gitignore

@@ -0,0 +1,10 @@
+/.bundle/
+/.yardoc
+/Gemfile.lock
+/_yardoc/
+/coverage/
+/doc/
+/pkg/
+/spec/reports/
+/tmp/
+/actual

data/.rspec

@@ -0,0 +1 @@
+--format documentation

data/.travis.yml

@@ -0,0 +1,4 @@
+language: ruby
+rvm:
+  - 2.1.5
+before_install: gem install bundler -v 1.10.0.rc

data/Gemfile

@@ -0,0 +1,10 @@
+source 'https://rubygems.org'
+
+# Specify your gem's dependencies in activefacts-examples.gemspec
+gemspec
+
+if ENV['PWD'] =~ %r{\A/Users/cjh/work/activefacts}
+  gem 'activefacts-cql', path: '/Users/cjh/work/activefacts/cql'
+  #gem 'activefacts-orm', path: '/Users/cjh/work/activefacts/orm'
+  gem 'activefacts-generators', path: '/Users/cjh/work/activefacts/generators'
+end

data/LICENSE.txt

@@ -0,0 +1,21 @@
+The MIT License (MIT)
+
+Copyright (c) 2015 Clifford Heath
+
+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.

data/README.md

@@ -0,0 +1,22 @@
+# Activefacts::Examples
+
+This gem contains example models (and generated output) for the ActiveFacts suite.
+The models are written in the Constellation Query Language and also in ORM (for NORMA).
+
+## Installation
+
+    $ gem install activefacts-examples
+
+## Usage
+
+You can use the <i>afgen<i> command from the activefacts gem to process the CQL and ORM
+files under this directory and to run any of the available generators from them.
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/cjheath/activefacts-examples.
+
+## License
+
+The gem is available as open source under the terms of the [MIT License](http://opensource.org/licenses/MIT).
+

data/Rakefile

@@ -0,0 +1,6 @@
+require "bundler/gem_tasks"
+require "rspec/core/rake_task"
+
+RSpec::Core::RakeTask.new(:spec)
+
+task :default => :spec

data/activefacts-examples.gemspec

@@ -0,0 +1,26 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+
+Gem::Specification.new do |spec|
+  spec.name          = "activefacts-examples"
+  spec.version       = "1.7.1"
+  spec.authors       = ["Clifford Heath"]
+  spec.email         = ["clifford.heath@gmail.com"]
+
+  spec.summary       = %q{Example models in the Constellation Query Language for use with ActiveFacts}
+  spec.description   = %q{Example models in the Constellation Query Language for use with ActiveFacts}
+  spec.homepage      = "http://github.com/cjheath/activefacts-examples"
+  spec.license       = "MIT"
+
+  spec.files         = `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 1.10.a"
+  spec.add_development_dependency "rake", "~> 10.0"
+  spec.add_development_dependency "rspec"
+
+  spec.add_runtime_dependency "activefacts-cql"
+  #spec.add_runtime_dependency "activefacts-orm"
+  spec.add_runtime_dependency "activefacts-generators"
+end

data/cql/Address.cql

@@ -0,0 +1,44 @@
+vocabulary Address;
+
+/*
+ * Value Types
+ */
+City is written as String(64);
+Company Name is written as String;
+Family Name is written as String(20);
+Given Names is written as String(20);
+Number is written as String(12);
+Postcode is written as String;
+Street Line is written as String(64);
+
+/*
+ * Entity Types
+ */
+Company is identified by its Name;
+
+Family is identified by its Name;
+
+Person is identified by Family and Given Names where
+	Person is of one Family,
+	Family includes Person,
+	Person has one Given Names;
+
+Street is identified by first-Street Line and second-Street Line and third-Street Line where
+	Street includes one first-Street Line,
+	Street includes at most one second-Street Line,
+	Street includes at most one third-Street Line;
+
+Address is identified by street-Number and Street and City and Postcode where
+	Address is at at most one street-Number,
+	Address is at one Street,
+	Address is in one City,
+	Address is in at most one Postcode restricted to {1000..9999},
+	Postcode is of Address;
+Company has head office at at most one Address;
+Person lives at at most one Address;
+
+/*
+ * Constraints:
+ */
+Street includes third Street Line
+	only if Street includes second Street Line;

data/cql/Astronomy.cql

@@ -0,0 +1,35 @@
+vocabulary Astronomy;
+
+/*
+ * Value Types
+ */
+AstronomicalObject Code is written as String(12);
+Mass is written as Real(32);
+Moon Name is written as String(256);
+Nr Days is written as Real(32);
+Planet Name is written as String(256);
+
+/*
+ * Entity Types
+ */
+AstronomicalObject is identified by its Code;
+AstronomicalObject has at most one Mass;
+
+Moon is a kind of AstronomicalObject identified by its Name;
+
+Orbit is where
+	AstronomicalObject is in orbit;
+Orbit is around one AstronomicalObject (as Center) /* [acyclic, stronglyintransitive] */;
+Orbit has a synodic period of at most one Nr Days;
+
+Planet is a kind of AstronomicalObject identified by its Name;
+
+Star is a kind of AstronomicalObject;
+
+/*
+ * Constraints:
+ */
+for each AstronomicalObject exactly one of these holds:
+	AstronomicalObject is a Star,
+	AstronomicalObject is a Planet,
+	AstronomicalObject is a Moon;

data/cql/Blog.cql

@@ -0,0 +1,54 @@
+vocabulary Blog;
+
+/*
+ * Value Types
+ */
+Author Id is written as Auto Counter;
+Comment Id is written as Auto Counter;
+Name is written as String(64);
+Ordinal is written as Unsigned Integer(32);
+Post Id is written as Auto Counter;
+Style is written as String(20);
+Text is written as Text;
+Topic Id is written as Auto Counter;
+
+/*
+ * Entity Types
+ */
+Author is identified by its Id;
+author-Name is of at most one Author,
+	Author is called one Name;
+
+Comment is identified by its Id;
+Author wrote Comment,
+	Comment was written by one Author;
+
+Content is identified by Style and Text where
+	Content is of at most one Style,
+	Content has one Text,
+	Text is of Content;
+Content provides text of Comment,
+	Comment consists of one text-Content;
+
+Post is identified by its Id;
+Post was written by one Author,
+	Author wrote Post;
+
+Topic is identified by its Id;
+Post belongs to one Topic,
+	Topic contains Post;
+Topic belongs to at most one parent-Topic [acyclic];
+Topic is called one topic-Name,
+	Name is of at most one Topic;
+
+Paragraph is where
+	Post includes Ordinal paragraph;
+Content is of Paragraph,
+	Paragraph contains one Content;
+Paragraph has Comment,
+	Comment is on one Paragraph;
+
+/*
+ * Constraints:
+ */
+either Content provides text of Comment or Content is of Paragraph but not both;

data/cql/CinemaBookings.cql

@@ -0,0 +1,64 @@
+vocabulary CinemaBookings;
+
+/*
+ * Value Types
+ */
+Cinema ID is written as Auto Counter;
+DateTime Value is written as Date Time;
+Film ID is written as Auto Counter;
+Name is written as String;
+Number is written as Unsigned Integer(16) restricted to {1..};
+Person ID is written as Auto Counter;
+Row Nr is written as Char(2);
+Seat Number is written as Unsigned Integer(16);
+Section Name is written as String;
+
+/*
+ * Entity Types
+ */
+Cinema is identified by its ID;
+
+DateTime is identified by its Value;
+
+Film is identified by its ID;
+Film has at most one Name;
+
+Person is identified by its ID;
+Person has one login-Name,
+	Name is of at most one Person;
+
+Row is identified by Cinema and Row Nr where
+	Row is in one Cinema,
+	Cinema contains Row,
+	Row has one Row Nr,
+	Row Nr is of Row;
+
+Seat is identified by Row and Seat Number where
+	Seat is in one Row,
+	Row contains Seat,
+	Seat has one Seat Number,
+	Seat Number is of Seat;
+
+Section is identified by its Name;
+Seat is in at most one Section,
+	Section contains Seat;
+
+Session is where
+	Cinema shows Film on DateTime,
+	Film is showing on DateTime at Cinema,
+	Cinema at DateTime is showing one Film;
+
+Booking is where
+	Person booked Session for one Number of seats,
+	Person booked Number of seats for Session;
+Booking is confirmed;
+
+Seat Allocation is where
+	Booking has allocated-Seat,
+	Seat is allocated to Booking;
+
+/*
+ * Constraints:
+ */
+Booking (in which Person booked Session (in which Cinema shows Film on DateTime) for Number of seats) has allocated Seat
+	only if Cinema contains Row that contains Seat;

data/cql/CinemaTickets.cql

@@ -0,0 +1,127 @@
+vocabulary CinemaTickets;
+
+/*
+ * Value Types
+ */
+Address Text is written as Text;
+Booking Nr is written as Signed Integer(32);
+Cinema ID is written as Auto Counter;
+Collection Code is written as Signed Integer(32);
+Day is written as Signed Integer(32) restricted to {1..31};
+Encrypted Password is written as String;
+Film ID is written as Auto Counter;
+High Demand is written as Boolean;
+Hour is written as Signed Integer(32) restricted to {0..23};
+Minute is written as Signed Integer(32) restricted to {0..59};
+Month Nr is written as Signed Integer(32) restricted to {1..12};
+Name is written as String;
+Number is written as Unsigned Integer(16) restricted to {1..};
+Payment Method Code is written as String;
+Person ID is written as Auto Counter;
+Price is written as Money;
+Row Nr is written as Char(2);
+Seat Number is written as Unsigned Integer(16);
+Section Name is written as String;
+Year Nr is written as Signed Integer(32) restricted to {1900..9999};
+
+/*
+ * Entity Types
+ */
+Address is identified by its Text;
+
+Cinema is identified by its ID;
+Cinema has one Name,
+	Name is of at most one Cinema;
+
+Film is identified by its ID;
+Film has one Name;
+
+Month is identified by its Nr;
+
+Payment Method is identified by its Code restricted to {'Card', 'Cash', 'Gift Voucher', 'Loyalty Voucher'};
+
+Person is identified by its ID;
+Person has at most one Encrypted Password;
+Person has at most one login-Name,
+	Name is of at most one Person;
+
+Row is identified by Cinema and Row Nr where
+	Row is in one Cinema,
+	Cinema contains Row,
+	Row has one Row Nr,
+	Row Nr is of Row;
+
+Seat is identified by Row and Seat Number where
+	Seat is in one Row,
+	Row contains Seat,
+	Seat has one Seat Number,
+	Seat Number is of Seat;
+
+Section is identified by its Name;
+Seat is in at most one Section,
+	Section contains Seat;
+
+Year is identified by its Nr;
+Film was made in at most one Year;
+
+AllocatableCinemaSection is where
+	Cinema provides allocated seating in Section,
+	Section of Cinema uses allocated seating;
+
+Session Time is identified by Year and Month and Day and Hour and Minute where
+	Session Time is in one Year,
+	Session Time is in one Month,
+	Session Time is on one Day,
+	Session Time is at one Hour,
+	Session Time is at one Minute;
+
+Ticket Pricing is where
+	tickets on Session Time at Cinema in Section for High Demand have one Price;
+
+Session is where
+	Cinema shows Film on Session Time,
+	Film is showing on Session Time at Cinema,
+	Cinema at Session Time is showing one Film;
+/*
+some Session (where some Cinema shows some Film on some Session Time) has some Seat where
+    that Cinema contains some Row that contains that Seat;
+*/
+Session is high-demand;
+Session uses allocated seating;
+
+Booking is identified by its Nr where
+	Person booked Session for one Number of places,
+	Person booked Number of places for Session;
+tickets for Booking are being mailed to at most one Address;
+Booking has at most one Collection Code;
+Booking is for seats in at most one Section;
+tickets for Booking have been issued;
+
+Places Paid is where
+	Number of places for Booking have been paid for by Payment Method,
+	Booking applied Payment Method for one Number of places;
+
+Seat Allocation is where
+	Booking has allocated-Seat,
+	Seat is allocated to Booking;
+
+/*
+ * Constraints:
+ */
+for each Booking at most one of these holds:
+	Booking has Collection Code,
+	tickets for Booking are being mailed to Address;
+Booking has allocated Seat
+	only if Booking applied Payment Method for Number of places;
+tickets for Booking are being mailed to Address
+	only if tickets for Booking have been issued;
+Person has login Name
+	only if Person has Encrypted Password;
+each combination Name, Year occurs at most one time in
+	Film has Name,
+	Film was made in Year;
+Booking
+    (in which Person booked Number of places for Session
+	(in which Film is showing on Session Time at Cinema))
+    has allocated-Seat
+    only if Seat is in Row that is in Cinema;

data/cql/CompanyDirectorEmployee.cql

@@ -0,0 +1,56 @@
+vocabulary CompanyDirectorEmployee;
+
+/*
+ * Value Types
+ */
+Company Name is written as String(48);
+Date is written as Date;
+Employee Nr is written as Signed Integer(32);
+Name is written as String(48);
+
+/*
+ * Entity Types
+ */
+Company is identified by its Name where
+	Company is called Company Name;
+Company is listed;
+
+Employee is identified by its Nr;
+Employee works at one Company,
+	Company employs Employee;
+
+Manager is a kind of Employee;
+Employee is supervised by at most one Manager [acyclic],
+	Manager supervises Employee;
+Manager is ceo;
+
+Meeting is independent identified by Company and Date and Meeting is board meeting where
+	Meeting is held by one Company,
+	Company held Meeting,
+	Meeting is held on one Date,
+	Meeting is board meeting;
+
+Person is identified by given-Name and family-Name where
+	Person has one given-Name,
+	given-Name is of Person,
+	family-Name is of Person,
+	Person is called at most one family-Name;
+Person was born on at most one birth-Date restricted to {'1900/01/01'..};
+
+Attendance is where
+	Person (as Attendee) attended Meeting,
+	Meeting was attended by Attendee;
+
+Directorship is where
+	Person (as Director) directs Company,
+	Company is directed by at least one Director;
+Directorship began on one appointment-Date;
+
+Employment is where
+	Person works as Employee,
+	Employee role is assigned to at least one Person;
+
+/*
+ * Constraints:
+ */
+either Employee is supervised by Manager(1) or Employee is a Manager(2) that is ceo but not both;

data/cql/Death.cql

@@ -0,0 +1,17 @@
+vocabulary Death;
+
+/*
+ * Value Types
+ */
+Cause Of Death is written as String;
+Person Name is written as String(40);
+
+/*
+ * Entity Types
+ */
+Person is independent identified by its Name;
+
+Death is where
+	Person is dead;
+Death was due to at most one Cause Of Death;
+

data/cql/Diplomacy.cql

@@ -0,0 +1,48 @@
+vocabulary Diplomacy;
+
+/*
+ * Value Types
+ */
+CountryName is written as String;
+DiplomatName is written as String;
+LanguageName is written as String;
+
+/*
+ * Entity Types
+ */
+Country is independent identified by its Name;
+
+Diplomat is identified by its Name;
+Diplomat represents one Country (as Represented Country);
+Diplomat serves in one Country (as Served Country);
+
+Language is independent identified by its Name;
+
+LanguageUse is where
+	Language is spoken in Country,
+	Country uses Language;
+
+Ambassador is a kind of Diplomat;
+
+Fluency is where
+	Diplomat speaks at least one Language,
+	Language is spoken by Diplomat;
+
+Representation is where
+	Ambassador is from Country (as Represented Country) to Country,
+	Represented Country is represented in Country by one Ambassador;
+
+/*
+ * Constraints:
+ */
+for each Diplomat, Country at most one of these holds:
+	Diplomat serves in Country,
+	Diplomat represents Country;
+Diplomat is an Ambassador that is from Country(1) to Country(2)
+	only if Diplomat represents Country(1);
+Diplomat is an Ambassador that is from Country(2) to Country(1)
+	only if Diplomat serves in Country(1);
+Diplomat serves in Country
+	only if Diplomat speaks Language that is spoken in Country;
+each Ambassador occurs at least one time in
+	Ambassador is from Country(1) to Country(2);

data/cql/Genealogy.cql

@@ -0,0 +1,98 @@
+vocabulary Genealogy;
+
+/*
+ * Value Types
+ */
+Address is written as String(128);
+Certificate is written as String(64);
+Day is written as Unsigned Integer(32) restricted to {1..31};
+Email is written as String(64);
+Event ID is written as Auto Counter;
+Event Location is written as String(128);
+Event Role Name is written as String restricted to {'Celebrant', 'Father', 'Husband', 'Mother', 'Subject', 'Wife'};
+Event Type ID is written as Auto Counter;
+Event Type Name is written as String(16) restricted to {'Birth', 'Burial', 'Christening', 'Death', 'Divorce', 'Marriage'};
+Gender is written as Char(1) restricted to {'F', 'M'};
+Month is written as Unsigned Integer(32) restricted to {1..12};
+Name is written as String(128);
+Occupation is written as String(128);
+Official is written as String(64);
+Person ID is written as Auto Counter;
+Picture is written as Image;
+Role ID is written as Auto Counter;
+Source ID is written as Auto Counter;
+Source Name is written as String(128);
+User ID is written as Auto Counter;
+Year is written as Unsigned Integer(32);
+
+/*
+ * Entity Types
+ */
+Event is identified by its ID;
+Event is certified by at most one Certificate;
+Event occurred at at most one Event Location;
+Event was confirmed by at most one Official;
+
+Event Date is identified by min-Year and max-Year and Month and Day where
+	Event Date wasnt before at most one min-Year,
+	Event Date wasnt after at most one max-Year,
+	Event Date occurred in at most one Month,
+	Event Date occurred on at most one Day;
+Event occurred on at most one Event Date;
+
+Event Type is identified by its ID;
+Event is of at most one Event Type;
+Event Type is called one Event Type Name,
+	Event Type Name is name of at most one Event Type;
+
+Person is identified by its ID;
+Address is of Person,
+	Person lives at at most one Address;
+Email is of Person,
+	Person has at most one Email;
+Occupation is of Person,
+	Person is employed in at most one Occupation;
+Person is of at most one Gender;
+Person is called at most one family-Name,
+	family-Name is of Person;
+given-Name is name of Person;  // Avoid ambiguity; this is a new fact type
+given-Name is name of Person,
+	Person is called at most one given-Name;
+preferred-Picture is of Person,
+	Person has at most one preferred-Picture;
+
+Role is identified by its ID;
+Role is called one Event Role Name,
+	Event Role Name is name of at most one Role;
+
+Source is identified by its ID;
+Source has one Source Name,
+	Source Name is of at most one Source;
+
+User is identified by its ID;
+Email is of User,
+	User has at most one Email;
+User provided Source,
+	Source was provided by one User;
+
+Friendship is where
+	User is friendly with other-User [symmetric];
+Friendship is confirmed;
+
+Participation is where
+	Person played Role in Event according to Source,
+	Person was involved in Event according to Source in Role,
+	Source claims Person played Role in Event;
+
+/*
+ * Constraints:
+ */
+each Event Date occurs at least one time in
+	Event Date wasnt before min Year(2),
+	Event Date wasnt after max Year(1),
+	Event Date occurred in Month,
+	Event Date occurred on Day;
+each Event occurs at least one time in
+	Person played Role in Event according to Source;
+each Person occurs at least one time in
+	Person played Role in Event according to Source;