|
|||||||||
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 mirrorElement)
|
Method Detail |
---|
ElementId getIdFor(Declaration mirrorElement)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |