Function resolveIdToArgStringVector

resolveIdToArgStringVector(
id: undefined | NodeId | RArgument<ParentInformation>,
info: ResolveInfo,
): undefined | string[]
Resolves the value of a function argument to a string vector using resolveIdToValue and unwrapRValueToString
Parameters
- id: undefined | NodeId | RArgument<ParentInformation>
- info: ResolveInfo
Returns undefined | string[]
- Defined in src/abstract-interpretation/data-frame/resolve-args.ts:42