private static class TermNavigator.MutablePair
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) Term |
first |
private static java.util.ArrayDeque<TermNavigator.MutablePair> |
PAIR_POOL
TERM_NAVIGATOR_POOL of TermNavigator.MutablePair as these are created very often and short-living
we reuse them as far as possible
The used TermNavigator have to be explicitly released by the user via
release() |
private static int |
PAIR_POOL_SIZE |
(package private) java.lang.Integer |
second |
Constructor and Description |
---|
MutablePair(Term first,
java.lang.Integer second) |
Modifier and Type | Method and Description |
---|---|
(package private) static TermNavigator.MutablePair |
get(Term first,
java.lang.Integer second)
returns a pooled
TermNavigator.MutablePair or a new one if the TERM_NAVIGATOR_POOL is currently empty
The used MutablePair have to be explicitly released by the user via release() |
void |
release() |
void |
set(Term first,
java.lang.Integer second) |
java.lang.String |
toString() |
private static final int PAIR_POOL_SIZE
private static java.util.ArrayDeque<TermNavigator.MutablePair> PAIR_POOL
release()
Term first
java.lang.Integer second
public MutablePair(Term first, java.lang.Integer second)
static TermNavigator.MutablePair get(Term first, java.lang.Integer second)
TermNavigator.MutablePair
or a new one if the TERM_NAVIGATOR_POOL is currently empty
The used MutablePair have to be explicitly released by the user via release()
TermNavigator.MutablePair
or a new one if the TERM_NAVIGATOR_POOL is currently emptypublic final void set(Term first, java.lang.Integer second)
public final void release()
public java.lang.String toString()
toString
in class java.lang.Object