hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 13:45:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Codegen: rename ipa to synth

Browse Source
This commit is contained in:
Paolo Tranquilli
2023-06-07 09:12:39 +02:00
parent 2529312d1d
commit 700e3d5e53
15 changed files with 138 additions and 138 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
misc/codegen/test/test_schemaloader.py
View File

@@ -337,7 +337,7 @@ def test_class_with_pragmas():
}
def test_ipa_from_class():
def test_synth_from_class():
@load
class data:
class A:
@@ -348,12 +348,12 @@ def test_ipa_from_class():
pass
assert data.classes == {
'A': schema.Class('A', derived={'B'}, ipa=True),
'B': schema.Class('B', bases=['A'], ipa=schema.IpaInfo(from_class="A")),
'A': schema.Class('A', derived={'B'}, synth=True),
'B': schema.Class('B', bases=['A'], synth=schema.SynthInfo(from_class="A")),
}
def test_ipa_from_class_ref():
def test_synth_from_class_ref():
@load
class data:
@defs.synth.from_class("B")
@@ -364,12 +364,12 @@ def test_ipa_from_class_ref():
pass
assert data.classes == {
'A': schema.Class('A', derived={'B'}, ipa=schema.IpaInfo(from_class="B")),
'A': schema.Class('A', derived={'B'}, synth=schema.SynthInfo(from_class="B")),
'B': schema.Class('B', bases=['A']),
}
def test_ipa_from_class_dangling():
def test_synth_from_class_dangling():
with pytest.raises(schema.Error):
@load
class data:
@@ -378,7 +378,7 @@ def test_ipa_from_class_dangling():
pass
def test_ipa_class_on():
def test_synth_class_on():
@load
class data:
class A:
@@ -389,12 +389,12 @@ def test_ipa_class_on():
pass
assert data.classes == {
'A': schema.Class('A', derived={'B'}, ipa=True),
'B': schema.Class('B', bases=['A'], ipa=schema.IpaInfo(on_arguments={'a': 'A', 'i': 'int'})),
'A': schema.Class('A', derived={'B'}, synth=True),
'B': schema.Class('B', bases=['A'], synth=schema.SynthInfo(on_arguments={'a': 'A', 'i': 'int'})),
}
def test_ipa_class_on_ref():
def test_synth_class_on_ref():
class A:
pass
@@ -408,12 +408,12 @@ def test_ipa_class_on_ref():
pass
assert data.classes == {
'A': schema.Class('A', derived={'B'}, ipa=schema.IpaInfo(on_arguments={'b': 'B', 'i': 'int'})),
'A': schema.Class('A', derived={'B'}, synth=schema.SynthInfo(on_arguments={'b': 'B', 'i': 'int'})),
'B': schema.Class('B', bases=['A']),
}
def test_ipa_class_on_dangling():
def test_synth_class_on_dangling():
with pytest.raises(schema.Error):
@load
class data:
@@ -422,7 +422,7 @@ def test_ipa_class_on_dangling():
pass
def test_ipa_class_hierarchy():
def test_synth_class_hierarchy():
@load
class data:
class Root:
@@ -447,10 +447,10 @@ def test_ipa_class_hierarchy():
assert data.classes == {
'Root': schema.Class('Root', derived={'Base', 'C'}),
'Base': schema.Class('Base', bases=['Root'], derived={'Intermediate', 'B'}, ipa=True),
'Intermediate': schema.Class('Intermediate', bases=['Base'], derived={'A'}, ipa=True),
'A': schema.Class('A', bases=['Intermediate'], ipa=schema.IpaInfo(on_arguments={'a': 'Base', 'i': 'int'})),
'B': schema.Class('B', bases=['Base'], ipa=schema.IpaInfo(from_class='Base')),
'Base': schema.Class('Base', bases=['Root'], derived={'Intermediate', 'B'}, synth=True),
'Intermediate': schema.Class('Intermediate', bases=['Base'], derived={'A'}, synth=True),
'A': schema.Class('A', bases=['Intermediate'], synth=schema.SynthInfo(on_arguments={'a': 'Base', 'i': 'int'})),
'B': schema.Class('B', bases=['Base'], synth=schema.SynthInfo(from_class='Base')),
'C': schema.Class('C', bases=['Root']),
}