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.BufferedGlyphList

Add something glyphish to this list.

add(int, Glyphish) - Method in class g2d.glyph.BufferedGlyphList

Add something glyphish to this list.

add(Glyphish, AffineTransform) - Method in class g2d.glyph.BufferedGlyphList

Add something glyphish to this list transforming it beforehand using given affine transformation.

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.

Use IOPFrame.add(IOPView, int) instead.

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.BufferedGlyphList

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 _