mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
ee5303cc68
When `x` is null, the result of this expression must be `z`. Because of incorrect lowering of the `or?` operator to abstract expressions, the left operand (`x?.y`) was considered as a prefix, and so the whole expression returned null when any prefix in `x?.y` (thus `x` included) was null. The `or?` operator has no prefix, since it does not use dot notation, so its lowering must not create a prefix.
56 lines
1.1 KiB
Python
56 lines
1.1 KiB
Python
import sys
|
|
|
|
import libfoolang
|
|
|
|
|
|
print("main.py: Running...")
|
|
|
|
ctx = libfoolang.AnalysisContext()
|
|
u = ctx.get_from_buffer("main.txt", b"n1.n2.n3")
|
|
if u.diagnostics:
|
|
for d in u.diagnostics:
|
|
print(d)
|
|
sys.exit(1)
|
|
|
|
|
|
def image(n):
|
|
return "None" if n is None else f"<{n.text}>"
|
|
|
|
|
|
n3 = u.root
|
|
n2 = n3.f_prefix
|
|
n1 = n2.f_prefix
|
|
for prop_name in [
|
|
"p_field_1",
|
|
"p_field_2",
|
|
"p_field_3",
|
|
"p_field_4",
|
|
"p_call_1",
|
|
"p_call_2",
|
|
"p_call_3",
|
|
"p_call_4",
|
|
]:
|
|
prop = getattr(u.root, prop_name)
|
|
|
|
for n in (None, n1, n2, n3):
|
|
try:
|
|
result = prop(n)
|
|
except libfoolang.PropertyError as exc:
|
|
result_img = f"<{type(exc).__name__}: {exc}"
|
|
else:
|
|
result_img = image(result)
|
|
print(f"{prop_name}({image(n)}) = {result_img}")
|
|
print("")
|
|
|
|
for a1, a2, a3 in [
|
|
(None, n1, n2),
|
|
(n1, None, n2),
|
|
(n1, n2, None),
|
|
(n1, n2, n3),
|
|
]:
|
|
result = u.root.p_or_1(a1, a2, a3)
|
|
print(f"p_or_1({image(a1)}, {image(a2)}, {image(a3)}) = {image(result)}")
|
|
print("")
|
|
|
|
print("main.py: Done.")
|