You've already forked libadalang
mirror of
https://github.com/AdaCore/libadalang.git
synced 2026-02-12 12:28:54 -08:00
4382a22f9c
Move most of "ada/*" to the root directory (this makes sense, as this repository has been dedicated to Libadalang for years), and rename "ada/language" to "ada". TN: T914-010
38 lines
650 B
Python
38 lines
650 B
Python
import re
|
|
|
|
import libadalang
|
|
|
|
|
|
ADDR_RE = re.compile(r'0x[0-9a-f]+')
|
|
|
|
|
|
ctx = libadalang.AnalysisContext('iso-8859-1')
|
|
unit = ctx.get_from_file('foo.adb')
|
|
|
|
|
|
def print_heading(string):
|
|
print('')
|
|
print('#{}'.format(string))
|
|
|
|
|
|
print('# Printing diagnostics list (repr)')
|
|
print(repr(unit.diagnostics))
|
|
print('')
|
|
|
|
|
|
print('# Printing diagnostics list (str)')
|
|
print(str(unit.diagnostics))
|
|
print('')
|
|
|
|
print('# Printing each diagnostic individually (repr)')
|
|
for diag in unit.diagnostics:
|
|
print(repr(diag))
|
|
print('')
|
|
|
|
print('# Printing each diagnostic individually (str)')
|
|
for diag in unit.diagnostics:
|
|
print(str(diag))
|
|
print('')
|
|
|
|
print('Done.')
|