Function isDataFrameArgument

isDataFrameArgument(
arg: RNode<ParentInformation> | undefined,
ctx: AbsintContext<StateDomain<DataFrameDomain>>,
): arg is RNode<ParentInformation>
Checks if a given argument has an inferred data frame shape and therefore represents a data frame
Parameters
- arg: RNode<ParentInformation> | undefined
  The argument to check
- ctx: AbsintContext<StateDomain<DataFrameDomain>>
  The context of the data frame shape analysis
Returns arg is RNode<ParentInformation>
Whether the argument represents a data frame
- Defined in src/abstract-interpretation/data-frame/arguments.ts:236
isDataFrameArgument(
arg: PotentiallyEmptyRArgument<ParentInformation> | undefined,
ctx: AbsintContext<StateDomain<DataFrameDomain>>,
): arg is RArgument<ParentInformation> & { value: RNode<ParentInformation> }
Checks if a given argument has an inferred data frame shape and therefore represents a data frame
Parameters
- arg: PotentiallyEmptyRArgument<ParentInformation> | undefined
  The argument to check
- ctx: AbsintContext<StateDomain<DataFrameDomain>>
  The context of the data frame shape analysis
Returns arg is RArgument<ParentInformation> & { value: RNode<ParentInformation> }
Whether the argument represents a data frame
- Defined in src/abstract-interpretation/data-frame/arguments.ts:238