|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface MirrorElementIdPool
Creates ElementIds using the Mirror API. To maximize efficiency you should try to share instances of IdPools as much as possible.
| Nested Class Summary | |
|---|---|
static class |
MirrorElementIdPool.Factory
Static factory for MirrorElementIdPools. |
| Method Summary | |
|---|---|
ElementId |
getIdFor(Declaration mirrorDeclaration)
|
| Method Detail |
|---|
ElementId getIdFor(Declaration mirrorDeclaration)
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||