rlsm 0.2.2 → 0.2.3

data/Manifest.txt

@@ -2,14 +2,23 @@ History.txt
 Manifest.txt
 README.txt
 Rakefile
-bin/rlsm
-lib/rlsm.rb
+bin/smon
 lib/data/monoids.db
-lib/rlsm/monoid.rb
+lib/rlsm.rb
 lib/rlsm/dfa.rb
-lib/rlsm/regexp.rb
-lib/rlsm/monoid_db.rb
+lib/rlsm/exceptions.rb
 lib/rlsm/mgen.rb
 lib/rlsm/monkey_patching.rb
-lib/rlsm/exceptions.rb
+lib/rlsm/monoid.rb
+lib/rlsm/monoid_db.rb
+lib/rlsm/regexp.rb
+lib/smon/commands/exit.rb
+lib/smon/commands/help.rb
+lib/smon/commands/intro.rb
+lib/smon/commands/monoid.rb
+lib/smon/commands/quit.rb
+lib/smon/commands/regexp.rb
+lib/smon/commands/reload.rb
+lib/smon/commands/show.rb
+lib/smon/smon.rb
 test/test_rlsm.rb

data/Rakefile

@@ -7,7 +7,6 @@ require './lib/rlsm.rb'
 Hoe.new('rlsm', RLSM::VERSION) do |p|
    #p.rubyforge_name = 'rlsm' # if different than lowercase project name
    p.developer('asmodis', 'g.diemant@gmx.net')
-   p.extra_deps = ['sqlite3-ruby']
 end
 
 # vim: syntax=Ruby

data/bin/smon

@@ -0,0 +1,4 @@
+#! /usr/bin/env ruby
+require File.join(File.dirname(__FILE__), '..', 'lib', 'smon', 'smon')
+
+Smon.new

data/lib/rlsm.rb

@@ -35,5 +35,5 @@ require "mgen"
 require "monoid_db"
 
 module RLSM
-  VERSION = "0.2.2"
+  VERSION = "0.2.3"
 end

data/lib/rlsm/monoid.rb

@@ -36,7 +36,7 @@ class Monoid
   def initialize(table, options = {})
     options[:normalize] = true if options[:normalize].nil?
 
-    _create_binary_operation(table)
+    _create_binary_operation(table, options[:names])
     _check_form_of_binary_operation
     _check_associativity_of_binary_operation
 
@@ -463,7 +463,7 @@ class Monoid
     res.sort
   end
 
-  def _create_binary_operation(table)
+  def _create_binary_operation(table, names)
     if table.instance_of? Array
       @order = table.size
       @bo = table
@@ -485,7 +485,14 @@ class Monoid
     end
 
     #Convert to internal represenation
-    @names = @bo.flatten.uniq.clone
+    #Names given?
+    if names and names.class == Array and names.size == @order
+      @names = names
+    else
+      #Make a guess, works if convention is followed.
+      @names = @bo.flatten.uniq.clone
+    end
+
     @bo = (@bo.flatten.map { |e| @names.index(e) })/@order
   end
 

data/lib/rlsm/monoid_db.rb

@@ -89,7 +89,7 @@ SQL
     
     private
     def initialize
-      db_name = File.join(File.dirname(__FILE__), 'data', 'monoids.db')
+      db_name = File.join(File.dirname(__FILE__), '..', 'data', 'monoids.db')
       @db = SQLite3::Database.open(db_name)
     end
 

data/lib/smon/commands/exit.rb

@@ -0,0 +1,9 @@
+#category base
+
+=begin help
+A synonym for quit.
+
+=end
+def exit
+  quit
+end

data/lib/smon/commands/help.rb

@@ -0,0 +1,31 @@
+#category help
+=begin help
+Prints help topics.
+
+Usage: help "command"
+Prints the help topic for +command+. 
+The command name must be surrounded by " (double quote).
+Example: help help -> prints this text.
+
+=end
+def help(cmd = nil)
+  if cmd.nil?
+    puts "Known Commands:"
+    Categories.each_pair do |cat, cmds|
+      puts "  Category #{cat}"
+      cmds.each do |cmd|
+        puts "    #{cmd} : #{(CmdHelp[cmd] || [cmd]).first}"
+      end
+    end
+    puts
+    puts 'Type help "command" for more information for "command"'
+    puts '(command must be surrounded by double quotes!)'
+    puts
+  else
+    if CmdHelp[cmd]
+      puts CmdHelp[cmd].join
+    else
+      puts "  Nothing known about #{cmd}"
+    end
+  end
+end

