diff options
Diffstat (limited to 'example.rb')
| -rw-r--r-- | example.rb | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/example.rb b/example.rb deleted file mode 100644 index 182ae1d..0000000 --- a/example.rb +++ /dev/null @@ -1,19 +0,0 @@ -require 'state' - -include UpState - -HdAvail = State.new_type("hdAvail", [Event.new("DevKit_FoundHD")], [], [:uid, :name, :blkdev]) -FstabAvail = State.new_type("fstabLine", [Event.new("Can_Mount", {:mount_str => /.*/})], [], [[:uid, :name, :blkdev], :mount_str]) -Mount = State.new_type("mount", [Event::Epsilon], [Dependency.new(HdAvail, {:uid => /.*/}), Dependency.new(FstabAvail, {:mount_str => /.*/})]) - -events = [ - ["DevKit_FoundHD", {:uid => "1234", :name => "myhd", :blkdev => "/dev/sda1"}], - ["Can_Mount", {:uid => "1234", :mount_str => "/home"}], - ["Can_Mount", {:uid => "1234"}], -] - -State.print_all_color -events.each do |x| - State.process_event Event.new(*x) - State.print_all_color -end |