hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Codegen: Do not cache injectors/projectors in Synth module

Browse Source
This commit is contained in:
Tom Hvitved
2024-09-24 14:41:20 +02:00
parent d7614a71f4
commit 062127b42e
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
misc/codegen/templates/ql_synth_types.mustache
View File

@@ -7,7 +7,7 @@
private import {{import_prefix}}.SynthConstructors
private import {{import_prefix}}.Raw
cached module Synth {
module Synth {
/**
* INTERNAL: Do not use.
* The synthesized type of all elements.
@@ -37,7 +37,7 @@ cached module Synth {
* INTERNAL: Do not use.
* Converts a raw element to a synthesized `T{{name}}`, if possible.
*/
cached T{{name}} convert{{name}}FromRaw(Raw::Element e) {
T{{name}} convert{{name}}FromRaw(Raw::Element e) {
{{^is_fresh_synth}}
result = T{{name}}(e)
{{/is_fresh_synth}}
@@ -52,7 +52,7 @@ cached module Synth {
* INTERNAL: Do not use.
* Converts a raw DB element to a synthesized `T{{name}}`, if possible.
*/
cached T{{name}} convert{{name}}FromRaw(Raw::Element e) {
T{{name}} convert{{name}}FromRaw(Raw::Element e) {
{{#derived}}
{{^first}}
or
@@ -67,7 +67,7 @@ cached module Synth {
* INTERNAL: Do not use.
* Converts a synthesized `T{{name}}` to a raw DB element, if possible.
*/
cached Raw::Element convert{{name}}ToRaw(T{{name}} e) {
Raw::Element convert{{name}}ToRaw(T{{name}} e) {
{{^is_fresh_synth}}
e = T{{name}}(result)
{{/is_fresh_synth}}
@@ -82,7 +82,7 @@ cached module Synth {
* INTERNAL: Do not use.
* Converts a synthesized `T{{name}}` to a raw DB element, if possible.
*/
cached Raw::Element convert{{name}}ToRaw(T{{name}} e) {
Raw::Element convert{{name}}ToRaw(T{{name}} e) {
{{#derived}}
{{^first}}
or