ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
annotation_intrinsics.h
Go to the documentation of this file.
1
#pragma once
2
3
#include <map>
4
#include <string>
5
6
namespace
python_annotation_intrinsics
7
{
8
// Mapping from a Python built-in / std-library identifier to the
9
// type-annotation string that the Python frontend's annotation pass
10
// substitutes for it during inference.
11
//
12
// The table is held by a function returning a reference to a
13
// function-local `static const` map so there is exactly one definition
14
// across all translation units. The data and the keys must be kept
15
// byte-identical to the original namespace-scope `builtin_functions`
16
// constant that previously lived in python_annotation.h — this is a
17
// move, not a rewrite, and any divergence here is a semantic change
18
// to type inference.
19
const
std::map<std::string, std::string> &
builtin_functions
();
20
21
}
// namespace python_annotation_intrinsics
python_annotation_intrinsics
Definition
annotation_intrinsics.cpp:4
python_annotation_intrinsics::builtin_functions
const std::map< std::string, std::string > & builtin_functions()
Definition
annotation_intrinsics.cpp:5
src
python-frontend
python_annotation
annotation_intrinsics.h
Generated by
1.15.0