mumuki-prolog-runner 1.0.1 → 1.1.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.
- checksums.yaml +4 -4
- data/lib/expectations_hook.rb +4 -60
- data/lib/prolog_runner.rb +1 -0
- data/lib/version.rb +3 -0
- metadata +6 -19
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA1:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: c19c69dab69e130aeae1ba6aa51635fa846fc197
|
4
|
+
data.tar.gz: 4d4bfd4060672df8ef526cc91ee6c2eacb82680f
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: 5f8002b9036d6fe4730c0e0c9cb8c6395df690c2475a92492380cb09f68b6b4dae50ab11bc12337e5e298222875d05a01406a91fd1867376b28fa8cb8c9adaf6
|
7
|
+
data.tar.gz: eb2583b4ea5825a5b3e8970db93b1cc6457de11ec1e758aa5d0316b6147d2e6ae755ade267833b3a56a10726ec5d23615f9cc72f857f3a2e3d6dff1245169794
|
data/lib/expectations_hook.rb
CHANGED
@@ -1,63 +1,7 @@
|
|
1
|
-
|
2
|
-
|
1
|
+
class PrologExpectationsHook < Mumukit::Templates::MulangExpectationsHook
|
2
|
+
include_smells true
|
3
3
|
|
4
|
-
|
5
|
-
|
6
|
-
"inspection('#{type}')"
|
7
|
-
end
|
8
|
-
end
|
9
|
-
|
10
|
-
class Mumukit::Inspection::TargetedInspection
|
11
|
-
def to_term
|
12
|
-
"inspection('#{type}',#{Integer(target)})" rescue "inspection('#{type}','#{target}')"
|
13
|
-
end
|
14
|
-
end
|
15
|
-
|
16
|
-
class Mumukit::Inspection::NegatedInspection
|
17
|
-
def to_term
|
18
|
-
"not(#{@inspection.to_term})"
|
19
|
-
end
|
20
|
-
end
|
21
|
-
|
22
|
-
class PrologExpectationsHook < Mumukit::Templates::FileHook
|
23
|
-
isolated true
|
24
|
-
|
25
|
-
def command_line(filename)
|
26
|
-
"swipl -f #{filename} --quiet -t main 2>&1"
|
27
|
-
end
|
28
|
-
|
29
|
-
def compile_file_content(request)
|
30
|
-
ExpectationsFile.new(request).render
|
31
|
-
end
|
32
|
-
|
33
|
-
def post_process_file(file, result, status)
|
34
|
-
JSON.parse(result)['expectationResults'] rescue []
|
35
|
-
end
|
36
|
-
end
|
37
|
-
|
38
|
-
class ExpectationsFile
|
39
|
-
def initialize(request)
|
40
|
-
@content = request.content
|
41
|
-
@expectation_terms = self.class.expectations_to_terms(request.expectations)
|
42
|
-
end
|
43
|
-
|
44
|
-
def self.expectations_to_terms(expectations)
|
45
|
-
'[' + expectations.map do |e|
|
46
|
-
"expectation('#{e['binding']}',#{inspection_to_term(e['inspection'])})"
|
47
|
-
end.join(',') + ']'
|
48
|
-
end
|
49
|
-
|
50
|
-
def self.inspection_to_term(s)
|
51
|
-
Mumukit::Inspection.parse(s).to_term
|
52
|
-
end
|
53
|
-
|
54
|
-
def render
|
55
|
-
ERB.new(File.read(template_path)).result(binding)
|
56
|
-
end
|
57
|
-
|
58
|
-
private
|
59
|
-
|
60
|
-
def template_path
|
61
|
-
File.expand_path '../main.pl.erb', __FILE__
|
4
|
+
def language
|
5
|
+
'Prolog'
|
62
6
|
end
|
63
7
|
end
|
data/lib/prolog_runner.rb
CHANGED
data/lib/version.rb
ADDED
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: mumuki-prolog-runner
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 1.0
|
4
|
+
version: 1.1.0
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Franco Leonardo Bulgarelli
|
8
8
|
autorequire:
|
9
9
|
bindir: bin
|
10
10
|
cert_chain: []
|
11
|
-
date:
|
11
|
+
date: 2017-07-25 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: mumukit
|
@@ -16,28 +16,14 @@ dependencies:
|
|
16
16
|
requirements:
|
17
17
|
- - "~>"
|
18
18
|
- !ruby/object:Gem::Version
|
19
|
-
version: '2.
|
19
|
+
version: '2.10'
|
20
20
|
type: :runtime
|
21
21
|
prerelease: false
|
22
22
|
version_requirements: !ruby/object:Gem::Requirement
|
23
23
|
requirements:
|
24
24
|
- - "~>"
|
25
25
|
- !ruby/object:Gem::Version
|
26
|
-
version: '2.
|
27
|
-
- !ruby/object:Gem::Dependency
|
28
|
-
name: mumukit-inspection
|
29
|
-
requirement: !ruby/object:Gem::Requirement
|
30
|
-
requirements:
|
31
|
-
- - "~>"
|
32
|
-
- !ruby/object:Gem::Version
|
33
|
-
version: '0.1'
|
34
|
-
type: :runtime
|
35
|
-
prerelease: false
|
36
|
-
version_requirements: !ruby/object:Gem::Requirement
|
37
|
-
requirements:
|
38
|
-
- - "~>"
|
39
|
-
- !ruby/object:Gem::Version
|
40
|
-
version: '0.1'
|
26
|
+
version: '2.10'
|
41
27
|
- !ruby/object:Gem::Dependency
|
42
28
|
name: bundler
|
43
29
|
requirement: !ruby/object:Gem::Requirement
|
@@ -124,6 +110,7 @@ files:
|
|
124
110
|
- lib/prolog_runner.rb
|
125
111
|
- lib/query_hook.rb
|
126
112
|
- lib/test_hook.rb
|
113
|
+
- lib/version.rb
|
127
114
|
homepage: http://github.com/mumuki/mumuki-prolog-server
|
128
115
|
licenses:
|
129
116
|
- MIT
|
@@ -144,7 +131,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
144
131
|
version: '0'
|
145
132
|
requirements: []
|
146
133
|
rubyforge_project:
|
147
|
-
rubygems_version: 2.
|
134
|
+
rubygems_version: 2.6.11
|
148
135
|
signing_key:
|
149
136
|
specification_version: 4
|
150
137
|
summary: Prolog Runner for Mumuki
|