Commit
8088e9633fbab608b1b37ce7178bdac9e0cf89fd
by Arnaud Fiorinitmf.core: Propagate the state provider getter
The partial state system needs to access the same state
provider as the analysis. The state provider is not
guaranteed to be stateless. In fact, it is often stateful.
This patch makes it clear that the same state provider is
provided by the analysis if getOrCreate is called subsequent
times
[Added] Propagate the state provider getter to the interface
Change-Id: Ib38fdddaca647ba173dee4c788c5f7edc0ec4153
Signed-off-by: Abdellah Rahmani <rahmaniabdellah1994@gmail.com>