private static class TacletIndex.PrefixOccurrences
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) static int[] |
nextChild
fields to indicate the position of the next relevant child (the next
possible prefix element or real statement
|
private boolean[] |
occurred
field that marks iff the prefix elements have already occurred
|
(package private) static java.lang.Class<?>[] |
prefixClasses
the classes that represent prefix elements of a java block
|
(package private) static int |
PREFIXTYPES
number of prefix types
|
Constructor and Description |
---|
PrefixOccurrences() |
Modifier and Type | Method and Description |
---|---|
ImmutableList<NoPosTacletApp> |
getList(java.util.HashMap<java.lang.Object,ImmutableList<NoPosTacletApp>> map)
creates a selection of the given NoPosTacletApp map that comply with the
occurred prefix elements
|
int |
occurred(ProgramElement pe)
notification that the given program element has occurred.
|
void |
reset()
resets the occurred field to 'nothing has occurred'
|
static final java.lang.Class<?>[] prefixClasses
static final int PREFIXTYPES
private final boolean[] occurred
static final int[] nextChild
public void reset()
public int occurred(ProgramElement pe)
pe
- the occurred program elementpublic ImmutableList<NoPosTacletApp> getList(java.util.HashMap<java.lang.Object,ImmutableList<NoPosTacletApp>> map)
map
- a map to select from