gisele-vm 0.6.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (185) hide show
  1. data/CHANGELOG.md +5 -0
  2. data/Gemfile +18 -0
  3. data/Gemfile.lock +46 -0
  4. data/LICENCE.md +22 -0
  5. data/Manifest.txt +15 -0
  6. data/README.md +10 -0
  7. data/Rakefile +11 -0
  8. data/bin/gvm +9 -0
  9. data/gisele-vm.gemspec +191 -0
  10. data/gisele-vm.noespec +31 -0
  11. data/lib/gisele-vm.rb +4 -0
  12. data/lib/gisele-vm/loader.rb +5 -0
  13. data/lib/gisele-vm/version.rb +16 -0
  14. data/lib/gisele/compiling.rb +3 -0
  15. data/lib/gisele/compiling/gisele2gts.rb +143 -0
  16. data/lib/gisele/compiling/gts.rb +74 -0
  17. data/lib/gisele/compiling/gts2bytecode.rb +127 -0
  18. data/lib/gisele/vm.rb +87 -0
  19. data/lib/gisele/vm/bytecode.rb +84 -0
  20. data/lib/gisele/vm/bytecode/builder.rb +77 -0
  21. data/lib/gisele/vm/bytecode/grammar.citrus +116 -0
  22. data/lib/gisele/vm/bytecode/grammar.rb +19 -0
  23. data/lib/gisele/vm/bytecode/grammar.sexp.yml +113 -0
  24. data/lib/gisele/vm/bytecode/printer.rb +35 -0
  25. data/lib/gisele/vm/command.rb +140 -0
  26. data/lib/gisele/vm/component.rb +91 -0
  27. data/lib/gisele/vm/console.rb +58 -0
  28. data/lib/gisele/vm/enacter.rb +29 -0
  29. data/lib/gisele/vm/errors.rb +26 -0
  30. data/lib/gisele/vm/event.rb +11 -0
  31. data/lib/gisele/vm/event_manager.rb +65 -0
  32. data/lib/gisele/vm/kernel.rb +58 -0
  33. data/lib/gisele/vm/kernel/macros.gvm +214 -0
  34. data/lib/gisele/vm/kernel/opcodes.rb +212 -0
  35. data/lib/gisele/vm/kernel/runner.rb +63 -0
  36. data/lib/gisele/vm/lifecycle.rb +72 -0
  37. data/lib/gisele/vm/logging.rb +18 -0
  38. data/lib/gisele/vm/null_object.rb +19 -0
  39. data/lib/gisele/vm/prog.rb +63 -0
  40. data/lib/gisele/vm/prog_list.rb +55 -0
  41. data/lib/gisele/vm/prog_list/memory.rb +74 -0
  42. data/lib/gisele/vm/prog_list/sqldb.rb +123 -0
  43. data/lib/gisele/vm/prog_list/storage.rb +31 -0
  44. data/lib/gisele/vm/proxy.rb +14 -0
  45. data/lib/gisele/vm/proxy/client.rb +64 -0
  46. data/lib/gisele/vm/proxy/server.rb +29 -0
  47. data/lib/gisele/vm/registry.rb +57 -0
  48. data/lib/gisele/vm/robustness.rb +31 -0
  49. data/lib/gisele/vm/simulator/resumer.rb +32 -0
  50. data/spec/command/gvm_compile.cmd +1 -0
  51. data/spec/command/gvm_compile.stdout +111 -0
  52. data/spec/command/gvm_gts.cmd +1 -0
  53. data/spec/command/gvm_gts.stdout +101 -0
  54. data/spec/command/gvm_help.cmd +1 -0
  55. data/spec/command/gvm_help.stdout +30 -0
  56. data/spec/command/gvm_version.cmd +1 -0
  57. data/spec/command/gvm_version.stdout +2 -0
  58. data/spec/command/test_command.rb +29 -0
  59. data/spec/fixtures/complete.gis +13 -0
  60. data/spec/fixtures/fake_component.rb +24 -0
  61. data/spec/fixtures/kernel.rb +39 -0
  62. data/spec/fixtures/ts.adl +11 -0
  63. data/spec/fixtures/ts.gts +20 -0
  64. data/spec/fixtures/ts.gvm +19 -0
  65. data/spec/spec_helper.rb +86 -0
  66. data/spec/test_examples.rb +29 -0
  67. data/spec/test_gisele-vm.rb +8 -0
  68. data/spec/unit/bytecode/builder/test_at.rb +56 -0
  69. data/spec/unit/bytecode/builder/test_helpers.rb +36 -0
  70. data/spec/unit/bytecode/builder/test_instruction.rb +35 -0
  71. data/spec/unit/bytecode/builder/test_to_a.rb +53 -0
  72. data/spec/unit/bytecode/bytecode.gvm +1 -0
  73. data/spec/unit/bytecode/grammar/fixtures/comments.gvm +16 -0
  74. data/spec/unit/bytecode/grammar/fixtures/every.gvm +46 -0
  75. data/spec/unit/bytecode/grammar/fixtures/singleblock.gvm +2 -0
  76. data/spec/unit/bytecode/grammar/fixtures/twoblocks.gvm +4 -0
  77. data/spec/unit/bytecode/grammar/fixtures/with_end.gvm +5 -0
  78. data/spec/unit/bytecode/grammar/test_array.rb +24 -0
  79. data/spec/unit/bytecode/grammar/test_block.rb +35 -0
  80. data/spec/unit/bytecode/grammar/test_boolean.rb +20 -0
  81. data/spec/unit/bytecode/grammar/test_constant.rb +20 -0
  82. data/spec/unit/bytecode/grammar/test_eol.rb +20 -0
  83. data/spec/unit/bytecode/grammar/test_eol_comment.rb +36 -0
  84. data/spec/unit/bytecode/grammar/test_file.rb +38 -0
  85. data/spec/unit/bytecode/grammar/test_hash.rb +33 -0
  86. data/spec/unit/bytecode/grammar/test_instruction.rb +32 -0
  87. data/spec/unit/bytecode/grammar/test_int.rb +24 -0
  88. data/spec/unit/bytecode/grammar/test_label.rb +24 -0
  89. data/spec/unit/bytecode/grammar/test_opcode.rb +23 -0
  90. data/spec/unit/bytecode/grammar/test_string.rb +25 -0
  91. data/spec/unit/bytecode/grammar/test_symbol.rb +30 -0
  92. data/spec/unit/bytecode/test_build.rb +36 -0
  93. data/spec/unit/bytecode/test_coerce.rb +41 -0
  94. data/spec/unit/bytecode/test_fetch.rb +20 -0
  95. data/spec/unit/bytecode/test_grammar.rb +30 -0
  96. data/spec/unit/bytecode/test_parse.rb +22 -0
  97. data/spec/unit/bytecode/test_plus.rb +27 -0
  98. data/spec/unit/bytecode/test_to_a.rb +19 -0
  99. data/spec/unit/bytecode/test_to_s.rb +32 -0
  100. data/spec/unit/command/code.gis +3 -0
  101. data/spec/unit/command/test_vm.rb +51 -0
  102. data/spec/unit/compiling/gisele2gts/test_on_par_st.rb +51 -0
  103. data/spec/unit/compiling/gisele2gts/test_on_seq_st.rb +46 -0
  104. data/spec/unit/compiling/gisele2gts/test_on_task_call_st.rb +37 -0
  105. data/spec/unit/compiling/gisele2gts/test_on_task_def.rb +49 -0
  106. data/spec/unit/compiling/gisele2gts/test_on_unit_def.rb +35 -0
  107. data/spec/unit/compiling/gts2bytecode/test_on_end.rb +31 -0
  108. data/spec/unit/compiling/gts2bytecode/test_on_event.rb +37 -0
  109. data/spec/unit/compiling/gts2bytecode/test_on_fork.rb +41 -0
  110. data/spec/unit/compiling/gts2bytecode/test_on_join.rb +42 -0
  111. data/spec/unit/compiling/gts2bytecode/test_on_listen.rb +36 -0
  112. data/spec/unit/compiling/gts2bytecode/test_on_nop.rb +30 -0
  113. data/spec/unit/component/test_component_name.rb +16 -0
  114. data/spec/unit/component/test_logging.rb +36 -0
  115. data/spec/unit/enacter/test_component.rb +11 -0
  116. data/spec/unit/event/test_to_s.rb +12 -0
  117. data/spec/unit/event_manager/test_component.rb +9 -0
  118. data/spec/unit/event_manager/test_subscribe.rb +40 -0
  119. data/spec/unit/event_manager/test_unsubscribe.rb +39 -0
  120. data/spec/unit/kernel/macros/test_fork.rb +37 -0
  121. data/spec/unit/kernel/macros/test_join.rb +43 -0
  122. data/spec/unit/kernel/macros/test_listen.rb +37 -0
  123. data/spec/unit/kernel/macros/test_notify.rb +57 -0
  124. data/spec/unit/kernel/macros/test_react.rb +47 -0
  125. data/spec/unit/kernel/macros/test_schedule_at.rb +30 -0
  126. data/spec/unit/kernel/opcodes/test_op_del.rb +42 -0
  127. data/spec/unit/kernel/opcodes/test_op_event.rb +25 -0
  128. data/spec/unit/kernel/opcodes/test_op_fetch.rb +27 -0
  129. data/spec/unit/kernel/opcodes/test_op_flip.rb +17 -0
  130. data/spec/unit/kernel/opcodes/test_op_fold.rb +29 -0
  131. data/spec/unit/kernel/opcodes/test_op_fork.rb +63 -0
  132. data/spec/unit/kernel/opcodes/test_op_forka.rb +51 -0
  133. data/spec/unit/kernel/opcodes/test_op_get.rb +62 -0
  134. data/spec/unit/kernel/opcodes/test_op_getr.rb +48 -0
  135. data/spec/unit/kernel/opcodes/test_op_ifenil.rb +41 -0
  136. data/spec/unit/kernel/opcodes/test_op_ifezero.rb +32 -0
  137. data/spec/unit/kernel/opcodes/test_op_invoke.rb +34 -0
  138. data/spec/unit/kernel/opcodes/test_op_nop.rb +18 -0
  139. data/spec/unit/kernel/opcodes/test_op_parent.rb +39 -0
  140. data/spec/unit/kernel/opcodes/test_op_pop.rb +22 -0
  141. data/spec/unit/kernel/opcodes/test_op_push.rb +17 -0
  142. data/spec/unit/kernel/opcodes/test_op_save.rb +32 -0
  143. data/spec/unit/kernel/opcodes/test_op_savea.rb +34 -0
  144. data/spec/unit/kernel/opcodes/test_op_self.rb +20 -0
  145. data/spec/unit/kernel/opcodes/test_op_send.rb +20 -0
  146. data/spec/unit/kernel/opcodes/test_op_set.rb +61 -0
  147. data/spec/unit/kernel/opcodes/test_op_then.rb +50 -0
  148. data/spec/unit/kernel/opcodes/test_op_unfold.rb +22 -0
  149. data/spec/unit/kernel/opcodes/test_op_uuid.rb +16 -0
  150. data/spec/unit/kernel/runner/test_pop.rb +26 -0
  151. data/spec/unit/kernel/runner/test_stack.rb +28 -0
  152. data/spec/unit/kernel/test_progress.rb +47 -0
  153. data/spec/unit/kernel/test_resume.rb +53 -0
  154. data/spec/unit/kernel/test_start.rb +36 -0
  155. data/spec/unit/prog/test_to_hash.rb +29 -0
  156. data/spec/unit/prog/test_waitlist_eq.rb +20 -0
  157. data/spec/unit/prog_list/memory/test_component.rb +9 -0
  158. data/spec/unit/prog_list/memory/test_fetch.rb +40 -0
  159. data/spec/unit/prog_list/memory/test_pick.rb +39 -0
  160. data/spec/unit/prog_list/memory/test_save.rb +91 -0
  161. data/spec/unit/prog_list/memory/test_to_relation.rb +17 -0
  162. data/spec/unit/prog_list/sqldb/test_component.rb +11 -0
  163. data/spec/unit/prog_list/sqldb/test_connect.rb +46 -0
  164. data/spec/unit/prog_list/test_memory.rb +9 -0
  165. data/spec/unit/prog_list/test_sqldb.rb +13 -0
  166. data/spec/unit/prog_list/test_storage.rb +51 -0
  167. data/spec/unit/registry/test_component.rb +9 -0
  168. data/spec/unit/registry/test_connect.rb +53 -0
  169. data/spec/unit/registry/test_disconnect.rb +51 -0
  170. data/spec/unit/registry/test_registration.rb +44 -0
  171. data/spec/unit/shared/a_component.rb +49 -0
  172. data/spec/unit/shared/a_storage.rb +114 -0
  173. data/spec/unit/test_logging.rb +46 -0
  174. data/spec/unit/test_prog.rb +57 -0
  175. data/spec/unit/test_prog_list.rb +22 -0
  176. data/spec/unit/vm/test_event_facace.rb +11 -0
  177. data/spec/unit/vm/test_initialize.rb +59 -0
  178. data/spec/unit/vm/test_proglist_facade.rb +21 -0
  179. data/tasks/debug_mail.rake +75 -0
  180. data/tasks/debug_mail.txt +13 -0
  181. data/tasks/gem.rake +73 -0
  182. data/tasks/spec_test.rake +71 -0
  183. data/tasks/unit_test.rake +76 -0
  184. data/tasks/yard.rake +51 -0
  185. 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
@@ -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