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

P

pad(int) - Method in class g2d.jlambda.PrettyPrinter

paint(Graphics2D) - Method in class g2d.closure.ClosureGlyph

paint(Graphics2D) - Method in class g2d.glyph.AnimatedGlyph

paint(Graphics2D) - Method in class g2d.glyph.BufferedGlyphList

paint(Graphics2D) - Method in class g2d.glyph.Glyph

paint(Graphics2D) - Method in class g2d.glyph.Glyphish

paint(Graphics2D) - Method in class g2d.glyph.GlyphList

paint(Graphics2D) - Method in class g2d.glyph.ImageGlyph

paint(Graphics2D) - Method in class g2d.glyph.TextGlyph

paint(Graphics2D) - Method in class g2d.graph.GraphItem

paint(Graphics2D, Rectangle2D) - Method in class g2d.graph.IOPGraph

Overrides the method in the Glyphish hierarchy.

paint(Graphics2D) - Method in class g2d.graph.IOPGraph

paint(Graphics2D) - Method in class g2d.graph.IOPNode

paint(Graphics2D) - Method in class g2d.graph.IOPSubgraph

paint(Graphics2D, Rectangle2D) - Method in class g2d.graph.Manifold

One of the optimimized methods, paints only those charts that intersect with the given rectangle.

paint(Graphics2D) - Method in class g2d.graph.Spline

paint(Graphics) - Method in class g2d.util.ImageJFrame

paintComponent(Graphics) - Method in class g2d.glyphviewer.GlyphPanel

paintComponent(Graphics) - Method in class g2d.glyphviewer.NavPanel

paintComponent(Graphics) - Method in class g2d.graphviewer.GraphPanel

paintComponent(Graphics) - Method in class g2d.graphviewer.NavPanel

paintComponent(Graphics) - Method in class g2d.npa.SyntaxHierarchy

paintComponent(Graphics) - Method in class g2d.swing.IOPComponent

paintCount - Variable in class g2d.glyph.BufferedGlyphList

paintDebug - Static variable in class g2d.glyph.BufferedGlyphList

paintIcon(Component, Graphics, int, int) - Method in class g2d.swing.WindowTreeIcon

PAIR - Static variable in class g2d.graph.Highlighter

pair - Variable in class g2d.graph.Highlighter

Pair<F,S> - Class in g2d.util

Container to ease passing around a tuple of two objects.

Pair(F, S) - Constructor for class g2d.util.Pair

Constructor for a Pair.

PairTab - Class in g2d.pla

PairTab(IOPGraph) - Constructor for class g2d.pla.PairTab

panelClosure - Variable in class g2d.graph.IOPGraph

param - Variable in class g2d.npa.Binding

parent - Variable in class g2d.console.Console

parent - Variable in class g2d.subset.DDialog

parent - Variable in class g2d.subset.SDialog

PARENT_COLOR - Static variable in class g2d.graphviewer.AbstractBaseFrame

parse(IOPGraph, String) - Static method in class g2d.graph.DotParserAPI

parse(String, String) - Static method in class g2d.graph.Json2Dot

parse(Object[]) - Static method in class g2d.npa.Binding

parse(Object, Object) - Static method in class g2d.npa.Binding

parse(Algebra, Object[]) - Static method in class g2d.npa.Role

parse(Algebra, Object, Object, Object, Object) - Static method in class g2d.npa.Role

parse(String[][]) - Static method in class g2d.terms.Subsorter

parse(Object, Algebra) - Static method in class g2d.terms.Term

parseArray(Object[], Algebra) - Static method in class g2d.terms.Term

parseBoundingBoxAttribute(String) - Static method in class g2d.graph.DotParserUtils

parseColorAttribute(String, Color) - Static method in class g2d.graph.DotParserUtils

parseConstructor(String, Algebra) - Static method in class g2d.terms.Term

parseDeclaration(String, Sort, Algebra, String[]) - Static method in class g2d.terms.Variable

parseDimensionAttribute(String) - Static method in class g2d.graph.DotParserUtils

parseEdgeAttributes(IOPEdge, HashMap<String, String>, double) - Static method in class g2d.graph.DotParserUtils

parseEdgeAttributes(IOPEdge, String, String, String, String, String, String, double) - Static method in class g2d.graph.DotParserUtils

parseEdgeAttributes(IOPEdge, String, String, String, double) - Static method in class g2d.graph.DotParserUtils

parseIntegerAttribute(String) - Static method in class g2d.graph.DotParserUtils

parseNodeAttributes(IOPGraph, IOPNode, String, HashMap<String, String>, double, HashMap<String, String>) - Static method in class g2d.graph.DotParserUtils

parseNodeAttributes(IOPGraph, IOPNode, String, HashMap<String, String>, double) - Static method in class g2d.graph.DotParserUtils

parsePositionAttribute(String, double) - Static method in class g2d.graph.DotParserUtils

