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 X Z _

D

DARK_COLOR - Static variable in class g2d.graphviewer.AbstractBaseFrame
 
DASH - Static variable in class g2d.graph.xdotparser.antlr4.xDotLexer
 
DASH() - Method in class g2d.graph.xdotparser.antlr4.xDotParser.BytesContext
 
DASH() - Method in class g2d.graph.xdotparser.antlr4.xDotParser.CharElementContext
 
DASH - Static variable in class g2d.graph.xdotparser.antlr4.xDotParser
 
DASH() - Method in class g2d.graph.xdotparser.antlr4.xDotParser.IntegerContext
 
DASHED - Static variable in class g2d.graph.IOPEdge
Style of a dashed line for this edge.
data() - Method in class g2d.jlambda.antlr4.gen.JLambdaParser
 
data() - Method in class g2d.jlambda.antlr4.gen.JLambdaParser.DataExpressionContext
 
DDialog - Class in g2d.subset
 
DDialog(Frame, boolean) - Constructor for class g2d.subset.DDialog
 
debug - Static variable in class g2d.glyph.Glyph
 
DEBUG - Static variable in class g2d.glyph.Glyphish
 
debug - Static variable in class g2d.glyph.GlyphList
 
debug - Static variable in class g2d.glyph.ImageGlyph
 
debug - Static variable in class g2d.glyph.TextGlyph
 
DEBUG - Static variable in class g2d.graph.dotparser.visitor.Visitor
 
debug - Static variable in class g2d.graphviewer.NavPanel
 
DEBUG - Static variable in class g2d.jlambda.Evaluate
 
DEBUG - Static variable in class g2d.jlambda.Identifiable
 
DEBUG - Static variable in class g2d.jlambda.Interpreter
 
debug - Static variable in class g2d.launcher.Launcher
 
DEBUG - Static variable in class g2d.Main
A simple static DEBUG switch that turns on some error stream commentary.
debug - Static variable in class g2d.netviewer.NetPanel
 
DEBUG - Static variable in class g2d.swing.IOPComponent
 
debug - Static variable in class g2d.tabwin.AppFrame
 
debug - Static variable in class g2d.terms.Algebra
 
DEBUG - Static variable in class g2d.util.ActorMsg
 
Debugger - Class in g2d.jlambda
This class allows the JLambda user to tailor the level of verbosity in error reporting.
Debugger() - Constructor for class g2d.jlambda.Debugger
 
Debugger - Class in g2d.swing
 
Debugger() - Constructor for class g2d.swing.Debugger
 
debugPLAF() - Static method in class g2d.subset.SComboBox
 
declarations - Variable in class g2d.npa.Syntax
 
decode(String) - Static method in class g2d.util.Base64Coder
Decodes a byte array from Base64 format.
decode(char[]) - Static method in class g2d.util.Base64Coder
Decodes a byte array from Base64 format.
decode(char[], int, int) - Static method in class g2d.util.Base64Coder
Decodes a byte array from Base64 format.
decodeLines(String) - Static method in class g2d.util.Base64Coder
Decodes a byte array from Base64 format and ignores line separators, tabs and blanks.
decodeString(String) - Static method in class g2d.util.Base64Coder
Decodes a string from Base64 format.
DEFAULT - Static variable in class g2d.subset.StateSpace
 
DEFAULT_COLOR - Static variable in class g2d.graph.DotParserUtils
 
DEFAULT_DOT_FORMAT - Static variable in class g2d.graph.Dot
 
defaultValue - Variable in enum g2d.graph.DotAttributes
 
DEFINE - Static variable in class g2d.jlambda.antlr4.gen.JLambdaLexer
 
DEFINE - Static variable in class g2d.jlambda.antlr4.gen.JLambdaParser
 
DEFINE() - Method in class g2d.jlambda.antlr4.gen.JLambdaParser.DefineExpressionContext
 
DEFINE - Static variable in class g2d.jlambda.SymbolTable
 
dehighlight() - Method in class g2d.graph.GraphItem
Revert highlighting to previous state (if any).
dehighlight() - Method in class g2d.graph.IOPEdge
Revert highlighting to previous state (if any).
dehighlight() - Method in class g2d.graph.IOPNode
 
dehighlight() - Method in class g2d.graph.IOPSubgraph
 
DELETE - Static variable in class g2d.npa.AttackEditor
 
DELETE - Static variable in class g2d.subset.DEvent
 
delete(Urelement) - Method in class g2d.subset.Dictionary
 
deleteFile(String) - Static method in class g2d.util.IO
 
deleteRole(String) - Method in class g2d.npa.AttackEditor
 
