gisele 0.5.1 → 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 (66) hide show
  1. data/Gemfile +2 -3
  2. data/Gemfile.lock +15 -7
  3. data/bin/tast2fsp +53 -0
  4. data/examples/dqaad/dqaad.gif +0 -0
  5. data/examples/dqaad/dqaad.gis +31 -0
  6. data/examples/meeting-scheduler/MeetingScheduling.dot +46 -0
  7. data/examples/meeting-scheduler/MeetingScheduling.gif +0 -0
  8. data/examples/meeting-scheduler/MeetingScheduling.gis +1 -1
  9. data/examples/rectal-cancer-pathway/RectalCancerPathway.dot +55 -0
  10. data/examples/rectal-cancer-pathway/RectalCancerPathway.gif +0 -0
  11. data/examples/union/breast.gis +19 -0
  12. data/examples/union/breast/deterministic.dot +33 -0
  13. data/examples/union/breast/deterministic.gif +0 -0
  14. data/examples/union/breast/glts.dot +53 -0
  15. data/examples/union/breast/glts.gif +0 -0
  16. data/examples/union/breast/minimal.dot +31 -0
  17. data/examples/union/breast/minimal.gif +0 -0
  18. data/examples/union/breast/wf.dot +21 -0
  19. data/examples/union/breast/wf.gif +0 -0
  20. data/examples/union/dot.rb +6 -0
  21. data/examples/union/merged.dot +42 -0
  22. data/examples/union/merged.gif +0 -0
  23. data/examples/union/minim.dot +41 -0
  24. data/examples/union/minim.gif +0 -0
  25. data/examples/union/rectal.gis +20 -0
  26. data/examples/union/rectal/deterministic.dot +37 -0
  27. data/examples/union/rectal/deterministic.gif +0 -0
  28. data/examples/union/rectal/glts.dot +59 -0
  29. data/examples/union/rectal/glts.gif +0 -0
  30. data/examples/union/rectal/minimal.dot +35 -0
  31. data/examples/union/rectal/minimal.gif +0 -0
  32. data/examples/union/rectal/wf.dot +23 -0
  33. data/examples/union/rectal/wf.gif +0 -0
  34. data/examples/union/union.gis +48 -0
  35. data/examples/union/union.rb +39 -0
  36. data/examples/while/while-deteministic.gif +0 -0
  37. data/examples/while/while.dot +30 -0
  38. data/examples/while/while.gif +0 -0
  39. data/examples/while/while.gis +10 -0
  40. data/gisele.gemspec +2 -3
  41. data/gisele.noespec +3 -4
  42. data/lib/gisele.rb +0 -1
  43. data/lib/gisele/command.rb +30 -8
  44. data/lib/gisele/errors.rb +4 -0
  45. data/lib/gisele/loader.rb +1 -2
  46. data/lib/gisele/version.rb +2 -2
  47. data/spec/command/main/gisele_glts.stdout +89 -83
  48. data/spec/command/main/gisele_help.stdout +3 -0
  49. data/spec/command/main/gisele_no_sugar.stdout +34 -1
  50. data/spec/command/main/gisele_version.stdout +1 -1
  51. data/spec/fixtures/tasks/complete.gis +5 -1
  52. metadata +88 -43
  53. data/examples/merge/BreastCancer.dot +0 -30
  54. data/examples/merge/BreastCancer.gif +0 -0
  55. data/examples/merge/BreastCancer.gis +0 -17
  56. data/examples/merge/Merge.dot +0 -46
  57. data/examples/merge/Merge.gif +0 -0
  58. data/examples/merge/RectalCancer.dot +0 -22
  59. data/examples/merge/RectalCancer.gif +0 -0
  60. data/examples/merge/RectalCancer.gis +0 -15
  61. data/lib/gisele/compiling.rb +0 -2
  62. data/lib/gisele/compiling/to_glts.rb +0 -125
  63. data/lib/gisele/compiling/to_graph.rb +0 -160
  64. data/lib/gisele/compiling/to_graph.yml +0 -20
  65. data/spec/unit/compiling/test_to_glts.rb +0 -20
  66. data/spec/unit/compiling/test_to_graph.rb +0 -19
