sfplanner 0.1.4 → 0.1.5

data/.gitignore

@@ -1,2 +1,3 @@
 *.gem
 *.swp
+Gemfile.lock

data/.travis.yml

@@ -0,0 +1,12 @@
+language: ruby
+
+gemfile:
+  - Gemfile
+
+rvm:
+  - 1.9.2
+  - 1.9.3
+  - 2.0.0
+
+notifications:
+  - email: false

data/Gemfile

@@ -0,0 +1,3 @@
+source "https://rubygems.org"
+
+gemspec

data/README.md

@@ -1,9 +1,9 @@
 SFPlanner
 =========
 - Author: Herry (herry13@gmail.com)
-- [Version](https://github.com/herry13/sfplanner/blob/master/VERSION)
 - License: [BSD](https://github.com/herry13/sfp-ruby/blob/master/LICENSE)
 
+[![Build Status](https://travis-ci.org/herry13/sfplanner.png?branch=master)](https://travis-ci.org/herry13/sfplanner)
 [![Gem Version](https://badge.fury.io/rb/sfplanner.png)](http://badge.fury.io/rb/sfplanner)
 
 A Ruby script and library of SFP planner, which solves a planning task written in [SFP language](https://github.com/herry13/nuri/wiki/SFP-language).

data/Rakefile

@@ -0,0 +1,16 @@
+def sfplanner
+	File.dirname(__FILE__) + '/bin/sfplanner'
+end
+
+def testfiles
+	dir = File.dirname(__FILE__) + '/test'
+	File.read("#{dir}/files").split("\n").map { |x| "#{dir}/#{x}" }
+end
+
+task :default => :test
+
+namespace :test do
+	testfiles.each do |file|
+		sh("#{sfplanner} #{file}")
+	end
+end

data/VERSION

@@ -1 +1 @@
-0.1.4
+0.1.5

data/sfplanner.gemspec

@@ -17,5 +17,7 @@ Gem::Specification.new do |s|
 	s.homepage		= 'https://github.com/herry13/sfplanner'
 	s.rubyforge_project = 'sfplanner'
 
-	s.add_dependency 'sfp', '~> 0.3.12'
+	s.add_dependency 'sfp', '~> 0.3.17'
+
+	s.add_development_dependency 'rake'
 end	

data/test/files

@@ -0,0 +1,5 @@
+test1.sfp
+test2.sfp
+test3.sfp
+test4.sfp
+test6.sfp

data/test/test1.inc

@@ -0,0 +1,9 @@
+class S {
+	foo is true
+	procedure change {
+		conditions { }
+		effects {
+			this.foo is false
+		}
+	}
+}

data/test/test1.sfp

@@ -0,0 +1,13 @@
+#!/usr/bin/env sfp
+
+include "test1.inc"
+
+initial state {
+	a isa S
+	b isa S
+}
+
+goal constraint {
+	a.foo is false
+	b.foo is false
+}

data/test/test2.sfp

@@ -0,0 +1,20 @@
+schema S {
+	foo is true
+	procedure change {
+		conditions {
+		}
+		effects {
+			this.foo is false
+		}
+	}
+}
+
+initial state {
+	a isa S
+	b isa S
+}
+
+goal constraint {
+	a.foo is false
+	b.foo is false
+}

data/test/test3.inc

@@ -0,0 +1,40 @@
+class Service {
+	installed is false
+	running is false
+
+	procedure install {
+		conditions {
+			this.installed is false
+		}
+		effects {
+			this.installed is true
+		}
+	}
+	procedure uninstall {
+		conditions {
+			this.installed is true
+		}
+		effects {
+			this.installed is false
+		}
+	}
+
+	procedure start {
+		conditions {
+			this.installed is true
+			this.running is false
+		}
+		effects {
+			this.running is true
+		}
+	}
+	procedure stop {
+		conditions {
+			this.installed is true
+			this.running is true
+		}
+		effects {
+			this.running is false
+		}
+	}
+}

data/test/test3.sfp

@@ -0,0 +1,17 @@
+include "test3.inc"
+
+// generate all possible states with constraint solver
+initial state {
+	s1 isa Service
+	s2 isa Service
+	s3 isa Service
+}
+goal constraint {
+	s1.running
+	s2.running
+	s3.running
+}
+global constraint {
+	if s1.running then s2.running
+	if s2.running then s3.running
+}

data/test/test4.inc

@@ -0,0 +1,28 @@
+schema Service {
+	running is false
+	procedure start {
+		conditions {
+			this.running is false
+		}
+		effects {
+			this.running is true
+		}
+	}
+	procedure stop {
+		conditions {
+			this.running is true
+		}
+		effects {
+			this.running is false
+		}
+	}
+}
+schema Client {
+	refer isref Service
+	procedure redirect(s isref Service) {
+		conditions { }
+		effects {
+			this.refer is s
+		}
+	}
+}

data/test/test4.sfp

@@ -0,0 +1,22 @@
+include "test4.inc"
+
+initial state {
+	a isa Service {
+		running is true
+	}
+
+	b isa Service // with "running" is false
+
+	pc isa Client {
+		refer is a
+	}
+}
+
+goal constraint {
+	pc.refer is b
+	a.running is false
+}
+
+global constraint {
+	pc.refer.running is true
+}

data/test/test6.inc

@@ -0,0 +1,9 @@
+schema Service
+schema Client {
+	refer isref Service
+	sub redirect ( s: Service) {
+		effect {
+			this.refer = s
+		}
+	}
+}

data/test/test6.sfp

@@ -0,0 +1,12 @@
+include "test6.inc"
+
+initial state {
+	s1 isa Service
+	s2 isa Service
+	pc isa Client {
+		refer is s1
+	}
+}
+goal constraint {
+	pc.refer is s2
+}

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: sfplanner
 version: !ruby/object:Gem::Version
-  version: 0.1.4
+  version: 0.1.5
   prerelease: 
 platform: ruby
 authors:
@@ -13,15 +13,26 @@ date: 2013-08-13 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: sfp
-  requirement: &16262980 !ruby/object:Gem::Requirement
+  requirement: &18815260 !ruby/object:Gem::Requirement
     none: false
     requirements:
     - - ~>
       - !ruby/object:Gem::Version
-        version: 0.3.12
+        version: 0.3.17
   type: :runtime
   prerelease: false
-  version_requirements: *16262980
+  version_requirements: *18815260
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: &18814780 !ruby/object:Gem::Requirement
+    none: false
+    requirements:
+    - - ! '>='
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: *18814780
 description: A Ruby gem that provides a Ruby API and a script to the SFP planner.
   This planner can automatically generate a plan that solves a planning problem written
   in SFP language.
@@ -33,8 +44,11 @@ extensions: []
 extra_rdoc_files: []
 files:
 - .gitignore
+- .travis.yml
+- Gemfile
 - LICENSE
 - README.md
+- Rakefile
 - VERSION
 - bin/sfplanner
 - bin/sfw2graph
@@ -47,6 +61,16 @@ files:
 - lib/sfplanner/planner.rb
 - lib/sfplanner/sas.rb
 - sfplanner.gemspec
+- test/files
+- test/test1.inc
+- test/test1.sfp
+- test/test2.sfp
+- test/test3.inc
+- test/test3.sfp
+- test/test4.inc
+- test/test4.sfp
+- test/test6.inc
+- test/test6.sfp
 homepage: https://github.com/herry13/sfplanner
 licenses:
 - BSD