Skip navigation links
Graphics2D Actor API
A B C D E F G H I J K L M N O P Q R S T U V W Z _ 

A

a - Static variable in class g2d.npa.examples.Nspk
 
AbstractBaseFrame - Class in g2d.graphviewer
Abstract Base frame for any kind of graphviewer window that displays a net, a navigator panel, and tabbed panels to display various things.
AbstractBaseFrame(String, JFrame, boolean) - Constructor for class g2d.graphviewer.AbstractBaseFrame
Creates a window frame for PLA application that is anchored at given parent frame (if not NULL)
accept(File, String) - Method in class g2d.closure.ClosureFilenameFilter
 
accept(File) - Method in class g2d.swing.FileFilter
 
accept(File) - Method in class g2d.swing.ImageFilter
 
accept(File) - Method in class g2d.swing.IOPFileFilter
methods of abstract super class
acknowledge(int, int) - Static method in class g2d.pla.Sentinel
 
action - Variable in enum g2d.pla.SubgraphTabita.SubgraphAction
 
actionPerformed(ActionEvent) - Method in class g2d.closure.ClosureAbstractAction
 
actionPerformed(ActionEvent) - Method in class g2d.closure.ClosureAction
 
actionPerformed(ActionEvent) - Method in class g2d.closure.ClosureActionListener
 
actionPerformed(ActionEvent) - Method in class g2d.closure.SpawningClosureActionListener
 
actionPerformed(ActionEvent) - Method in class g2d.graph.EdgeDialog
 
actionPerformed(ActionEvent) - Method in class g2d.graph.NodeDialog
 
actionPerformed(ActionEvent) - Method in class g2d.npa.FreshSetDialog
 
actionPerformed(ActionEvent) - Method in class g2d.npa.FreshSetEditor
 
actionPerformed(ActionEvent) - Method in class g2d.npa.SubstitutionDialog
 
actionPerformed(ActionEvent) - Method in class g2d.npa.SubstitutionEditor
 
actionPerformed(ActionEvent) - Method in class g2d.npa.TermCellEditor
 
actionPerformed(ActionEvent) - Method in class g2d.swing.BulkInputDialog
 
actionPerformed(ActionEvent) - Method in class g2d.swing.IOPToolBar
 
actionPerformed(ActionEvent) - Method in class g2d.swing.ZoomAction
 
ActorMsg - Class in g2d.util
The Actor messages, stripped down from yore.
ActorMsg.Token - Class in g2d.util
 
ActorMsg.Type - Enum in g2d.util
 
add(Glyphish) - Method in class g2d.glyph.GlyphList
Add something glyphish to this list.
add(int, Glyphish) - Method in class g2d.glyph.GlyphList
Add something glyphish to this list.
add(Glyphish, AffineTransform) - Method in class g2d.glyph.GlyphList
Add something glyphish to this list transforming it beforehand using given affine transformation.
add(Glyphish) - Method in class g2d.glyph.Grid
 
add(int, Glyphish) - Method in class g2d.glyph.Grid
 
add(Glyphish, AffineTransform) - Method in class g2d.glyph.Grid
 
add(Glyphish) - Method in class g2d.graph.Manifold
Adds glyphish thing to the appropriate charts.
add(int, Object) - Method in class g2d.jlambda.List
As specified by the AbstractList template.
add(String) - Method in class g2d.subset.Basis
 
ADD - Static variable in class g2d.subset.DEvent
 
add(Universe, int) - Method in class g2d.subset.Universe
 
add(Color, String) - Method in class g2d.swing.IOPColorKey
 
add(Color[], String[]) - Method in class g2d.swing.IOPColorKey
 
add(Glyphish) - Method in class g2d.swing.IOPComponent
 
add(Glyphish, AffineTransform) - Method in class g2d.swing.IOPComponent
 
