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

C

caar() - Method in class g2d.jlambda.List

The car of the car of this list.

caddr() - Method in class g2d.jlambda.List

The car of the cdr of the cdr.

cadr() - Method in class g2d.jlambda.List

The car of the cdr of this list.

canBeNullaryForm(String) - Static method in class g2d.jlambda.Analyse

cancel() - Method in class g2d.npa.AttackEditor

canImport(TransferHandler.TransferSupport) - Method in class g2d.npa.TableRowTransferHandler

canonicalize(String) - Static method in class g2d.jlambda.SymbolTable

car - Variable in class g2d.jlambda.List

The car of this List, and arbitrary Object.

car() - Method in class g2d.jlambda.List

The ubiquitous Lisp/Scheme car accessor.

caretUpdate(CaretEvent) - Method in class g2d.terms.HoleEditor

caretUpdate(CaretEvent) - Method in class g2d.terms.TermEditor

CATCH - Static variable in class g2d.jlambda.SymbolTable

category - Variable in class g2d.subset.Classification

cause() - Method in class g2d.subset.SEvent

cdar() - Method in class g2d.jlambda.List

The cdr of the car of this list.

cddr() - Method in class g2d.jlambda.List

The cdr of the cdr of this list.

cdr - Variable in class g2d.jlambda.List

The cdr, or rest, of this list.

cdr() - Method in class g2d.jlambda.List

The ubiquitous Lisp/Scheme cdr accessor.

centerOn(Rectangle) - Method in class g2d.glyphviewer.GlyphPanel

Center component on given rectangle.

centerOn(Rectangle) - Method in class g2d.graphviewer.GraphPanel

Center component on given rectangle.

centerOn(Glyphish) - Method in class g2d.swing.IOPComponent

Deprecated.

use IOPComponent.centerOn(java.awt.geom.Rectangle2D) instead

centerOn(Rectangle2D) - Method in class g2d.swing.IOPComponent

Center component on given rectangle.

centerOn(Glyphish) - Method in class g2d.swing.IOPView

Deprecated.

use combination of IOPView.getIOPComponent() and IOPComponent.centerOn(java.awt.geom.Rectangle2D) instead

centerOn(Rectangle2D) - Method in class g2d.swing.IOPView

Deprecated.

use combination of IOPView.getIOPComponent() and IOPComponent.centerOn(java.awt.geom.Rectangle2D) instead

CFG - Class in g2d.jlambda.code

CFG() - Constructor for class g2d.jlambda.code.CFG

cflist(Object, int, String) - Static method in class g2d.jlambda.Code

cflist(Object, Object, int, String) - Static method in class g2d.jlambda.Code

cflist(Object, Object, Object, int, String) - Static method in class g2d.jlambda.Code

cflist(Object, Object, Object, Object, int, String) - Static method in class g2d.jlambda.Code

CHAR - Static variable in class g2d.jlambda.SymbolTable

characteristic - Variable in class g2d.subset.Universe

CHART_H - Static variable in class g2d.graph.Manifold

The default chart height.

CHART_W - Static variable in class g2d.graph.Manifold

The default chart width.

charValue - Variable in class g2d.util.Variable

checkParams(Code, String, Code) - Static method in class g2d.jlambda.Analyse

checkSize() - Method in class g2d.glyphviewer.GlyphPanel

checkSize() - Method in class g2d.graphviewer.GraphPanel

checkSize() - Method in class g2d.swing.IOPComponent

checkSize() - Method in class g2d.swing.IOPView

chooseFile(Component) - Static method in class g2d.util.IO

chooseFile(Component, String) - Static method in class g2d.util.IO

chopQuotes(String) - Static method in class g2d.graph.Dot

CInfo - Class in g2d.graphviewer

CInfo() - Constructor for class g2d.graphviewer.CInfo

Classification - Class in g2d.subset

Classification(String, String) - Constructor for class g2d.subset.Classification

classify(String, String[], String[]) - Method in class g2d.subset.DDialog

classify(String, String[], String[]) - Method in class g2d.subset.Universe

classify(String, String) - Method in class g2d.subset.Urelement

ClassLookupCont - Class in g2d.jlambda

ClassLookupCont() - Constructor for class g2d.jlambda.ClassLookupCont

clear() - Method in class g2d.console.InputTextArea

clear() - Method in class g2d.glyph.BufferedGlyphList

clear() - Method in class g2d.glyph.GlyphList

clear() - Method in class g2d.graph.Highlighter

clear() - Method in class g2d.graph.IOPGraph

