private class GoalList.SelectingGoalListModel extends javax.swing.AbstractListModel<Goal>
GoalListModel
with a filter that hides certain
goals. This is currently used to prevent the display of goals that appear
closed for the present user constraint.Modifier and Type | Class and Description |
---|---|
private class |
GoalList.SelectingGoalListModel.DelegateListener |
Modifier and Type | Field and Description |
---|---|
private GoalList.GoalListModel |
delegate |
private GoalList.SelectingGoalListModel.DelegateListener |
delegateListener |
private int |
delegateSize
The last known size of the delegate model.
|
private java.util.ArrayList<java.lang.Integer> |
entries
List of
Integer objects that determine the (strictly
monotonic) mapping of the row indexes of this model to the rows of
the delegate model |
private Proof |
proof |
private static long |
serialVersionUID |
Constructor and Description |
---|
SelectingGoalListModel(GoalList.GoalListModel delegate) |
Modifier and Type | Method and Description |
---|---|
private int |
delegatePosToMappingPos(int delegateIndex) |
private int |
delegateSizeChange() |
private int |
getDelegateIndex(int i) |
Goal |
getElementAt(int i) |
int |
getSize() |
private boolean |
isHiddenGoal(Goal goal) |
private int |
removeInterval(int delegateBegin,
int delegateEnd)
Remove the parts of the entry mapping for a certain interval
[delegateBegin, delegateEnd) of the delegate model
|
private int |
selectFromInterval(int delegateBegin,
int delegateEnd)
Determine the visible goals of a certain interval [delegateBegin,
delegateEnd) of the delegate model and create the respective entries
of the selection mapping
|
protected void |
setProof(Proof p)
the proof this view belongs to has changed; this also updates the
delegate model
|
private void |
setup() |
private void |
shiftTail(int begin,
int amount)
Shift values of the entries [begin, getSize()) of the selection
mapping by the given amount
|
private void |
updateDelegateSize() |
private static final long serialVersionUID
private final GoalList.GoalListModel delegate
private final java.util.ArrayList<java.lang.Integer> entries
Integer
objects that determine the (strictly
monotonic) mapping of the row indexes of this model to the rows of
the delegate modelprivate final GoalList.SelectingGoalListModel.DelegateListener delegateListener
private int delegateSize
private Proof proof
public SelectingGoalListModel(GoalList.GoalListModel delegate)
public int getSize()
public Goal getElementAt(int i)
private int getDelegateIndex(int i)
protected void setProof(Proof p)
private boolean isHiddenGoal(Goal goal)
private void setup()
private int selectFromInterval(int delegateBegin, int delegateEnd)
private int removeInterval(int delegateBegin, int delegateEnd)
private int delegatePosToMappingPos(int delegateIndex)
private void shiftTail(int begin, int amount)
private int delegateSizeChange()
private void updateDelegateSize()