1 line
4.0 KiB
JSON
1 line
4.0 KiB
JSON
{"nodes": [{"id": "backend_venv_lib_python3_12_site_packages_pygments_lexers_verification_py", "label": "verification.py", "file_type": "code", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L1"}, {"id": "verification_boogielexer", "label": "BoogieLexer", "file_type": "code", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L18"}, {"id": "regexlexer", "label": "RegexLexer", "file_type": "code", "source_file": "", "source_location": ""}, {"id": "verification_silverlexer", "label": "SilverLexer", "file_type": "code", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L65"}, {"id": "verification_rationale_1", "label": "pygments.lexers.verification ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Lexer for Int", "file_type": "rationale", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L1"}, {"id": "verification_rationale_19", "label": "For Boogie source code.", "file_type": "rationale", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L19"}, {"id": "verification_rationale_66", "label": "For Silver source code.", "file_type": "rationale", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L66"}], "edges": [{"source": "backend_venv_lib_python3_12_site_packages_pygments_lexers_verification_py", "target": "pygments_lexer", "relation": "imports_from", "confidence": "EXTRACTED", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L11", "weight": 1.0}, {"source": "backend_venv_lib_python3_12_site_packages_pygments_lexers_verification_py", "target": "pygments_token", "relation": "imports_from", "confidence": "EXTRACTED", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L12", "weight": 1.0}, {"source": "backend_venv_lib_python3_12_site_packages_pygments_lexers_verification_py", "target": "verification_boogielexer", "relation": "contains", "confidence": "EXTRACTED", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L18", "weight": 1.0}, {"source": "verification_boogielexer", "target": "regexlexer", "relation": "inherits", "confidence": "EXTRACTED", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L18", "weight": 1.0}, {"source": "backend_venv_lib_python3_12_site_packages_pygments_lexers_verification_py", "target": "verification_silverlexer", "relation": "contains", "confidence": "EXTRACTED", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L65", "weight": 1.0}, {"source": "verification_silverlexer", "target": "regexlexer", "relation": "inherits", "confidence": "EXTRACTED", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L65", "weight": 1.0}, {"source": "verification_rationale_1", "target": "backend_venv_lib_python3_12_site_packages_pygments_lexers_verification_py", "relation": "rationale_for", "confidence": "EXTRACTED", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L1", "weight": 1.0}, {"source": "verification_rationale_19", "target": "verification_boogielexer", "relation": "rationale_for", "confidence": "EXTRACTED", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L19", "weight": 1.0}, {"source": "verification_rationale_66", "target": "verification_silverlexer", "relation": "rationale_for", "confidence": "EXTRACTED", "source_file": "backend/venv/lib/python3.12/site-packages/pygments/lexers/verification.py", "source_location": "L66", "weight": 1.0}], "raw_calls": []} |