sfp 0.1.0

data/lib/sfp/sfw2graph.rb

@@ -0,0 +1,168 @@
+#!/usr/bin/env ruby
+
+require 'rubygems'
+require 'json'
+
+module Nuri
+	module Planner
+		module Graph
+			ActionColor = 'white'
+			ActionLabelWithParameters = false
+
+			def self.clean(value)
+				return value[2, value.length-2] if value[0,2] == '$.'
+				return value
+			end
+			
+			def self.get_label(action, withparameters=true)
+				label = clean(action["name"])
+				if withparameters and ActionLabelWithParameters
+					label += "("
+					if action["parameters"].length > 0
+						action["parameters"].each { |key,value|
+							label += "#{clean(key)}=#{clean(value.to_s)},"
+						}
+						label.chop!
+					end
+					label += ')'
+				end
+				return label
+			end
+			
+			def self.partial2dot(json)
+				dot = "digraph {\n"
+			
+				dot += "init_state [label=\"\", shape=doublecircle, fixedsize=true, width=0.35];\n"
+				dot += "final_state [label=\"\", shape=doublecircle, style=filled, fillcolor=black, fixedsize=true, width=0.35];\n"
+				last_actions = Hash.new
+				json["workflow"].each { |action|
+					dot += "#{action["id"]}[label=\"#{get_label(action)}\", shape=rect, style=filled, fillcolor=#{ActionColor}];\n"
+					last_actions[action["id"].to_s] = action
+				}
+			
+				json["workflow"].each { |action|
+					has_predecessor = false
+					action["predecessors"].each { |prevId|
+						dot += "#{prevId} -> #{action["id"]};\n"
+						has_predecessor = true
+						last_actions.delete(prevId.to_s)
+					}
+					if not has_predecessor
+						dot += "init_state -> #{action["id"]};\n"
+					end
+				}
+			
+				last_actions.each { |id,action|
+					dot += "#{id} -> final_state;\n"
+				}
+			
+				dot += "}"
+			
+				return dot
+			end
+			
+			def self.stage2dot(json)
+				dot = "digraph {\n"
+			
+				dot += "init_state [label=\"\", shape=doublecircle, fixedsize=true, width=0.35];\n"
+				dot += "final_state [label=\"\", shape=doublecircle, style=filled, fillcolor=black, fixedsize=true, width=0.35];\n"
+				index = 0
+				prevState = "init_state"
+				json["workflow"].each { |stage|
+					id = 0
+					stage.each { |action|
+						dot += "a" + index.to_s + "a" + id.to_s + '[label="' + get_label(action) + '", shape=rect]' + ";\n"
+						dot += prevState + " -> a" + index.to_s + "a" + id.to_s + ";\n"
+						id += 1
+					}
+					if index < json["workflow"].length-1
+						dot += "state" + index.to_s + ' [label="", shape=circle, fixedsize=true, width=0.35]' + ";\n"
+						prevState = "state" + index.to_s
+						id = 0
+						stage.each { |action|
+							dot += "a" + index.to_s + "a" + id.to_s + " -> " + prevState + ";\n"
+							id += 1
+						}
+					else
+						id = 0
+						stage.each { |action|
+							dot += "a" + index.to_s + "a" + id.to_s + " -> final_state;\n"
+							id += 1
+						}
+					end
+					index += 1
+				}
+				dot += "}"
+				return dot
+			end
+			
+			def self.sequential2dot(json)
+				dot = "digraph {\n"
+			
+				dot += "init_state [label=\"\", shape=doublecircle, fixedsize=true, width=0.35];\n"
+				dot += "final_state [label=\"\", shape=doublecircle, style=filled, fillcolor=black, fixedsize=true, width=0.35];\n"
+				id = 0
+				json["workflow"].each { |action|
+					dot += id.to_s + '[label="' + get_label(action) + '", shape=rect]' + ";\n"
+					id += 1
+				}
+			
+				id = 0
+				prevActionId = nil
+				json["workflow"].each { |action|
+					if id == 0
+						dot += "init_state -> " + id.to_s + ";\n"
+					elsif id == json["workflow"].length-1
+						dot += id.to_s + " -> final_state;\n"
+					end
+					if prevActionId != nil
+						dot += prevActionId.to_s + " -> " + id.to_s + ";\n"
+					end
+					prevActionId = id
+					id += 1
+				}
+				dot += "}"
+				return dot
+			end
+		end
+	end
+end
+
+def main
+	if ARGV.length < 1
+		puts "Usage: sfw2dot.rb <input-file> [output-file]\n\n"
+		exit
+	end
+	
+	fp = open(ARGV[0], "rb")
+	json = JSON.parse(fp.read)
+	fp.close
+	
+	dot = ""
+	case json["type"]
+	when 'partial-order', 'parallel'
+		dot = Nuri::Planner::Graph::partial2dot(json)
+	when 'sequential'
+		dot = Nuri::Planner::Graph::sequential2dot(json)
+	when 'stage'
+		dot = Nuri::Planner::Graph::stage2dot(json)
+	else
+		throw Exception, "Unrecognised type of workflow: #{json['type']}"
+	end
+	
+	outfile = "/tmp/#{ARGV[0]}.dot"
+	fp = open(outfile, "w");
+	fp.write(dot)
+	fp.close
+	
+	cmd = 'dot -Tpng -o';
+	if ARGV.length > 1
+		cmd += "#{ARGV[1]} #{outfile}"
+	else
+		cmd += ARGV[0].sub(/\.[a-zA-Z]*/,'') + ".png < #{outfile}"
+	end
+	system(cmd)
+	File.delete(outfile)
+end
+
+main if __FILE__ == $0