add(IOPView) - Method in class g2d.swing.IOPFrame
Adds an IOPView to the center of frame.
add(IOPView, String) - Method in class g2d.swing.IOPFrame
Deprecated.
add(IOPView, int) - Method in class g2d.swing.IOPFrame
Adds an IOPView to the specified position in BorderLayout to the frame.
add(Glyphish) - Method in class g2d.swing.IOPView
 
add(Glyphish, AffineTransform) - Method in class g2d.swing.IOPView
 
add2Dish(String[]) - Method in class g2d.subset.DDialog
 
add2DishToolbar(Component) - Method in class g2d.subset.DDialog
 
add2Manifold(Glyphish) - Method in class g2d.graph.IOPGraph
Adds a glyph to the appropriate charts in the manifold.
add2Model(AbstractCollection, boolean) - Method in class g2d.npa.launcher.Launcher
 
add2Toolbar(Component) - Method in class g2d.subset.DPanel
 
addAction(String, Closure) - Method in class g2d.swing.IOPSingleSelect
Adds an associated action to an item in this dialog's list.
addAction(String[], Object[], Closure) - Method in class g2d.swing.IOPSingleSelect
 
addAll(ArrayList<Urelement>) - Method in class g2d.subset.SComboBoxModel
 
addBehavior(Closure) - Static method in class g2d.Main
This method allows one to extend the behavior of the Graphics 2D actor.
addButton(JButton) - Method in class g2d.glyphviewer.StatusBar
 
addButton(JButton) - Method in class g2d.netviewer.StatusBar
 
addButton(JButton) - Method in class g2d.swing.IOPSingleSelect
Adds a button to the dialog.
addButton(AbstractButton) - Method in class g2d.swing.IOPView
 
addButton(AbstractButton, int) - Method in class g2d.swing.IOPView
 
addButtonAction(Action) - Method in class g2d.subset.DPanel
 
addCallback(Closure) - Static method in class g2d.Behavior
 
addCategory(String, int[]) - Method in class g2d.subset.STree
 
addChangeListener(ChangeListener) - Method in class g2d.glyph.GlyphList
Adds a listener to those registered for change events.
addChoosableFileFilter(FileFilter) - Method in class g2d.swing.IOPFileChooser
 
addCreationClosure(Closure) - Static method in class g2d.tabwin.TabFrame
 
addDefinition(String, Object) - Static method in class g2d.jlambda.Evaluate
 
addDefinition(String, Object) - Method in class g2d.jlambda.Interpreter
 
addEdge(IOPEdge) - Method in class g2d.graph.IOPGraph
Adds an edge to the graph.
addEdge(IOPEdge) - Method in class g2d.graph.IOPSubgraph
 
addElement(Object) - Method in class g2d.subset.SComboBoxModel
 
addExtension(String) - Method in class g2d.swing.IOPFileFilter
Adds given extension to list of accepted extensions.
addFileChooserListener(FileChooserListener) - Method in class g2d.util.FileChooser
 
additions - Variable in class g2d.pla.menus.CompareMenu
 
additions - Variable in class g2d.swing.HierarchyMenu
 
additions - Variable in class g2d.tabwin.menus.ViewMenu
 
addListDataListener(ListDataListener) - Method in class g2d.subset.SComboBoxModel
 
addMenu(String, String[], Closure) - Method in class g2d.swing.IOPDropdownButton
 
addMenu(String, String[], String[], Closure) - Method in class g2d.swing.IOPDropdownButton
 
addMenuAt(JMenu, int) - Method in class g2d.graphviewer.AbstractBaseFrame
Insert a given menu to the current menu bar at given position.
addMenuItem(String, Closure) - Method in class g2d.swing.IOPDropdownButton
 
addMenuItem(String, String, Closure) - Method in class g2d.swing.IOPDropdownButton
 
addMItem(IOPMenuItem) - Method in class g2d.swing.IOPTextMenu
Add new menu item to end of list.
addMItem(IOPMenuItem) - Method in class g2d.swing.IOPView
Adds a new menu item to the currently active text menu in output.
addNode(IOPNode) - Method in class g2d.graph.IOPGraph
Adds a node to the graph.
addNode(IOPNode) - Method in class g2d.graph.IOPSubgraph
 