deleteRole(String) - Method in class g2d.npa.Protocol
 
deleteRole(String) - Method in class g2d.npa.RolePanel
 
deleteTerm(int) - Method in class g2d.npa.TermTable
 
DELIMS - Static variable in class g2d.npa.Term_deprecated
 
depopulate() - Method in class g2d.tabwin.menus.ViewMenu
 
deprecated_toDotString() - Method in class g2d.graph.IOPNode
 
description - Variable in class g2d.graph.IOPGraph
 
description - Variable in enum g2d.pla.SettingsMode
 
developmental - Static variable in class g2d.netviewer.NetViewer
 
developmental - Static variable in class g2d.pla.PLA
 
DEvent - Class in g2d.subset
 
DEvent(Universe, int) - Constructor for class g2d.subset.DEvent
 
DEvent(Universe, int, int) - Constructor for class g2d.subset.DEvent
 
DEvent(Universe, ArrayList<Urelement>, int) - Constructor for class g2d.subset.DEvent
 
df - Static variable in class g2d.jlambda.Constants
 
DFNS - Static variable in class g2d.jlambda.ReadEvalPrintLoop
 
Dictionary - Class in g2d.subset
 
Dictionary(Universe) - Constructor for class g2d.subset.Dictionary
 
DIGIT - Static variable in class g2d.graph.xdotparser.antlr4.xDotLexer
 
DIGIT() - Method in class g2d.graph.xdotparser.antlr4.xDotParser.CharElementContext
 
DIGIT - Static variable in class g2d.graph.xdotparser.antlr4.xDotParser
 
DIGIT - Variable in class g2d.graph.xdotparser.antlr4.xDotParser.IntegerContext
 
DIGIT() - Method in class g2d.graph.xdotparser.antlr4.xDotParser.IntegerContext
 
DIGRAPH - Static variable in class g2d.graph.dotparser.antlr4.DotLexer
 
DIGRAPH - Static variable in class g2d.graph.dotparser.antlr4.DotParser
 
DIGRAPH() - Method in class g2d.graph.dotparser.antlr4.DotParser.GraphContext
 
dish - Variable in class g2d.subset.DDialog
 
dishPanel - Variable in class g2d.subset.DDialog
 
display() - Method in class g2d.swing.HTMLPopup
 
display() - Method in class g2d.swing.IOPInfoPopup
 
displayContextMGraph() - Method in class g2d.pla.PLAGraphPanel
 
displayContextMNode(BaseFrame, IOPNode) - Method in class g2d.graphviewer.GraphPanel
 
displayInfo(IOPNode) - Method in class g2d.graphviewer.GraphPanel
 
displayInfo(IOPNode) - Method in class g2d.netviewer.NetGraphPanel
 
displayInfo(IOPNode) - Method in class g2d.pla.PLAGraphPanel
 
displayKeyStroke(KeyStroke) - Static method in class g2d.graphviewer.KeyStrokeDisplayer
 
displayMenu(IOPNode) - Method in class g2d.graphviewer.GraphPanel
Display context menu for given node.
displayMenu(String, List<AbstractButton>) - Method in class g2d.graphviewer.SEPanel
Display new context menu in menu tab.
displayMenu(String, List<AbstractButton>, boolean) - Method in class g2d.graphviewer.SEPanel
Display new context menu in menu tab.
displayMenu(String, List<AbstractButton>) - Method in class g2d.graphviewer.TabMenu
Display menu with a heading and a list of buttons.
displayMenu(String, List<AbstractButton>, boolean) - Method in class g2d.graphviewer.TabMenu
Display menu with a heading and a list of buttons.
displayMenu(String, List<AbstractButton>) - Method in class g2d.netviewer.TabMenu
Display menu with a heading and a list of buttons.
displayMenu(String, List<AbstractButton>, ButtonGroup, boolean) - Method in class g2d.netviewer.TabMenu
Display menu with a heading and a list of buttons.
displayMenu(IOPNode) - Method in class g2d.pla.PLAGraphPanel
 
displayMenu(String, List<AbstractButton>) - Method in class g2d.pla.SEPanel
Display new context menu in menu tab.
displayMenu(String, List<AbstractButton>, ButtonGroup, boolean) - Method in class g2d.pla.SEPanel
Display new context menu in menu tab.
displayMenu(String, List<AbstractButton>) - Method in class g2d.pla.TabMenu
Display menu with a heading and a list of buttons.
displayMenu(String, List<AbstractButton>, ButtonGroup, boolean) - Method in class g2d.pla.TabMenu
Display menu with a heading and a list of buttons.
displayText(String, String) - Method in class g2d.graphviewer.CInfo
Display heading and text in info tab.
displayText(String, String) - Method in class g2d.graphviewer.Info
Display heading and text in info tab.
displayText(String, String) - Method in class g2d.graphviewer.SEPanel
Display label and text in info tab.
displayText(String, String) - Method in class g2d.graphviewer.TabInfo
Display heading and text in info tab.
displayText(String, String) - Method in interface g2d.graphviewer.Textual
 
