tree 48a4fd1b46042622b077f98f4a51cb0a17d182a7
parent ba15eb19c2b12e2ca132467fdfae7aa8180363a9
author Christoffer Quist Adamsen <christofferqa@google.com> 1621243087 +0200
committer Christoffer Quist Adamsen <christofferqa@google.com> 1621244052 +0000

Fix verifyRewrittenWithLens() failure from AppServices

This keeps track of which GraphLens was previously used to rewrite the AppServices instance.

This fixes an assertion failure in presence of cycles in the graph lens.

Example:

  Lens 1:
    A -> B
  Lens 2 extends Lens 1:
    B -> A

If AppServices is rewritten with Lens 2, and it references type A (i.e., AppServices is correctly rewritten with Lens 2 from referencing B to referencing A), then the call to verifyRewrittenWithLens() still fails, because A is mapped to B by Lens 1.

Change-Id: Ia05550603b30ebda40e66eee17df0240cb992eef