Module org.autogui

Class GuiSwingTableColumn.SpecifierManagerIndex

java.lang.Object
org.autogui.swing.table.GuiSwingTableColumn.SpecifierManagerIndex
All Implemented Interfaces:
Supplier<GuiReprValue.ObjectSpecifier>, GuiSwingView.SpecifierManager
Enclosing interface:
GuiSwingTableColumn

public static class GuiSwingTableColumn.SpecifierManagerIndex extends Object implements GuiSwingView.SpecifierManager
a specifier factory for a list index: having a mutable index and creating GuiReprValue.ObjectSpecifierIndex. For columns of nested lists, the managers are also nested. In order to specify the indices Map<SpecifierManagerIndex,Integer> is used. This means that instances of the class are created for each nested structure and identify of them are used.