data/lib/smon/commands/intro.rb

@@ -0,0 +1,32 @@
+#category help
+=begin help
+Displays a small introduction.
+
+Usage: intro
+
+Shows some of the rules for work with the program.
+=end
+
+def intro
+  puts <<INTRO
+======================
+ INTRODUCTION TO SMON
+======================
+
+==Basic rules
+ - Every input, which should be interpreted literally 
+   must be surrounded by quotes or double quotes.
+
+ - Parenthesis for commands may be omitted in the most cases. 
+   When in doubt, write the parenthesis.
+
+ - Basicly, every valid Ruby command is allowed.
+
+==Basic Usage
+ - Type < help > for an overview of availible commands.
+
+ - If you wanna use variables, just type < @var = ... >.
+   The @-sign is important!
+
+INTRO
+end

data/lib/smon/commands/monoid.rb

@@ -0,0 +1,27 @@
+#category RLSM
+
+=begin help
+Creates a monoid.
+
+Usage: monoid desc or monoid(desc)
+
++desc+ is here the description of a binary operation. The form of the
+description follows some simple rules:
+ - A binary operation is represented as a quadratic matrix
+ - Rows are seperated by ' ' (space)
+ - Columns are seperated by ',' (comma)
+   The comma may be omitted if every element descriptor is only one
+   char.
+ - The first row and column belongs to the neutral element.
+ - The +desc+ parameter must be surrounded by " (double quote)
+
+Examples:
+ monoid "1a aa"
+ monoid "1ab aab bab"
+ monoid "1,a a,1"
+=end
+
+def monoid(desc)
+  RLSM::Monoid.new desc
+end
+  

data/lib/smon/commands/quit.rb

@@ -0,0 +1,10 @@
+#category base
+
+=begin help
+Exits the program.
+
+=end
+def quit
+  puts "Bye."
+  @quit = true
+end

data/lib/smon/commands/regexp.rb

@@ -0,0 +1,20 @@
+#category RLSM
+=begin help
+Creates a new Regular Expression.
+
+Usage: regexp "desc"
+
++desc+ is here a description of the regexp.
+A regexp may consist of
+ - normal characters like a,b,c, 1,2, ... 
+ - Special characters are
+   - &   : the emmpty word
+   - |   : Union
+   - ( ) : Grouping of expressions
+   - *   : Kleene star
+
+=end
+
+def regexp(desc)
+  RLSM::RegExp.new desc
+end

data/lib/smon/commands/reload.rb

@@ -0,0 +1,22 @@
+#category base
+=begin help
+Reloads a command.
+
+Usage: reload "cmd"
+
+Unloads the command +cmd+ if it exists, then tries to reload it.
+For reloading, the program searches for an file "cmd.rb" in the load path.
+=end
+
+def reload(cmd)
+  return false unless Commands.include? cmd
+
+  #Removes the help entries and the command
+  Commands.delete cmd
+  CmdHelp.delete cmd
+  Categories.each do |cat|
+    cat.delete cmd
+  end
+
+  load(File.join(LoadPath, cmd + '.rb'))
+end

data/lib/smon/commands/show.rb

@@ -0,0 +1,34 @@
+#category RLSM
+=begin help
+Shows a monoid or a regexp.
+
+Usage: show obj
+
++obj+ is either a regexp or a monoid. If regexp a string representation is shown
+if monoid, the binary operation is shown as a table.
+Example: show monoid("0")
+Not working: show "0" !
+=end
+
+def show(obj)
+  if obj.class == RLSM::Monoid
+    rows = obj.binary_operation.map { |row| row.join(' | ')}
+    rows.map! { |r| '| ' + r.gsub(/\w/) { |c| obj.elements[c.to_i] } + " |\n" }
+    row_sep = rows.first.scan(/./m).map do |c|
+      case c
+      when '|' : '+'
+      when "\n" : "\n"
+      else
+        '-'
+      end
+    end.join
+
+    puts row_sep
+    puts rows.join(row_sep)
+    puts row_sep
+    puts
+  else
+    puts obj.to_s
+    puts
+  end
+end

data/lib/smon/smon.rb

