Function applyDataFrameSemantics

applyDataFrameSemantics<
    Name extends
        | "join"
        | "create"
        | "read"
        | "accessCols"
        | "accessRows"
        | "assignCols"
        | "assignRows"
        | "setColNames"
        | "addCols"
        | "addRows"
        | "removeCols"
        | "removeRows"
        | "concatCols"
        | "concatRows"
        | "subsetCols"
        | "subsetRows"
        | "filterRows"
        | "mutateCols"
        | "groupBy"
        | "summarize"
        | "unknown"
        | "identity",
>(
    operation: Name,
    value: DataFrameDomain,
    args: DataFrameOperationArgs<Name>,
    options?: DataFrameOperationOptions<Name>,
): DataFrameDomain
Applies the abstract semantics of operation to value, assuming args/options were already sanitized per the original concrete function (e.g. duplicate/invalid column names replaced). Result's constraint type: ConstraintType.
Type Parameters
- Name extends
      | "join"
      | "create"
      | "read"
      | "accessCols"
      | "accessRows"
      | "assignCols"
      | "assignRows"
      | "setColNames"
      | "addCols"
      | "addRows"
      | "removeCols"
      | "removeRows"
      | "concatCols"
      | "concatRows"
      | "subsetCols"
      | "subsetRows"
      | "filterRows"
      | "mutateCols"
      | "groupBy"
      | "summarize"
      | "unknown"
      | "identity"
Parameters
- operation: Name
- value: DataFrameDomain
- args: DataFrameOperationArgs<Name>
- Optionaloptions: DataFrameOperationOptions<Name>
Returns DataFrameDomain
- Defined in src/abstract-interpretation/data-frame/semantics.ts:71

Function applyDataFrameSemantics

Type Parameters

Parameters

Returns DataFrameDomain

Settings