Resets the graph to be empty.

clear() - Method in class g2d.npa.AttackTable

clear() - Method in class g2d.npa.NeverPatterns

clear() - Method in class g2d.npa.TermPanel

clear() - Method in class g2d.npa.TermTable

clearMenu() - Method in class g2d.glyphviewer.SEPanel

Remove menu tab by switching to last (enabled) tab.

clearMenu() - Method in class g2d.glyphviewer.TabMenu

Clear menu and unregister any node listeners and remove any key bindings.

clearMenu() - Method in class g2d.graphviewer.SEPanel

Remove menu tab by switching to last (enabled) tab.

clearMenu() - Method in class g2d.graphviewer.TabMenu

clearMenu() - Method in class g2d.netviewer.SEPanel

Remove menu tab by switching to last (enabled) tab.

clearMenu() - Method in class g2d.netviewer.TabMenu

Clear menu and unregister any node listeners and remove any key bindings.

clearMenu() - Method in class g2d.pla.TabMenu

Clear menu and unregister any node listeners and remove any key bindings.

clearOutput() - Method in class g2d.swing.IOPView

Clear output area (if output set).

clearText() - Method in class g2d.glyphviewer.SEPanel

Remove info tab by switching to last (enabled) tab.

clearText() - Method in class g2d.graphviewer.SEPanel

Remove info tab by switching to last (enabled) tab.

clearText() - Method in class g2d.netviewer.SEPanel

Remove info tab by switching to last (enabled) tab.

client - Variable in class g2d.stats.Synchronize

clist(Object) - Static method in class g2d.jlambda.Code

clist(Object, Object) - Static method in class g2d.jlambda.Code

clist(Object, Object, Object) - Static method in class g2d.jlambda.Code

clone() - Method in class g2d.graph.DotNodeAttributes

cloneFromGraph(IOPGraph) - Method in class g2d.graph.IOPGraph

Clone nodes and edges in this graph from given graph.

closeAll() - Static method in class g2d.tabwin.TabUtils

Closure - Class in g2d.jlambda

This class corresponds to a Lisp or Scheme style closure.

Closure(int, Object, Environment, Continuation, Interpreter) - Constructor for class g2d.jlambda.Closure

Constructs a Closure object.

ClosureAbstractAction - Class in g2d.closure

A class that allows the dynamic creation of instances of AbstractAction.

ClosureAbstractAction(Closure) - Constructor for class g2d.closure.ClosureAbstractAction

Constructs a ClosureAbstractAction object.

ClosureAbstractAction(String, Closure) - Constructor for class g2d.closure.ClosureAbstractAction

ClosureAbstractAction(String, Icon, String, KeyStroke, Integer) - Constructor for class g2d.closure.ClosureAbstractAction

ClosureAbstractAction(String, String, Closure) - Constructor for class g2d.closure.ClosureAbstractAction

ClosureAbstractAction(String, Icon, String, KeyStroke, Integer, Closure) - Constructor for class g2d.closure.ClosureAbstractAction

ClosureAction - Class in g2d.closure

An experimental class.

ClosureAction(Closure) - Constructor for class g2d.closure.ClosureAction

Constructs a ClosureAction object.

ClosureActionListener - Class in g2d.closure

For dynamically configuring an ActionListener.

ClosureActionListener(Closure) - Constructor for class g2d.closure.ClosureActionListener

Specifies the closure to be used to handle the given action event.

ClosureComparator - Class in g2d.closure

For dynamically creating comparators.

ClosureComparator(Closure) - Constructor for class g2d.closure.ClosureComparator

Constructs a ClosureComparator object.

ClosureComponentListener - Class in g2d.closure

Invoking a closure when listening to component changes.

ClosureComponentListener() - Constructor for class g2d.closure.ClosureComponentListener

ClosureFilenameFilter - Class in g2d.closure

ClosureFilenameFilter(Closure) - Constructor for class g2d.closure.ClosureFilenameFilter

Constructs a ClosureFilenameFilter object.

ClosureGlyph - Class in g2d.closure

This class allows for the dynamic creation of glyphish objects, Glyphish.

ClosureGlyph() - Constructor for class g2d.closure.ClosureGlyph

ClosureHyperlinkListener - Class in g2d.closure

ClosureHyperlinkListener() - Constructor for class g2d.closure.ClosureHyperlinkListener

ClosureItemListener - Class in g2d.closure

Invoking a closure when listening to a selectable item.

ClosureItemListener(Closure) - Constructor for class g2d.closure.ClosureItemListener

