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)