displayText(String, String) - Method in class g2d.netviewer.SEPanel
Display label and text in info tab.
displayText(String) - Method in class g2d.npa.HTMLPane
 
displayText(String, String) - Method in class g2d.pla.SEPanel
Display label and text in info tab.
displayText(String) - Method in class g2d.swing.HTMLPane
 
displayText(String, String, boolean) - Method in class g2d.swing.IOPView
Display label and text in output area (if output set).
displayTextMenu(String, List) - Method in class g2d.swing.IOPView
Display new text menu in output area (if output set).
dispose(String) - Static method in class g2d.jlambda.Interpreter
 
dispose() - Method in class g2d.jlambda.Interpreter
 
dispose() - Method in class g2d.netviewer.NetPanel
 
dispose(IOPGraph) - Static method in class g2d.netviewer.Utils
 
dispose() - Method in class g2d.npa.NPAFrame
 
dispose() - Method in class g2d.pla.PLAPanel
 
dispose(IOPGraph) - Static method in class g2d.pla.PLAUtils
 
dispose() - Method in class g2d.swing.HTMLPopup
 
dispose() - Method in class g2d.swing.IOPInfoPopup
 
dispose() - Method in class g2d.tabwin.AppFrame
 
dispose() - Method in class g2d.tabwin.TabFrame
 
dispose() - Method in class g2d.tabwin.TabPanel
 
distanceTo(Point2D) - Method in class g2d.graph.GraphItem
Calculate distance from this graph item to given point.
distanceTo(Point2D) - Method in class g2d.graph.IOPEdge
Calculate distance from this edge to given point.
distanceTo(Point2D) - Method in class g2d.graph.IOPNode
Calculate distance from this node to given point.
distanceTo(Point2D) - Method in class g2d.graph.IOPSubgraph
Calculate distance from this node to given point.
distanceTo(Point2D) - Method in class g2d.graph.Spline
Compute distance from this spline to given point.
DIVIDE - Static variable in class g2d.jlambda.SymbolTable
 
divideByZero(int) - Static method in class g2d.util.Bugs
 
DNA - Static variable in class bp2pl.EntityReference
 
DNA - Static variable in class bp2pl.SimpleOccurrence
 
DO - Static variable in class g2d.jlambda.antlr4.gen.JLambdaLexer
 
DO - Static variable in class g2d.jlambda.antlr4.gen.JLambdaParser
 
DO() - Method in class g2d.jlambda.antlr4.gen.JLambdaParser.DoExpressionContext
 
DO - Static variable in class g2d.jlambda.SymbolTable
 
do_binding_list() - Method in class g2d.jlambda.antlr4.gen.JLambdaParser
 
do_binding_list() - Method in class g2d.jlambda.antlr4.gen.JLambdaParser.DoExpressionContext
 
do_binding_triple(int) - Method in class g2d.jlambda.antlr4.gen.JLambdaParser.Do_binding_listContext
 
do_binding_triple() - Method in class g2d.jlambda.antlr4.gen.JLambdaParser.Do_binding_listContext
 
do_binding_triple() - Method in class g2d.jlambda.antlr4.gen.JLambdaParser
 
do_exit_clause() - Method in class g2d.jlambda.antlr4.gen.JLambdaParser
 
do_exit_clause() - Method in class g2d.jlambda.antlr4.gen.JLambdaParser.DoExpressionContext
 
doAction(Object, Object) - Method in class g2d.swing.IOPMenuItem
Execute associated action with this item if it is currently set.
doLayout() - Method in class g2d.graph.IOPGraph
Lays out an already existing graph.
doLayout(IOPGraph) - Method in class g2d.graph.IOPGraph
Layout graph.
domain - Variable in class g2d.subset.DPanel
 
domainBar - Variable in class g2d.subset.DPanel
 
domainCombo - Variable in class g2d.subset.DPanel
 
domainTabs - Variable in class g2d.subset.DPanel
 
domainTree - Variable in class g2d.subset.DPanel
 
doSelection(Urelement, String) - Method in class g2d.subset.STree.STreePopupMenu
 
doSelection(TreeNode, String) - Method in class g2d.subset.STree.STreePopupMenu
 