@@ -0,0 +1,80 @@
+require "readline"
+require "abbrev"
+require "rubygems"
+require "rlsm"
+
+class Smon
+  Commands = []
+  CmdHelp = {}
+  Categories = {}
+  LoadPath = File.join(File.dirname(__FILE__), 'commands')
+
+  def initialize
+    #Load all commands
+    cmds = Dir.glob(File.join(LoadPath, '*.rb'))
+    cmds.each do |cmd|
+      load cmd, false
+    end
+
+    #Add the built-in commands to the help system
+    Commands << 'load'
+    CmdHelp['load'] = ["Loads a command into the system.\n",
+                       "\nUsage: load /path/to/cmd\n",
+                       "\n Loads the file at the given location and prints a small message if loading succeded."]
+    Categories['built-in'] = ['load']
+
+    #Initialize the help system
+    @cmd_abbrev = Commands.abbrev
+
+    #Setting up readline
+    Readline.completion_proc do |str|
+      @cmd_abbrev[str]
+    end
+
+    loop do
+      begin
+        instance_eval Readline.readline("rlsm (help for help) :> ", true)
+      rescue Exception => e
+        puts "Something went wrong."
+        puts e
+      end
+
+      break if @quit
+    end    
+  end
+
+  def load(file, reinit = true)
+    #Parsing the file
+    cat = nil
+    name = nil
+    help = []
+    parse_help = false
+    input = []
+    File.open(file).each_line do |line|
+      #Extracting the help
+      parse_help = false if line =~ Regexp.new("=end.*") 
+      help << line if parse_help
+      parse_help = true if line =~ Regexp.new("=begin.*")
+      
+
+      #Getting the category
+      cat = $1.dup if line =~ Regexp.new("#category\\s\+\(\\w\+\)")
+
+      #Getting the name
+      name = $1.dup if line =~ /def\s+(\w+)/
+
+      input << line
+    end
+
+    #Adding the method
+    self.class.class_eval input.join
+
+    #Setting up the help system
+    (Categories[cat] ||= []) << name
+    Commands << name
+    CmdHelp[name] = help
+    
+    @cmd_abbrev = Commands.abbrev if reinit
+  end
+end
+

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification 
 name: rlsm
 version: !ruby/object:Gem::Version 
-  version: 0.2.2
+  version: 0.2.3
 platform: ruby
 authors: 
 - asmodis
@@ -12,16 +12,6 @@ cert_chain: []
 date: 2008-11-10 00:00:00 +01:00
 default_executable: 
 dependencies: 
-- !ruby/object:Gem::Dependency 
-  name: sqlite3-ruby
-  type: :runtime
-  version_requirement: 
-  version_requirements: !ruby/object:Gem::Requirement 
-    requirements: 
-    - - ">="
-      - !ruby/object:Gem::Version 
-        version: "0"
-    version: 
 - !ruby/object:Gem::Dependency 
   name: hoe
   type: :development
@@ -36,7 +26,7 @@ description: "This is a ruby implementation of three concepts: - Deterministic F
 email: 
 - g.diemant@gmx.net
 executables: 
-- rlsm
+- smon
 extensions: []
 
 extra_rdoc_files: 
@@ -48,16 +38,25 @@ files:
 - Manifest.txt
 - README.txt
 - Rakefile
-- bin/rlsm
-- lib/rlsm.rb
+- bin/smon
 - lib/data/monoids.db
-- lib/rlsm/monoid.rb
+- lib/rlsm.rb
 - lib/rlsm/dfa.rb
-- lib/rlsm/regexp.rb
-- lib/rlsm/monoid_db.rb
+- lib/rlsm/exceptions.rb
 - lib/rlsm/mgen.rb
 - lib/rlsm/monkey_patching.rb
-- lib/rlsm/exceptions.rb
+- lib/rlsm/monoid.rb
+- lib/rlsm/monoid_db.rb
+- lib/rlsm/regexp.rb
+- lib/smon/commands/exit.rb
+- lib/smon/commands/help.rb
+- lib/smon/commands/intro.rb
+- lib/smon/commands/monoid.rb
+- lib/smon/commands/quit.rb
+- lib/smon/commands/regexp.rb
+- lib/smon/commands/reload.rb
+- lib/smon/commands/show.rb
+- lib/smon/smon.rb
 - test/test_rlsm.rb
 has_rdoc: true
 homepage: http://www.github.com/asmodis/rlsm