edu.mit.ai.psg.traveler
Class TravelerOutliner.TravelerOutlineMaker

java.lang.Object
  |
  +--edu.mit.ai.psg.ui.outliner.OutlineMakerDefault
        |
        +--edu.mit.ai.psg.jexa.Jexa.JexaOutlineMaker
              |
              +--edu.mit.ai.psg.traveler.TravelerOutliner.TravelerOutlineMaker

Enclosing class:

TravelerOutliner

public static class TravelerOutliner.TravelerOutlineMaker

extends Jexa.JexaOutlineMaker

Fields inherited from class edu.mit.ai.psg.ui.outliner.OutlineMakerDefault

initialBounds, myNoteRenderer, myRenderers, noteFont

Constructor Summary

TravelerOutliner.TravelerOutlineMaker()

Methods inherited from class edu.mit.ai.psg.jexa.Jexa.JexaOutlineMaker

addHighlightPopupMenuItem, addPopupMenuItems, makeFrameTitle

Methods inherited from class edu.mit.ai.psg.ui.outliner.OutlineMakerDefault

addRenderer, addTreeListeners, getAllInterfacesWithRenderers, getAllRenderers, getExactRenderer, getExactRenderers, getFrameJTree, getMostSpecificInterfaceWithRenderers, getMostSpecificRenderer, getNoteRenderer, getPaneJTree, initializePane, makeFrame, makeFrame, makeOutlineJTree, makeOutlineModel, makeOutlineNode, makeOutlineNode, outline, removeRenderer, setFrameJTree, setPaneJTree

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TravelerOutliner.TravelerOutlineMaker

public TravelerOutliner.TravelerOutlineMaker()