The abstract interpretation analysis to infer the shape of data frames, i.e. their column names, number of columns, and number of rows (see DataFrameDomain).
Creates the data frame shape analysis.
The options of the analysis, i.e. whether the mapped abstract operations should be stored and the maximum number of tracked column names
Readonly
The value abstract domains inferred by the analysis, mapping each domain name to an instance of the respective abstract domain
The abstract semantics of the analysis, which also provide the abstract data frame operations the expressions are mapped to
The abstract interpretation analysis to infer the shape of data frames, i.e. their column names, number of columns, and number of rows (see DataFrameDomain).