actionpack 6.0.0
Sign up to get free protection for your applications and to get access to all the features.
Potentially problematic release.
This version of actionpack might be problematic. Click here for more details.
- checksums.yaml +7 -0
- data/CHANGELOG.md +311 -0
- data/MIT-LICENSE +21 -0
- data/README.rdoc +58 -0
- data/lib/abstract_controller.rb +27 -0
- data/lib/abstract_controller/asset_paths.rb +12 -0
- data/lib/abstract_controller/base.rb +267 -0
- data/lib/abstract_controller/caching.rb +66 -0
- data/lib/abstract_controller/caching/fragments.rb +150 -0
- data/lib/abstract_controller/callbacks.rb +224 -0
- data/lib/abstract_controller/collector.rb +43 -0
- data/lib/abstract_controller/error.rb +6 -0
- data/lib/abstract_controller/helpers.rb +194 -0
- data/lib/abstract_controller/logger.rb +14 -0
- data/lib/abstract_controller/railties/routes_helpers.rb +20 -0
- data/lib/abstract_controller/rendering.rb +127 -0
- data/lib/abstract_controller/translation.rb +32 -0
- data/lib/abstract_controller/url_for.rb +35 -0
- data/lib/action_controller.rb +67 -0
- data/lib/action_controller/api.rb +150 -0
- data/lib/action_controller/api/api_rendering.rb +16 -0
- data/lib/action_controller/base.rb +271 -0
- data/lib/action_controller/caching.rb +46 -0
- data/lib/action_controller/form_builder.rb +50 -0
- data/lib/action_controller/log_subscriber.rb +81 -0
- data/lib/action_controller/metal.rb +256 -0
- data/lib/action_controller/metal/basic_implicit_render.rb +13 -0
- data/lib/action_controller/metal/conditional_get.rb +280 -0
- data/lib/action_controller/metal/content_security_policy.rb +52 -0
- data/lib/action_controller/metal/cookies.rb +16 -0
- data/lib/action_controller/metal/data_streaming.rb +151 -0
- data/lib/action_controller/metal/default_headers.rb +17 -0
- data/lib/action_controller/metal/etag_with_flash.rb +18 -0
- data/lib/action_controller/metal/etag_with_template_digest.rb +57 -0
- data/lib/action_controller/metal/exceptions.rb +74 -0
- data/lib/action_controller/metal/flash.rb +61 -0
- data/lib/action_controller/metal/force_ssl.rb +58 -0
- data/lib/action_controller/metal/head.rb +60 -0
- data/lib/action_controller/metal/helpers.rb +122 -0
- data/lib/action_controller/metal/http_authentication.rb +518 -0
- data/lib/action_controller/metal/implicit_render.rb +63 -0
- data/lib/action_controller/metal/instrumentation.rb +105 -0
- data/lib/action_controller/metal/live.rb +314 -0
- data/lib/action_controller/metal/mime_responds.rb +324 -0
- data/lib/action_controller/metal/parameter_encoding.rb +51 -0
- data/lib/action_controller/metal/params_wrapper.rb +297 -0
- data/lib/action_controller/metal/redirecting.rb +133 -0
- data/lib/action_controller/metal/renderers.rb +181 -0
- data/lib/action_controller/metal/rendering.rb +122 -0
- data/lib/action_controller/metal/request_forgery_protection.rb +456 -0
- data/lib/action_controller/metal/rescue.rb +28 -0
- data/lib/action_controller/metal/streaming.rb +223 -0
- data/lib/action_controller/metal/strong_parameters.rb +1105 -0
- data/lib/action_controller/metal/testing.rb +16 -0
- data/lib/action_controller/metal/url_for.rb +58 -0
- data/lib/action_controller/railtie.rb +89 -0
- data/lib/action_controller/railties/helpers.rb +24 -0
- data/lib/action_controller/renderer.rb +130 -0
- data/lib/action_controller/template_assertions.rb +11 -0
- data/lib/action_controller/test_case.rb +626 -0
- data/lib/action_dispatch.rb +114 -0
- data/lib/action_dispatch/http/cache.rb +226 -0
- data/lib/action_dispatch/http/content_disposition.rb +45 -0
- data/lib/action_dispatch/http/content_security_policy.rb +284 -0
- data/lib/action_dispatch/http/filter_parameters.rb +86 -0
- data/lib/action_dispatch/http/filter_redirect.rb +37 -0
- data/lib/action_dispatch/http/headers.rb +132 -0
- data/lib/action_dispatch/http/mime_negotiation.rb +177 -0
- data/lib/action_dispatch/http/mime_type.rb +350 -0
- data/lib/action_dispatch/http/mime_types.rb +50 -0
- data/lib/action_dispatch/http/parameter_filter.rb +12 -0
- data/lib/action_dispatch/http/parameters.rb +136 -0
- data/lib/action_dispatch/http/rack_cache.rb +63 -0
- data/lib/action_dispatch/http/request.rb +427 -0
- data/lib/action_dispatch/http/response.rb +534 -0
- data/lib/action_dispatch/http/upload.rb +92 -0
- data/lib/action_dispatch/http/url.rb +350 -0
- data/lib/action_dispatch/journey.rb +7 -0
- data/lib/action_dispatch/journey/formatter.rb +189 -0
- data/lib/action_dispatch/journey/gtg/builder.rb +164 -0
- data/lib/action_dispatch/journey/gtg/simulator.rb +41 -0
- data/lib/action_dispatch/journey/gtg/transition_table.rb +158 -0
- data/lib/action_dispatch/journey/nfa/builder.rb +78 -0
- data/lib/action_dispatch/journey/nfa/dot.rb +36 -0
- data/lib/action_dispatch/journey/nfa/simulator.rb +47 -0
- data/lib/action_dispatch/journey/nfa/transition_table.rb +120 -0
- data/lib/action_dispatch/journey/nodes/node.rb +141 -0
- data/lib/action_dispatch/journey/parser.rb +199 -0
- data/lib/action_dispatch/journey/parser.y +50 -0
- data/lib/action_dispatch/journey/parser_extras.rb +31 -0
- data/lib/action_dispatch/journey/path/pattern.rb +203 -0
- data/lib/action_dispatch/journey/route.rb +204 -0
- data/lib/action_dispatch/journey/router.rb +153 -0
- data/lib/action_dispatch/journey/router/utils.rb +102 -0
- data/lib/action_dispatch/journey/routes.rb +81 -0
- data/lib/action_dispatch/journey/scanner.rb +71 -0
- data/lib/action_dispatch/journey/visitors.rb +268 -0
- data/lib/action_dispatch/journey/visualizer/fsm.css +30 -0
- data/lib/action_dispatch/journey/visualizer/fsm.js +134 -0
- data/lib/action_dispatch/journey/visualizer/index.html.erb +52 -0
- data/lib/action_dispatch/middleware/actionable_exceptions.rb +39 -0
- data/lib/action_dispatch/middleware/callbacks.rb +34 -0
- data/lib/action_dispatch/middleware/cookies.rb +663 -0
- data/lib/action_dispatch/middleware/debug_exceptions.rb +185 -0
- data/lib/action_dispatch/middleware/debug_locks.rb +124 -0
- data/lib/action_dispatch/middleware/debug_view.rb +68 -0
- data/lib/action_dispatch/middleware/exception_wrapper.rb +181 -0
- data/lib/action_dispatch/middleware/executor.rb +21 -0
- data/lib/action_dispatch/middleware/flash.rb +300 -0
- data/lib/action_dispatch/middleware/host_authorization.rb +103 -0
- data/lib/action_dispatch/middleware/public_exceptions.rb +61 -0
- data/lib/action_dispatch/middleware/reloader.rb +12 -0
- data/lib/action_dispatch/middleware/remote_ip.rb +181 -0
- data/lib/action_dispatch/middleware/request_id.rb +43 -0
- data/lib/action_dispatch/middleware/session/abstract_store.rb +92 -0
- data/lib/action_dispatch/middleware/session/cache_store.rb +54 -0
- data/lib/action_dispatch/middleware/session/cookie_store.rb +113 -0
- data/lib/action_dispatch/middleware/session/mem_cache_store.rb +28 -0
- data/lib/action_dispatch/middleware/show_exceptions.rb +62 -0
- data/lib/action_dispatch/middleware/ssl.rb +150 -0
- data/lib/action_dispatch/middleware/stack.rb +148 -0
- data/lib/action_dispatch/middleware/static.rb +129 -0
- data/lib/action_dispatch/middleware/templates/rescues/_actions.html.erb +13 -0
- data/lib/action_dispatch/middleware/templates/rescues/_actions.text.erb +0 -0
- data/lib/action_dispatch/middleware/templates/rescues/_request_and_response.html.erb +24 -0
- data/lib/action_dispatch/middleware/templates/rescues/_request_and_response.text.erb +23 -0
- data/lib/action_dispatch/middleware/templates/rescues/_source.html.erb +29 -0
- data/lib/action_dispatch/middleware/templates/rescues/_source.text.erb +8 -0
- data/lib/action_dispatch/middleware/templates/rescues/_trace.html.erb +62 -0
- data/lib/action_dispatch/middleware/templates/rescues/_trace.text.erb +9 -0
- data/lib/action_dispatch/middleware/templates/rescues/blocked_host.html.erb +7 -0
- data/lib/action_dispatch/middleware/templates/rescues/blocked_host.text.erb +5 -0
- data/lib/action_dispatch/middleware/templates/rescues/diagnostics.html.erb +38 -0
- data/lib/action_dispatch/middleware/templates/rescues/diagnostics.text.erb +9 -0
- data/lib/action_dispatch/middleware/templates/rescues/invalid_statement.html.erb +24 -0
- data/lib/action_dispatch/middleware/templates/rescues/invalid_statement.text.erb +15 -0
- data/lib/action_dispatch/middleware/templates/rescues/layout.erb +165 -0
- data/lib/action_dispatch/middleware/templates/rescues/missing_exact_template.html.erb +19 -0
- data/lib/action_dispatch/middleware/templates/rescues/missing_exact_template.text.erb +3 -0
- data/lib/action_dispatch/middleware/templates/rescues/missing_template.html.erb +11 -0
- data/lib/action_dispatch/middleware/templates/rescues/missing_template.text.erb +3 -0
- data/lib/action_dispatch/middleware/templates/rescues/routing_error.html.erb +32 -0
- data/lib/action_dispatch/middleware/templates/rescues/routing_error.text.erb +11 -0
- data/lib/action_dispatch/middleware/templates/rescues/template_error.html.erb +20 -0
- data/lib/action_dispatch/middleware/templates/rescues/template_error.text.erb +7 -0
- data/lib/action_dispatch/middleware/templates/rescues/unknown_action.html.erb +6 -0
- data/lib/action_dispatch/middleware/templates/rescues/unknown_action.text.erb +3 -0
- data/lib/action_dispatch/middleware/templates/routes/_route.html.erb +16 -0
- data/lib/action_dispatch/middleware/templates/routes/_table.html.erb +203 -0
- data/lib/action_dispatch/railtie.rb +58 -0
- data/lib/action_dispatch/request/session.rb +242 -0
- data/lib/action_dispatch/request/utils.rb +78 -0
- data/lib/action_dispatch/routing.rb +261 -0
- data/lib/action_dispatch/routing/endpoint.rb +17 -0
- data/lib/action_dispatch/routing/inspector.rb +274 -0
- data/lib/action_dispatch/routing/mapper.rb +2289 -0
- data/lib/action_dispatch/routing/polymorphic_routes.rb +351 -0
- data/lib/action_dispatch/routing/redirection.rb +201 -0
- data/lib/action_dispatch/routing/route_set.rb +887 -0
- data/lib/action_dispatch/routing/routes_proxy.rb +69 -0
- data/lib/action_dispatch/routing/url_for.rb +237 -0
- data/lib/action_dispatch/system_test_case.rb +168 -0
- data/lib/action_dispatch/system_testing/browser.rb +80 -0
- data/lib/action_dispatch/system_testing/driver.rb +68 -0
- data/lib/action_dispatch/system_testing/server.rb +31 -0
- data/lib/action_dispatch/system_testing/test_helpers/screenshot_helper.rb +97 -0
- data/lib/action_dispatch/system_testing/test_helpers/setup_and_teardown.rb +33 -0
- data/lib/action_dispatch/system_testing/test_helpers/undef_methods.rb +26 -0
- data/lib/action_dispatch/testing/assertion_response.rb +47 -0
- data/lib/action_dispatch/testing/assertions.rb +24 -0
- data/lib/action_dispatch/testing/assertions/response.rb +106 -0
- data/lib/action_dispatch/testing/assertions/routing.rb +234 -0
- data/lib/action_dispatch/testing/integration.rb +659 -0
- data/lib/action_dispatch/testing/request_encoder.rb +55 -0
- data/lib/action_dispatch/testing/test_process.rb +50 -0
- data/lib/action_dispatch/testing/test_request.rb +71 -0
- data/lib/action_dispatch/testing/test_response.rb +25 -0
- data/lib/action_pack.rb +26 -0
- data/lib/action_pack/gem_version.rb +17 -0
- data/lib/action_pack/version.rb +10 -0
- metadata +329 -0
@@ -0,0 +1,189 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
require "action_controller/metal/exceptions"
|
4
|
+
|
5
|
+
module ActionDispatch
|
6
|
+
# :stopdoc:
|
7
|
+
module Journey
|
8
|
+
# The Formatter class is used for formatting URLs. For example, parameters
|
9
|
+
# passed to +url_for+ in Rails will eventually call Formatter#generate.
|
10
|
+
class Formatter
|
11
|
+
attr_reader :routes
|
12
|
+
|
13
|
+
def initialize(routes)
|
14
|
+
@routes = routes
|
15
|
+
@cache = nil
|
16
|
+
end
|
17
|
+
|
18
|
+
def generate(name, options, path_parameters, parameterize = nil)
|
19
|
+
constraints = path_parameters.merge(options)
|
20
|
+
missing_keys = nil
|
21
|
+
|
22
|
+
match_route(name, constraints) do |route|
|
23
|
+
parameterized_parts = extract_parameterized_parts(route, options, path_parameters, parameterize)
|
24
|
+
|
25
|
+
# Skip this route unless a name has been provided or it is a
|
26
|
+
# standard Rails route since we can't determine whether an options
|
27
|
+
# hash passed to url_for matches a Rack application or a redirect.
|
28
|
+
next unless name || route.dispatcher?
|
29
|
+
|
30
|
+
missing_keys = missing_keys(route, parameterized_parts)
|
31
|
+
next if missing_keys && !missing_keys.empty?
|
32
|
+
params = options.dup.delete_if do |key, _|
|
33
|
+
parameterized_parts.key?(key) || route.defaults.key?(key)
|
34
|
+
end
|
35
|
+
|
36
|
+
defaults = route.defaults
|
37
|
+
required_parts = route.required_parts
|
38
|
+
|
39
|
+
route.parts.reverse_each do |key|
|
40
|
+
break if defaults[key].nil? && parameterized_parts[key].present?
|
41
|
+
next if parameterized_parts[key].to_s != defaults[key].to_s
|
42
|
+
break if required_parts.include?(key)
|
43
|
+
|
44
|
+
parameterized_parts.delete(key)
|
45
|
+
end
|
46
|
+
|
47
|
+
return [route.format(parameterized_parts), params]
|
48
|
+
end
|
49
|
+
|
50
|
+
unmatched_keys = (missing_keys || []) & constraints.keys
|
51
|
+
missing_keys = (missing_keys || []) - unmatched_keys
|
52
|
+
|
53
|
+
message = +"No route matches #{Hash[constraints.sort_by { |k, v| k.to_s }].inspect}"
|
54
|
+
message << ", missing required keys: #{missing_keys.sort.inspect}" if missing_keys && !missing_keys.empty?
|
55
|
+
message << ", possible unmatched constraints: #{unmatched_keys.sort.inspect}" if unmatched_keys && !unmatched_keys.empty?
|
56
|
+
|
57
|
+
raise ActionController::UrlGenerationError, message
|
58
|
+
end
|
59
|
+
|
60
|
+
def clear
|
61
|
+
@cache = nil
|
62
|
+
end
|
63
|
+
|
64
|
+
private
|
65
|
+
|
66
|
+
def extract_parameterized_parts(route, options, recall, parameterize = nil)
|
67
|
+
parameterized_parts = recall.merge(options)
|
68
|
+
|
69
|
+
keys_to_keep = route.parts.reverse_each.drop_while { |part|
|
70
|
+
!(options.key?(part) || route.scope_options.key?(part)) || (options[part] || recall[part]).nil?
|
71
|
+
} | route.required_parts
|
72
|
+
|
73
|
+
parameterized_parts.delete_if do |bad_key, _|
|
74
|
+
!keys_to_keep.include?(bad_key)
|
75
|
+
end
|
76
|
+
|
77
|
+
if parameterize
|
78
|
+
parameterized_parts.each do |k, v|
|
79
|
+
parameterized_parts[k] = parameterize.call(k, v)
|
80
|
+
end
|
81
|
+
end
|
82
|
+
|
83
|
+
parameterized_parts.keep_if { |_, v| v }
|
84
|
+
parameterized_parts
|
85
|
+
end
|
86
|
+
|
87
|
+
def named_routes
|
88
|
+
routes.named_routes
|
89
|
+
end
|
90
|
+
|
91
|
+
def match_route(name, options)
|
92
|
+
if named_routes.key?(name)
|
93
|
+
yield named_routes[name]
|
94
|
+
else
|
95
|
+
routes = non_recursive(cache, options)
|
96
|
+
|
97
|
+
supplied_keys = options.each_with_object({}) do |(k, v), h|
|
98
|
+
h[k.to_s] = true if v
|
99
|
+
end
|
100
|
+
|
101
|
+
hash = routes.group_by { |_, r| r.score(supplied_keys) }
|
102
|
+
|
103
|
+
hash.keys.sort.reverse_each do |score|
|
104
|
+
break if score < 0
|
105
|
+
|
106
|
+
hash[score].sort_by { |i, _| i }.each do |_, route|
|
107
|
+
yield route
|
108
|
+
end
|
109
|
+
end
|
110
|
+
end
|
111
|
+
end
|
112
|
+
|
113
|
+
def non_recursive(cache, options)
|
114
|
+
routes = []
|
115
|
+
queue = [cache]
|
116
|
+
|
117
|
+
while queue.any?
|
118
|
+
c = queue.shift
|
119
|
+
routes.concat(c[:___routes]) if c.key?(:___routes)
|
120
|
+
|
121
|
+
options.each do |pair|
|
122
|
+
queue << c[pair] if c.key?(pair)
|
123
|
+
end
|
124
|
+
end
|
125
|
+
|
126
|
+
routes
|
127
|
+
end
|
128
|
+
|
129
|
+
module RegexCaseComparator
|
130
|
+
DEFAULT_INPUT = /[-_.a-zA-Z0-9]+\/[-_.a-zA-Z0-9]+/
|
131
|
+
DEFAULT_REGEX = /\A#{DEFAULT_INPUT}\Z/
|
132
|
+
|
133
|
+
def self.===(regex)
|
134
|
+
DEFAULT_INPUT == regex
|
135
|
+
end
|
136
|
+
end
|
137
|
+
|
138
|
+
# Returns an array populated with missing keys if any are present.
|
139
|
+
def missing_keys(route, parts)
|
140
|
+
missing_keys = nil
|
141
|
+
tests = route.path.requirements
|
142
|
+
route.required_parts.each { |key|
|
143
|
+
case tests[key]
|
144
|
+
when nil
|
145
|
+
unless parts[key]
|
146
|
+
missing_keys ||= []
|
147
|
+
missing_keys << key
|
148
|
+
end
|
149
|
+
when RegexCaseComparator
|
150
|
+
unless RegexCaseComparator::DEFAULT_REGEX === parts[key]
|
151
|
+
missing_keys ||= []
|
152
|
+
missing_keys << key
|
153
|
+
end
|
154
|
+
else
|
155
|
+
unless /\A#{tests[key]}\Z/ === parts[key]
|
156
|
+
missing_keys ||= []
|
157
|
+
missing_keys << key
|
158
|
+
end
|
159
|
+
end
|
160
|
+
}
|
161
|
+
missing_keys
|
162
|
+
end
|
163
|
+
|
164
|
+
def possibles(cache, options, depth = 0)
|
165
|
+
cache.fetch(:___routes) { [] } + options.find_all { |pair|
|
166
|
+
cache.key?(pair)
|
167
|
+
}.flat_map { |pair|
|
168
|
+
possibles(cache[pair], options, depth + 1)
|
169
|
+
}
|
170
|
+
end
|
171
|
+
|
172
|
+
def build_cache
|
173
|
+
root = { ___routes: [] }
|
174
|
+
routes.routes.each_with_index do |route, i|
|
175
|
+
leaf = route.required_defaults.inject(root) do |h, tuple|
|
176
|
+
h[tuple] ||= {}
|
177
|
+
end
|
178
|
+
(leaf[:___routes] ||= []) << [i, route]
|
179
|
+
end
|
180
|
+
root
|
181
|
+
end
|
182
|
+
|
183
|
+
def cache
|
184
|
+
@cache ||= build_cache
|
185
|
+
end
|
186
|
+
end
|
187
|
+
end
|
188
|
+
# :startdoc:
|
189
|
+
end
|
@@ -0,0 +1,164 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
require "action_dispatch/journey/gtg/transition_table"
|
4
|
+
|
5
|
+
module ActionDispatch
|
6
|
+
module Journey # :nodoc:
|
7
|
+
module GTG # :nodoc:
|
8
|
+
class Builder # :nodoc:
|
9
|
+
DUMMY = Nodes::Dummy.new
|
10
|
+
|
11
|
+
attr_reader :root, :ast, :endpoints
|
12
|
+
|
13
|
+
def initialize(root)
|
14
|
+
@root = root
|
15
|
+
@ast = Nodes::Cat.new root, DUMMY
|
16
|
+
@followpos = nil
|
17
|
+
end
|
18
|
+
|
19
|
+
def transition_table
|
20
|
+
dtrans = TransitionTable.new
|
21
|
+
marked = {}
|
22
|
+
state_id = Hash.new { |h, k| h[k] = h.length }
|
23
|
+
|
24
|
+
start = firstpos(root)
|
25
|
+
dstates = [start]
|
26
|
+
until dstates.empty?
|
27
|
+
s = dstates.shift
|
28
|
+
next if marked[s]
|
29
|
+
marked[s] = true # mark s
|
30
|
+
|
31
|
+
s.group_by { |state| symbol(state) }.each do |sym, ps|
|
32
|
+
u = ps.flat_map { |l| followpos(l) }
|
33
|
+
next if u.empty?
|
34
|
+
|
35
|
+
if u.uniq == [DUMMY]
|
36
|
+
from = state_id[s]
|
37
|
+
to = state_id[Object.new]
|
38
|
+
dtrans[from, to] = sym
|
39
|
+
|
40
|
+
dtrans.add_accepting(to)
|
41
|
+
ps.each { |state| dtrans.add_memo(to, state.memo) }
|
42
|
+
else
|
43
|
+
dtrans[state_id[s], state_id[u]] = sym
|
44
|
+
|
45
|
+
if u.include?(DUMMY)
|
46
|
+
to = state_id[u]
|
47
|
+
|
48
|
+
accepting = ps.find_all { |l| followpos(l).include?(DUMMY) }
|
49
|
+
|
50
|
+
accepting.each { |accepting_state|
|
51
|
+
dtrans.add_memo(to, accepting_state.memo)
|
52
|
+
}
|
53
|
+
|
54
|
+
dtrans.add_accepting(state_id[u])
|
55
|
+
end
|
56
|
+
end
|
57
|
+
|
58
|
+
dstates << u
|
59
|
+
end
|
60
|
+
end
|
61
|
+
|
62
|
+
dtrans
|
63
|
+
end
|
64
|
+
|
65
|
+
def nullable?(node)
|
66
|
+
case node
|
67
|
+
when Nodes::Group
|
68
|
+
true
|
69
|
+
when Nodes::Star
|
70
|
+
true
|
71
|
+
when Nodes::Or
|
72
|
+
node.children.any? { |c| nullable?(c) }
|
73
|
+
when Nodes::Cat
|
74
|
+
nullable?(node.left) && nullable?(node.right)
|
75
|
+
when Nodes::Terminal
|
76
|
+
!node.left
|
77
|
+
when Nodes::Unary
|
78
|
+
nullable?(node.left)
|
79
|
+
else
|
80
|
+
raise ArgumentError, "unknown nullable: %s" % node.class.name
|
81
|
+
end
|
82
|
+
end
|
83
|
+
|
84
|
+
def firstpos(node)
|
85
|
+
case node
|
86
|
+
when Nodes::Star
|
87
|
+
firstpos(node.left)
|
88
|
+
when Nodes::Cat
|
89
|
+
if nullable?(node.left)
|
90
|
+
firstpos(node.left) | firstpos(node.right)
|
91
|
+
else
|
92
|
+
firstpos(node.left)
|
93
|
+
end
|
94
|
+
when Nodes::Or
|
95
|
+
node.children.flat_map { |c| firstpos(c) }.uniq
|
96
|
+
when Nodes::Unary
|
97
|
+
firstpos(node.left)
|
98
|
+
when Nodes::Terminal
|
99
|
+
nullable?(node) ? [] : [node]
|
100
|
+
else
|
101
|
+
raise ArgumentError, "unknown firstpos: %s" % node.class.name
|
102
|
+
end
|
103
|
+
end
|
104
|
+
|
105
|
+
def lastpos(node)
|
106
|
+
case node
|
107
|
+
when Nodes::Star
|
108
|
+
firstpos(node.left)
|
109
|
+
when Nodes::Or
|
110
|
+
node.children.flat_map { |c| lastpos(c) }.uniq
|
111
|
+
when Nodes::Cat
|
112
|
+
if nullable?(node.right)
|
113
|
+
lastpos(node.left) | lastpos(node.right)
|
114
|
+
else
|
115
|
+
lastpos(node.right)
|
116
|
+
end
|
117
|
+
when Nodes::Terminal
|
118
|
+
nullable?(node) ? [] : [node]
|
119
|
+
when Nodes::Unary
|
120
|
+
lastpos(node.left)
|
121
|
+
else
|
122
|
+
raise ArgumentError, "unknown lastpos: %s" % node.class.name
|
123
|
+
end
|
124
|
+
end
|
125
|
+
|
126
|
+
def followpos(node)
|
127
|
+
followpos_table[node]
|
128
|
+
end
|
129
|
+
|
130
|
+
private
|
131
|
+
|
132
|
+
def followpos_table
|
133
|
+
@followpos ||= build_followpos
|
134
|
+
end
|
135
|
+
|
136
|
+
def build_followpos
|
137
|
+
table = Hash.new { |h, k| h[k] = [] }
|
138
|
+
@ast.each do |n|
|
139
|
+
case n
|
140
|
+
when Nodes::Cat
|
141
|
+
lastpos(n.left).each do |i|
|
142
|
+
table[i] += firstpos(n.right)
|
143
|
+
end
|
144
|
+
when Nodes::Star
|
145
|
+
lastpos(n).each do |i|
|
146
|
+
table[i] += firstpos(n)
|
147
|
+
end
|
148
|
+
end
|
149
|
+
end
|
150
|
+
table
|
151
|
+
end
|
152
|
+
|
153
|
+
def symbol(edge)
|
154
|
+
case edge
|
155
|
+
when Journey::Nodes::Symbol
|
156
|
+
edge.regexp
|
157
|
+
else
|
158
|
+
edge.left
|
159
|
+
end
|
160
|
+
end
|
161
|
+
end
|
162
|
+
end
|
163
|
+
end
|
164
|
+
end
|
@@ -0,0 +1,41 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
require "strscan"
|
4
|
+
|
5
|
+
module ActionDispatch
|
6
|
+
module Journey # :nodoc:
|
7
|
+
module GTG # :nodoc:
|
8
|
+
class MatchData # :nodoc:
|
9
|
+
attr_reader :memos
|
10
|
+
|
11
|
+
def initialize(memos)
|
12
|
+
@memos = memos
|
13
|
+
end
|
14
|
+
end
|
15
|
+
|
16
|
+
class Simulator # :nodoc:
|
17
|
+
attr_reader :tt
|
18
|
+
|
19
|
+
def initialize(transition_table)
|
20
|
+
@tt = transition_table
|
21
|
+
end
|
22
|
+
|
23
|
+
def memos(string)
|
24
|
+
input = StringScanner.new(string)
|
25
|
+
state = [0]
|
26
|
+
while sym = input.scan(%r([/.?]|[^/.?]+))
|
27
|
+
state = tt.move(state, sym)
|
28
|
+
end
|
29
|
+
|
30
|
+
acceptance_states = state.find_all { |s|
|
31
|
+
tt.accepting? s
|
32
|
+
}
|
33
|
+
|
34
|
+
return yield if acceptance_states.empty?
|
35
|
+
|
36
|
+
acceptance_states.flat_map { |x| tt.memo(x) }.compact
|
37
|
+
end
|
38
|
+
end
|
39
|
+
end
|
40
|
+
end
|
41
|
+
end
|
@@ -0,0 +1,158 @@
|
|
1
|
+
# frozen_string_literal: true
|
2
|
+
|
3
|
+
require "action_dispatch/journey/nfa/dot"
|
4
|
+
|
5
|
+
module ActionDispatch
|
6
|
+
module Journey # :nodoc:
|
7
|
+
module GTG # :nodoc:
|
8
|
+
class TransitionTable # :nodoc:
|
9
|
+
include Journey::NFA::Dot
|
10
|
+
|
11
|
+
attr_reader :memos
|
12
|
+
|
13
|
+
def initialize
|
14
|
+
@regexp_states = {}
|
15
|
+
@string_states = {}
|
16
|
+
@accepting = {}
|
17
|
+
@memos = Hash.new { |h, k| h[k] = [] }
|
18
|
+
end
|
19
|
+
|
20
|
+
def add_accepting(state)
|
21
|
+
@accepting[state] = true
|
22
|
+
end
|
23
|
+
|
24
|
+
def accepting_states
|
25
|
+
@accepting.keys
|
26
|
+
end
|
27
|
+
|
28
|
+
def accepting?(state)
|
29
|
+
@accepting[state]
|
30
|
+
end
|
31
|
+
|
32
|
+
def add_memo(idx, memo)
|
33
|
+
@memos[idx] << memo
|
34
|
+
end
|
35
|
+
|
36
|
+
def memo(idx)
|
37
|
+
@memos[idx]
|
38
|
+
end
|
39
|
+
|
40
|
+
def eclosure(t)
|
41
|
+
Array(t)
|
42
|
+
end
|
43
|
+
|
44
|
+
def move(t, a)
|
45
|
+
return [] if t.empty?
|
46
|
+
|
47
|
+
regexps = []
|
48
|
+
|
49
|
+
t.map { |s|
|
50
|
+
if states = @regexp_states[s]
|
51
|
+
regexps.concat states.map { |re, v| re === a ? v : nil }
|
52
|
+
end
|
53
|
+
|
54
|
+
if states = @string_states[s]
|
55
|
+
states[a]
|
56
|
+
end
|
57
|
+
}.compact.concat regexps
|
58
|
+
end
|
59
|
+
|
60
|
+
def as_json(options = nil)
|
61
|
+
simple_regexp = Hash.new { |h, k| h[k] = {} }
|
62
|
+
|
63
|
+
@regexp_states.each do |from, hash|
|
64
|
+
hash.each do |re, to|
|
65
|
+
simple_regexp[from][re.source] = to
|
66
|
+
end
|
67
|
+
end
|
68
|
+
|
69
|
+
{
|
70
|
+
regexp_states: simple_regexp,
|
71
|
+
string_states: @string_states,
|
72
|
+
accepting: @accepting
|
73
|
+
}
|
74
|
+
end
|
75
|
+
|
76
|
+
def to_svg
|
77
|
+
svg = IO.popen("dot -Tsvg", "w+") { |f|
|
78
|
+
f.write(to_dot)
|
79
|
+
f.close_write
|
80
|
+
f.readlines
|
81
|
+
}
|
82
|
+
3.times { svg.shift }
|
83
|
+
svg.join.sub(/width="[^"]*"/, "").sub(/height="[^"]*"/, "")
|
84
|
+
end
|
85
|
+
|
86
|
+
def visualizer(paths, title = "FSM")
|
87
|
+
viz_dir = File.join __dir__, "..", "visualizer"
|
88
|
+
fsm_js = File.read File.join(viz_dir, "fsm.js")
|
89
|
+
fsm_css = File.read File.join(viz_dir, "fsm.css")
|
90
|
+
erb = File.read File.join(viz_dir, "index.html.erb")
|
91
|
+
states = "function tt() { return #{to_json}; }"
|
92
|
+
|
93
|
+
fun_routes = paths.sample(3).map do |ast|
|
94
|
+
ast.map { |n|
|
95
|
+
case n
|
96
|
+
when Nodes::Symbol
|
97
|
+
case n.left
|
98
|
+
when ":id" then rand(100).to_s
|
99
|
+
when ":format" then %w{ xml json }.sample
|
100
|
+
else
|
101
|
+
"omg"
|
102
|
+
end
|
103
|
+
when Nodes::Terminal then n.symbol
|
104
|
+
else
|
105
|
+
nil
|
106
|
+
end
|
107
|
+
}.compact.join
|
108
|
+
end
|
109
|
+
|
110
|
+
stylesheets = [fsm_css]
|
111
|
+
svg = to_svg
|
112
|
+
javascripts = [states, fsm_js]
|
113
|
+
|
114
|
+
fun_routes = fun_routes
|
115
|
+
stylesheets = stylesheets
|
116
|
+
svg = svg
|
117
|
+
javascripts = javascripts
|
118
|
+
|
119
|
+
require "erb"
|
120
|
+
template = ERB.new erb
|
121
|
+
template.result(binding)
|
122
|
+
end
|
123
|
+
|
124
|
+
def []=(from, to, sym)
|
125
|
+
to_mappings = states_hash_for(sym)[from] ||= {}
|
126
|
+
to_mappings[sym] = to
|
127
|
+
end
|
128
|
+
|
129
|
+
def states
|
130
|
+
ss = @string_states.keys + @string_states.values.flat_map(&:values)
|
131
|
+
rs = @regexp_states.keys + @regexp_states.values.flat_map(&:values)
|
132
|
+
(ss + rs).uniq
|
133
|
+
end
|
134
|
+
|
135
|
+
def transitions
|
136
|
+
@string_states.flat_map { |from, hash|
|
137
|
+
hash.map { |s, to| [from, s, to] }
|
138
|
+
} + @regexp_states.flat_map { |from, hash|
|
139
|
+
hash.map { |s, to| [from, s, to] }
|
140
|
+
}
|
141
|
+
end
|
142
|
+
|
143
|
+
private
|
144
|
+
|
145
|
+
def states_hash_for(sym)
|
146
|
+
case sym
|
147
|
+
when String
|
148
|
+
@string_states
|
149
|
+
when Regexp
|
150
|
+
@regexp_states
|
151
|
+
else
|
152
|
+
raise ArgumentError, "unknown symbol: %s" % sym.class
|
153
|
+
end
|
154
|
+
end
|
155
|
+
end
|
156
|
+
end
|
157
|
+
end
|
158
|
+
end
|