Skip to content

Commit 97ead6f

Browse files
authored
Merge pull request github#17560 from hvitved/codegen/remove-cached
Codegen: Do not cache injectors/projectors in `Synth` module
2 parents fdff209 + d3368be commit 97ead6f

File tree

5 files changed

+7
-923
lines changed

5 files changed

+7
-923
lines changed

misc/codegen/templates/ql_synth_types.mustache

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77
private import {{import_prefix}}.SynthConstructors
88
private import {{import_prefix}}.Raw
99

10-
cached module Synth {
10+
module Synth {
1111
/**
1212
* INTERNAL: Do not use.
1313
* The synthesized type of all elements.
@@ -37,7 +37,7 @@ cached module Synth {
3737
* INTERNAL: Do not use.
3838
* Converts a raw element to a synthesized `T{{name}}`, if possible.
3939
*/
40-
cached T{{name}} convert{{name}}FromRaw(Raw::Element e) {
40+
T{{name}} convert{{name}}FromRaw(Raw::Element e) {
4141
{{^is_fresh_synth}}
4242
result = T{{name}}(e)
4343
{{/is_fresh_synth}}
@@ -52,7 +52,7 @@ cached module Synth {
5252
* INTERNAL: Do not use.
5353
* Converts a raw DB element to a synthesized `T{{name}}`, if possible.
5454
*/
55-
cached T{{name}} convert{{name}}FromRaw(Raw::Element e) {
55+
T{{name}} convert{{name}}FromRaw(Raw::Element e) {
5656
{{#derived}}
5757
{{^first}}
5858
or
@@ -67,7 +67,7 @@ cached module Synth {
6767
* INTERNAL: Do not use.
6868
* Converts a synthesized `T{{name}}` to a raw DB element, if possible.
6969
*/
70-
cached Raw::Element convert{{name}}ToRaw(T{{name}} e) {
70+
Raw::Element convert{{name}}ToRaw(T{{name}} e) {
7171
{{^is_fresh_synth}}
7272
e = T{{name}}(result)
7373
{{/is_fresh_synth}}
@@ -82,7 +82,7 @@ cached module Synth {
8282
* INTERNAL: Do not use.
8383
* Converts a synthesized `T{{name}}` to a raw DB element, if possible.
8484
*/
85-
cached Raw::Element convert{{name}}ToRaw(T{{name}} e) {
85+
Raw::Element convert{{name}}ToRaw(T{{name}} e) {
8686
{{#derived}}
8787
{{^first}}
8888
or

rust/ql/.generated.list

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)