tree fce35aa9b80768441f7cb7c91490625839045290
parent c61bd610057240f73efebf45755cf011d929391e
author Christoffer Quist Adamsen <christofferqa@google.com> 1660660890 +0200
committer Christoffer Adamsen <christofferqa@google.com> 1660718667 +0000

Introduce a StartupProfileProvider interface

This changes the provided startup profile to be typed as a StartupProfileProvider.

This is consistent with other input providers, e.g., MapIdProvider, SourceFileProvider.

Change-Id: I37dfb011753a60e2b91efa6d16a717273cd2cc8d