public interface MirrorElementIdPool
Modifier and Type | Interface and Description |
---|---|
static class |
MirrorElementIdPool.Factory
Static factory for MirrorElementIdPools.
|
Modifier and Type | Method and Description |
---|---|
ElementId |
getIdFor(Declaration mirrorElement) |
ElementId getIdFor(Declaration mirrorElement)