Constructs a ClosureItemListener object.

ClosureListSelectionListener - Class in g2d.closure

For dynamically configuring an ListSelectionListener.

ClosureListSelectionListener() - Constructor for class g2d.closure.ClosureListSelectionListener

ClosureListSelectionListener(Closure) - Constructor for class g2d.closure.ClosureListSelectionListener

Specifies the closure to be used to handle the given action event.

ClosureMouseListener - Class in g2d.closure

For dynamically configuring an MouseListener.

ClosureMouseListener() - Constructor for class g2d.closure.ClosureMouseListener

ClosureMouseMotionListener - Class in g2d.closure

For dynamically configuring an MouseMotionListener.

ClosureMouseMotionListener() - Constructor for class g2d.closure.ClosureMouseMotionListener

ClosureThread - Class in g2d.closure

For dynamically creating threads, Thread.

ClosureThread(Closure) - Constructor for class g2d.closure.ClosureThread

Constructs a ClosureThread object.

ClosureWindowListener - Class in g2d.closure

For dynamically configuring an WindowListener.

ClosureWindowListener() - Constructor for class g2d.closure.ClosureWindowListener

ClosureZoomListener - Class in g2d.closure

Implements ZoomListener interface as a JLambda closure.

ClosureZoomListener() - Constructor for class g2d.closure.ClosureZoomListener

Code - Class in g2d.jlambda

This class represents a specialization of List for code that gets loaded in from a file, or simply parsed from a String, in either case it will have a line number associated with it.

Code() - Constructor for class g2d.jlambda.Code

Code(int, String) - Constructor for class g2d.jlambda.Code

Code(Object, Code) - Constructor for class g2d.jlambda.Code

Code(Object, Code, int, String) - Constructor for class g2d.jlambda.Code

CodeVisitor - Class in g2d.jlambda.code

CodeVisitor() - Constructor for class g2d.jlambda.code.CodeVisitor

collapse(IOPSubgraph, IOPNode) - Method in class g2d.graph.IOPGraph

collapses the given subgraph to a single new given node.

collapseSubgraph(IOPSubgraph, IOPNode.NodeType, String) - Method in class g2d.pla.SubgraphTabita

collection2File(Collection<?>, String, Closure, boolean) - Static method in class g2d.util.IO

collection2Sequence(Collection<?>, String) - Static method in class g2d.jlambda.Code

color - Variable in class g2d.graph.IOPEdge

color - Variable in class g2d.graph.Spline

colorClosure - Variable in class g2d.graph.IOPGraph

colorToDotHSB(Color) - Static method in class g2d.graph.Dot

Converts a Java Color instance into a dot comprehensible string.

COLUMN - Static variable in class g2d.graph.Manifold

Just for code reduction -- used to indicate we are processing columns.

column - Variable in class g2d.npa.FreshSetEditor

column - Variable in class g2d.npa.SubstitutionEditor

comboBox - Variable in class g2d.netviewer.TabList

COMMENT - Static variable in class g2d.jlambda.Constants

COMPARATOR - Static variable in class g2d.graph.GraphItem

COMPARATOR - Static variable in class g2d.graph.IOPNode

compare(Object, Object) - Method in class g2d.closure.ClosureComparator

CompareMenu - Class in g2d.pla.menus

CompareMenu(PLAPanel) - Constructor for class g2d.pla.menus.CompareMenu

compareMenu - Variable in class g2d.pla.PLAPanel

CompareMenuListener - Class in g2d.pla.menus

CompareMenuListener(PLAPanel, CompareMenu) - Constructor for class g2d.pla.menus.CompareMenuListener

compareNodes(IOPNode, IOPNode) - Static method in class g2d.graph.IOPNode

compareTo(IOPNode) - Method in class g2d.graph.IOPNode

compareTo(Urelement) - Method in class g2d.subset.Urelement

compareToAsOcc(IOPNode, IOPNode) - Static method in class g2d.graph.IOPNode

compareToAsRule(IOPNode, IOPNode) - Static method in class g2d.graph.IOPNode

completionClosure - Variable in class g2d.pla.explorer.Explorer

completionListener - Variable in class g2d.pla.explorer.Explorer

completionModel - Variable in class g2d.pla.explorer.Explorer

completionResults - Variable in class g2d.pla.explorer.Explorer

componentHidden(ComponentEvent) - Method in class g2d.closure.ClosureComponentListener

componentMoved(ComponentEvent) - Method in class g2d.closure.ClosureComponentListener

