expressir 2.4.63-aarch64-linux → 2.4.65-aarch64-linux
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/expressir/3.2/expressir_core.so +0 -0
- data/lib/expressir/3.3/expressir_core.so +0 -0
- data/lib/expressir/3.4/expressir_core.so +0 -0
- data/lib/expressir/4.0/expressir_core.so +0 -0
- data/lib/expressir/express/formatters/remark_item_formatter.rb +20 -13
- data/lib/expressir/version.rb +1 -1
- metadata +2 -2
checksums.yaml
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
---
|
|
2
2
|
SHA256:
|
|
3
|
-
metadata.gz:
|
|
4
|
-
data.tar.gz:
|
|
3
|
+
metadata.gz: c92e889d5246480b3b154c661b77b0c7408ca8669b579630079174baa395f234
|
|
4
|
+
data.tar.gz: eba64515f490188cc83730fbb2bf9c620e80844eb456e5d4e996200d704d321d
|
|
5
5
|
SHA512:
|
|
6
|
-
metadata.gz:
|
|
7
|
-
data.tar.gz:
|
|
6
|
+
metadata.gz: 1aa1f1e5658de85d3132a0b8d41a220b291510fd9b52231753b463d26efecc6b754261253f3c09b1c374ab6657017202406db5a2775d7e0b9fa750e69f615956
|
|
7
|
+
data.tar.gz: d27193784835980ba773c1ade4893714c0a27780fe59f1b87cbe60716a08ae6421d159625825332c08f367d8bf4a8964ebc5dd02dccfd08e931c8563cbe13c5a
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
Binary file
|
|
@@ -13,27 +13,23 @@ module Expressir
|
|
|
13
13
|
# The tag form follows the owner: items in rule contexts
|
|
14
14
|
# (WHERE/UNIQUE/IP) historically carry bare tags
|
|
15
15
|
# (`--"unusual_placement" text`), WG12-style items carry the
|
|
16
|
-
# schema-relative path.
|
|
17
|
-
#
|
|
18
|
-
# (
|
|
16
|
+
# schema-relative path. A referable `__note:id` has no rule to
|
|
17
|
+
# anchor it in a bare tail tag (it would reattach to the
|
|
18
|
+
# schema), so it carries the path too (annotated-express#103).
|
|
19
19
|
rule_context = node.parent.is_a?(Model::Declarations::WhereRule) ||
|
|
20
20
|
node.parent.is_a?(Model::Declarations::UniqueRule) ||
|
|
21
21
|
node.parent.is_a?(Model::Declarations::InformalPropositionRule)
|
|
22
|
-
if rule_context
|
|
23
|
-
|
|
24
|
-
|
|
25
|
-
|
|
26
|
-
|
|
27
|
-
root = root.parent while root.respond_to?(:parent) && root.parent
|
|
28
|
-
prefix = "#{root.id}." if root.respond_to?(:id) && root.id
|
|
29
|
-
tag = tag.delete_prefix(prefix) if prefix && tag.start_with?(prefix)
|
|
30
|
-
end
|
|
22
|
+
tag = if rule_context && !node.id.to_s.start_with?("__")
|
|
23
|
+
node.id.to_s
|
|
24
|
+
else
|
|
25
|
+
schema_relative_path(node)
|
|
26
|
+
end
|
|
31
27
|
|
|
32
28
|
# Remark items are WG12 annotation blocks: the embedded form,
|
|
33
29
|
# a block per remark, matching the source convention of the
|
|
34
30
|
# annotated corpora (the conservation pairs are embedded, so
|
|
35
31
|
# tail-form emission reads as phantom gains). Rule-context
|
|
36
|
-
# owners keep the historic
|
|
32
|
+
# owners keep the historic tail form.
|
|
37
33
|
if rule_context
|
|
38
34
|
return node.remarks
|
|
39
35
|
.map { |remark| "--\"#{tag}\" #{remark}" }
|
|
@@ -48,6 +44,17 @@ module Expressir
|
|
|
48
44
|
end
|
|
49
45
|
end.join("\n")
|
|
50
46
|
end
|
|
47
|
+
|
|
48
|
+
private
|
|
49
|
+
|
|
50
|
+
# node.path is rooted at the ExpFile, whose id is the file path
|
|
51
|
+
# or nil; drop that leading segment (expressir#603).
|
|
52
|
+
def schema_relative_path(node)
|
|
53
|
+
root = node
|
|
54
|
+
root = root.parent while root.respond_to?(:parent) && root.parent
|
|
55
|
+
prefix = root.respond_to?(:id) ? "#{root.id}." : ""
|
|
56
|
+
node.path.to_s.delete_prefix(prefix)
|
|
57
|
+
end
|
|
51
58
|
end
|
|
52
59
|
end
|
|
53
60
|
end
|
data/lib/expressir/version.rb
CHANGED
metadata
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: expressir
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 2.4.
|
|
4
|
+
version: 2.4.65
|
|
5
5
|
platform: aarch64-linux
|
|
6
6
|
authors:
|
|
7
7
|
- Ribose Inc.
|
|
8
8
|
autorequire:
|
|
9
9
|
bindir: exe
|
|
10
10
|
cert_chain: []
|
|
11
|
-
date: 2026-11-
|
|
11
|
+
date: 2026-11-11 00:00:00.000000000 Z
|
|
12
12
|
dependencies:
|
|
13
13
|
- !ruby/object:Gem::Dependency
|
|
14
14
|
name: base64
|