addOutput() - Method in class g2d.swing.IOPView
Adds a text output area at bottom of this view if it doesn't exist yet.
addPropertyChangeListener(PropertyChangeListener) - Method in class g2d.closure.ClosureAction
 
addPuffable(int) - Method in class g2d.util.TetrisStack
Add a puffable value.
addRole(Role) - Method in class g2d.npa.AttackEditor
 
addRole(String) - Method in class g2d.npa.AttackTable
 
addRole(String) - Method in class g2d.npa.NeverPatterns
 
addRole(Role) - Method in class g2d.npa.Protocol
 
addRole(Role) - Method in class g2d.npa.RolePanel
 
addRoleToAttack(String, AttackEditor.Tabs) - Method in class g2d.npa.AttackEditor
 
addRoleToAttack(String) - Method in class g2d.npa.AttackEditor
 
addSListener(SListener) - Method in class g2d.subset.Universe
 
addSubgraph(IOPSubgraph) - Method in class g2d.graph.IOPGraph
Adds a subgraph to the graph.
addSubgraph(IOPSubgraph) - Method in class g2d.graph.IOPSubgraph
 
addSubgraph(IOPSubgraph) - Method in class g2d.pla.SubgraphTabita
 
addTab(String, Component) - Method in class g2d.glyphviewer.SEPanel
 
addTab(String, Icon, Component) - Method in class g2d.glyphviewer.SEPanel
 
addTab(String, Icon, Component, String) - Method in class g2d.glyphviewer.SEPanel
 
addTab(String, Component) - Method in class g2d.netviewer.SEPanel
 
addTab(String, Icon, Component) - Method in class g2d.netviewer.SEPanel
 
addTab(String, Icon, Component, String) - Method in class g2d.netviewer.SEPanel
 
addTab(String, Component) - Method in class g2d.pla.SEPanel
 
addTab(String, Icon, Component) - Method in class g2d.pla.SEPanel
 
addTab(String, Icon, Component, String) - Method in class g2d.pla.SEPanel
 
addTab(String) - Method in class g2d.subset.DDialog
 
addTab(String, String) - Method in class g2d.subset.DPanel
 
addTab(String) - Method in class g2d.subset.SDialog
 
addTab(String, Comparator<Object>) - Method in class g2d.subset.SDialog
 
addTab(String, String, Universe) - Method in class g2d.subset.STabbedPane
 
addTab(String, STree) - Method in class g2d.subset.STabbedPane
 
addTabInfo() - Method in class g2d.glyphviewer.SEPanel
 
addTabInfo() - Method in class g2d.netviewer.SEPanel
 
addTabMenu() - Method in class g2d.glyphviewer.SEPanel
 
addTabMenu() - Method in class g2d.netviewer.SEPanel
 
addTabPanel(TabPanel) - Method in class g2d.tabwin.TabFrame
 
addTabPanel(int, TabPanel) - Method in class g2d.tabwin.TabFrame
 
addTabPanel(int, TabPanel, boolean) - Method in class g2d.tabwin.TabFrame
 
addTerm(Term) - Method in class g2d.npa.AttackEditor
 
addTerm(Term, Sort) - Method in class g2d.npa.SortedTermTable
 
addTerm() - Method in class g2d.npa.TermTable
 
addTerm2Pool(Term) - Method in class g2d.terms.Algebra
 
addTermPoolListener(TermPoolListener) - Method in class g2d.terms.Algebra
 
addToolBar() - Method in class g2d.swing.IOPView
 
addToolbarAction(Action) - Method in class g2d.subset.DPanel
 
addVirgin(String, Code) - Static method in class g2d.jlambda.Evaluate
 
addVirgin(String, Code) - Method in class g2d.jlambda.Interpreter
 