componentResized(ComponentEvent) - Method in class g2d.closure.ClosureComponentListener

componentShown(ComponentEvent) - Method in class g2d.closure.ClosureComponentListener

CONCAT - Static variable in class g2d.jlambda.SymbolTable

configure(Component, boolean) - Method in class g2d.swing.IOPInfoDialog

configure(Component) - Method in class g2d.swing.IOPInfoDialog

Console - Class in g2d.console

Console(JFrame) - Constructor for class g2d.console.Console

Console(JFrame, String) - Constructor for class g2d.console.Console

Console.Command - Enum in g2d.console

Constants - Class in g2d.jlambda

constructCompareMenu(PLAPanel, CompareMenu) - Static method in class g2d.pla.PLAUtils

constructHierarchyMenu(HierarchyMenu) - Method in class g2d.netviewer.Utils

constructHierarchyMenu(HierarchyMenu) - Method in class g2d.pla.PLAUtils

constructHierarchyMenu(HierarchyMenu) - Method in interface g2d.swing.HierarchyMenuBuilder

Called to fill in the menu with the current hierarchy

constructor - Variable in class g2d.terms.AppTerm

Constructor - Class in g2d.terms

Constructor(String, int, Sort, Sort[]) - Constructor for class g2d.terms.Constructor

Constructor(String[]) - Constructor for class g2d.terms.Constructor

constructViewMenu(AppFrame, JMenu) - Static method in class g2d.tabwin.TabUtils

cont(State) - Method in class g2d.jlambda.ClassLookupCont

contains(Glyphish) - Method in class g2d.glyph.GlyphList

Obtain whether this list contains given glyphish thing.

contains(double, double) - Method in class g2d.graph.Polygon2D

contains(double, double, double, double) - Method in class g2d.graph.Polygon2D

contains(String) - Static method in class g2d.jlambda.SymbolTable

containsLocationOnScreen(Point) - Method in class g2d.tabwin.AppFrame

containsLocationOnScreen(Point) - Method in class g2d.tabwin.TabFrame

content - Variable in class g2d.tabwin.TabPanel

contract(IOPSubgraph, IOPNode) - Method in class g2d.graph.IOPGraph

contracts the given subgraph to a single new given node.

Controls - Class in g2d

Top level controls (i.e. switches for turning things on and off).

Controls() - Constructor for class g2d.Controls

copy() - Method in class g2d.console.Console

copy() - Method in class g2d.terms.AppTerm

copy() - Method in class g2d.terms.HoleTerm

copy() - Method in class g2d.terms.Term

copy() - Method in class g2d.terms.VarTerm

copy(BufferedImage) - Static method in class g2d.util.Image

copyFile(File, File) - Static method in class g2d.util.IO

cr() - Method in class g2d.jlambda.PrettyPrinter

create(A, B) - Static method in class g2d.util.Pair

Convenience method for creating an appropriately typed pair.

createFileMenu() - Method in class g2d.graphviewer.AbstractBaseFrame

createGraphMenu() - Method in class g2d.graphviewer.AbstractBaseFrame

createLayoutButton(IOPGraph) - Method in class g2d.netviewer.NetPanel

createLayoutButton(IOPGraph) - Method in class g2d.pla.PLAPanel

createLexical() - Method in class g2d.subset.Universe

createManifold() - Method in class g2d.graph.IOPGraph

This procedure creates, but doesn't initialize, the covering manifold.

createMenuButton(String, int) - Method in class g2d.graphviewer.GraphPanel

createMenus() - Method in class g2d.graphviewer.AbstractBaseFrame

createPanels() - Method in class g2d.graphviewer.AbstractBaseFrame

createSpatial(Universe) - Method in class g2d.subset.DDialog

createSpatial() - Method in class g2d.subset.Universe

createStroke(String, float) - Static method in class g2d.graph.IOPEdge

createToolbar() - Method in class g2d.graphviewer.AbstractBaseFrame

createTransferable(JComponent) - Method in class g2d.npa.TableRowTransferHandler

createZoomMenu() - Method in class g2d.graphviewer.AbstractBaseFrame

current - Variable in class g2d.pla.explorer.Explorer

currentFreshSet - Variable in class g2d.npa.FreshSetEditor

currentSubstitution - Variable in class g2d.npa.SubstitutionEditor

cursor - Static variable in class g2d.tabwin.TabControl

cursor - Variable in class g2d.util.ActorMsg

cut() - Method in class g2d.console.Console

cxtBorderColor - Static variable in class g2d.graph.IOPGraph

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