gisele-vm 0.6.0

Sign up to get free protection for your applications and to get access to all the features.
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