Modifier and Type | Class and Description |
---|---|
protected static class |
CheckBase.ActiveElements<T extends JavaElement>
Represents the elements that have been
pushed onto
the active elements stack. |
Modifier and Type | Interface and Description |
---|---|
interface |
JavaAnnotationElement
Elements in the element forest that correspond to a Java annotation will implement this interface.
|
interface |
JavaFieldElement
Elements in the element forest that represent Java fields, will implement this interface.
|
interface |
JavaMethodElement
Elements in the element forest that represent Java methods, will implement this interface.
|
interface |
JavaMethodParameterElement
Elements in the element forest that represent Java method parameters, will implement this interface.
|
interface |
JavaModelElement
All elements corresponding to various Java language model (apart from annotations (see
JavaAnnotationElement )), i.e. |
interface |
JavaTypeElement
Elements in the element forest that represent Java types, will implement this interface.
|
Modifier and Type | Field and Description |
---|---|
T |
CheckBase.ActiveElements.newElement |
T |
CheckBase.ActiveElements.oldElement |
Modifier and Type | Method and Description |
---|---|
static <T extends JavaElement> |
Code.attachmentsFor(T oldElement,
T newElement,
String... customAttachments) |
protected <T extends JavaElement> |
CheckBase.popIfActive()
Pops the top of the stack of active elements if the current position in the call stack corresponds to the one
that pushed the active elements.
|
protected <T extends JavaElement> |
CheckBase.pushActive(T oldElement,
T newElement,
Object... context)
If called in one of the
doVisit*() methods, this method will push the elements along with some
contextual
data onto an internal stack. |
Modifier and Type | Method and Description |
---|---|
JavaElement |
UseSite.getSite() |
Modifier and Type | Method and Description |
---|---|
SortedSet<? extends JavaElement> |
JavaElement.getChildren() |
Constructor and Description |
---|
UseSite(UseSite.Type useType,
JavaElement site) |
Copyright © 2014-2020 Lukas Krejci. All Rights Reserved.