Class Tree.TreeState

  • Enclosing class:

    public static class Tree.TreeState
    extends Object
    Container object for the tree state.
    fracpete (fracpete at waikato dot ac dot nz)
    • Field Detail

      • actors

        public List actors
        the nested commandlines.
      • expanded

        public List<String> expanded
        the full names of the expanded actors.
      • modified

        public boolean modified
        whether the tree is modified.
      • file

        public File file
        the associated file, if any.
      • selection

        public List<String> selection
        the full names of the currently selected actors.
    • Constructor Detail

      • TreeState

        public TreeState()