doSelection(String) - Method in class g2d.subset.STree.STreePopupMenu
 
Dot - Class in g2d.graph
Encapsulating the interface to the dot graph drawing and layout program.
Dot() - Constructor for class g2d.graph.Dot
 
DOT - Static variable in class g2d.graph.xdotparser.antlr4.xDotLexer
 
DOT() - Method in class g2d.graph.xdotparser.antlr4.xDotParser.CharElementContext
 
DOT - Static variable in class g2d.graph.xdotparser.antlr4.xDotParser
 
DOT() - Method in class g2d.graph.xdotparser.antlr4.xDotParser.NumberContext
 
Dot.DotFormat - Enum in g2d.graph
 
Dot.FileType - Enum in g2d.graph
 
Dot.Version - Class in g2d.graph
 
Dot.Version(String) - Constructor for class g2d.graph.Dot.Version
 
DotAttributes - Enum in g2d.graph
 
DotBaseVisitor<T> - Class in g2d.graph.dotparser.antlr4
 
DotBaseVisitor() - Constructor for class g2d.graph.dotparser.antlr4.DotBaseVisitor
 
dotDebug - Static variable in class g2d.graph.Dot
 
DotLexer - Class in g2d.graph.dotparser.antlr4
 
DotLexer(CharStream) - Constructor for class g2d.graph.dotparser.antlr4.DotLexer
 
dotName - Variable in enum g2d.graph.DotAttributes
 
DotNodeAttributes - Class in g2d.graph
 
DotNodeAttributes() - Constructor for class g2d.graph.DotNodeAttributes
 
DotNodeAttributes(String, String, Color, Color, int) - Constructor for class g2d.graph.DotNodeAttributes
 
dotNodeAttributes - Variable in class g2d.graph.IOPNode
 
DotParser - Class in g2d.graph.dotparser.antlr4
 
DotParser(TokenStream) - Constructor for class g2d.graph.dotparser.antlr4.DotParser
 
DotParser.A_listContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.A_listContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.A_listContext
 
DotParser.Attr_listContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.Attr_listContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.Attr_listContext
 
DotParser.Attr_stmtContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.Attr_stmtContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.Attr_stmtContext
 
DotParser.Edge_stmtContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.Edge_stmtContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.Edge_stmtContext
 
DotParser.EdgeopContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.EdgeopContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.EdgeopContext
 
DotParser.EdgeRHSContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.EdgeRHSContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.EdgeRHSContext
 
DotParser.GraphContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.GraphContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.GraphContext
 
DotParser.IdContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.IdContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.IdContext
 
DotParser.Node_idContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.Node_idContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.Node_idContext
 
DotParser.Node_stmtContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.Node_stmtContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.Node_stmtContext
 
DotParser.PortContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.PortContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.PortContext
 
DotParser.Stmt_listContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.Stmt_listContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.Stmt_listContext
 
DotParser.StmtContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.StmtContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.StmtContext
 
DotParser.SubgraphContext - Class in g2d.graph.dotparser.antlr4
 
DotParser.SubgraphContext(ParserRuleContext, int) - Constructor for class g2d.graph.dotparser.antlr4.DotParser.SubgraphContext
 
DotParserAPI - Class in g2d.graph
 
DotParserAPI() - Constructor for class g2d.graph.DotParserAPI
 
DotParserUtils - Class in g2d.graph
Encapsulating the interface to the dot graph drawing and layout program.
DotParserUtils() - Constructor for class g2d.graph.DotParserUtils
 
dotRendering - Variable in class g2d.graph.IOPEdge
 
dotRendering - Variable in class g2d.graph.IOPNode
 
DOTTED - Static variable in class g2d.graph.IOPEdge
Style of a dotted line for this edge.
DotVisitor<T> - Interface in g2d.graph.dotparser.antlr4
 
DOUBLE - Static variable in class g2d.jlambda.antlr4.gen.JLambdaLexer
 
DOUBLE - Static variable in class g2d.jlambda.antlr4.gen.JLambdaParser
 
DOUBLE - Static variable in class g2d.jlambda.SymbolTable
 
doubleValue - Variable in class g2d.util.Variable
 
DPanel - Class in g2d.subset
 
DPanel(int) - Constructor for class g2d.subset.DPanel
 
drastic - Variable in class g2d.subset.SEvent
 
dump() - Method in class g2d.glyph.GlyphList
 
dump() - Method in class g2d.jlambda.Code
 
dump() - Method in class g2d.util.ActorMsg
 
dumpBasis() - Method in class g2d.subset.Basis
 

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 X Z _