gisele-vm 0.6.0
Sign up to get free protection for your applications and to get access to all the features.
- data/CHANGELOG.md +5 -0
- data/Gemfile +18 -0
- data/Gemfile.lock +46 -0
- data/LICENCE.md +22 -0
- data/Manifest.txt +15 -0
- data/README.md +10 -0
- data/Rakefile +11 -0
- data/bin/gvm +9 -0
- data/gisele-vm.gemspec +191 -0
- data/gisele-vm.noespec +31 -0
- data/lib/gisele-vm.rb +4 -0
- data/lib/gisele-vm/loader.rb +5 -0
- data/lib/gisele-vm/version.rb +16 -0
- data/lib/gisele/compiling.rb +3 -0
- data/lib/gisele/compiling/gisele2gts.rb +143 -0
- data/lib/gisele/compiling/gts.rb +74 -0
- data/lib/gisele/compiling/gts2bytecode.rb +127 -0
- data/lib/gisele/vm.rb +87 -0
- data/lib/gisele/vm/bytecode.rb +84 -0
- data/lib/gisele/vm/bytecode/builder.rb +77 -0
- data/lib/gisele/vm/bytecode/grammar.citrus +116 -0
- data/lib/gisele/vm/bytecode/grammar.rb +19 -0
- data/lib/gisele/vm/bytecode/grammar.sexp.yml +113 -0
- data/lib/gisele/vm/bytecode/printer.rb +35 -0
- data/lib/gisele/vm/command.rb +140 -0
- data/lib/gisele/vm/component.rb +91 -0
- data/lib/gisele/vm/console.rb +58 -0
- data/lib/gisele/vm/enacter.rb +29 -0
- data/lib/gisele/vm/errors.rb +26 -0
- data/lib/gisele/vm/event.rb +11 -0
- data/lib/gisele/vm/event_manager.rb +65 -0
- data/lib/gisele/vm/kernel.rb +58 -0
- data/lib/gisele/vm/kernel/macros.gvm +214 -0
- data/lib/gisele/vm/kernel/opcodes.rb +212 -0
- data/lib/gisele/vm/kernel/runner.rb +63 -0
- data/lib/gisele/vm/lifecycle.rb +72 -0
- data/lib/gisele/vm/logging.rb +18 -0
- data/lib/gisele/vm/null_object.rb +19 -0
- data/lib/gisele/vm/prog.rb +63 -0
- data/lib/gisele/vm/prog_list.rb +55 -0
- data/lib/gisele/vm/prog_list/memory.rb +74 -0
- data/lib/gisele/vm/prog_list/sqldb.rb +123 -0
- data/lib/gisele/vm/prog_list/storage.rb +31 -0
- data/lib/gisele/vm/proxy.rb +14 -0
- data/lib/gisele/vm/proxy/client.rb +64 -0
- data/lib/gisele/vm/proxy/server.rb +29 -0
- data/lib/gisele/vm/registry.rb +57 -0
- data/lib/gisele/vm/robustness.rb +31 -0
- data/lib/gisele/vm/simulator/resumer.rb +32 -0
- data/spec/command/gvm_compile.cmd +1 -0
- data/spec/command/gvm_compile.stdout +111 -0
- data/spec/command/gvm_gts.cmd +1 -0
- data/spec/command/gvm_gts.stdout +101 -0
- data/spec/command/gvm_help.cmd +1 -0
- data/spec/command/gvm_help.stdout +30 -0
- data/spec/command/gvm_version.cmd +1 -0
- data/spec/command/gvm_version.stdout +2 -0
- data/spec/command/test_command.rb +29 -0
- data/spec/fixtures/complete.gis +13 -0
- data/spec/fixtures/fake_component.rb +24 -0
- data/spec/fixtures/kernel.rb +39 -0
- data/spec/fixtures/ts.adl +11 -0
- data/spec/fixtures/ts.gts +20 -0
- data/spec/fixtures/ts.gvm +19 -0
- data/spec/spec_helper.rb +86 -0
- data/spec/test_examples.rb +29 -0
- data/spec/test_gisele-vm.rb +8 -0
- data/spec/unit/bytecode/builder/test_at.rb +56 -0
- data/spec/unit/bytecode/builder/test_helpers.rb +36 -0
- data/spec/unit/bytecode/builder/test_instruction.rb +35 -0
- data/spec/unit/bytecode/builder/test_to_a.rb +53 -0
- data/spec/unit/bytecode/bytecode.gvm +1 -0
- data/spec/unit/bytecode/grammar/fixtures/comments.gvm +16 -0
- data/spec/unit/bytecode/grammar/fixtures/every.gvm +46 -0
- data/spec/unit/bytecode/grammar/fixtures/singleblock.gvm +2 -0
- data/spec/unit/bytecode/grammar/fixtures/twoblocks.gvm +4 -0
- data/spec/unit/bytecode/grammar/fixtures/with_end.gvm +5 -0
- data/spec/unit/bytecode/grammar/test_array.rb +24 -0
- data/spec/unit/bytecode/grammar/test_block.rb +35 -0
- data/spec/unit/bytecode/grammar/test_boolean.rb +20 -0
- data/spec/unit/bytecode/grammar/test_constant.rb +20 -0
- data/spec/unit/bytecode/grammar/test_eol.rb +20 -0
- data/spec/unit/bytecode/grammar/test_eol_comment.rb +36 -0
- data/spec/unit/bytecode/grammar/test_file.rb +38 -0
- data/spec/unit/bytecode/grammar/test_hash.rb +33 -0
- data/spec/unit/bytecode/grammar/test_instruction.rb +32 -0
- data/spec/unit/bytecode/grammar/test_int.rb +24 -0
- data/spec/unit/bytecode/grammar/test_label.rb +24 -0
- data/spec/unit/bytecode/grammar/test_opcode.rb +23 -0
- data/spec/unit/bytecode/grammar/test_string.rb +25 -0
- data/spec/unit/bytecode/grammar/test_symbol.rb +30 -0
- data/spec/unit/bytecode/test_build.rb +36 -0
- data/spec/unit/bytecode/test_coerce.rb +41 -0
- data/spec/unit/bytecode/test_fetch.rb +20 -0
- data/spec/unit/bytecode/test_grammar.rb +30 -0
- data/spec/unit/bytecode/test_parse.rb +22 -0
- data/spec/unit/bytecode/test_plus.rb +27 -0
- data/spec/unit/bytecode/test_to_a.rb +19 -0
- data/spec/unit/bytecode/test_to_s.rb +32 -0
- data/spec/unit/command/code.gis +3 -0
- data/spec/unit/command/test_vm.rb +51 -0
- data/spec/unit/compiling/gisele2gts/test_on_par_st.rb +51 -0
- data/spec/unit/compiling/gisele2gts/test_on_seq_st.rb +46 -0
- data/spec/unit/compiling/gisele2gts/test_on_task_call_st.rb +37 -0
- data/spec/unit/compiling/gisele2gts/test_on_task_def.rb +49 -0
- data/spec/unit/compiling/gisele2gts/test_on_unit_def.rb +35 -0
- data/spec/unit/compiling/gts2bytecode/test_on_end.rb +31 -0
- data/spec/unit/compiling/gts2bytecode/test_on_event.rb +37 -0
- data/spec/unit/compiling/gts2bytecode/test_on_fork.rb +41 -0
- data/spec/unit/compiling/gts2bytecode/test_on_join.rb +42 -0
- data/spec/unit/compiling/gts2bytecode/test_on_listen.rb +36 -0
- data/spec/unit/compiling/gts2bytecode/test_on_nop.rb +30 -0
- data/spec/unit/component/test_component_name.rb +16 -0
- data/spec/unit/component/test_logging.rb +36 -0
- data/spec/unit/enacter/test_component.rb +11 -0
- data/spec/unit/event/test_to_s.rb +12 -0
- data/spec/unit/event_manager/test_component.rb +9 -0
- data/spec/unit/event_manager/test_subscribe.rb +40 -0
- data/spec/unit/event_manager/test_unsubscribe.rb +39 -0
- data/spec/unit/kernel/macros/test_fork.rb +37 -0
- data/spec/unit/kernel/macros/test_join.rb +43 -0
- data/spec/unit/kernel/macros/test_listen.rb +37 -0
- data/spec/unit/kernel/macros/test_notify.rb +57 -0
- data/spec/unit/kernel/macros/test_react.rb +47 -0
- data/spec/unit/kernel/macros/test_schedule_at.rb +30 -0
- data/spec/unit/kernel/opcodes/test_op_del.rb +42 -0
- data/spec/unit/kernel/opcodes/test_op_event.rb +25 -0
- data/spec/unit/kernel/opcodes/test_op_fetch.rb +27 -0
- data/spec/unit/kernel/opcodes/test_op_flip.rb +17 -0
- data/spec/unit/kernel/opcodes/test_op_fold.rb +29 -0
- data/spec/unit/kernel/opcodes/test_op_fork.rb +63 -0
- data/spec/unit/kernel/opcodes/test_op_forka.rb +51 -0
- data/spec/unit/kernel/opcodes/test_op_get.rb +62 -0
- data/spec/unit/kernel/opcodes/test_op_getr.rb +48 -0
- data/spec/unit/kernel/opcodes/test_op_ifenil.rb +41 -0
- data/spec/unit/kernel/opcodes/test_op_ifezero.rb +32 -0
- data/spec/unit/kernel/opcodes/test_op_invoke.rb +34 -0
- data/spec/unit/kernel/opcodes/test_op_nop.rb +18 -0
- data/spec/unit/kernel/opcodes/test_op_parent.rb +39 -0
- data/spec/unit/kernel/opcodes/test_op_pop.rb +22 -0
- data/spec/unit/kernel/opcodes/test_op_push.rb +17 -0
- data/spec/unit/kernel/opcodes/test_op_save.rb +32 -0
- data/spec/unit/kernel/opcodes/test_op_savea.rb +34 -0
- data/spec/unit/kernel/opcodes/test_op_self.rb +20 -0
- data/spec/unit/kernel/opcodes/test_op_send.rb +20 -0
- data/spec/unit/kernel/opcodes/test_op_set.rb +61 -0
- data/spec/unit/kernel/opcodes/test_op_then.rb +50 -0
- data/spec/unit/kernel/opcodes/test_op_unfold.rb +22 -0
- data/spec/unit/kernel/opcodes/test_op_uuid.rb +16 -0
- data/spec/unit/kernel/runner/test_pop.rb +26 -0
- data/spec/unit/kernel/runner/test_stack.rb +28 -0
- data/spec/unit/kernel/test_progress.rb +47 -0
- data/spec/unit/kernel/test_resume.rb +53 -0
- data/spec/unit/kernel/test_start.rb +36 -0
- data/spec/unit/prog/test_to_hash.rb +29 -0
- data/spec/unit/prog/test_waitlist_eq.rb +20 -0
- data/spec/unit/prog_list/memory/test_component.rb +9 -0
- data/spec/unit/prog_list/memory/test_fetch.rb +40 -0
- data/spec/unit/prog_list/memory/test_pick.rb +39 -0
- data/spec/unit/prog_list/memory/test_save.rb +91 -0
- data/spec/unit/prog_list/memory/test_to_relation.rb +17 -0
- data/spec/unit/prog_list/sqldb/test_component.rb +11 -0
- data/spec/unit/prog_list/sqldb/test_connect.rb +46 -0
- data/spec/unit/prog_list/test_memory.rb +9 -0
- data/spec/unit/prog_list/test_sqldb.rb +13 -0
- data/spec/unit/prog_list/test_storage.rb +51 -0
- data/spec/unit/registry/test_component.rb +9 -0
- data/spec/unit/registry/test_connect.rb +53 -0
- data/spec/unit/registry/test_disconnect.rb +51 -0
- data/spec/unit/registry/test_registration.rb +44 -0
- data/spec/unit/shared/a_component.rb +49 -0
- data/spec/unit/shared/a_storage.rb +114 -0
- data/spec/unit/test_logging.rb +46 -0
- data/spec/unit/test_prog.rb +57 -0
- data/spec/unit/test_prog_list.rb +22 -0
- data/spec/unit/vm/test_event_facace.rb +11 -0
- data/spec/unit/vm/test_initialize.rb +59 -0
- data/spec/unit/vm/test_proglist_facade.rb +21 -0
- data/tasks/debug_mail.rake +75 -0
- data/tasks/debug_mail.txt +13 -0
- data/tasks/gem.rake +73 -0
- data/tasks/spec_test.rake +71 -0
- data/tasks/unit_test.rake +76 -0
- data/tasks/yard.rake +51 -0
- metadata +493 -0
@@ -0,0 +1,76 @@
|
|
1
|
+
# Installs a rake task for for running unit tests.
|
2
|
+
#
|
3
|
+
# This file installs the 'rake unit_test' and extends 'rake test' to run unit
|
4
|
+
# tests, if any. It is automatically generated by Noe from your .noespec file,
|
5
|
+
# and should therefore be configured there, under the variables/rake_tasks/unit_test
|
6
|
+
# entry, as illustrated below:
|
7
|
+
#
|
8
|
+
# variables:
|
9
|
+
# rake_tasks:
|
10
|
+
# unit_test:
|
11
|
+
# pattern: test/test*.rb
|
12
|
+
# verbose: false
|
13
|
+
# warning: false
|
14
|
+
# ...
|
15
|
+
#
|
16
|
+
# If you have specific needs requiring manual intervention on this file,
|
17
|
+
# don't forget to set safe-override to false in your noe specification:
|
18
|
+
#
|
19
|
+
# template-info:
|
20
|
+
# manifest:
|
21
|
+
# tasks/unit_test.rake:
|
22
|
+
# safe-override: false
|
23
|
+
#
|
24
|
+
# More info about the TestTask and its options can be found on
|
25
|
+
# http://rake.rubyforge.org/classes/Rake/TestTask.html
|
26
|
+
#
|
27
|
+
begin
|
28
|
+
require 'rake/testtask'
|
29
|
+
desc "Run unit tests"
|
30
|
+
Rake::TestTask.new(:unit_test) do |t|
|
31
|
+
|
32
|
+
# List of directories to added to $LOAD_PATH before running the
|
33
|
+
# tests. (default is 'lib')
|
34
|
+
t.libs = ["lib"]
|
35
|
+
|
36
|
+
# True if verbose test output desired. (default is false)
|
37
|
+
t.verbose = false
|
38
|
+
|
39
|
+
# Test options passed to the test suite. An explicit TESTOPTS=opts
|
40
|
+
# on the command line will override this. (default is NONE)
|
41
|
+
t.options = nil
|
42
|
+
|
43
|
+
# Request that the tests be run with the warning flag set.
|
44
|
+
# E.g. warning=true implies "ruby -w" used to run the tests.
|
45
|
+
t.warning = false
|
46
|
+
|
47
|
+
# Glob pattern to match test files. (default is 'test/test*.rb')
|
48
|
+
t.pattern = "test/test_*.rb"
|
49
|
+
|
50
|
+
# Style of test loader to use. Options are:
|
51
|
+
#
|
52
|
+
# * :rake -- Rake provided test loading script (default).
|
53
|
+
# * :testrb -- Ruby provided test loading script.
|
54
|
+
# * :direct -- Load tests using command line loader.
|
55
|
+
#
|
56
|
+
t.loader = :rake
|
57
|
+
|
58
|
+
# Array of commandline options to pass to ruby when running test
|
59
|
+
# loader.
|
60
|
+
t.ruby_opts = []
|
61
|
+
|
62
|
+
# Explicitly define the list of test files to be included in a
|
63
|
+
# test. +list+ is expected to be an array of file names (a
|
64
|
+
# FileList is acceptable). If both +pattern+ and +test_files+ are
|
65
|
+
# used, then the list of test files is the union of the two.
|
66
|
+
t.test_files = nil
|
67
|
+
|
68
|
+
end
|
69
|
+
rescue LoadError => ex
|
70
|
+
task :unit_test do
|
71
|
+
abort "rake/testtask does not seem available...\n #{ex.message}"
|
72
|
+
end
|
73
|
+
ensure
|
74
|
+
desc "Run all tests"
|
75
|
+
task :test => [:unit_test]
|
76
|
+
end
|
data/tasks/yard.rake
ADDED
@@ -0,0 +1,51 @@
|
|
1
|
+
# Installs a rake task to generate API documentation using yard.
|
2
|
+
#
|
3
|
+
# This file installs the 'rake yard' task. It is automatically generated by Noe from
|
4
|
+
# your .noespec file, and should therefore be configured there, under the
|
5
|
+
# variables/rake_tasks/yard entry, as illustrated below:
|
6
|
+
#
|
7
|
+
# variables:
|
8
|
+
# rake_tasks:
|
9
|
+
# yard:
|
10
|
+
# files: lib/**/*.rb
|
11
|
+
# options: []
|
12
|
+
# ...
|
13
|
+
#
|
14
|
+
# If you have specific needs requiring manual intervention on this file,
|
15
|
+
# don't forget to set safe-override to false in your noe specification:
|
16
|
+
#
|
17
|
+
# template-info:
|
18
|
+
# manifest:
|
19
|
+
# tasks/yard.rake:
|
20
|
+
# safe-override: false
|
21
|
+
#
|
22
|
+
# This file has been written to conform to yard v0.6.4. More information about
|
23
|
+
# yard and the rake task installed below can be found on http://yardoc.org/
|
24
|
+
#
|
25
|
+
begin
|
26
|
+
require "yard"
|
27
|
+
desc "Generate yard documentation"
|
28
|
+
YARD::Rake::YardocTask.new(:yard) do |t|
|
29
|
+
# Array of options passed to yardoc commandline. See 'yardoc --help' about this
|
30
|
+
t.options = ["--output-dir", "doc/api", "-", "README.md", "CHANGELOG.md", "LICENCE.md"]
|
31
|
+
|
32
|
+
# Array of ruby source files (and any extra documentation files
|
33
|
+
# separated by '-')
|
34
|
+
t.files = ["lib/**/*.rb"]
|
35
|
+
|
36
|
+
# A proc to call before running the task
|
37
|
+
# t.before = proc{ }
|
38
|
+
|
39
|
+
# A proc to call after running the task
|
40
|
+
# r.after = proc{ }
|
41
|
+
|
42
|
+
# An optional lambda to run against all objects being generated.
|
43
|
+
# Any object that the lambda returns false for will be excluded
|
44
|
+
# from documentation.
|
45
|
+
# t.verifier = lambda{|obj| true}
|
46
|
+
end
|
47
|
+
rescue LoadError
|
48
|
+
task :yard do
|
49
|
+
abort 'yard is not available. In order to run yard, you must: gem install yard'
|
50
|
+
end
|
51
|
+
end
|
metadata
ADDED
@@ -0,0 +1,493 @@
|
|
1
|
+
--- !ruby/object:Gem::Specification
|
2
|
+
name: gisele-vm
|
3
|
+
version: !ruby/object:Gem::Version
|
4
|
+
version: 0.6.0
|
5
|
+
prerelease:
|
6
|
+
platform: ruby
|
7
|
+
authors:
|
8
|
+
- Bernard Lambeau
|
9
|
+
autorequire:
|
10
|
+
bindir: bin
|
11
|
+
cert_chain: []
|
12
|
+
date: 2012-10-16 00:00:00.000000000 Z
|
13
|
+
dependencies:
|
14
|
+
- !ruby/object:Gem::Dependency
|
15
|
+
name: sqlite3
|
16
|
+
requirement: !ruby/object:Gem::Requirement
|
17
|
+
none: false
|
18
|
+
requirements:
|
19
|
+
- - ~>
|
20
|
+
- !ruby/object:Gem::Version
|
21
|
+
version: '1.3'
|
22
|
+
type: :development
|
23
|
+
prerelease: false
|
24
|
+
version_requirements: !ruby/object:Gem::Requirement
|
25
|
+
none: false
|
26
|
+
requirements:
|
27
|
+
- - ~>
|
28
|
+
- !ruby/object:Gem::Version
|
29
|
+
version: '1.3'
|
30
|
+
- !ruby/object:Gem::Dependency
|
31
|
+
name: rake
|
32
|
+
requirement: !ruby/object:Gem::Requirement
|
33
|
+
none: false
|
34
|
+
requirements:
|
35
|
+
- - ~>
|
36
|
+
- !ruby/object:Gem::Version
|
37
|
+
version: 0.9.2
|
38
|
+
type: :development
|
39
|
+
prerelease: false
|
40
|
+
version_requirements: !ruby/object:Gem::Requirement
|
41
|
+
none: false
|
42
|
+
requirements:
|
43
|
+
- - ~>
|
44
|
+
- !ruby/object:Gem::Version
|
45
|
+
version: 0.9.2
|
46
|
+
- !ruby/object:Gem::Dependency
|
47
|
+
name: rspec
|
48
|
+
requirement: !ruby/object:Gem::Requirement
|
49
|
+
none: false
|
50
|
+
requirements:
|
51
|
+
- - ~>
|
52
|
+
- !ruby/object:Gem::Version
|
53
|
+
version: '2.11'
|
54
|
+
type: :development
|
55
|
+
prerelease: false
|
56
|
+
version_requirements: !ruby/object:Gem::Requirement
|
57
|
+
none: false
|
58
|
+
requirements:
|
59
|
+
- - ~>
|
60
|
+
- !ruby/object:Gem::Version
|
61
|
+
version: '2.11'
|
62
|
+
- !ruby/object:Gem::Dependency
|
63
|
+
name: gisele-language
|
64
|
+
requirement: !ruby/object:Gem::Requirement
|
65
|
+
none: false
|
66
|
+
requirements:
|
67
|
+
- - ~>
|
68
|
+
- !ruby/object:Gem::Version
|
69
|
+
version: 0.6.0
|
70
|
+
type: :runtime
|
71
|
+
prerelease: false
|
72
|
+
version_requirements: !ruby/object:Gem::Requirement
|
73
|
+
none: false
|
74
|
+
requirements:
|
75
|
+
- - ~>
|
76
|
+
- !ruby/object:Gem::Version
|
77
|
+
version: 0.6.0
|
78
|
+
- !ruby/object:Gem::Dependency
|
79
|
+
name: alf
|
80
|
+
requirement: !ruby/object:Gem::Requirement
|
81
|
+
none: false
|
82
|
+
requirements:
|
83
|
+
- - ~>
|
84
|
+
- !ruby/object:Gem::Version
|
85
|
+
version: 0.12.2
|
86
|
+
type: :runtime
|
87
|
+
prerelease: false
|
88
|
+
version_requirements: !ruby/object:Gem::Requirement
|
89
|
+
none: false
|
90
|
+
requirements:
|
91
|
+
- - ~>
|
92
|
+
- !ruby/object:Gem::Version
|
93
|
+
version: 0.12.2
|
94
|
+
- !ruby/object:Gem::Dependency
|
95
|
+
name: stamina-core
|
96
|
+
requirement: !ruby/object:Gem::Requirement
|
97
|
+
none: false
|
98
|
+
requirements:
|
99
|
+
- - ~>
|
100
|
+
- !ruby/object:Gem::Version
|
101
|
+
version: 0.6.1
|
102
|
+
type: :runtime
|
103
|
+
prerelease: false
|
104
|
+
version_requirements: !ruby/object:Gem::Requirement
|
105
|
+
none: false
|
106
|
+
requirements:
|
107
|
+
- - ~>
|
108
|
+
- !ruby/object:Gem::Version
|
109
|
+
version: 0.6.1
|
110
|
+
- !ruby/object:Gem::Dependency
|
111
|
+
name: sequel
|
112
|
+
requirement: !ruby/object:Gem::Requirement
|
113
|
+
none: false
|
114
|
+
requirements:
|
115
|
+
- - ~>
|
116
|
+
- !ruby/object:Gem::Version
|
117
|
+
version: '3.40'
|
118
|
+
type: :runtime
|
119
|
+
prerelease: false
|
120
|
+
version_requirements: !ruby/object:Gem::Requirement
|
121
|
+
none: false
|
122
|
+
requirements:
|
123
|
+
- - ~>
|
124
|
+
- !ruby/object:Gem::Version
|
125
|
+
version: '3.40'
|
126
|
+
- !ruby/object:Gem::Dependency
|
127
|
+
name: eventmachine
|
128
|
+
requirement: !ruby/object:Gem::Requirement
|
129
|
+
none: false
|
130
|
+
requirements:
|
131
|
+
- - ~>
|
132
|
+
- !ruby/object:Gem::Version
|
133
|
+
version: 1.0.0
|
134
|
+
type: :runtime
|
135
|
+
prerelease: false
|
136
|
+
version_requirements: !ruby/object:Gem::Requirement
|
137
|
+
none: false
|
138
|
+
requirements:
|
139
|
+
- - ~>
|
140
|
+
- !ruby/object:Gem::Version
|
141
|
+
version: 1.0.0
|
142
|
+
description: ! 'This project provides a virtual machine for the modeling language
|
143
|
+
+gisele+
|
144
|
+
|
145
|
+
developed in the Gisele and PIPAS research projects at UCLouvain'
|
146
|
+
email:
|
147
|
+
- blambeau@gmail.com
|
148
|
+
executables:
|
149
|
+
- gvm
|
150
|
+
extensions: []
|
151
|
+
extra_rdoc_files:
|
152
|
+
- README.md
|
153
|
+
- CHANGELOG.md
|
154
|
+
- LICENCE.md
|
155
|
+
files:
|
156
|
+
- gisele-vm.gemspec
|
157
|
+
- gisele-vm.noespec
|
158
|
+
- CHANGELOG.md
|
159
|
+
- Gemfile
|
160
|
+
- Gemfile.lock
|
161
|
+
- bin/gvm
|
162
|
+
- lib/gisele/compiling/gisele2gts.rb
|
163
|
+
- lib/gisele/compiling/gts.rb
|
164
|
+
- lib/gisele/compiling/gts2bytecode.rb
|
165
|
+
- lib/gisele/compiling.rb
|
166
|
+
- lib/gisele/vm/bytecode/builder.rb
|
167
|
+
- lib/gisele/vm/bytecode/grammar.citrus
|
168
|
+
- lib/gisele/vm/bytecode/grammar.rb
|
169
|
+
- lib/gisele/vm/bytecode/grammar.sexp.yml
|
170
|
+
- lib/gisele/vm/bytecode/printer.rb
|
171
|
+
- lib/gisele/vm/bytecode.rb
|
172
|
+
- lib/gisele/vm/command.rb
|
173
|
+
- lib/gisele/vm/component.rb
|
174
|
+
- lib/gisele/vm/console.rb
|
175
|
+
- lib/gisele/vm/enacter.rb
|
176
|
+
- lib/gisele/vm/errors.rb
|
177
|
+
- lib/gisele/vm/event.rb
|
178
|
+
- lib/gisele/vm/event_manager.rb
|
179
|
+
- lib/gisele/vm/kernel/macros.gvm
|
180
|
+
- lib/gisele/vm/kernel/opcodes.rb
|
181
|
+
- lib/gisele/vm/kernel/runner.rb
|
182
|
+
- lib/gisele/vm/kernel.rb
|
183
|
+
- lib/gisele/vm/lifecycle.rb
|
184
|
+
- lib/gisele/vm/logging.rb
|
185
|
+
- lib/gisele/vm/null_object.rb
|
186
|
+
- lib/gisele/vm/prog.rb
|
187
|
+
- lib/gisele/vm/prog_list/memory.rb
|
188
|
+
- lib/gisele/vm/prog_list/sqldb.rb
|
189
|
+
- lib/gisele/vm/prog_list/storage.rb
|
190
|
+
- lib/gisele/vm/prog_list.rb
|
191
|
+
- lib/gisele/vm/proxy/client.rb
|
192
|
+
- lib/gisele/vm/proxy/server.rb
|
193
|
+
- lib/gisele/vm/proxy.rb
|
194
|
+
- lib/gisele/vm/registry.rb
|
195
|
+
- lib/gisele/vm/robustness.rb
|
196
|
+
- lib/gisele/vm/simulator/resumer.rb
|
197
|
+
- lib/gisele/vm.rb
|
198
|
+
- lib/gisele-vm/loader.rb
|
199
|
+
- lib/gisele-vm/version.rb
|
200
|
+
- lib/gisele-vm.rb
|
201
|
+
- LICENCE.md
|
202
|
+
- Manifest.txt
|
203
|
+
- Rakefile
|
204
|
+
- README.md
|
205
|
+
- spec/command/gvm_compile.cmd
|
206
|
+
- spec/command/gvm_compile.stdout
|
207
|
+
- spec/command/gvm_gts.cmd
|
208
|
+
- spec/command/gvm_gts.stdout
|
209
|
+
- spec/command/gvm_help.cmd
|
210
|
+
- spec/command/gvm_help.stdout
|
211
|
+
- spec/command/gvm_version.cmd
|
212
|
+
- spec/command/gvm_version.stdout
|
213
|
+
- spec/command/test_command.rb
|
214
|
+
- spec/fixtures/complete.gis
|
215
|
+
- spec/fixtures/fake_component.rb
|
216
|
+
- spec/fixtures/kernel.rb
|
217
|
+
- spec/fixtures/ts.adl
|
218
|
+
- spec/fixtures/ts.gts
|
219
|
+
- spec/fixtures/ts.gvm
|
220
|
+
- spec/spec_helper.rb
|
221
|
+
- spec/test_examples.rb
|
222
|
+
- spec/test_gisele-vm.rb
|
223
|
+
- spec/unit/bytecode/builder/test_at.rb
|
224
|
+
- spec/unit/bytecode/builder/test_helpers.rb
|
225
|
+
- spec/unit/bytecode/builder/test_instruction.rb
|
226
|
+
- spec/unit/bytecode/builder/test_to_a.rb
|
227
|
+
- spec/unit/bytecode/bytecode.gvm
|
228
|
+
- spec/unit/bytecode/grammar/fixtures/comments.gvm
|
229
|
+
- spec/unit/bytecode/grammar/fixtures/every.gvm
|
230
|
+
- spec/unit/bytecode/grammar/fixtures/singleblock.gvm
|
231
|
+
- spec/unit/bytecode/grammar/fixtures/twoblocks.gvm
|
232
|
+
- spec/unit/bytecode/grammar/fixtures/with_end.gvm
|
233
|
+
- spec/unit/bytecode/grammar/test_array.rb
|
234
|
+
- spec/unit/bytecode/grammar/test_block.rb
|
235
|
+
- spec/unit/bytecode/grammar/test_boolean.rb
|
236
|
+
- spec/unit/bytecode/grammar/test_constant.rb
|
237
|
+
- spec/unit/bytecode/grammar/test_eol.rb
|
238
|
+
- spec/unit/bytecode/grammar/test_eol_comment.rb
|
239
|
+
- spec/unit/bytecode/grammar/test_file.rb
|
240
|
+
- spec/unit/bytecode/grammar/test_hash.rb
|
241
|
+
- spec/unit/bytecode/grammar/test_instruction.rb
|
242
|
+
- spec/unit/bytecode/grammar/test_int.rb
|
243
|
+
- spec/unit/bytecode/grammar/test_label.rb
|
244
|
+
- spec/unit/bytecode/grammar/test_opcode.rb
|
245
|
+
- spec/unit/bytecode/grammar/test_string.rb
|
246
|
+
- spec/unit/bytecode/grammar/test_symbol.rb
|
247
|
+
- spec/unit/bytecode/test_build.rb
|
248
|
+
- spec/unit/bytecode/test_coerce.rb
|
249
|
+
- spec/unit/bytecode/test_fetch.rb
|
250
|
+
- spec/unit/bytecode/test_grammar.rb
|
251
|
+
- spec/unit/bytecode/test_parse.rb
|
252
|
+
- spec/unit/bytecode/test_plus.rb
|
253
|
+
- spec/unit/bytecode/test_to_a.rb
|
254
|
+
- spec/unit/bytecode/test_to_s.rb
|
255
|
+
- spec/unit/command/code.gis
|
256
|
+
- spec/unit/command/test_vm.rb
|
257
|
+
- spec/unit/compiling/gisele2gts/test_on_par_st.rb
|
258
|
+
- spec/unit/compiling/gisele2gts/test_on_seq_st.rb
|
259
|
+
- spec/unit/compiling/gisele2gts/test_on_task_call_st.rb
|
260
|
+
- spec/unit/compiling/gisele2gts/test_on_task_def.rb
|
261
|
+
- spec/unit/compiling/gisele2gts/test_on_unit_def.rb
|
262
|
+
- spec/unit/compiling/gts2bytecode/test_on_end.rb
|
263
|
+
- spec/unit/compiling/gts2bytecode/test_on_event.rb
|
264
|
+
- spec/unit/compiling/gts2bytecode/test_on_fork.rb
|
265
|
+
- spec/unit/compiling/gts2bytecode/test_on_join.rb
|
266
|
+
- spec/unit/compiling/gts2bytecode/test_on_listen.rb
|
267
|
+
- spec/unit/compiling/gts2bytecode/test_on_nop.rb
|
268
|
+
- spec/unit/component/test_component_name.rb
|
269
|
+
- spec/unit/component/test_logging.rb
|
270
|
+
- spec/unit/enacter/test_component.rb
|
271
|
+
- spec/unit/event/test_to_s.rb
|
272
|
+
- spec/unit/event_manager/test_component.rb
|
273
|
+
- spec/unit/event_manager/test_subscribe.rb
|
274
|
+
- spec/unit/event_manager/test_unsubscribe.rb
|
275
|
+
- spec/unit/kernel/macros/test_fork.rb
|
276
|
+
- spec/unit/kernel/macros/test_join.rb
|
277
|
+
- spec/unit/kernel/macros/test_listen.rb
|
278
|
+
- spec/unit/kernel/macros/test_notify.rb
|
279
|
+
- spec/unit/kernel/macros/test_react.rb
|
280
|
+
- spec/unit/kernel/macros/test_schedule_at.rb
|
281
|
+
- spec/unit/kernel/opcodes/test_op_del.rb
|
282
|
+
- spec/unit/kernel/opcodes/test_op_event.rb
|
283
|
+
- spec/unit/kernel/opcodes/test_op_fetch.rb
|
284
|
+
- spec/unit/kernel/opcodes/test_op_flip.rb
|
285
|
+
- spec/unit/kernel/opcodes/test_op_fold.rb
|
286
|
+
- spec/unit/kernel/opcodes/test_op_fork.rb
|
287
|
+
- spec/unit/kernel/opcodes/test_op_forka.rb
|
288
|
+
- spec/unit/kernel/opcodes/test_op_get.rb
|
289
|
+
- spec/unit/kernel/opcodes/test_op_getr.rb
|
290
|
+
- spec/unit/kernel/opcodes/test_op_ifenil.rb
|
291
|
+
- spec/unit/kernel/opcodes/test_op_ifezero.rb
|
292
|
+
- spec/unit/kernel/opcodes/test_op_invoke.rb
|
293
|
+
- spec/unit/kernel/opcodes/test_op_nop.rb
|
294
|
+
- spec/unit/kernel/opcodes/test_op_parent.rb
|
295
|
+
- spec/unit/kernel/opcodes/test_op_pop.rb
|
296
|
+
- spec/unit/kernel/opcodes/test_op_push.rb
|
297
|
+
- spec/unit/kernel/opcodes/test_op_save.rb
|
298
|
+
- spec/unit/kernel/opcodes/test_op_savea.rb
|
299
|
+
- spec/unit/kernel/opcodes/test_op_self.rb
|
300
|
+
- spec/unit/kernel/opcodes/test_op_send.rb
|
301
|
+
- spec/unit/kernel/opcodes/test_op_set.rb
|
302
|
+
- spec/unit/kernel/opcodes/test_op_then.rb
|
303
|
+
- spec/unit/kernel/opcodes/test_op_unfold.rb
|
304
|
+
- spec/unit/kernel/opcodes/test_op_uuid.rb
|
305
|
+
- spec/unit/kernel/runner/test_pop.rb
|
306
|
+
- spec/unit/kernel/runner/test_stack.rb
|
307
|
+
- spec/unit/kernel/test_progress.rb
|
308
|
+
- spec/unit/kernel/test_resume.rb
|
309
|
+
- spec/unit/kernel/test_start.rb
|
310
|
+
- spec/unit/prog/test_to_hash.rb
|
311
|
+
- spec/unit/prog/test_waitlist_eq.rb
|
312
|
+
- spec/unit/prog_list/memory/test_component.rb
|
313
|
+
- spec/unit/prog_list/memory/test_fetch.rb
|
314
|
+
- spec/unit/prog_list/memory/test_pick.rb
|
315
|
+
- spec/unit/prog_list/memory/test_save.rb
|
316
|
+
- spec/unit/prog_list/memory/test_to_relation.rb
|
317
|
+
- spec/unit/prog_list/sqldb/test_component.rb
|
318
|
+
- spec/unit/prog_list/sqldb/test_connect.rb
|
319
|
+
- spec/unit/prog_list/test_memory.rb
|
320
|
+
- spec/unit/prog_list/test_sqldb.rb
|
321
|
+
- spec/unit/prog_list/test_storage.rb
|
322
|
+
- spec/unit/registry/test_component.rb
|
323
|
+
- spec/unit/registry/test_connect.rb
|
324
|
+
- spec/unit/registry/test_disconnect.rb
|
325
|
+
- spec/unit/registry/test_registration.rb
|
326
|
+
- spec/unit/shared/a_component.rb
|
327
|
+
- spec/unit/shared/a_storage.rb
|
328
|
+
- spec/unit/test_logging.rb
|
329
|
+
- spec/unit/test_prog.rb
|
330
|
+
- spec/unit/test_prog_list.rb
|
331
|
+
- spec/unit/vm/test_event_facace.rb
|
332
|
+
- spec/unit/vm/test_initialize.rb
|
333
|
+
- spec/unit/vm/test_proglist_facade.rb
|
334
|
+
- tasks/debug_mail.rake
|
335
|
+
- tasks/debug_mail.txt
|
336
|
+
- tasks/gem.rake
|
337
|
+
- tasks/spec_test.rake
|
338
|
+
- tasks/unit_test.rake
|
339
|
+
- tasks/yard.rake
|
340
|
+
homepage: https://github.com/blambeau/gisele-vm
|
341
|
+
licenses: []
|
342
|
+
post_install_message:
|
343
|
+
rdoc_options: []
|
344
|
+
require_paths:
|
345
|
+
- lib
|
346
|
+
required_ruby_version: !ruby/object:Gem::Requirement
|
347
|
+
none: false
|
348
|
+
requirements:
|
349
|
+
- - ! '>='
|
350
|
+
- !ruby/object:Gem::Version
|
351
|
+
version: '0'
|
352
|
+
required_rubygems_version: !ruby/object:Gem::Requirement
|
353
|
+
none: false
|
354
|
+
requirements:
|
355
|
+
- - ! '>='
|
356
|
+
- !ruby/object:Gem::Version
|
357
|
+
version: '0'
|
358
|
+
requirements: []
|
359
|
+
rubyforge_project:
|
360
|
+
rubygems_version: 1.8.24
|
361
|
+
signing_key:
|
362
|
+
specification_version: 3
|
363
|
+
summary: A virtual machine for the gisele process language.
|
364
|
+
test_files:
|
365
|
+
- spec/command/gvm_compile.cmd
|
366
|
+
- spec/command/gvm_compile.stdout
|
367
|
+
- spec/command/gvm_gts.cmd
|
368
|
+
- spec/command/gvm_gts.stdout
|
369
|
+
- spec/command/gvm_help.cmd
|
370
|
+
- spec/command/gvm_help.stdout
|
371
|
+
- spec/command/gvm_version.cmd
|
372
|
+
- spec/command/gvm_version.stdout
|
373
|
+
- spec/command/test_command.rb
|
374
|
+
- spec/fixtures/complete.gis
|
375
|
+
- spec/fixtures/fake_component.rb
|
376
|
+
- spec/fixtures/kernel.rb
|
377
|
+
- spec/fixtures/ts.adl
|
378
|
+
- spec/fixtures/ts.gts
|
379
|
+
- spec/fixtures/ts.gvm
|
380
|
+
- spec/spec_helper.rb
|
381
|
+
- spec/test_examples.rb
|
382
|
+
- spec/test_gisele-vm.rb
|
383
|
+
- spec/unit/bytecode/builder/test_at.rb
|
384
|
+
- spec/unit/bytecode/builder/test_helpers.rb
|
385
|
+
- spec/unit/bytecode/builder/test_instruction.rb
|
386
|
+
- spec/unit/bytecode/builder/test_to_a.rb
|
387
|
+
- spec/unit/bytecode/bytecode.gvm
|
388
|
+
- spec/unit/bytecode/grammar/fixtures/comments.gvm
|
389
|
+
- spec/unit/bytecode/grammar/fixtures/every.gvm
|
390
|
+
- spec/unit/bytecode/grammar/fixtures/singleblock.gvm
|
391
|
+
- spec/unit/bytecode/grammar/fixtures/twoblocks.gvm
|
392
|
+
- spec/unit/bytecode/grammar/fixtures/with_end.gvm
|
393
|
+
- spec/unit/bytecode/grammar/test_array.rb
|
394
|
+
- spec/unit/bytecode/grammar/test_block.rb
|
395
|
+
- spec/unit/bytecode/grammar/test_boolean.rb
|
396
|
+
- spec/unit/bytecode/grammar/test_constant.rb
|
397
|
+
- spec/unit/bytecode/grammar/test_eol.rb
|
398
|
+
- spec/unit/bytecode/grammar/test_eol_comment.rb
|
399
|
+
- spec/unit/bytecode/grammar/test_file.rb
|
400
|
+
- spec/unit/bytecode/grammar/test_hash.rb
|
401
|
+
- spec/unit/bytecode/grammar/test_instruction.rb
|
402
|
+
- spec/unit/bytecode/grammar/test_int.rb
|
403
|
+
- spec/unit/bytecode/grammar/test_label.rb
|
404
|
+
- spec/unit/bytecode/grammar/test_opcode.rb
|
405
|
+
- spec/unit/bytecode/grammar/test_string.rb
|
406
|
+
- spec/unit/bytecode/grammar/test_symbol.rb
|
407
|
+
- spec/unit/bytecode/test_build.rb
|
408
|
+
- spec/unit/bytecode/test_coerce.rb
|
409
|
+
- spec/unit/bytecode/test_fetch.rb
|
410
|
+
- spec/unit/bytecode/test_grammar.rb
|
411
|
+
- spec/unit/bytecode/test_parse.rb
|
412
|
+
- spec/unit/bytecode/test_plus.rb
|
413
|
+
- spec/unit/bytecode/test_to_a.rb
|
414
|
+
- spec/unit/bytecode/test_to_s.rb
|
415
|
+
- spec/unit/command/code.gis
|
416
|
+
- spec/unit/command/test_vm.rb
|
417
|
+
- spec/unit/compiling/gisele2gts/test_on_par_st.rb
|
418
|
+
- spec/unit/compiling/gisele2gts/test_on_seq_st.rb
|
419
|
+
- spec/unit/compiling/gisele2gts/test_on_task_call_st.rb
|
420
|
+
- spec/unit/compiling/gisele2gts/test_on_task_def.rb
|
421
|
+
- spec/unit/compiling/gisele2gts/test_on_unit_def.rb
|
422
|
+
- spec/unit/compiling/gts2bytecode/test_on_end.rb
|
423
|
+
- spec/unit/compiling/gts2bytecode/test_on_event.rb
|
424
|
+
- spec/unit/compiling/gts2bytecode/test_on_fork.rb
|
425
|
+
- spec/unit/compiling/gts2bytecode/test_on_join.rb
|
426
|
+
- spec/unit/compiling/gts2bytecode/test_on_listen.rb
|
427
|
+
- spec/unit/compiling/gts2bytecode/test_on_nop.rb
|
428
|
+
- spec/unit/component/test_component_name.rb
|
429
|
+
- spec/unit/component/test_logging.rb
|
430
|
+
- spec/unit/enacter/test_component.rb
|
431
|
+
- spec/unit/event/test_to_s.rb
|
432
|
+
- spec/unit/event_manager/test_component.rb
|
433
|
+
- spec/unit/event_manager/test_subscribe.rb
|
434
|
+
- spec/unit/event_manager/test_unsubscribe.rb
|
435
|
+
- spec/unit/kernel/macros/test_fork.rb
|
436
|
+
- spec/unit/kernel/macros/test_join.rb
|
437
|
+
- spec/unit/kernel/macros/test_listen.rb
|
438
|
+
- spec/unit/kernel/macros/test_notify.rb
|
439
|
+
- spec/unit/kernel/macros/test_react.rb
|
440
|
+
- spec/unit/kernel/macros/test_schedule_at.rb
|
441
|
+
- spec/unit/kernel/opcodes/test_op_del.rb
|
442
|
+
- spec/unit/kernel/opcodes/test_op_event.rb
|
443
|
+
- spec/unit/kernel/opcodes/test_op_fetch.rb
|
444
|
+
- spec/unit/kernel/opcodes/test_op_flip.rb
|
445
|
+
- spec/unit/kernel/opcodes/test_op_fold.rb
|
446
|
+
- spec/unit/kernel/opcodes/test_op_fork.rb
|
447
|
+
- spec/unit/kernel/opcodes/test_op_forka.rb
|
448
|
+
- spec/unit/kernel/opcodes/test_op_get.rb
|
449
|
+
- spec/unit/kernel/opcodes/test_op_getr.rb
|
450
|
+
- spec/unit/kernel/opcodes/test_op_ifenil.rb
|
451
|
+
- spec/unit/kernel/opcodes/test_op_ifezero.rb
|
452
|
+
- spec/unit/kernel/opcodes/test_op_invoke.rb
|
453
|
+
- spec/unit/kernel/opcodes/test_op_nop.rb
|
454
|
+
- spec/unit/kernel/opcodes/test_op_parent.rb
|
455
|
+
- spec/unit/kernel/opcodes/test_op_pop.rb
|
456
|
+
- spec/unit/kernel/opcodes/test_op_push.rb
|
457
|
+
- spec/unit/kernel/opcodes/test_op_save.rb
|
458
|
+
- spec/unit/kernel/opcodes/test_op_savea.rb
|
459
|
+
- spec/unit/kernel/opcodes/test_op_self.rb
|
460
|
+
- spec/unit/kernel/opcodes/test_op_send.rb
|
461
|
+
- spec/unit/kernel/opcodes/test_op_set.rb
|
462
|
+
- spec/unit/kernel/opcodes/test_op_then.rb
|
463
|
+
- spec/unit/kernel/opcodes/test_op_unfold.rb
|
464
|
+
- spec/unit/kernel/opcodes/test_op_uuid.rb
|
465
|
+
- spec/unit/kernel/runner/test_pop.rb
|
466
|
+
- spec/unit/kernel/runner/test_stack.rb
|
467
|
+
- spec/unit/kernel/test_progress.rb
|
468
|
+
- spec/unit/kernel/test_resume.rb
|
469
|
+
- spec/unit/kernel/test_start.rb
|
470
|
+
- spec/unit/prog/test_to_hash.rb
|
471
|
+
- spec/unit/prog/test_waitlist_eq.rb
|
472
|
+
- spec/unit/prog_list/memory/test_component.rb
|
473
|
+
- spec/unit/prog_list/memory/test_fetch.rb
|
474
|
+
- spec/unit/prog_list/memory/test_pick.rb
|
475
|
+
- spec/unit/prog_list/memory/test_save.rb
|
476
|
+
- spec/unit/prog_list/memory/test_to_relation.rb
|
477
|
+
- spec/unit/prog_list/sqldb/test_component.rb
|
478
|
+
- spec/unit/prog_list/sqldb/test_connect.rb
|
479
|
+
- spec/unit/prog_list/test_memory.rb
|
480
|
+
- spec/unit/prog_list/test_sqldb.rb
|
481
|
+
- spec/unit/prog_list/test_storage.rb
|
482
|
+
- spec/unit/registry/test_component.rb
|
483
|
+
- spec/unit/registry/test_connect.rb
|
484
|
+
- spec/unit/registry/test_disconnect.rb
|
485
|
+
- spec/unit/registry/test_registration.rb
|
486
|
+
- spec/unit/shared/a_component.rb
|
487
|
+
- spec/unit/shared/a_storage.rb
|
488
|
+
- spec/unit/test_logging.rb
|
489
|
+
- spec/unit/test_prog.rb
|
490
|
+
- spec/unit/test_prog_list.rb
|
491
|
+
- spec/unit/vm/test_event_facace.rb
|
492
|
+
- spec/unit/vm/test_initialize.rb
|
493
|
+
- spec/unit/vm/test_proglist_facade.rb
|