parseString(String, Algebra) - Static method in class g2d.terms.Term

parseSubgraphAttributes(IOPSubgraph, String, HashMap<String, String>, double) - Static method in class g2d.graph.DotParserUtils

parseVariable(String, Algebra) - Static method in class g2d.terms.Term

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

PATH - Static variable in class g2d.graph.Highlighter

pathSet - Variable in class g2d.graph.Highlighter

PathTab - Class in g2d.pla

PathTab(IOPGraph) - Constructor for class g2d.pla.PathTab

peripheries - Variable in class g2d.graph.IOPNode

PERIPHERIES_DEFAULT - Static variable in class g2d.graph.IOPNode

pk - Static variable in class g2d.npa.examples.Nspk

PLA - Class in g2d.pla

PLA() - Constructor for class g2d.pla.PLA

PLAGraphPanel - Class in g2d.pla

PLAGraphPanel(PLAPanel) - Constructor for class g2d.pla.PLAGraphPanel

PLAPanel - Class in g2d.pla

PLAPanel(IOPGraph, String, String, boolean) - Constructor for class g2d.pla.PLAPanel

PLAPanel(IOPGraph, String, String, boolean, boolean) - Constructor for class g2d.pla.PLAPanel

PLAUtils - Class in g2d.pla

PLAUtils() - Constructor for class g2d.pla.PLAUtils

PLUS - Static variable in class g2d.jlambda.SymbolTable

plus - Static variable in class g2d.npa.examples.Strands

pointsToInches(double) - Static method in class g2d.swing.IOPConstants

Polygon2D - Class in g2d.graph

Polygon2D() - Constructor for class g2d.graph.Polygon2D

Polygon2D(int[], int[]) - Constructor for class g2d.graph.Polygon2D

Polygon2D(double[], double[]) - Constructor for class g2d.graph.Polygon2D

pop() - Method in class g2d.util.TetrisStack

Get last element in stack.

populate(List<IOPNode>, List<IOPNode>, Collection<GraphItem>) - Method in class g2d.pla.SubgraphTabita

populate() - Method in class g2d.tabwin.menus.ViewMenu

popupMenuCanceled(PopupMenuEvent) - Method in class g2d.graph.EdgeDialog

popupMenuCanceled(PopupMenuEvent) - Method in class g2d.graph.NodeDialog

popupMenuWillBecomeInvisible(PopupMenuEvent) - Method in class g2d.graph.EdgeDialog

popupMenuWillBecomeInvisible(PopupMenuEvent) - Method in class g2d.graph.NodeDialog

popupMenuWillBecomeVisible(PopupMenuEvent) - Method in class g2d.graph.EdgeDialog

popupMenuWillBecomeVisible(PopupMenuEvent) - Method in class g2d.graph.NodeDialog

preferences - Static variable in class g2d.console.Console

preferences - Static variable in class g2d.tabwin.TabPreferences

Preferences - Class in g2d.util

Preferences(Preferences) - Constructor for class g2d.util.Preferences

Preferences(Class<?>) - Constructor for class g2d.util.Preferences

PREFIX - Static variable in class g2d.console.Console

prepend(Component) - Method in class g2d.toolbar.ToolBar

prettyPrint() - Method in class g2d.jlambda.Code

PrettyPrinter - Class in g2d.jlambda

A buffer for pretty printing into.

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

PrimitiveData - Class in g2d.jlambda

A wrapper for the (wrappers) of primitive data.

PrimitiveData(Object) - Constructor for class g2d.jlambda.PrimitiveData

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

Prints, to the error stream, the adjacency list.

printDefinitions(boolean) - Static method in class g2d.jlambda.Evaluate

printDefinitions(boolean) - Method in class g2d.jlambda.Interpreter

printUIDs() - Static method in class g2d.jlambda.Evaluate

printUIDs() - Method in class g2d.jlambda.Interpreter

PRIOR_BORDER_COLOR - Static variable in class g2d.graph.Highlighter

PRIOR_FILL_COLOR - Static variable in class g2d.graph.Highlighter

progressDialog - Static variable in class g2d.graphviewer.AbstractBaseFrame

ProgressDialog - Class in g2d.graphviewer

For displaying progress dialogs that are static to PLA base frames.

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

PROMPT - Static variable in class g2d.jlambda.ReadEvalPrintLoop

protocol - Variable in class g2d.npa.AttackEditor

Protocol - Class in g2d.npa

Protocol(Role[]) - Constructor for class g2d.npa.Protocol

protocolModel - Variable in class g2d.npa.launcher.Launcher

protocols - Variable in class g2d.npa.launcher.Launcher

protocolsListener - Variable in class g2d.npa.launcher.Launcher

pub - Static variable in class g2d.npa.examples.Nspk

push(int) - Method in class g2d.util.TetrisStack

Push new element on stack.

putValue(String, Object) - Method in class g2d.closure.ClosureAction

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