import { HttpParams } from '@angular/common/http'; import { Router, NavigationExtras, UrlTree } from '@angular/router'; import { StringFilter } from './filter.util'; export declare function navigate(route: string[] | UrlTree, newTab: boolean, router: Router, extras?: NavigationExtras): void; export declare function redirect(url: string, newTab: boolean): void; export declare function getDomainName(): string; /** * Set filter parameters to HttpParams * * @param filter the filter to use * * @returns the HttpParams object */ export declare function setFilterParams(params?: HttpParams, filter?: StringFilter): HttpParams;