@@ -18,4 +18,8 @@ module Gisele
18
18
  class UnexpectedNodeError < InternalError
19
19
  end
20
20
 
21
+ # Raised when a variable is not known.
22
+ class NoSuchVariableError < Error
23
+ end
24
+
21
25
  end # module Gisele
@@ -2,5 +2,4 @@ require "path"
2
2
  require "quickl"
3
3
  require "awesome_print"
4
4
  require "yargi"
5
- require "stamina-core"
6
- require "gisele-language"
5
+ require "gisele-analysis"
@@ -2,8 +2,8 @@ module Gisele
2
2
  module Version
3
3
 
4
4
  MAJOR = 0
5
- MINOR = 5
6
- TINY = 1
5
+ MINOR = 6
6
+ TINY = 0
7
7
 
8
8
  def self.to_s
9
9
  [ MAJOR, MINOR, TINY ].join('.')
@@ -1,85 +1,91 @@
1
1
  digraph G {
2
- graph [rankdir="LR"];
3
- 0 [color="black" fillcolor="green" shape="circle" style="filled"];
4
- 2 [color="black" fillcolor="white" shape="circle" style="filled"];
5
- 4 [color="black" fillcolor="white" shape="circle" style="filled"];
6
- 6 [color="black" fillcolor="white" shape="circle" style="filled"];
7
- 5 [color="black" fillcolor="white" shape="circle" style="filled"];
8
- 7 [color="black" fillcolor="white" shape="circle" style="filled"];
9
- 9 [color="black" fillcolor="white" shape="circle" style="filled"];
10
- 10 [color="black" fillcolor="white" shape="circle" style="filled"];
11
- 21 [color="black" fillcolor="white" shape="circle" style="filled"];
12
- 18 [color="black" fillcolor="white" shape="circle" style="filled"];
13
- 23 [color="black" fillcolor="white" shape="circle" style="filled"];
14
- 20 [color="black" fillcolor="white" shape="circle" style="filled"];
15
- 12 [color="black" fillcolor="white" shape="circle" style="filled"];
16
- 22 [color="black" fillcolor="white" shape="circle" style="filled"];
17
- 14 [color="black" fillcolor="white" shape="circle" style="filled"];
18
- 19 [color="black" fillcolor="white" shape="circle" style="filled"];
19
- 8 [color="black" fillcolor="white" shape="circle" style="filled"];
20
- 13 [color="black" fillcolor="white" shape="circle" style="filled"];
21
- 15 [color="black" fillcolor="white" shape="circle" style="filled"];
22
- 24 [color="black" fillcolor="white" shape="circle" style="filled"];
23
- 17 [color="black" fillcolor="white" shape="circle" style="filled"];
24
- 26 [color="black" fillcolor="white" shape="circle" style="filled"];
25
- 16 [color="black" fillcolor="white" shape="circle" style="filled"];
26
- 25 [color="black" fillcolor="white" shape="circle" style="filled"];
27
- 27 [color="black" fillcolor="white" shape="circle" style="filled"];
28
- 3 [color="black" fillcolor="white" shape="circle" style="filled"];
29
- 29 [color="black" fillcolor="white" shape="circle" style="filled"];
30
- 11 [color="black" fillcolor="white" shape="circle" style="filled"];
31
- 36 [color="black" fillcolor="white" shape="circle" style="filled"];
32
- 1 [color="black" fillcolor="white" shape="circle" style="filled"];
33
- 30 [color="black" fillcolor="white" shape="circle" style="filled"];
34
- 33 [color="black" fillcolor="white" shape="circle" style="filled"];
35
- 32 [color="black" fillcolor="white" shape="circle" style="filled"];
36
- 38 [color="black" fillcolor="white" shape="circle" style="filled"];
37
- 35 [color="black" fillcolor="white" shape="circle" style="filled"];
38
- 34 [color="black" fillcolor="white" shape="circle" style="filled"];
39
- 37 [color="black" fillcolor="white" shape="circle" style="filled"];
40
- 31 [color="black" fillcolor="white" shape="circle" style="filled"];
41
- 28 [color="black" fillcolor="white" shape="circle" style="filled"];
42
- 4 -> 6 [label="FirstTask:start"];
43
- 6 -> 5 [label="FirstTask:end"];
44
- 2 -> 4 [label=""];
45
- 7 -> 9 [label=""];
46
- 12 -> 14 [label="MakeJoy:start"];
47
- 14 -> 13 [label="MakeJoy:end"];
48
- 10 -> 12 [label=""];
49
- 15 -> 17 [label="DrinkBeers:start"];
50
- 17 -> 16 [label="DrinkBeers:end"];
51
- 13 -> 15 [label=""];
52
- 16 -> 11 [label=""];
53
- 9 -> 10 [label="[everyoneHappy]"];
54
- 11 -> 8 [label=""];
55
- 18 -> 20 [label="DrinkBeer:start"];
56
- 20 -> 19 [label="DrinkBeer:end"];
57
- 9 -> 18 [label="[(someoneHappy and not(everyoneHappy))]"];
58
- 19 -> 8 [label=""];
59
- 21 -> 23 [label="DoNothingSpecial:start"];
60
- 23 -> 22 [label="DoNothingSpecial:end"];
61
- 9 -> 21 [label="[(not(someoneHappy) and not(everyoneHappy))]"];
62
- 22 -> 8 [label=""];
63
- 5 -> 7 [label=""];
64
- 24 -> 26 [label=""];
65
- 27 -> 29 [label=""];
66
- 30 -> 32 [label="DoSomething:start"];
67
- 32 -> 31 [label="DoSomething:end"];
68
- 29 -> 30 [label="[somethingToDo]"];
69
- 31 -> 28 [label=""];
70
- 33 -> 35 [label="DoNothing:start"];
71
- 35 -> 34 [label="DoNothing:end"];
72
- 29 -> 33 [label="[nothingToDo]"];
73
- 34 -> 28 [label=""];
74
- 36 -> 38 [label="WaitAndSee:start"];
75
- 38 -> 37 [label="WaitAndSee:end"];
76
- 29 -> 36 [label="[(not(someoneHappy) and not(everyoneHappy))]"];
77
- 37 -> 28 [label=""];
78
- 26 -> 25 [label="[endOfTheDay]"];
79
- 26 -> 27 [label="[not(endOfTheDay)]"];
80
- 28 -> 26 [label=""];
81
- 8 -> 24 [label=""];
82
- 25 -> 3 [label=""];
83
- 0 -> 2 [label=""];
84
- 3 -> 1 [label=""];
2
+ graph [margin="0" pack="true" rankdir="LR" ranksep="0"];
3
+ 0 [color="black" fillcolor="green" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
4
+ 1 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
5
+ 2 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
6
+ 3 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
7
+ 4 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
8
+ 5 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
9
+ 6 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
10
+ 7 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
11
+ 8 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
12
+ 9 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
13
+ 10 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
14
+ 11 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
15
+ 12 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
16
+ 13 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
17
+ 14 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
18
+ 15 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
19
+ 16 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
20
+ 17 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
21
+ 18 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
22
+ 19 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
23
+ 20 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
24
+ 21 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
25
+ 22 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
26
+ 23 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
27
+ 24 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
28
+ 25 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
29
+ 26 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
30
+ 27 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
31
+ 28 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
32
+ 29 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
33
+ 30 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
34
+ 31 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
35
+ 32 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
36
+ 33 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
37
+ 34 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
38
+ 35 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
39
+ 36 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
40
+ 37 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
41
+ 38 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
42
+ 39 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
43
+ 40 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
44
+ 41 [color="black" fillcolor="white" fixedsize="true" height="0.6" shape="circle" style="filled" width="0.6"];
45
+ 4 -> 6 [arrowsize="0.7" label="FirstTask:start"];
46
+ 6 -> 5 [arrowsize="0.7" label="FirstTask:end"];
47
+ 2 -> 4 [arrowsize="0.7" label=""];
48
+ 7 -> 9 [arrowsize="0.7" label=""];
49
+ 12 -> 14 [arrowsize="0.7" label="MakeJoy:start"];
50
+ 14 -> 13 [arrowsize="0.7" label="MakeJoy:end"];
51
+ 10 -> 12 [arrowsize="0.7" label=""];
52
+ 15 -> 17 [arrowsize="0.7" label="DrinkBeers:start"];
53
+ 17 -> 16 [arrowsize="0.7" label="DrinkBeers:end"];
54
+ 13 -> 15 [arrowsize="0.7" label=""];
55
+ 16 -> 11 [arrowsize="0.7" label=""];
56
+ 9 -> 10 [arrowsize="0.7" label="[everyoneHappy]"];
57
+ 11 -> 8 [arrowsize="0.7" label=""];
58
+ 18 -> 20 [arrowsize="0.7" label=""];
59
+ 21 -> 23 [arrowsize="0.7" label="DrinkBeer:start"];
60
+ 23 -> 22 [arrowsize="0.7" label="DrinkBeer:end"];
61
+ 20 -> 21 [arrowsize="0.7" label="[someoneHappy]"];
62
+ 22 -> 19 [arrowsize="0.7" label=""];
63
+ 24 -> 26 [arrowsize="0.7" label="DoNothingSpecial:start"];
64
+ 26 -> 25 [arrowsize="0.7" label="DoNothingSpecial:end"];
65
+ 20 -> 24 [arrowsize="0.7" label="[not(someoneHappy)]"];
66
+ 25 -> 19 [arrowsize="0.7" label=""];
67
+ 9 -> 18 [arrowsize="0.7" label="[not(everyoneHappy)]"];
68
+ 19 -> 8 [arrowsize="0.7" label=""];
69
+ 5 -> 7 [arrowsize="0.7" label=""];
70
+ 27 -> 29 [arrowsize="0.7" label=""];
71
+ 30 -> 32 [arrowsize="0.7" label=""];
72
+ 33 -> 35 [arrowsize="0.7" label="DoSomething:start"];
73
+ 35 -> 34 [arrowsize="0.7" label="DoSomething:end"];
74
+ 32 -> 33 [arrowsize="0.7" label="[somethingToDo]"];
75
+ 34 -> 31 [arrowsize="0.7" label=""];
76
+ 36 -> 38 [arrowsize="0.7" label="DoNothing:start"];
77
+ 38 -> 37 [arrowsize="0.7" label="DoNothing:end"];
78
+ 32 -> 36 [arrowsize="0.7" label="[nothingToDo]"];
79
+ 37 -> 31 [arrowsize="0.7" label=""];
80
+ 39 -> 41 [arrowsize="0.7" label="WaitAndSee:start"];
81
+ 41 -> 40 [arrowsize="0.7" label="WaitAndSee:end"];
82
+ 32 -> 39 [arrowsize="0.7" label="WaitAndSee:"];
83
+ 40 -> 31 [arrowsize="0.7" label=""];
84
+ 29 -> 28 [arrowsize="0.7" label="[endOfTheDay]"];
85
+ 29 -> 30 [arrowsize="0.7" label="[not(endOfTheDay)]"];
86
+ 31 -> 29 [arrowsize="0.7" label=""];
87
+ 8 -> 27 [arrowsize="0.7" label=""];
88
+ 28 -> 3 [arrowsize="0.7" label=""];
89
+ 0 -> 2 [arrowsize="0.7" label="Complete:start"];
90
+ 3 -> 1 [arrowsize="0.7" label="Complete:end"];
85
91
  }
@@ -10,6 +10,9 @@ OPTIONS
10
10
  --ast=[MODE] Compile as an abstract syntax tree (debug,ruby)
11
11
  --graph=[MODE] Compile as a workflow graph (dot)
12
12
  --glts=[MODE] Compile as guarded labeled transition system (dot)
13
+ -d, --deterministic Determinize gtls output?
14
+ -e, --explicit Explicit guards in gtls output?
15
+ -s, --separate Split guards from events in glts output?
13
16
  --help Show this help message
14
17
  --version Show version and exit
15
18
 
@@ -5,7 +5,7 @@
5
5
  "Complete",
6
6
  [
7
7
  :trackvar_def,
8
- "everyOneHappy",
8
+ "everyoneHappy",
9
9
  [
10
10
  :event_set,
11
11
  "FirstTask:start"
@@ -29,6 +29,39 @@
29
29
  ],
30
30
  false
31
31
  ],
32
+ [
33
+ :trackvar_def,
34
+ "endOfTheDay",
35
+ [
36
+ :event_set
37
+ ],
38
+ [
39
+ :event_set
40
+ ],
41
+ nil
42
+ ],
43
+ [
44
+ :trackvar_def,
45
+ "somethingToDo",
46
+ [
47
+ :event_set
48
+ ],
49
+ [
50
+ :event_set
51
+ ],
52
+ nil
53
+ ],
54
+ [
55
+ :trackvar_def,
56
+ "nothingToDo",
57
+ [
58
+ :event_set
59
+ ],
60
+ [
61
+ :event_set
62
+ ],
63
+ nil
64
+ ],
32
65
  [
33
66
  :task_def,
34
67
  "DrinkBeers",
@@ -1,2 +1,2 @@
1
- gisele 0.5.0 (c) The University of Louvain
1
+ gisele 0.6.0 (c) The University of Louvain
2
2
  SystemExit
@@ -1,6 +1,6 @@
1
1
  task Complete
2
2
 
3
- trackvar everyOneHappy
3
+ trackvar everyoneHappy
4
4
  {FirstTask:start}
5
5
 
6
6
  fluent someoneHappy
@@ -8,6 +8,10 @@ task Complete
8
8
  {DoNothingSpecial:end}
9
9
  initially false
10
10
 
11
+ trackvar endOfTheDay {}
12
+ trackvar somethingToDo {}
13
+ trackvar nothingToDo {}
14
+
11
15
  task DrinkBeers
12
16
  while not(drunk)
13
17
  DrinkBeer
metadata CHANGED
@@ -1,7 +1,7 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: gisele
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.5.1
4
+ version: 0.6.0
5
5
  prerelease:
6
6
  platform: ruby
7
7
  authors:
@@ -9,11 +9,11 @@ authors:
9
9
  autorequire:
10
10
  bindir: bin
11
11
  cert_chain: []
12
- date: 2012-07-20 00:00:00.000000000 Z
12
+ date: 2012-10-16 00:00:00.000000000 Z
13
13
  dependencies:
14
14
  - !ruby/object:Gem::Dependency
15
15
  name: rake
16
- requirement: &70306421708120 !ruby/object:Gem::Requirement
16
+ requirement: !ruby/object:Gem::Requirement
17
17
  none: false
18
18
  requirements:
19
19
  - - ~>
@@ -21,10 +21,15 @@ dependencies:
21
21
  version: 0.9.2
22
22
  type: :development
23
23
  prerelease: false
24
- version_requirements: *70306421708120
24
+ version_requirements: !ruby/object:Gem::Requirement
25
+ none: false
26
+ requirements:
27
+ - - ~>
28
+ - !ruby/object:Gem::Version
29
+ version: 0.9.2
25
30
  - !ruby/object:Gem::Dependency
26
31
  name: rspec
27
- requirement: &70306421705080 !ruby/object:Gem::Requirement
32
+ requirement: !ruby/object:Gem::Requirement
28
33
  none: false
29
34
  requirements:
30
35
  - - ~>
@@ -32,21 +37,31 @@ dependencies:
32
37
  version: '2.11'
33
38
  type: :development
34
39
  prerelease: false
35
- version_requirements: *70306421705080
40
+ version_requirements: !ruby/object:Gem::Requirement
41
+ none: false
42
+ requirements:
43
+ - - ~>
44
+ - !ruby/object:Gem::Version
45
+ version: '2.11'
36
46
  - !ruby/object:Gem::Dependency
37
47
  name: path
38
- requirement: &70306421702520 !ruby/object:Gem::Requirement
48
+ requirement: !ruby/object:Gem::Requirement
39
49
  none: false
40
50
  requirements:
41
51
  - - ~>
42
52
  - !ruby/object:Gem::Version
43
- version: '1.2'
53
+ version: '1.3'
44
54
  type: :runtime
45
55
  prerelease: false
46
- version_requirements: *70306421702520
56
+ version_requirements: !ruby/object:Gem::Requirement
57
+ none: false
58
+ requirements:
59
+ - - ~>
60
+ - !ruby/object:Gem::Version
61
+ version: '1.3'
47
62
  - !ruby/object:Gem::Dependency
48
63
  name: quickl
49
- requirement: &70306421700760 !ruby/object:Gem::Requirement
64
+ requirement: !ruby/object:Gem::Requirement
50
65
  none: false
51
66
  requirements:
52
67
  - - ~>
@@ -54,10 +69,15 @@ dependencies:
54
69
  version: 0.4.3
55
70
  type: :runtime
56
71
  prerelease: false
57
- version_requirements: *70306421700760
72
+ version_requirements: !ruby/object:Gem::Requirement
73
+ none: false
74
+ requirements:
75
+ - - ~>
76
+ - !ruby/object:Gem::Version
77
+ version: 0.4.3
58
78
  - !ruby/object:Gem::Dependency
59
79
  name: awesome_print
60
- requirement: &70306421692720 !ruby/object:Gem::Requirement
80
+ requirement: !ruby/object:Gem::Requirement
61
81
  none: false
62
82
  requirements:
63
83
  - - ~>
@@ -65,10 +85,15 @@ dependencies:
65
85
  version: '1.0'
66
86
  type: :runtime
67
87
  prerelease: false
68
- version_requirements: *70306421692720
88
+ version_requirements: !ruby/object:Gem::Requirement
89
+ none: false
90
+ requirements:
91
+ - - ~>
92
+ - !ruby/object:Gem::Version
93
+ version: '1.0'
69
94
  - !ruby/object:Gem::Dependency
70
95
  name: yargi
71
- requirement: &70306421690940 !ruby/object:Gem::Requirement
96
+ requirement: !ruby/object:Gem::Requirement
72
97
  none: false
73
98
  requirements:
74
99
  - - ~>
@@ -76,29 +101,28 @@ dependencies:
76
101
  version: 0.2.0
77
102
  type: :runtime
78
103
  prerelease: false
79
- version_requirements: *70306421690940
80
- - !ruby/object:Gem::Dependency
81
- name: stamina-core
82
- requirement: &70306421688480 !ruby/object:Gem::Requirement
104
+ version_requirements: !ruby/object:Gem::Requirement
83
105
  none: false
84
106
  requirements:
85
107
  - - ~>
86
108
  - !ruby/object:Gem::Version
87
- version: 0.5.3
88
- type: :runtime
89
- prerelease: false
90
- version_requirements: *70306421688480
109
+ version: 0.2.0
91
110
  - !ruby/object:Gem::Dependency
92
- name: gisele-language
93
- requirement: &70306421686800 !ruby/object:Gem::Requirement
111
+ name: gisele-analysis
112
+ requirement: !ruby/object:Gem::Requirement
94
113
  none: false
95
114
  requirements:
96
115
  - - ~>
97
116
  - !ruby/object:Gem::Version
98
- version: 0.5.0
117
+ version: 0.6.0
99
118
  type: :runtime
100
119
  prerelease: false
101
- version_requirements: *70306421686800
120
+ version_requirements: !ruby/object:Gem::Requirement
121
+ none: false
122
+ requirements:
123
+ - - ~>
124
+ - !ruby/object:Gem::Version
125
+ version: 0.6.0
102
126
  description: ! 'This is a fresh-new implementation of the process analysis techniques
103
127
 
104
128
  developed in the Gisele and PIPAS research projects at UCLouvain'
@@ -106,6 +130,7 @@ email:
106
130
  - blambeau@gmail.com
107
131
  executables:
108
132
  - gisele
133
+ - tast2fsp
109
134
  extensions: []
110
135
  extra_rdoc_files:
111
136
  - README.md
@@ -118,21 +143,45 @@ files:
118
143
  - Gemfile
119
144
  - Gemfile.lock
120
145
  - bin/gisele
146
+ - bin/tast2fsp
147
+ - examples/dqaad/dqaad.gif
148
+ - examples/dqaad/dqaad.gis
149
+ - examples/meeting-scheduler/MeetingScheduling.dot
150
+ - examples/meeting-scheduler/MeetingScheduling.gif
121
151
  - examples/meeting-scheduler/MeetingScheduling.gis
122
- - examples/merge/BreastCancer.dot
123
- - examples/merge/BreastCancer.gif
124
- - examples/merge/BreastCancer.gis
125
- - examples/merge/Merge.dot
126
- - examples/merge/Merge.gif
127
- - examples/merge/RectalCancer.dot
128
- - examples/merge/RectalCancer.gif
129
- - examples/merge/RectalCancer.gis
152
+ - examples/rectal-cancer-pathway/RectalCancerPathway.dot
153
+ - examples/rectal-cancer-pathway/RectalCancerPathway.gif
130
154
  - examples/rectal-cancer-pathway/RectalCancerPathway.gis
155
+ - examples/union/breast/deterministic.dot
156
+ - examples/union/breast/deterministic.gif
157
+ - examples/union/breast/glts.dot
158
+ - examples/union/breast/glts.gif
159
+ - examples/union/breast/minimal.dot
160
+ - examples/union/breast/minimal.gif
161
+ - examples/union/breast/wf.dot
162
+ - examples/union/breast/wf.gif
163
+ - examples/union/breast.gis
164
+ - examples/union/dot.rb
165
+ - examples/union/merged.dot
166
+ - examples/union/merged.gif
167
+ - examples/union/minim.dot
168
+ - examples/union/minim.gif
169
+ - examples/union/rectal/deterministic.dot
170
+ - examples/union/rectal/deterministic.gif
171
+ - examples/union/rectal/glts.dot
172
+ - examples/union/rectal/glts.gif
173
+ - examples/union/rectal/minimal.dot
174
+ - examples/union/rectal/minimal.gif
175
+ - examples/union/rectal/wf.dot
176
+ - examples/union/rectal/wf.gif
177
+ - examples/union/rectal.gis
178
+ - examples/union/union.gis
179
+ - examples/union/union.rb
180
+ - examples/while/while-deteministic.gif
181
+ - examples/while/while.dot
182
+ - examples/while/while.gif
183
+ - examples/while/while.gis
131
184
  - lib/gisele/command.rb
132
- - lib/gisele/compiling/to_glts.rb
133
- - lib/gisele/compiling/to_graph.rb
134
- - lib/gisele/compiling/to_graph.yml
135
- - lib/gisele/compiling.rb
136
185
  - lib/gisele/errors.rb
137
186
  - lib/gisele/loader.rb
138
187
  - lib/gisele/version.rb
@@ -159,8 +208,6 @@ files:
159
208
  - spec/fixtures/tasks/simple.gis
160
209
  - spec/spec_helper.rb
161
210
  - spec/test_examples.rb
162
- - spec/unit/compiling/test_to_glts.rb
163
- - spec/unit/compiling/test_to_graph.rb
164
211
  - spec/unit/test_gisele.rb
165
212
  - tasks/debug_mail.rake
166
213
  - tasks/debug_mail.txt
@@ -188,7 +235,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
188
235
  version: '0'
189
236
  requirements: []
190
237
  rubyforge_project:
191
- rubygems_version: 1.8.15
238
+ rubygems_version: 1.8.24
192
239
  signing_key:
193
240
  specification_version: 3
194
241
  summary: Gisele is a Process Analyzer Toolset
@@ -211,6 +258,4 @@ test_files:
211
258
  - spec/fixtures/tasks/simple.gis
212
259
  - spec/spec_helper.rb
213
260
  - spec/test_examples.rb
214
- - spec/unit/compiling/test_to_glts.rb
215
- - spec/unit/compiling/test_to_graph.rb
216
261
  - spec/unit/test_gisele.rb