Function expectTypirTypes

  • expectTypirTypes(
        services: TypirServices,
        filterTypes: (type: Type) => boolean,
        ...namesOfExpectedTypes: string[],
    ): Type[]

  • Testing utility to check, that exactly the expected types are in the type system.

    Parameters

    • services: TypirServices

      the Typir services

    • filterTypes: (type: Type) => boolean

      used to identify the types of interest

    • ...namesOfExpectedTypes: string[]

      the names (not the identifiers!) of the expected types; ensures that there are no more types; it is possible to specify names multiple times, if there are multiple types with the same name (e.g. for overloaded functions)

    Returns Type[]

    all the found types

Settings

Member Visibility