Function resolveSingleIndex

resolveSingleIndex(
    accessedArg: { lexeme: string },
    accessArg: { lexeme: string },
    environment: REnvironmentInformation,
    isIndexBasedAccess: boolean,
): ContainerIndicesCollection
Resolves accessedArg in the environment and filters its indices according to accessArg.

If no indices could be found that match the accessArg, the original indices are returned as overapproximation.
Parameters
- accessedArg: { lexeme: string }
  The argument to resolve
- accessArg: { lexeme: string }
  The argument which is used to filter the indices
- environment: REnvironmentInformation
  The environment in which accessedArg is resolved
- isIndexBasedAccess: boolean
  Whether the access is index-based (e.g. x[1]) or name-based (e.g. x$name)
Returns ContainerIndicesCollection
The filtered ContainerIndicesCollection of the resolved accessedArg
- Defined in src/util/containers.ts:60