data/lib/sfp/visitors.rb

@@ -0,0 +1,132 @@
+module Sfp
+	module Visitor
+		# An example of class Visitor which can be used to traverse from one node to
+		# another node (bread first). This is based on 'Visitor' pattern.
+		class Default
+			def visit(name, value, parent); end
+		end
+
+		class ConformantVariables
+			attr_reader :var_values
+			def initialize
+				@var_values = {}
+			end
+
+			def visit(name, value, parent)
+				if value.is_a?(Hash) and value.iseither
+					ref = parent.ref.push(name)
+					@var_values[ref] = value['_values']
+				end
+				return true if value.is_a?(Hash) and value.isobject
+				false
+			end
+		end
+
+		# eliminate '_parent' key/value from a Hash object to avoid cyclic references
+		class ParentEliminator
+			def visit(name, value, parent)
+				value.delete('_parent') if value.is_a?(Hash) and value.has_key?('_parent')
+				return true
+			end
+		end
+
+		class ParentGenerator
+			def visit(name, value, parent)
+				value['_parent'] = parent if value.is_a?(Hash)
+				return true
+			end
+		end
+
+		class ProcedureEliminator
+			def visit(name, value, parent)
+				if value.is_a?(Hash) and value.isprocedure
+					parent.delete(name)
+					return false
+				end
+				true
+			end
+		end
+
+		class PrettyStateGenerator
+			def visit(name, value, parent)
+				if name[0,1] == '_'
+					parent.delete(name)
+				elsif value.is_a?(Hash)
+					if value.isnull
+						parent[name] = nil
+						return false
+					else
+						parent.delete(name) if value['_context'] == 'procedure' or
+								value['_context'] == 'constraint'
+					end
+				end
+				true
+			end
+		end
+
+		class SfpGenerator
+			def initialize(root)
+				@root = root
+			end
+
+			def visit(name, value, parent)
+				if value.is_a?(Hash)
+					value['_parent'] = parent
+					value['_self'] = name
+					if not value.has_key?('_context')
+						value['_context'] = 'object'
+						if value.has_key?('_isa')
+						else
+							value['_isa'] = '$.Object'
+						end
+					end
+					Sfp::Helper.expand_object(value, @root) if value.isobject
+				end
+				return true
+			end
+		end
+
+		class ReferenceModifier
+			def visit(name, value, parent)
+				if value.is_a?(String) and value.isref and parent.isobject
+					if	value.length >= 8 and value[0,8] == '$.parent'
+						_, _, rest = value.split('.', 3)
+						if parent.has_key?('_parent')
+							parent[name] = parent['_parent'].ref + (rest == nil ? '' : '.' + rest)
+						else
+							raise Exception
+						end
+					elsif value.length >= 6 and value[0,6] == '$.this'
+						_, _, rest = value.split('.', 3)
+						parent[name] = parent.ref + (rest == nil ? '' : '.' + rest)
+					end
+				end
+				true
+			end
+		end
+
+		class SetModifier
+			def visit(name, value, parent)
+				return false if value.is_a?(Hash) and value.isprocedure
+
+				if value.is_a?(Hash) and value.isset
+					parent[name] = []
+					return false
+				end
+				true
+			end
+		end
+
+		class NullModifier
+			def visit(name, value, parent)
+				return false if value.is_a?(Hash) and value.isprocedure
+
+				if value.is_a?(Hash) and value.isnull
+					parent[name] = nil
+					return false
+				end
+				true
+			end
+		end
+	end
+end

data/lib/sfp.rb

@@ -0,0 +1,17 @@
+# external dependencies
+require 'rubygems'
+require 'json'
+
+# internal dependencies
+libdir = File.expand_path(File.dirname(__FILE__))
+
+require libdir + '/sfp/Sfplib'
+require libdir + '/sfp/SfpLangParser'
+require libdir + '/sfp/SfpLangLexer'
+
+require libdir + '/sfp/visitors'
+require libdir + '/sfp/sas_translator'
+require libdir + '/sfp/parser'
+
+require libdir + '/sfp/sas'
+require libdir + '/sfp/planner'

data/sfp.gemspec

@@ -0,0 +1,26 @@
+Gem::Specification.new do |s|
+	s.name			= 'sfp'
+	s.version		= '0.1.0'
+	s.date			= '2013-04-20'
+	s.summary		= 'SFP Parser and Planner'
+	s.description	= 'A Ruby gem that provides a Ruby interface to parse SFP language. ' +
+			  'It also provides a Ruby interface for a solver to generate a workflow ' +
+			  'for a planning task written in SFP language.'
+	s.authors		= ['Herry']
+	s.email			= 'herry13@gmail.com'
+
+	s.executables << 'sfp'
+	s.files			= `git ls-files`.split("\n")
+	s.test_files	= `git ls-files -- test/*`.split("\n")
+
+	`git ls-files -- bin/*`.split("\n") { |f|
+		s.executables << f
+	}
+
+	s.require_paths = ['lib']
+
+	s.homepage		= 'https://github.com/herry13/sfp-ruby'
+
+	s.add_dependency 'json', '~> 1.7.5'
+	s.add_dependency 'antlr3', '~> 1.8.12'
+end