mirror of
https://github.com/AdaCore/langkit.git
synced 2026-02-12 12:28:12 -08:00
44 lines
478 B
Plaintext
44 lines
478 B
Plaintext
main.py: Starting...
|
|
|
|
== Check_Context ==
|
|
|
|
Context has unit foo.txt:
|
|
TRUE
|
|
|
|
Context has unit bar.txt:
|
|
FALSE
|
|
|
|
== Check_Unit ==
|
|
|
|
Given analysis unit:
|
|
foo.txt
|
|
|
|
== Check_Node ==
|
|
|
|
# False False
|
|
Given node:
|
|
<Example foo.txt:1:1-1:8>
|
|
F1: FALSE
|
|
F2: FALSE
|
|
|
|
# True False
|
|
Given node:
|
|
<Example foo.txt:1:1-1:8>
|
|
F1: TRUE
|
|
F2: FALSE
|
|
|
|
# False True
|
|
Given node:
|
|
<Example foo.txt:1:1-1:8>
|
|
F1: FALSE
|
|
F2: TRUE
|
|
|
|
# True True
|
|
Given node:
|
|
<Example foo.txt:1:1-1:8>
|
|
F1: TRUE
|
|
F2: TRUE
|
|
|
|
main.py: Done.
|
|
Done
|