addZoomListener(ZoomListener) - Method in class g2d.glyphviewer.GlyphPanel
Add given zoom listener to list of objects to be notified upon zoom change.
addZoomListener(ZoomListener) - Method in class g2d.graphviewer.GraphPanel
Add given zoom listener to list of objects to be notified upon zoom change.
addZoomListener(ZoomListener) - Method in class g2d.swing.IOPComponent
Add given zoom listener to list of objects to be notified upon zoom change.
addZoomListener(ZoomListener) - Method in class g2d.swing.IOPView
Add given zoom listener to list of objects to be notified upon zoom change.
AGET - Static variable in class g2d.jlambda.SymbolTable
 
algebra - Variable in class g2d.npa.Role
 
Algebra - Class in g2d.terms
 
Algebra(Sort[], Subsorter, Constructor[]) - Constructor for class g2d.terms.Algebra
 
Algebra(String[], String[][], String[][]) - Constructor for class g2d.terms.Algebra
 
Algebra(Sort[], HashMap<Sort, Sort[]>, Constructor[]) - Constructor for class g2d.terms.Algebra
 
alignBottom(Rectangle2D) - Method in class g2d.glyph.SubTextGlyph
 
alignBottom(Rectangle2D) - Method in class g2d.glyph.TextGlyph
 
alignCenter(Rectangle2D) - Method in class g2d.glyph.SubTextGlyph
 
alignCenter(Rectangle2D) - Method in class g2d.glyph.TextGlyph
 
alignLeft(Rectangle2D) - Method in class g2d.glyph.SubTextGlyph
 
alignLeft(Rectangle2D) - Method in class g2d.glyph.TextGlyph
 
alignOnTop(Rectangle2D) - Method in class g2d.glyph.SubTextGlyph
 
alignOnTop(Rectangle2D) - Method in class g2d.glyph.TextGlyph
 
alignRight(Rectangle2D) - Method in class g2d.glyph.SubTextGlyph
 
alignRight(Rectangle2D) - Method in class g2d.glyph.TextGlyph
 
alignToDotPoint(Point2D, int) - Method in class g2d.glyph.TextGlyph
 
alignToLeft(Rectangle2D) - Method in class g2d.glyph.SubTextGlyph
 
alignTop(Rectangle2D) - Method in class g2d.glyph.SubTextGlyph
 
alignTop(Rectangle2D) - Method in class g2d.glyph.TextGlyph
 
alignToPoint(Point2D) - Method in class g2d.glyph.SubTextGlyph
 
alignToPoint(Point2D) - Method in class g2d.glyph.TextGlyph
 
alignToRight(Rectangle2D) - Method in class g2d.glyph.SubTextGlyph
 
alignUnder(Rectangle2D) - Method in class g2d.glyph.SubTextGlyph
 
allowsSelections - Variable in class g2d.graphviewer.AbstractBaseFrame
 
allowsSelections() - Method in class g2d.graphviewer.AbstractBaseFrame
 
allowsSelections() - Method in class g2d.pla.PLAPanel
 
Analyse - Class in g2d.jlambda
 
