mumuki-prolog-runner 1.0.1 → 1.1.0
Sign up to get free protection for your applications and to get access to all the features.
- 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
|