activefacts 1.6.0 → 1.7.1

data/examples/local.css

@@ -1,24 +0,0 @@
-@charset "utf-8";
-
-.offline {
-	display: none;
-}
-
-.localnav {
-	position:fixed;
-	left:25px;
-	top:210px;
-}
-
-.hangleft {
-	margin-left: -220px;
-}
-
-table.examples { border: 6px solid #e5f0f0; box-shadow: 0px 2px 5px black; -webkit-box-shadow: 1px 1px 5px black; -moz-box-shadow: 0px 2px 5px black; border-radius:0.8em; -webkit-border-radius:0.8em; -moz-border-radius:0.8em; border-collapse: separate; border-spacing: 0; }
-.examples td { vertical-align: top; padding: 8px 5px 8px 5px; } 
-.examples td a:link { font-size: 0.78em; }
-.examples td.title span { font-size: 1.3em; }
-.examples td.title > a { font-weight:bold; padding: 0px 30px 0px 0px; }
-.examples .diagrams a { display: block; padding: 0px 0px 0px 0px; }
-.even { background: #e5f8f9; }
-.odd { }

data/index.html

@@ -1,111 +0,0 @@
-<!--#include virtual="/header.html" -->
-<!--#include virtual="navbar.html" -->
-
-<link rel="stylesheet" href="css/offline.css" media="screen" type="text/css" />
-<link rel="stylesheet" href="css/print.css" media="print" type="text/css" />
-
-  <!-- Things to show only in the online version -->
-  <div id="sidebar" class="online">
-    <h3>Quotes</h3>
-
-    <p><em>&ldquo;You have to get this out there, it will change <b>almost everything</b>
-    that <b>all</b> of us actually <b>do</b>&rdquo;</em></p>
-    <p align="right">Mark Mansour,<br>Agile Alliance Australia</p>
-
-    <!--p><em>&ldquo;I've long believed there must be a way to do this, but could never
-    work out how to start.&rdquo;</em></p>
-    <p align="right">OSDC conference attendee</p-->
-
-    <p><em>&ldquo;Epic, a major achievement. Your approach is so far ahead of the
-    industry it's hard to believe it possible.&rdquo;</em></p>
-    <p align="right">Richard P,<br>OSDC conference attendee</p-->
-
-    <!--p><em>&ldquo;Inspirational!&rdquo;</em></p>
-    <p align="right">Sven Dowideit</p-->
-
-  </div>
-
-  <div id="top" class="content">
-    <h2>ActiveFacts</h2>
-
-    <!-- Things to show only in the offline version -->
-    <div class="localnav offline noprint">
-      <ul>
-	<li><a href="http://dataconstellation.com" title="Data Constellation Home">Data Constellation</a></li>
-	<li><a href="http://dataconstellation.com/ActiveFacts" title="ActiveFacts Home Page">ActiveFacts Home</a></li>
-	<li><a href="examples/index.html" title="Example Models">Example Models</a></li>
-	<li><a href="examples/intro.html" title="Introduction to ORM2">Introduction to ORM2</a></li>
-	<li><a href="http://dataconstellation.com/ActiveFacts/CQLIntroduction.html" title="The Constellation Query Language">Constellation Query Language</a></li>
-	<li><a href="status.html" title="Project Status">Project Status</a></li>
-	<li><a href="download.html" title="Download">Download</a></li>
-	<!--li><a href="resources.html" title="Resources">Resources</a></li-->
-      </ul>
-    </div>
-
-    <p>
-    ActiveFacts is a <strong>semantic modeling toolkit</strong> that
-    revolutionises the processes of software <strong>specification</strong>,
-    <strong>design</strong>, and <strong>implementation</strong>. It
-    incorporates the Constellation Query Language (CQL) and the Constellation
-    API, which together enable your data to be designed, expressed and
-    queried in a completely natural form for the first time. The language
-    is so easy to learn and use because of the way it incorporates natural
-    language expressions into a formal framework. This allows the business
-    user (in conjunction with the programmer and database experts) to use
-    the language to express the rules and behaviour of the business domain,
-    in the process formulating efficient database designs without needing
-    specialist database skills.
-
-    <h3> Constellation Query Language </h3>
-
-      <p> CQL achieves the seemingly impossible task of combining the
-	  precision of a <strong>formal</strong> language with the
-	  intuitive feel of natural language. It can be used both to
-	  define and query semantic models. You can write CQL models
-	  directly, use APRIMO, or import <a href="examples/intro.html"
-	  >ORM2</a> models from <a
-	  href="http://www.ormfoundation.org/files/">NORMA</a>.  See
-	  some <a href="examples/">example</a> models, or read the <a
-	  href="CQLIntroduction.html">specification</a>.
-      </p>
-
-    <h3> Constellation API </h3>
-      <p> The Constellation API goes beyond object-oriented to
-	  fact-oriented programming, introducing a new way to code
-	  transactional applications.  A Constellation of related facts
-	  derived from a query can be modified only by <em>assert</em>
-	  and <em>retract</em> operations.  The result is translated
-	  back to relational form and saved on demand.
-	</p>
-
-	<p>
-	  In the preferred case, each user action results in a
-	  single query, which can span deeply into and across the
-	  whole database (more than just a relational join),
-	  returning only the data required to respond to that action.
-	  Any required changes are made to the result Constellation,
-	  and a single <em>save</em> operation pushes all the changes
-	  resulting from the user's action back into the database in
-	  a single atomic action.
-	</p>
-
-    <h3> Code generators </h3>
-      <p> The ActiveFacts code generation framework reads CQL
-	  and emits extensible and effective object models for
-	  use with the Constellation API, and efficient SQL
-	  for whatever relational database product you're using.
-	  Learn to write CQL and have a play with the open source
-	  <a href="download.html">Ruby code generator</a>.
-      </p>
-
-    <h3> APRIMO </h3>
-      <p> APRIMO is a semantic model development environment,
-	  incorporating a Flash-based graphical designer that
-	  implements ORM2 diagrams, with direct CQL entry and
-	  even reverse engineering tools for existing databases.
-	  APRIMO is not yet publicly available.
-      </p>
-
-</div>
-
-<!--#include virtual="/footer.html" -->

data/lib/activefacts/cql.rb

@@ -1,35 +0,0 @@
-#
-#       ActiveFacts CQL loader.
-#       Use Polyglot to patch things so you can *require* a CQL file and have it define a Ruby module.
-#
-# Copyright (c) 2009 Clifford Heath. Read the LICENSE file.
-#
-require 'rubygems'
-require 'polyglot'
-require 'stringio'
-require 'activefacts/support'
-require 'activefacts/input/cql'
-require 'activefacts/generate/ruby'
-
-module ActiveFacts
-  # This class has a load method for Polyglot to tell it how to _require_ a CQL file.
-  # The CQL file is parsed to a vocabulary constellation, which is generated
-  # to Ruby code and eval'd, making the generated classes available.
-  # To make this Loader available, simply
-  #   require 'activefacts/cql'
-  class CQLLoader
-    def self.load(file) #:nodoc:
-      trace "Loading #{file}" do
-        vocabulary = ActiveFacts::Input::CQL.readfile(file)
-
-        ruby = StringIO.new
-        @dumper = ActiveFacts::Generate::RUBY.new(vocabulary.constellation)
-        @dumper.generate(ruby)
-        ruby.rewind
-        eval ruby.read, ::TOPLEVEL_BINDING
-      end
-    end
-  end
-
-  Polyglot.register('cql', CQLLoader)
-end

data/lib/activefacts/cql/CQLParser.treetop

@@ -1,158 +0,0 @@
-#
-#       ActiveFacts CQL Parser.
-#       Parse rules relating to high-level CQL definitions and constraints.
-#
-# Copyright (c) 2009 Clifford Heath. Read the LICENSE file.
-#
-module ActiveFacts
-  module CQL
-    grammar CQL
-      include LexicalRules
-      include Expressions
-      include Terms
-      include ObjectTypes
-      include ValueTypes
-      include FactTypes
-      include Context
-
-      rule cql_file
-        s seq:definition*
-        {
-          def definitions
-            seq.elements.map{|e|
-                e.value rescue $stderr.puts "Can't call value() on #{e.inspect}"
-              }
-          end
-        }
-      end
-
-      # Each definition has an ast() method that returns an instance of a subclass of Compiler::Definition
-      rule definition
-	definition_body s
-	{
-	  def ast
-	    definition_body.ast
-	  end
-
-	  def body
-	    definition_body.text_value
-	  end
-	}
-      end
-
-      rule definition_body
-        vocabulary_definition
-        / import_definition
-        / prescan           # Always fails, but its side-effects are needed in the following
-        / constraint
-        / unit_definition   # REVISIT: Move this above the prescan?
-        / object_type
-	/ query
-	/ s ';' s { def ast; nil; end }
-      end
-
-      rule vocabulary_definition
-        s vocabulary S vocabulary_name s ';'
-        {
-	  def ast
-	    Compiler::Vocabulary.new(vocabulary_name.value)
-	  end
-        }
-      end
-
-      rule vocabulary_name
-	id
-	{ def node_type; :vocabulary; end }
-      end
-
-      rule import_definition
-        s import S vocabulary_name alias_list ';'
-        {
-	  def ast
-	    Compiler::Import.new(import.input.parser, vocabulary_name.value, alias_list.value)
-	  end
-        }
-      end
-
-      # REVISIT: Need a way to define equivalent readings for fact types here (and in the metamodel)
-      rule alias_list
-        ( s ',' s alias S aliased_from:alias_term S as S alias_to:alias_term s )*
-        {
-          def value
-            elements.inject({}){|h, e| h[e.aliased_from.value] = e.alias_to; h }
-          end
-        }
-      end
-
-      rule alias_term
-	id
-	{ def node_type; :term; end }
-      end
-
-      rule constraint
-        subset_constraint /
-        equality_constraint /
-        set_constraint /
-        presence_constraint
-        # REVISIT: / value_constraint
-      end
-
-      rule enforcement
-	s '(' s otherwise s action s a:agent? s ')' s
-	  {
-	    def ast; Compiler::Enforcement.new(action.text_value, a.empty? ? nil : a.text_value); end
-	  }
-	/
-	''
-	  {
-	    def ast; nil; end
-	  }
-      end
-
-      # An enforcement action, like SMS, email, log, alarm, etc.
-      rule action
-	id
-      end
-
-      # presence constraint:
-      rule presence_constraint
-	(each_occurs_in_clauses / either_or)
-        {
-	  def ast
-	    Compiler::PresenceConstraint.new c, enforcement.ast, clauses_ast, role_list_ast, quantifier_ast
-	  end
-	}
-      end
-
-      # set (exclusion, mandatory exclusion, complex equality) constraint
-      rule set_constraint
-	(for_each_how_many / either_or_not_both)
-          {
-	    def ast
-	      Compiler::SetExclusionConstraint.new c, enforcement.ast, clauses_ast, role_list_ast, quantifier_ast
-	    end
-	  }
-      end
-
-      rule subset_constraint
-        (a_only_if_b / if_b_then_a)
-        {
-	  def ast
-	    Compiler::SubsetConstraint.new c, enforcement.ast, [clauses.ast, r2.ast]
-	  end
-	}
-      end
-
-      rule equality_constraint
-	if_and_only_if
-        {
-	  def ast
-	    all_clauses = [clauses.ast, *tail.elements.map{|e| e.clauses.ast }]
-	    Compiler::SetEqualityConstraint.new c, enforcement.ast, all_clauses
-	  end
-	}
-      end
-
-    end
-  end
-end

data/lib/activefacts/cql/Context.treetop

@@ -1,48 +0,0 @@
-#
-#       ActiveFacts CQL Parser.
-#       Parse rules relating to definition context.
-#
-# Copyright (c) 2009 Clifford Heath. Read the LICENSE file.
-#
-module ActiveFacts
-  module CQL
-    grammar Context
-      rule context_note
-        '('
-        s w:who_says? s context_type discussion agreed:(',' a:as_agreed_by)? s
-        ')' s
-        {
-	  def value
-	    [ w.empty? ? nil : w.value, context_type.value, discussion.text_value, agreed.empty? ? [] : agreed.a.value]
-	  end
-	  def ast
-	    who = w.empty? ? nil : w.value
-	    ag = agreed.empty? ? [] : agreed.a.value
-	    Compiler::ContextNote.new context_type.value, discussion.text_value, who, ag
-	  end
-	}
-      end
-
-      rule who_says
-        according_to agents s ','
-        { def value; agents.value; end }
-      end
-
-      rule context_type
-        because s       { def value; 'because'; end } /
-        as_opposed_to   { def value; 'as_opposed_to'; end } /
-        so_that         { def value; 'so_that'; end } /
-        to_avoid        { def value; 'to_avoid'; end }
-      end
-
-      rule discussion
-        (
-	  '(' discussion ')' / (!( [()] / ',' as_agreed_by) .)*
-	)
-	{
-	  def node_type; :linking; end
-	}
-      end
-    end
-  end
-end

data/lib/activefacts/cql/Expressions.treetop

@@ -1,67 +0,0 @@
-#
-#       ActiveFacts CQL Parser.
-#       Parse rules relating to Expressions
-#
-# Copyright (c) 2009 Clifford Heath. Read the LICENSE file.
-#
-module ActiveFacts
-  module CQL
-    grammar Expressions
-      rule expression
-        sum
-      end
-
-      rule sum
-        t0:product s tail:( op:add_op s t1:product s )*
-        {
-	  def ast
-	    if tail.elements.empty?
-	      t0.ast
-	    else
-	      Compiler::Sum.new(t0.ast, *tail.elements.map{|e| e.op.text_value == '-' ? Compiler::Negate.new(e.t1.ast) : e.t1.ast})
-	    end
-	  end
-        }
-      end
-
-      rule add_op
-        '+' / '-'
-      end
-
-      rule product
-        f0:factor s tail:( op:mul_op s f1:factor s )*
-        {
-	  def ast
-	    if tail.elements.empty?
-	      f0.ast
-	    else
-	      Compiler::Product.new(f0.ast, *tail.elements.map{|e| e.op.text_value != '*' ? Compiler::Reciprocal.new(e.op.text_value, e.f1.ast) : e.f1.ast})
-	    end
-	  end
-        }
-      end
-
-      rule factor
-        literal u:unit? s
-            {
-	      def ast
-		Compiler::Literal.new(literal.value, u.empty? ? nil : u.text_value)
-	      end
-            }
-        / derived_variable
-        / !context_note '(' s sum s ')' s                   { def ast; sum.ast; end }
-      end
-
-      rule derived_variable
-        derived:term s role_id:(role_name / subscript )?
-        {
-	  def ast quantifier = nil, value_constraint = nil, literal = nil, nested_clauses = nil
-	    role_name = role_id.empty? ? nil : role_id.value
-	    derived.ast(quantifier, nil, role_name, value_constraint, literal, nested_clauses)
-	  end
-        }
-      end
-
-    end
-  end
-end