Closure actionPerformedClosure
javax.swing.JFrame parent
InputTextArea input
javax.swing.JEditorPane output
javax.swing.JLabel status
javax.swing.JComboBox<E> namespaceChooser
java.lang.String ilk
java.lang.String currentFile
Console console
FileChooser chooser
Console console
javax.swing.JMenu fileMenu
javax.swing.JMenuItem[] fileItem
java.awt.event.ActionListener[] fileListeners
javax.swing.JMenu editMenu
javax.swing.JMenuItem[] editItem
java.awt.event.ActionListener[] editListeners
javax.swing.JMenu evaluateMenu
javax.swing.JMenuItem[] evaluateItem
java.awt.event.ActionListener[] evaluateListeners
javax.swing.JMenu inspectMenu
javax.swing.JMenuItem[] inspectItem
java.awt.event.ActionListener[] inspectListeners
javax.swing.JMenu viewMenu
javax.swing.JMenuItem[] viewItem
java.awt.event.ActionListener[] viewListeners
java.awt.Container contentPane
javax.swing.JTextField target
javax.swing.JButton findButton
javax.swing.JButton clearButton
javax.swing.JButton closeButton
javax.swing.JCheckBox caseSensitive
javax.swing.JCheckBox findBackwards
GlyphList glyphs
java.awt.Dimension glyphsSize
java.util.Set<E> zoomListeners
java.awt.geom.AffineTransform zoomTransform
java.awt.Point lastPoint
BufferedGlyphList glyphs
ToolBar toolBar
GlyphPanel glyphPanel
javax.swing.JScrollPane scrollGlyphs
NavPanel navPanel
SEPanel sePanel
StatusBar statusBar
javax.swing.JMenu fileMenu
javax.swing.JMenu viewMenu
int id
GlyphPanel glyphPanel
java.awt.image.BufferedImage image
java.awt.Image thumbNail
java.awt.Dimension containerSize
java.awt.Insets insets
java.awt.geom.AffineTransform scaleToThumb
java.awt.geom.AffineTransform translateToThumb
java.awt.geom.AffineTransform scaleFromThumb
java.awt.geom.AffineTransform translateFromThumb
java.awt.Rectangle porthole
java.awt.Point prevpoint
int id
javax.swing.JLabel label
javax.swing.JLabel message
javax.swing.JPanel buttons
GlyphView owner
java.awt.Font font
Closure filter
Closure renderer
javax.swing.JLabel description
javax.swing.JTextField fieldOfGlyphs
g2d.glyphviewer.TabFindGlyph.ListModel modelOfGlyphs
javax.swing.JList<E> listOfGlyphs
int lastIndex
boolean completionInProgress
boolean completionRemove
boolean completionInsert
javax.swing.JLabel label
javax.swing.JEditorPane editorpane
BrowserLauncher launcher
javax.swing.event.HyperlinkListener linklistener
javax.swing.JLabel label
java.util.List<E> components
javax.swing.JPanel buttons
java.util.List<E> items
javax.swing.ButtonGroup buttonGroup
GlyphPanel glyphPanel
int WIDTH
int HEIGHT
java.lang.String[] shapes
IOPNode node
javax.swing.JPanel options
javax.swing.JTextField label
javax.swing.JComboBox<E> combo
javax.swing.JButton closeButton
javax.swing.JButton fillColor
javax.swing.JButton borderColor
javax.swing.JButton textColor
javax.swing.JSlider wSlider
javax.swing.JSlider hSlider
javax.swing.JLabel wLabel
javax.swing.JLabel hLabel
IOPFrame frame
boolean allowsSelections
javax.swing.JMenu fileMenu
javax.swing.JMenu zoomMenu
javax.swing.JMenu graphMenu
javax.swing.JLabel subtitle
ToolBar toolBar
javax.swing.JScrollPane scrollGraph
NavPanel navPanel
GraphPanel graphPanel
SEPanel sePanel
java.lang.String title
java.awt.image.BufferedImage lastThumbnail
javax.swing.event.HyperlinkListener linklistener
javax.swing.JLabel label
javax.swing.JEditorPane editorpane
BrowserLauncher launcher
javax.swing.JFrame bframe
GraphPanel graphPanel
java.io.File lastFile
javax.swing.JFileChooser chooser
javax.swing.filechooser.FileFilter epsFilter
javax.swing.filechooser.FileFilter pngFilter
javax.swing.filechooser.FileFilter dotFilter
GraphPanel graphPanel
Textual sePanel
Closure linkEventClosure
javax.swing.JLabel label
javax.swing.JEditorPane editorpane
GraphPanel graphPanel
java.awt.image.BufferedImage image
java.awt.Image thumbNail
java.awt.Dimension containerSize
java.awt.Insets insets
java.awt.geom.AffineTransform scaleToThumb
java.awt.geom.AffineTransform translateToThumb
java.awt.geom.AffineTransform scaleFromThumb
java.awt.geom.AffineTransform translateFromThumb
java.awt.Rectangle porthole
java.awt.Point prevpoint
int id
TabFind tabFind
TabSettings tabSettings
TabInfo tabInfo
TabMenu tabMenu
TetrisStack lastIndices
AbstractBaseFrame owner
java.awt.Font font
javax.swing.JTextField nodeField
ListModel nodes
javax.swing.JList<E> nodeList
int lastIndex
boolean completionInProgress
boolean completionRemove
boolean completionInsert
javax.swing.JLabel label
javax.swing.JEditorPane editorpane
BrowserLauncher launcher
javax.swing.event.HyperlinkListener linklistener
javax.swing.JLabel label
java.util.List<E> components
java.awt.Font font
javax.swing.JButton escape
javax.swing.JPanel buttons
GraphPanel graphPanel
GraphPanel graphPanel
java.util.List<E> data
javax.swing.JFrame owner
Closure toStringClosure
java.lang.String bt
List form
NetPanel owner
IOPGraph graph
ToolBar toolBar
NetGraphPanel graphPanel
javax.swing.JScrollPane scrollGraph
NavPanel navPanel
SEPanel sePanel
StatusBar statusBar
javax.swing.JMenu fileMenu
javax.swing.JMenu viewMenu
javax.swing.JMenu exportMenu
javax.swing.JMenu graphMenu
javax.swing.JMenu hierarchyMenu
int id
TabInfo tabInfo
TabMenu tabMenu
NetContainer owner
TetrisStack lastIndices
java.util.HashSet<E> listeners
javax.swing.JLabel label
javax.swing.JLabel message
javax.swing.JPanel buttons
java.awt.Toolkit tk
javax.swing.border.Border paddingBorder
javax.swing.border.Border border
NetContainer owner
java.awt.Font font
Closure filter
Closure renderer
javax.swing.JTextField nodeField
g2d.netviewer.TabFind.ListModel nodes
javax.swing.JList<E> nodeList
int lastIndex
boolean completionInProgress
boolean completionRemove
boolean completionInsert
NetContainer owner
java.awt.Font font
Closure filter
Closure renderer
javax.swing.JLabel description
javax.swing.JTextField graphItemField
g2d.netviewer.TabFindGraphItem.ListModel graphItems
javax.swing.JList<E> graphItemList
int lastIndex
boolean completionInProgress
boolean completionRemove
boolean completionInsert
NetContainer owner
TabListModel model
javax.swing.JList<E> list
javax.swing.JComboBox<E> comboBox
javax.swing.JButton button
Closure buttonClosure
javax.swing.JPanel topPanel
javax.swing.JPanel centerPanel
javax.swing.JPanel bottomPanel
javax.swing.JScrollPane listScroller
boolean listenersEnabled
javax.swing.JLabel label
java.util.List<E> components
javax.swing.JPanel buttons
java.util.List<E> items
javax.swing.ButtonGroup buttonGroup
NetGraphPanel graphPanel
AttackEditor.Tabs mode
java.lang.String name
Protocol protocol
Syntax syntax
SortedTermTable termTable
g2d.npa.SyntaxInput syntaxInput
StatusBar statusBar
HelpWindow helpWindow
Term questionableTerm
SyntaxPanel syntaxPanel
RolePanel roleTabs
AttackTable attackTable
TermPanel knowledgePanel
NeverPatterns neverPatterns
javax.swing.JMenuBar menubar
javax.swing.JLabel attackLabel
javax.swing.JTextField attackName
javax.swing.JButton okButton
javax.swing.JButton cancelButton
javax.swing.JButton helpButton
javax.swing.JButton viewButton
javax.swing.JToolBar toolBar
javax.swing.JTabbedPane rhsTabs
javax.swing.JTabbedPane lhsTabs
javax.swing.JPanel contentPane
AttackEditor editor
g2d.npa.AttackTableModel model
javax.swing.table.TableColumnModel columnModel
AttackEditor editor
javax.swing.JTable table
Role role
int row
int column
FreshSet currentFreshSet
javax.swing.JButton button
HTMLPane htmlPane
javax.swing.JPanel contentPane
StatusBar statusBar
javax.swing.JSplitPane splitPane
int id
javax.swing.JPanel attackPanel
AttackTable attackTable
TermPanel intruderPanel
TermTable intruderTable
javax.swing.JCheckBox selected
StatusBar statusBar
javax.swing.JButton addButton
javax.swing.JButton deleteButton
javax.swing.ButtonGroup buttonGroup
int rows
java.awt.GridLayout layout
javax.swing.JPanel patterns
java.util.ArrayList<E> patternList
AttackEditor editor
int id
java.awt.Window parent
AttackEditor editor
TermPanel termPanel
javax.swing.JPanel topPanel
javax.swing.JPanel namePanel
javax.swing.JLabel nameLabel
javax.swing.JTextField nameField
javax.swing.JPanel freshPanel
javax.swing.JLabel freshLabel
javax.swing.JTextField freshField
javax.swing.JPanel footer
javax.swing.JPanel leftButtons
javax.swing.JButton okButton
boolean okayed
java.lang.String[] reason
AttackEditor editor
javax.swing.JTabbedPane roleTabs
java.util.HashMap<K,V> tabMap
javax.swing.JPanel footer
javax.swing.JPanel buttons
javax.swing.JComboBox<E> actionChooser
Role role
AttackEditor editor
TermTable strandTable
javax.swing.JPanel topPanel
javax.swing.JPanel namePanel
javax.swing.JLabel nameLabel
javax.swing.JLabel name
javax.swing.JPanel freshPanel
javax.swing.JLabel freshLabel
javax.swing.JLabel fresh
javax.swing.JPanel footer
AttackEditor editor
g2d.npa.RoleTableModel model
boolean debug
AttackEditor editor
g2d.npa.SortedTermTableModel model
Algebra algebra
javax.swing.JTable table
Role role
Substitution selected
SubstitutionTable substTable
javax.swing.JButton cancel
javax.swing.JButton ok
AttackEditor editor
javax.swing.JTable table
Role role
int row
int column
Substitution currentSubstitution
javax.swing.JButton button
AttackEditor editor
g2d.npa.SubstitutionTableModel model
javax.swing.JTextArea textArea
javax.swing.JTabbedPane tableContainer
SortedTermTable termTable
g2d.npa.SyntaxInput input
java.awt.image.BufferedImage image
java.awt.Image thumbNail
java.awt.Dimension containerSize
java.awt.Insets insets
javax.swing.JPanel upper
javax.swing.JPanel middle
javax.swing.JComponent lower
AttackEditor editor
java.awt.datatransfer.DataFlavor localObjectFlavor
javax.swing.JTable table
TermEditor termEditor
AttackEditor editor
Algebra algebra
javax.swing.JButton button
Term initialTerm
TermTable table
javax.swing.JLabel status
javax.swing.JPanel footer
javax.swing.JPanel buttons
javax.swing.JButton addButton
javax.swing.JButton deleteButton
javax.swing.JCheckBox select
AttackEditor editor
g2d.npa.TermTableModel model
Term base
Closure launchClosure
FastListModel<E> protocolModel
javax.swing.JList<E> protocols
javax.swing.event.ListSelectionListener protocolsListener
javax.swing.JPanel mainPanel
javax.swing.JPanel topPanel
java.lang.String statusPrefix
javax.swing.JLabel status
javax.swing.JPanel buttons
javax.swing.JButton go
IOPGraph graph
Highlighter highlighter
g2d.pla.PairTab.PairTable table
g2d.pla.PairTab.PairTableModel model
javax.swing.JLabel description
javax.swing.JCheckBox loudness
IOPGraph graph
Highlighter highlighter
g2d.pla.PathTab.PathTable table
g2d.pla.PathTab.PathTableModel model
javax.swing.JLabel description
javax.swing.JCheckBox loudness
javax.swing.JButton launchButton
PLAPanel owner
boolean allowsSelections
IOPGraph graph
boolean displayable
PLAGraphPanel graphPanel
javax.swing.JScrollPane scrollGraph
NavPanel navPanel
SEPanel sePanel
javax.swing.JMenu viewMenu
javax.swing.JMenu hierarchyMenu
javax.swing.JMenu exportMenu
javax.swing.JMenu compareMenu
javax.swing.JMenu graphMenu
PLAPanel owner
javax.swing.JTextField searchField
NodeListModel searchSpace
javax.swing.JList<E> searchList
javax.swing.JCheckBox searchRegex
javax.swing.JLabel description
int lastIndex
boolean completionInProgress
boolean completionRemove
boolean completionInsert
SearchTabita searchTabitaOccs
SearchTabita searchTabitaRules
SettingsTabita settingsTabita
SubgraphTabita subgraphTabita
TabInfo tabInfo
TabMenu tabMenu
java.util.HashSet<E> listeners
PLAPanel owner
javax.swing.JComboBox<E> modusOperandi
javax.swing.JButton reset
javax.swing.JPanel south
java.awt.CardLayout cardLayout
javax.swing.JPanel center
g2d.pla.SettingsTabita.SettingPanel[] settingPanels
PLAPanel owner
javax.swing.JComboBox<E> modusOperandi
javax.swing.JComboBox<E> actionChooser
javax.swing.JLabel status
javax.swing.JPanel north
javax.swing.JPanel south
java.awt.CardLayout cardLayout
javax.swing.JPanel center
g2d.pla.SubgraphTabita.SubgraphPanel[] subgraphPanels
java.awt.event.ActionListener chooseAction
java.awt.event.ActionListener createAction
java.awt.event.ActionListener deleteAction
java.awt.event.ActionListener collapse2OccAction
java.awt.event.ActionListener collapse2RuleAction
java.awt.event.ActionListener undoAction
java.awt.event.ActionListener expandAction
java.awt.event.ActionListener resetAction
java.awt.event.ActionListener[] actions
javax.swing.JLabel label
java.util.List<E> components
java.awt.Font font
javax.swing.JPanel buttons
java.util.List<E> items
javax.swing.ButtonGroup buttonGroup
Closure stateChangedClosure
PLAGraphPanel graphPanel
Explorer.Find current
Closure completionClosure
Closure netsClosure
Closure rulesClosure
Closure launchClosure
Closure saveClosure
FastListModel<E> completionModel
javax.swing.JList<E> completionResults
javax.swing.event.ListSelectionListener completionListener
FastListModel<E> findModel
javax.swing.JList<E> findResults
javax.swing.event.ListSelectionListener findListener
javax.swing.JPanel mainPanel
javax.swing.JPanel topPanel
javax.swing.JPanel bottomPanel
java.lang.String statusPrefix
javax.swing.JLabel status
javax.swing.JPanel topButtons
javax.swing.JPanel bottomButtons
javax.swing.JButton rules
javax.swing.JButton nets
javax.swing.JButton go
javax.swing.JButton save
javax.swing.JTextField editor
java.util.List<E> data
boolean chatty
PLAPanel panel
java.util.List<E> additions
int state
int type
java.util.ArrayList<E> slice
javax.swing.JPanel controlPanel
javax.swing.JPanel buttonPanel
java.lang.String name
Universe domain
SComboBox domainCombo
STabbedPane domainTabs
STree domainTree
javax.swing.JToolBar domainBar
javax.swing.text.JTextComponent editor
Universe universe
boolean debug
SComboBoxModel model
java.awt.Frame parent
Universe universe
boolean chosen
int[] indices
SEditorPane subset
STabbedPane tabbedPane
SComboBox sedit
boolean uninitialized
Universe universe
boolean drastic
java.util.ArrayList<E> tabs
java.util.HashMap<K,V> tabMap
java.util.HashMap<K,V> categories
javax.swing.tree.DefaultTreeModel model
boolean seeEvents
Universe universe
javax.swing.tree.DefaultMutableTreeNode root
java.lang.String tab
java.util.Comparator<T> order
java.lang.String[] items
javax.swing.tree.TreeNode node
javax.swing.JTextArea textArea
javax.swing.JFileChooser fc
GraphContainer panel
IOPFileChooser chooser
javax.swing.filechooser.FileFilter epsFilter
javax.swing.filechooser.FileFilter pngFilter
javax.swing.filechooser.FileFilter jpgFilter
javax.swing.filechooser.FileFilter dotFilter
javax.swing.filechooser.FileFilter svgFilter
boolean listenersEnabled
HierarchyMenuBuilder builder
java.util.List<E> additions
BrowserLauncher launcher
boolean reusing
javax.swing.event.HyperlinkListener linklistener
javax.swing.JTextField tr
GlyphList glyphList
Glyphish selected
java.awt.geom.AffineTransform zoomTrans
java.awt.geom.AffineTransform invZoomTrans
java.awt.geom.Rectangle2D thisBound
Closure mouseClickedAction
Closure mouseDraggedAction
Closure mouseEnteredAction
Closure mouseExitedAction
Closure mouseMovedAction
Closure mousePressedAction
Closure mouseReleasedAction
java.util.HashSet<E> zoomListeners
Closure keyPressedAction
Closure keyReleasedAction
Closure keyTypedAction
IOPDropdownButton.DDPopupMenu menu
boolean visible
Closure caction
java.util.Map<K,V> filter_map
javax.swing.filechooser.FileFilter defaultFileFilter
java.lang.String directoryPrefString
java.lang.String filterPrefString
java.lang.String filePrefString
java.lang.String msg
IOPMultiSelect dialog
g2d.swing.Row[] rows
int numRows
boolean[] selections
boolean retval
int scrollIncr
javax.swing.DefaultListModel<E> listModel
javax.swing.JList<E> list
javax.swing.JPanel buttonPane
java.lang.String value
java.util.HashMap<K,V> actions
java.awt.Frame parent
java.lang.String cancelButtonLabel
boolean persistAfterSelection
javax.swing.DefaultListModel<E> listModel
javax.swing.JList<E> list
IOPView view
IOPToolBar toolBar
IOPComponent iopComponent
IOPScrollPane scrollIOP
javax.swing.JPanel outputPanel
javax.swing.JSplitPane splitPane
java.util.HashSet<E> listeners
Zoomer zoomer
int type
int id
javax.swing.JTabbedPane tabs
java.lang.String title
java.lang.String toolTip
javax.swing.JMenuBar menuBar
TabPanel.ContentPanel content
javax.swing.JToolBar toolBar
javax.swing.JSplitPane splitPaneV
javax.swing.JSplitPane splitPaneH
java.awt.Container owner
javax.swing.JMenuItem minitem
javax.swing.JMenuItem closeitem
java.util.List<E> additions
java.awt.Window parent
Algebra algebra
javax.swing.JTextField termField
boolean listening
StatusBar status
StatusBar controls
javax.swing.JButton cancel
javax.swing.JButton ok
javax.swing.JButton undo
java.util.Stack<E> history
Term term
Term initialTerm
boolean usePool
java.util.ArrayList<E> holePositions
javax.swing.text.Highlighter hilit
javax.swing.text.Highlighter.HighlightPainter painter
java.lang.Object tag
javax.swing.JComboBox<E> currentChooser
HolePosition currentHit
java.awt.Window parent
Algebra algebra
javax.swing.JTextField termField
boolean listening
StatusBar messages
StatusBar status
StatusBar controls
javax.swing.JButton cancel
javax.swing.JButton ok
javax.swing.JButton undo
java.util.Stack<E> history
Term term
Term initialTerm
boolean usePool
java.util.ArrayList<E> termPositions
javax.swing.text.Highlighter hilit
javax.swing.text.Highlighter.HighlightPainter painter
java.lang.Object tag
javax.swing.JComboBox<E> currentChooser
TermPosition currentHit
java.util.List<E> listeners
boolean initialized
int x
int y
java.awt.Image image