analyse(Object, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
analyseArrayForm(Code, String, Code, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
analyseCode(Code, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
analyseDefineForm(Code, String, Code, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
analyseDoForm(Code, String, Code, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
analyseForForm(Code, String, Code, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
analyseForm(Code, String, Code, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
analyseLambdaForm(Code, String, Code, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
analyseLetForm(Code, String, Code, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
analyseObjectForm(Code, String, Code, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
analysePrimitiveForm(Code, String, Code, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
analyseTryForm(Code, String, Code, AnalysisEnv) - Static method in class g2d.jlambda.Analyse
 
AND - Static variable in class g2d.jlambda.SymbolTable
 
AnimatedGlyph - Class in g2d.glyph
A sequence images, which can be displayed as a sequence or as needed.
AnimatedGlyph(String) - Constructor for class g2d.glyph.AnimatedGlyph
 
antiAliased - Static variable in class g2d.graph.GraphItem
Whether to draw with anti-aliasing or not.
API4 - Class in g2d.subset
 
API4() - Constructor for class g2d.subset.API4
 
APITest - Class in g2d.subset
 
APITest() - Constructor for class g2d.subset.APITest
 
append(String) - Method in class g2d.jlambda.PrettyPrinter
 
append(Object) - Method in class g2d.jlambda.PrettyPrinter
 
append(char) - Method in class g2d.jlambda.PrettyPrinter
 
append(int) - Method in class g2d.jlambda.PrettyPrinter
 
append(Component) - Method in class g2d.toolbar.ToolBar
 
appendResult(String) - Method in class g2d.console.Console
 
AppFrame - Class in g2d.tabwin
 
AppFrame(String) - Constructor for class g2d.tabwin.AppFrame
 
APPLICATION_NAME - Static variable in class g2d.glyphviewer.Utils
 
APPLICATION_NAME - Static variable in class g2d.netviewer.Utils
 
APPLY - Static variable in class g2d.jlambda.SymbolTable
 
applyClosure() - Method in class g2d.jlambda.Closure
A convenience method.
applyClosure(Object) - Method in class g2d.jlambda.Closure
A convenience method.
applyClosure(Object, Object) - Method in class g2d.jlambda.Closure
A convenience method.
applyClosure(Object, Object, Object) - Method in class g2d.jlambda.Closure
A convenience method.
applyClosure(Object, Object, Object, Object) - Method in class g2d.jlambda.Closure
A convenience method.
applyClosure(Object, Object, Object, Object, Object) - Method in class g2d.jlambda.Closure
A convenience method.
AppTerm - Class in g2d.terms
 
AppTerm(Constructor, ArrayList<Term>, Subsorter) - Constructor for class g2d.terms.AppTerm
 
args - Variable in class g2d.terms.Constructor
 
arity - Variable in class g2d.terms.Constructor
 
ARRAY - Static variable in class g2d.jlambda.SymbolTable
 
array2File(String[], File) - Static method in class g2d.util.IO
 
array2File(String[], File, boolean) - Static method in class g2d.util.IO
 
array2List(Object) - Static method in class g2d.jlambda.List
 
ARROWHEAD_LENGTH - Static variable in class g2d.swing.IOPConstants
 
ARROWHEAD_SHAPE - Static variable in class g2d.swing.IOPConstants
 
ARROWHEAD_WIDTH - Static variable in class g2d.swing.IOPConstants
 
ASET - Static variable in class g2d.jlambda.SymbolTable
 
ask() - Method in class g2d.util.Request
 
ask4Contents(String) - Static method in class g2d.pla.FileSystem
 
askDot(Dot.DotFormat, String) - Static method in class g2d.graph.Dot
 
askSal(String, String, String) - Method in class g2d.util.Sal
 
askterm(Term) - Method in class g2d.npa.AttackEditor
 
attackAlgebra - Variable in class g2d.npa.Syntax
 
AttackEditor - Class in g2d.npa
 
AttackEditor(String, Protocol, Syntax) - Constructor for class g2d.npa.AttackEditor
 
AttackEditor.Tabs - Enum in g2d.npa
 
attackPanel - Variable in class g2d.npa.NeverPattern
 
attackTable - Variable in class g2d.npa.AttackEditor
 
AttackTable - Class in g2d.npa
 
AttackTable(AttackEditor) - Constructor for class g2d.npa.AttackTable
 
attackTable - Variable in class g2d.npa.NeverPattern
 
Attributable - Class in g2d.jlambda
Those things that have Attributes.
Attributable() - Constructor for class g2d.jlambda.Attributable
Construct an new Attributable instance.
Attributable(Attributable) - Constructor for class g2d.jlambda.Attributable
Construct an Attributable instance by cloning an existing one.
attribute - Variable in enum g2d.pla.SettingsMode
 
augmentCell(List, List) - Static method in class g2d.jlambda.Code
 
augmentSpine(List, List) - Static method in class g2d.jlambda.Code
 
augmentSpine(int, List, List) - Static method in class g2d.jlambda.Code
 
A B C D E F G H I J K L M N O P Q R S T U V W Z _ 
Skip navigation links
Graphics2D Actor API