Class MultiSwitchLayoutManager.WhitespaceManagementPosition

    • Field Detail

      • knuthList

        private java.util.List<ListElement> knuthList
    • Constructor Detail

      • WhitespaceManagementPosition

        public WhitespaceManagementPosition​(LayoutManager lm)
    • Method Detail

      • getPositionList

        public java.util.List<Position> getPositionList()
      • setKnuthList

        public void setKnuthList​(java.util.List<ListElement> knuthList)
      • getKnuthList

        public java.util.List<ListElement> getKnuthList()