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

S

Sal - Class in g2d.util

Sal(Frame) - Constructor for class g2d.util.Sal

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

save() - Method in class g2d.util.Preferences

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

saveEntriesToFile() - Method in class g2d.subset.DDialog

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

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

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

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

saveFileAs(String) - Method in class g2d.console.InputTextArea

scale(double, double) - Method in class g2d.glyph.Glyphish

scaleBase(int) - Method in class g2d.graph.IOPNode

Produces a glyph that is simply the scale of the current base glyph.

SComboBox - Class in g2d.subset

SComboBox(Universe) - Constructor for class g2d.subset.SComboBox

SComboBoxModel - Class in g2d.subset

SComboBoxModel() - Constructor for class g2d.subset.SComboBoxModel

SComboBoxRenderer - Class in g2d.subset

SComboBoxRenderer() - Constructor for class g2d.subset.SComboBoxRenderer

scope - Variable in class g2d.subset.DDialog

scopePanel - Variable in class g2d.subset.DDialog

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

scrollGlyphs - Variable in class g2d.glyphviewer.GlyphView

scrollGraph - Variable in class g2d.graphviewer.AbstractBaseFrame

scrollGraph - Variable in class g2d.netviewer.NetPanel

scrollGraph - Variable in class g2d.pla.PLAPanel

SCROLLINCR - Static variable in class g2d.swing.IOPConstants

SDialog - Class in g2d.subset

SDialog(Frame, boolean) - Constructor for class g2d.subset.SDialog

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

search(SearchDialog) - Method in class g2d.console.Console

search(String, boolean, boolean) - Method in class g2d.console.Console

search(String, boolean, boolean) - Method in class g2d.console.InputTextArea

SearchDialog - Class in g2d.console

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

SearchTabita - Class in g2d.pla

Tab pane that provides searching for nodes functionality.

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

SearchTabita(String, int, PLAPanel, Font, boolean) - Constructor for class g2d.pla.SearchTabita

second - Variable in class g2d.util.Pair

SEditorPane - Class in g2d.subset

SEditorPane() - Constructor for class g2d.subset.SEditorPane

seed - Variable in class g2d.graph.IOPNode

Seed - Class in g2d.graph

Seed(IOPGraph, IOPSubgraph, IOPNode, HashSet<Integer>, HashSet<Integer>, HashSet<Integer>) - Constructor for class g2d.graph.Seed

selected - Variable in class g2d.npa.NeverPattern

selectTab(String) - Method in class g2d.pla.SEPanel

self - Static variable in class g2d.subset.SEvent

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

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

send(String, String, String) - Static method in class g2d.util.ActorMsg

send(String, String, Code) - Static method in class g2d.util.ActorMsg

send(String, String, String, byte[]) - Static method in class g2d.util.ActorMsg

sendActorMsg(OutputStream, String) - Static method in class g2d.util.ActorMsg

sendActorMsg(OutputStream, String, byte[]) - Static method in class g2d.util.ActorMsg

Sentinel - Class in g2d.pla

sePanel - Variable in class g2d.glyphviewer.GlyphView

SEPanel - Class in g2d.glyphviewer

Panel that goes into South-East (SE) corner of the main PLA window.

SEPanel(GlyphView) - Constructor for class g2d.glyphviewer.SEPanel

sePanel - Variable in class g2d.graphviewer.AbstractBaseFrame

SEPanel - Class in g2d.graphviewer

Panel that goes into South-East (SE) corner of the main viewer window.

SEPanel(AbstractBaseFrame) - Constructor for class g2d.graphviewer.SEPanel

sePanel - Variable in class g2d.netviewer.NetPanel

SEPanel - Class in g2d.netviewer

Panel that goes into South-East (SE) corner of the main PLA window.

SEPanel(NetPanel) - Constructor for class g2d.netviewer.SEPanel

sePanel - Variable in class g2d.pla.PLAPanel

SEPanel - Class in g2d.pla

Panel that goes into South-East (SE) corner of the main PLA window.

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

SeparatorFactory - Class in g2d.toolbar

To create small and large separators for inserting into a ToolBar.

SeparatorFactory() - Constructor for class g2d.toolbar.SeparatorFactory

SEQ - Static variable in class g2d.jlambda.SymbolTable

SeqTestApprox - Class in g2d.stats

Sequential probability ratio test by Younes et al., Journal on Software Tools for Technology Transfer 2006 "Numerical vs.

SeqTestApprox(String, double, double, double, double) - Constructor for class g2d.stats.SeqTestApprox

set(int, Object) - Method in class g2d.jlambda.List

As specified by the AbstractList template.

setAction(Closure) - Method in class g2d.swing.IOPMenuItem

Set action associated with this menu item.

setActionClosure(Closure) - Method in class g2d.closure.ClosureAbstractAction

Specifies the action closure value.

setActionClosure(Closure) - Method in class g2d.closure.ClosureAction

Specifies the action closure value.

setActionClosure(Closure) - Method in class g2d.closure.ClosureActionListener

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

setActionClosure(int, Closure) - Method in class g2d.closure.ClosureWindowListener

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

setActionClosure(Closure) - Method in class g2d.closure.SpawningClosureActionListener

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

setAddPropertyChangeListenerClosure(Closure) - Method in class g2d.closure.ClosureAction

Specifies the closure to be applied when a property listener is added.

setAntiAliased(boolean) - Static method in class g2d.graph.IOPGraph

Sets whether or not antialiasing is used in drawing the graph.

setArray(Object) - Method in class g2d.jlambda.ForCont

SETATTR - Static variable in class g2d.jlambda.SymbolTable

setAttribute(String, Object) - Method in class g2d.jlambda.Attributable

Set an attribute using the given parameters.

setBaseCenter(Point2D) - Method in class g2d.graph.IOPNode

Set position of node base to given center point.

setBaseDimension(double, double) - Method in class g2d.graph.IOPNode

Set size of node base.

setBinaryDirectory(String) - Static method in class g2d.Main

setBorder(Color) - Method in class g2d.glyph.Glyph

setBorderColor(Color) - Method in class g2d.graph.IOPNode

Set the border color of the node base.

setBoundsClosure(Closure) - Method in class g2d.closure.ClosureGlyph

Specifies the egtBounds closure value.

setCellRendererClosure() - Method in class g2d.glyphviewer.TabFindGlyph

setCellRendererClosure(Closure) - Method in class g2d.graphviewer.TabFind

setCellRendererClosure() - Method in class g2d.netviewer.TabFind

setCellRendererClosure() - Method in class g2d.netviewer.TabFindGraphItem

setCenter(Point2D) - Method in class g2d.graph.IOPNode

Move this node to given center point.

setCenter(Point2D) - Method in class g2d.graph.IOPSubgraph

setClosure(int, Closure) - Method in class g2d.closure.ClosureComponentListener

Set closure for execution when listener receives certain event.

setCollection(Collection<?>) - Method in class g2d.netviewer.TabListModel

setColor(Color) - Method in class g2d.glyph.Glyph

setColor(Color) - Method in class g2d.graph.IOPEdge

Set color of edge to given value.

setColor(Color) - Method in class g2d.graph.Spline

setCompareClosure(Closure) - Method in class g2d.closure.ClosureComparator

Sets the closure to be used to compare objects.

setContents() - Method in class g2d.graph.EdgeDialog

setContents() - Method in class g2d.graph.NodeDialog

setContents(Object) - Method in class g2d.util.Box

setCoordinates(Point2D[]) - Method in class g2d.graph.Spline

Update the curve segments of this spline using the given array of points.

setCurrentDirectory(File) - Method in class g2d.util.FileChooser

setData(List<? extends IOPNode>) - Method in class g2d.graphviewer.list.ListModel

Update data from given list.

setData(List<? extends IOPNode>, boolean) - Method in class g2d.graphviewer.list.ListModel

Update data from given list.

setData(List<? extends IOPNode>) - Method in class g2d.pla.list.NodeListModel

Update data from given list.

setData(List<? extends IOPNode>, boolean) - Method in class g2d.pla.list.NodeListModel

Update data from given list.

setDescription(String) - Method in class g2d.pla.SearchTabita

Sets the description of what the range searched is.

setDescription(String) - Method in class g2d.swing.IOPFileFilter

Sets new description for this file filter.

setDirectory(String) - Static method in class g2d.swing.IOPFileChooser

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

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

setDisplayable(boolean) - Method in class g2d.glyph.BufferedGlyphList

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

setDotAttribute(DotAttributes, int) - Method in class g2d.graph.DotNodeAttributes

setDotAttribute(DotAttributes, double) - Method in class g2d.graph.DotNodeAttributes

setDotAttribute(DotAttributes, boolean) - Method in class g2d.graph.DotNodeAttributes

setDotAttribute(DotAttributes, Object) - Method in class g2d.graph.DotNodeAttributes

setDotLayout(String, String, String, String, String, String, double) - Method in class g2d.graph.IOPEdge

setDotLayout(IOPGraph, Point2D, double, double, String, String, double) - Method in class g2d.graph.IOPNode

setDoubleEnded(boolean) - Method in class g2d.graph.IOPEdge

Set whether this edge has arrow heads on both ends or not.

setEdge(IOPEdge) - Method in class g2d.graph.EdgeDialog

setEditable(boolean) - Method in class g2d.npa.TermTable

setEnabled(boolean) - Method in class g2d.closure.ClosureAction

setFilenameFilterClosure(Closure) - Method in class g2d.closure.ClosureFilenameFilter

Closure must have arity 3.

setFilesOnly(boolean) - Method in class g2d.swing.IOPFileFilter

If true, the filter only allows files, not directories.

setFill(Color) - Method in class g2d.glyph.Glyph

setFILL_COLORS(Color[]) - Static method in class g2d.graphviewer.AbstractBaseFrame

Change fill colors for this class.

setFillColor(Color) - Method in class g2d.graph.IOPNode

Set the fill color of the node base.

setFindTabCellRendererClosure(Closure) - Method in class g2d.graphviewer.SEPanel

setFont(String) - Method in class g2d.glyph.SubTextGlyph

setFont(String) - Method in class g2d.glyph.TextGlyph

setFontsize(int) - Method in class g2d.glyph.TextGlyph

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

setGadget(boolean) - Static method in class g2d.Main

setGetValueClosure(Closure) - Method in class g2d.closure.ClosureAction

Specifies the getValue closure value.

setGlyph(Shape, Color, Color) - Method in class g2d.glyph.Glyph

setGlyphishs(List<Glyphish>) - Method in class g2d.glyphviewer.TabFindGlyph

setGlyphishs(Collection<Glyphish>) - Method in class g2d.glyphviewer.TabFindGlyph

setGlyphs(GlyphList) - Method in class g2d.glyphviewer.GlyphPanel

setGlyphs(BufferedGlyphList) - Method in class g2d.glyphviewer.GlyphView

setGraph(File) - Method in class g2d.graph.IOPGraph

Creates a graph from a stored file, in dot format.

setGraph(IOPGraph) - Method in class g2d.graphviewer.AbstractBaseFrame

Set the graph of this frame to the given one.

setGraph(IOPGraph) - Method in class g2d.graphviewer.GraphPanel

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

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

setGraph(IOPGraph) - Method in class g2d.swing.IOPComponent

setGraph(IOPGraph) - Method in class g2d.swing.IOPView

setGraphItems(List<GraphItem>) - Method in class g2d.netviewer.TabFindGraphItem

setGraphItems(Collection<GraphItem>) - Method in class g2d.netviewer.TabFindGraphItem

setHandler(Handler) - Static method in class g2d.swing.Debugger

setHeight(double) - Method in class g2d.glyph.GlyphList

Sets the height of the glyphlist.

setHeight(int) - Method in class g2d.swing.IOPDropdownButton

setHelp(String) - Method in class g2d.npa.AttackEditor

setHighlighted(boolean) - Method in class g2d.glyph.Glyph

setHTML(String) - Method in class g2d.npa.HelpWindow

setHyperlinkClosure(Closure) - Method in class g2d.closure.ClosureHyperlinkListener

setHyperlinkListener(HyperlinkListener) - Method in class g2d.glyphviewer.SEPanel

setHyperlinkListener(HyperlinkListener) - Method in class g2d.glyphviewer.TabInfo

setHyperlinkListener(HyperlinkListener) - Method in class g2d.graphviewer.CInfo

setHyperlinkListener(HyperlinkListener) - Method in class g2d.graphviewer.TabInfo

setHyperlinkListener(HyperlinkListener) - Method in class g2d.netviewer.SEPanel

setHyperlinkListener(HyperlinkListener) - Method in class g2d.pla.SEPanel

setImage(BufferedImage) - Method in class g2d.glyphviewer.NavPanel

Set new image in original size that is used to create a thumb nail image, which fits into this component.

setImage(BufferedImage) - Method in class g2d.graphviewer.NavPanel

Set new image in original size that is used to create a thumb nail image, which fits into this component.

setImage(BufferedImage) - Method in class g2d.npa.SyntaxHierarchy

Set new image in original size that is used to create a thumb nail image, which fits into this component.

setImage(Image) - Method in class g2d.util.ImageJFrame

setInsideClosure(Closure) - Method in class g2d.closure.ClosureGlyph

Specifies the inside closure value.

setIntersectsClosure(Closure) - Method in class g2d.closure.ClosureGlyph

Specifies the intersects closure value.

setIO(InputStream, PrintStream, PrintStream) - Static method in class g2d.util.IO

setIsEnabledClosure(Closure) - Method in class g2d.closure.ClosureAction

Specifies the isEnabled closure value.

setItemStateChangedClosure(Closure) - Method in class g2d.closure.ClosureItemListener

Set closure for execution when listener receives updates about selectable item.

setIter(Iterator<?>) - Method in class g2d.jlambda.ForCont

setKeyAction(int, Closure) - Method in class g2d.glyph.Glyphish

setKeyAction(int, Closure) - Method in class g2d.swing.IOPComponent

setKeyAction(int, Closure) - Method in class g2d.swing.IOPView

setLabel(String) - Method in class g2d.graph.IOPNode

Set the text of node label.

setListenersEnabled(boolean) - Method in class g2d.netviewer.TabListModel

setListenersEnabled(boolean) - Method in class g2d.swing.FastListModel

setLoudness(boolean) - Method in class g2d.graph.Highlighter

setModifiedEdges(HashMap<Integer, Pair<IOPEdge, IOPEdge>>) - Method in class g2d.graph.Seed

setModifiedSubgraphs(HashMap<Integer, IOPSubgraph>) - Method in class g2d.graph.Seed

setMouseAction(int, Closure) - Method in class g2d.closure.ClosureMouseListener

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

setMouseAction(int, Closure) - Method in class g2d.closure.ClosureMouseMotionListener

Specifies the closure to be used to handle the given mouse motion event.

setMouseAction(int, Closure) - Method in class g2d.glyph.Glyphish

setMouseAction(int, Closure) - Method in class g2d.swing.IOPComponent

setMouseAction(int, Closure) - Method in class g2d.swing.IOPView

setNames(String[]) - Method in class g2d.subset.StateSpace

setNode(IOPNode) - Method in class g2d.graph.NodeDialog

setNodes(IOPNode[]) - Method in class g2d.graphviewer.SEPanel

setNodes(List<IOPNode>) - Method in class g2d.graphviewer.TabFind

setNodes(List<IOPNode>) - Method in class g2d.netviewer.TabFind

setNodes(Collection<IOPNode>) - Method in class g2d.netviewer.TabFind

setNodeShape(String) - Method in class g2d.graph.IOPNode

Set the shape of the node base.

setNodeShape(xDotNode) - Method in class g2d.graph.IOPNode

setNumElements(int) - Method in class g2d.jlambda.ForCont

setOccsAndRules(List<IOPNode>, List<IOPNode>) - Method in class g2d.pla.SettingsTabita

setOKClosure(Closure) - Method in class g2d.subset.DDialog

setPaintClosure(Closure) - Method in class g2d.closure.ClosureGlyph

Specifies the paint closure value.

setPairs(String, List<String>) - Method in class g2d.pla.PairTab

setPanel(TabPanel.Panel, Component) - Method in class g2d.tabwin.TabPanel

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

setPaths(String, List<List<String>>) - Method in class g2d.pla.PathTab

setPersistAfterSelection(boolean) - Method in class g2d.swing.IOPSingleSelect

Sets the dialog's persistAfterSelection flag.

setPoints(double[], double[]) - Method in class g2d.graph.Polygon2D

setPoints(int[], int[]) - Method in class g2d.graph.Polygon2D

setPorthole(Rectangle) - Method in class g2d.glyphviewer.NavPanel

Set porthole into this navigation window.

setPorthole(Rectangle) - Method in class g2d.graphviewer.NavPanel

Set porthole into this navigation window.

setPreferences(Preferences) - Static method in class g2d.swing.IOPFileChooser

setPreferredSize(int, int) - Method in class g2d.swing.IOPView

Deprecated.

JComponent.setPreferredSize(java.awt.Dimension) instead.

setPutEnabledClosure(Closure) - Method in class g2d.closure.ClosureAction

Specifies the putEnabled closure value.

setRange(List<IOPNode>) - Method in class g2d.pla.SearchTabita

Set the searchSpace to be searched, consisting of IOPNode.

setRemote(boolean) - Static method in class g2d.Main

setRemovePropertyChangeListenerClosure(Closure) - Method in class g2d.closure.ClosureAction

Specifies the closure to be applied when a property listener is removed.

setRendering(xDotEdge) - Method in class g2d.graph.IOPEdge

setRendering(xDotNode) - Method in class g2d.graph.IOPNode

setRendering(xDotSubgraph) - Method in class g2d.graph.IOPSubgraph

setRunClosure(Closure) - Method in class g2d.closure.ClosureThread

Sets the ClosureThread's run method.

setSalPath(String) - Method in class g2d.util.Sal

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

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

setScope(String[], LinkedList<?>[]) - Method in class g2d.subset.DDialog

setSelected(boolean) - Method in class g2d.graph.GraphItem

setSelected(int[]) - Method in class g2d.subset.SDialog

setSelected(int[], int) - Method in class g2d.subset.SDialog

setSelectedFile(File) - Method in class g2d.util.FileChooser

setSelectedItem(Object) - Method in class g2d.subset.SComboBoxModel

setSetEnabledClosure(Closure) - Method in class g2d.closure.ClosureAction

Specifies the setEnabled closure value.

setShape(Shape) - Method in class g2d.glyph.Glyph

setSize(int) - Method in class g2d.glyph.SubTextGlyph

setSize(int) - Method in class g2d.glyph.TextGlyph

Deprecated.

Use TextGlyph.setFontsize(int) instead.

setSize(double, double) - Method in class g2d.swing.IOPFrame

Sets the width and height of the frame window

setSize(Rectangle2D, double) - Method in class g2d.swing.IOPFrame

Sets the bounds of the frame window

setStackDepth(int) - Static method in class g2d.jlambda.Debugger

Sets the depth to which stack traces of Java exceptions are printed.

setState(String, int) - Method in class g2d.subset.Universe

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

setState(int) - Method in class g2d.subset.Urelement

setStaticAttribute(String, Object) - Method in class g2d.jlambda.Attributable

Set a static attribute using the given parameters.

setStatus(String) - Method in class g2d.console.Console

setStatus(String) - Method in class g2d.glyphviewer.GlyphView

setStatus(String, boolean) - Method in class g2d.glyphviewer.GlyphView

setStatus(String) - Method in class g2d.glyphviewer.StatusBar

setStatus(String, boolean) - Method in class g2d.glyphviewer.StatusBar

setStatus(String) - Method in class g2d.netviewer.NetPanel

setStatus(String, boolean) - Method in class g2d.netviewer.NetPanel

setStatus(String) - Method in class g2d.netviewer.StatusBar

setStatus(String, boolean) - Method in class g2d.netviewer.StatusBar

setStatus(String) - Method in class g2d.npa.AttackEditor

setStatus(String, boolean) - Method in class g2d.npa.AttackEditor

setStatus(String) - Method in class g2d.npa.TermPanel

setStatus(String, boolean) - Method in class g2d.npa.TermPanel

setStroke(Stroke) - Method in class g2d.glyph.Glyph

setStrokeWidth(float) - Method in class g2d.graph.IOPEdge

Set current stroke width to the given value.

setStrokeWidth(float) - Method in class g2d.graph.IOPGraph

Sets the stroke width of all edges.

setStrokeWidth(float) - Method in class g2d.graph.Spline

setStyle(String) - Method in class g2d.graph.IOPEdge

Set current style to one described by given String.

setStyle(String) - Method in class g2d.graph.Spline

setSubtitle(String) - Method in class g2d.graphviewer.AbstractBaseFrame

Adding a subtitle to this frame.

setTargetClass(Class<?>) - Method in class g2d.jlambda.ClassLookupCont

setText(String) - Method in class g2d.glyph.TextGlyph

setText(String, int) - Method in class g2d.glyph.TextGlyph

setTextColor(Color) - Method in class g2d.glyph.TextGlyph

SettingsGroup - Class in g2d.pla

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

settingsList(PLAPanel, IOPNode) - Static method in enum g2d.pla.SettingsMode

SettingsMode - Enum in g2d.pla

SettingsTabita - Class in g2d.pla

SettingsTabita(PLAPanel, Font) - Constructor for class g2d.pla.SettingsTabita

setTitle(String) - Method in class g2d.graphviewer.AbstractBaseFrame

setToolBar(JToolBar) - Method in class g2d.tabwin.TabPanel

setTransformClosure(Closure) - Method in class g2d.closure.ClosureGlyph

Specifies the transform closure value.

setUID(Object, Object) - Static method in class g2d.jlambda.Evaluate

setUID(String, Object) - Static method in class g2d.jlambda.Identifiable

setUID(String) - Method in class g2d.jlambda.Identifiable

setUID(Object, Object) - Method in class g2d.jlambda.Interpreter

SETUID - Static variable in class g2d.jlambda.SymbolTable

setUniverse(String, Universe) - Method in class g2d.subset.DPanel

setUniverse(String[]) - Method in class g2d.subset.SDialog

setUniverse(String[], String[]) - Method in class g2d.subset.SDialog

setUniverse(Universe) - Method in class g2d.subset.SDialog

setUniverse(Universe) - Method in class g2d.subset.SEditorPane

setValency(int) - Method in class g2d.subset.StateSpace

setValueChangedClosure(Closure) - Method in class g2d.closure.ClosureListSelectionListener

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

setVerbosity(boolean) - Static method in class g2d.jlambda.Debugger

Sets the verbosity.

setVisible(boolean) - Method in class g2d.graph.EdgeDialog

setVisible(boolean) - Method in class g2d.graph.NodeDialog

setVisible(boolean) - Method in class g2d.subset.DDialog

setVisible(boolean) - Method in class g2d.subset.SDialog

setVisible(boolean) - Method in class g2d.swing.IOPDropdownButton.DDPopupMenu

setWidth(double) - Method in class g2d.glyph.GlyphList

Sets the width of the glyphlist.

setWorkingDir(String) - Method in class g2d.util.Sal

setZoomChangedClosure(Closure) - Method in class g2d.closure.ClosureZoomListener

Specifies the zoom changed closure value.

SEvent - Class in g2d.subset

SEvent() - Constructor for class g2d.subset.SEvent

SEvent(Urelement) - Constructor for class g2d.subset.SEvent

SEvent(DEvent) - Constructor for class g2d.subset.SEvent

shear(double, double) - Method in class g2d.glyph.Glyphish

SHORT - Static variable in class g2d.jlambda.SymbolTable

shortName - Variable in class g2d.graph.IOPNode

shortValue - Variable in class g2d.util.Variable

SHOW - Static variable in class g2d.jlambda.ReadEvalPrintLoop

showAttributes(PrintStream) - Method in class g2d.jlambda.Attributable

Dump an attributable object's attributes out to a stream.

showAttributes(StringBuffer) - Method in class g2d.jlambda.Attributable

showDefinition(String) - Static method in class g2d.jlambda.Evaluate

showDialog(Component, String, String, String) - Static method in class g2d.swing.BulkInputDialog

Show an instance of this dialog (modal) and obtain user's selection.

showDialog(Component, String, String, String, String) - Static method in class g2d.swing.BulkInputDialog

showDialog(Component, String) - Method in class g2d.swing.IOPFileChooser

showDialog(Component, String) - Method in class g2d.util.FileChooser

showOpenDialog(Component) - Method in class g2d.swing.IOPFileChooser

showOpenDialog(Component) - Method in class g2d.util.FileChooser

showProgressDialog(String, Component) - Static method in class g2d.graphviewer.AbstractBaseFrame

Show modal dialog with (indeterminante) progress bar with a given title.

showSaveDialog(Component) - Method in class g2d.swing.IOPFileChooser

showSaveDialog(Component) - Method in class g2d.util.FileChooser

SHUTDOWN_AFTER_ERROR - Static variable in class g2d.runtime.ExceptionHandler

ShutdownHook - Class in g2d.runtime

A small thread that sends the shutdown command to IOP (on System.out).

ShutdownHook(String) - Constructor for class g2d.runtime.ShutdownHook

Initialize thread with given name.

sink - Variable in class g2d.graph.IOPEdge

SINVOKE - Static variable in class g2d.jlambda.SymbolTable

situate() - Method in class g2d.swing.IOPFileChooser

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

The size of the glyph, i.e. the sum of the number of nodes and edges.

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

As specified by the AbstractList template.

size() - Method in class g2d.subset.StateSpace

SIZE - Static variable in class g2d.util.ActorMsg

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

SLEEP_TIME - Static variable in class g2d.pla.Sentinel

slice - Variable in class g2d.subset.DEvent

SListener - Interface in g2d.subset

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

snarf(BufferedInputStream, int) - Static method in class g2d.jlambda.ReadEvalPrintLoop

snoc(Object) - Method in class g2d.jlambda.Code

snoc(Object, int, String) - Method in class g2d.jlambda.Code

snoc(Object) - Method in class g2d.jlambda.List

Destructively updates this, which must be an empty list, so that it's car in the obj passed in, and it's cdr is a new empty list.

snoc(Iterator<?>) - Method in class g2d.jlambda.List

Adds the contents of the Iterator object destructively onto the end of this list.

snoc(Object[]) - Method in class g2d.jlambda.List

Adds the contents of the array of Objects destructively onto the end of this list.

SOLID - Static variable in class g2d.graph.IOPEdge

Style of a solid line for this edge.

sort - Variable in class g2d.npa.Binding

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

sort - Variable in class g2d.terms.Constructor

sort - Variable in class g2d.terms.Hole

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

Sort - Class in g2d.terms

Sort(String) - Constructor for class g2d.terms.Sort

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

sort() - Method in class g2d.terms.TermPosition

sort - Variable in class g2d.terms.Variable

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

SortedTermTable - Class in g2d.npa

SortedTermTable(AttackEditor) - Constructor for class g2d.npa.SortedTermTable

sorts - Static variable in class g2d.npa.examples.IntruderKnowledge

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

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

sorts - Variable in class g2d.npa.Syntax

sorts - Variable in class g2d.terms.Algebra

source - Variable in class g2d.graph.IOPEdge

SPATIAL - Static variable in class g2d.subset.Universe

SpawningClosureActionListener - Class in g2d.closure

For dynamically configuring an ActionListener.

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

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

SPECIFIC - Static variable in class g2d.graph.IOPEdge

Style of a width-specified line line for this edge.

spline - Variable in class g2d.graph.IOPEdge

Spline - Class in g2d.graph

Spline(Point2D, Point2D) - Constructor for class g2d.graph.Spline

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

src() - Method in class g2d.subset.DEvent

STabbedPane - Class in g2d.subset

stackDepth - Static variable in class g2d.jlambda.Debugger

start - Variable in class g2d.terms.HolePosition

start - Variable in class g2d.terms.TermPosition

start - Variable in class g2d.util.ActorMsg.Token

state - Variable in class g2d.subset.DEvent

stateChanged(ChangeEvent) - Method in class g2d.glyphviewer.GlyphPanel

stateChanged(ChangeEvent) - Method in class g2d.glyphviewer.GlyphView

stateChanged(ChangeEvent) - Method in class g2d.glyphviewer.SEPanel

stateChanged() - Method in class g2d.glyphviewer.TabFindGlyph

stateChanged(ChangeEvent) - Method in class g2d.glyphviewer.TabFindGlyph

stateChanged(ChangeEvent) - Method in class g2d.glyphviewer.TabMenu

stateChanged(ChangeEvent) - Method in class g2d.graph.EdgeDialog

stateChanged(ChangeEvent) - Method in class g2d.graph.NodeDialog

stateChanged(ChangeEvent) - Method in class g2d.graphviewer.AbstractBaseFrame

stateChanged(ChangeEvent) - Method in class g2d.graphviewer.GraphPanel

stateChanged(ChangeEvent) - Method in class g2d.graphviewer.SEPanel

stateChanged(ChangeEvent) - Method in class g2d.netviewer.NetGraphPanel

stateChanged(ChangeEvent) - Method in class g2d.netviewer.NetPanel

stateChanged(ChangeEvent) - Method in class g2d.netviewer.SEPanel

stateChanged(ChangeEvent) - Method in class g2d.netviewer.TabFind

stateChanged() - Method in class g2d.netviewer.TabFindGraphItem

stateChanged(ChangeEvent) - Method in class g2d.netviewer.TabFindGraphItem

stateChanged(ChangeEvent) - Method in class g2d.netviewer.TabList

stateChanged(ChangeEvent) - Method in class g2d.netviewer.TabMenu

stateChanged(ChangeEvent) - Method in class g2d.npa.AttackEditor

stateChanged(ChangeEvent) - Method in class g2d.pla.PLAGraphPanel

stateChanged(ChangeEvent) - Method in class g2d.pla.PLAPanel

stateChanged(ChangeEvent) - Method in class g2d.pla.SEPanel

stateChanged(ChangeEvent) - Method in class g2d.pla.SettingsTabita

stateChanged(ChangeEvent) - Method in class g2d.pla.SubgraphTabita

stateChanged(ChangeEvent) - Method in class g2d.pla.TabMenu

stateChanged(ChangeEvent) - Method in class g2d.swing.IOPView

stateChangedClosure - Variable in class g2d.pla.TabMenu

states - Variable in class g2d.subset.Universe

StateSpace - Class in g2d.subset

StateSpace() - Constructor for class g2d.subset.StateSpace

status - Variable in class g2d.console.Console

STATUS - Static variable in class g2d.graph.Highlighter

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

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

status() - Method in class g2d.swing.IOPMultiSelect

STATUS_PREVIOUS - Static variable in class g2d.graph.Highlighter

statusBar - Variable in class g2d.glyphviewer.GlyphView

StatusBar - Class in g2d.glyphviewer

StatusBar(String) - Constructor for class g2d.glyphviewer.StatusBar

statusBar - Variable in class g2d.netviewer.NetPanel

StatusBar - Class in g2d.netviewer

StatusBar(String) - Constructor for class g2d.netviewer.StatusBar

statusBar - Variable in class g2d.npa.AttackEditor

statusBar - Variable in class g2d.npa.NeverPatterns

StatusLabel - Class in g2d.netviewer

StatusLabel(String, int, int, Color) - Constructor for class g2d.netviewer.StatusLabel

StatusLabel(String, int) - Constructor for class g2d.netviewer.StatusLabel

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

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

stop - Variable in class g2d.terms.HolePosition

stop - Variable in class g2d.terms.TermPosition

stop - Variable in class g2d.util.ActorMsg.Token

strandAlgebra - Variable in class g2d.npa.Syntax

STRANDS - Static variable in class g2d.npa.examples.Examples

Strands - Class in g2d.npa.examples

Strands() - Constructor for class g2d.npa.examples.Strands

strandSort - Variable in class g2d.npa.Syntax

strandTemplate - Variable in class g2d.npa.Syntax

STree - Class in g2d.subset

STree(String, Universe) - Constructor for class g2d.subset.STree

STree(String, Universe, Comparator<Object>) - Constructor for class g2d.subset.STree

STree(String, Universe, boolean) - Constructor for class g2d.subset.STree

STree.STreeMouseListener - Class in g2d.subset

STree.STreePopupMenu - Class in g2d.subset

STreeCellRenderer - Class in g2d.subset

STreeCellRenderer() - Constructor for class g2d.subset.STreeCellRenderer

STreeMouseListener() - Constructor for class g2d.subset.STree.STreeMouseListener

STreePopupMenu(TreeNode) - Constructor for class g2d.subset.STree.STreePopupMenu

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

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

string2File(String, String, boolean) - Static method in class g2d.util.IO

string2Shape(String, double, double, double, double) - Method in class g2d.graph.IOPNode

string2State(String) - Static method in class g2d.subset.StateSpace

stringMax - Variable in class g2d.subset.Universe

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

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

strokeWidth - Variable in class g2d.graph.Spline

STROKEWIDTH - Static variable in class g2d.swing.IOPConstants

style - Variable in class g2d.graph.Spline

sub(String, int, String) - Method in class g2d.glyph.SubTextGlyph

subgraph - Variable in class g2d.graph.Seed

subgraphs - Variable in class g2d.graph.IOPSubgraph

subgraphs - Variable in class g2d.graph.Seed

subgraphs - Static variable in class g2d.pla.PLA

SubgraphTabita - Class in g2d.pla

SubgraphTabita(PLAPanel, Font) - Constructor for class g2d.pla.SubgraphTabita

SubgraphTabita.SubgraphAction - Enum in g2d.pla

SubgraphTabita.SubgraphMode - Enum in g2d.pla

subsorter - Static variable in class g2d.npa.examples.IntruderKnowledge

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

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

subsorter - Variable in class g2d.npa.Syntax

subsorter - Variable in class g2d.terms.Algebra

Subsorter - Class in g2d.terms

Subsorter() - Constructor for class g2d.terms.Subsorter

Substitution - Class in g2d.npa

SubstitutionDialog - Class in g2d.npa

SubstitutionEditor - Class in g2d.npa

SubstitutionEditor(AttackEditor, JTable, Role) - Constructor for class g2d.npa.SubstitutionEditor

SubstitutionTable - Class in g2d.npa

SubstitutionTable(AttackEditor, Role, Substitution) - Constructor for class g2d.npa.SubstitutionTable

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

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

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

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

SubTextGlyph - Class in g2d.glyph

Antialiased text with subscript and supscript support.

SubTextGlyph(String) - Constructor for class g2d.glyph.SubTextGlyph

SubTextGlyph(String, int) - Constructor for class g2d.glyph.SubTextGlyph

SubTextGlyph(String, int, String) - Constructor for class g2d.glyph.SubTextGlyph

subtitle - Variable in class g2d.graphviewer.AbstractBaseFrame

summary() - Method in class g2d.stats.BlackboxApprox

summary() - Method in class g2d.stats.GenericApprox

summary() - Method in class g2d.stats.nGenericApprox

summary() - Method in class g2d.stats.OptimalApprox

summary() - Method in class g2d.stats.QAApprox

summary() - Method in class g2d.stats.SeqTestApprox

summary() - Method in class g2d.stats.Synchronize

SUPDATE - Static variable in class g2d.jlambda.SymbolTable

supressBorderColor - Static variable in class g2d.graph.Highlighter

supressFillColor - Static variable in class g2d.graph.Highlighter

supressSet - Variable in class g2d.graph.Highlighter

SymbolTable - Class in g2d.jlambda

Mappings from form ids to classes that know how to evaluate the corresponding forms.

Synchronize - Class in g2d.stats

Synchronize(StatisticsImpl) - Constructor for class g2d.stats.Synchronize

syntax - Variable in class g2d.npa.AttackEditor

Syntax - Class in g2d.npa

Syntax(String[], String[][], String[][], String[][], String[][]) - Constructor for class g2d.npa.Syntax

Syntax(String[], String[][], String[][]) - Constructor for class g2d.npa.Syntax

SyntaxDeclarations - Class in g2d.npa

SyntaxDeclarations(AttackEditor) - Constructor for class g2d.npa.SyntaxDeclarations

SyntaxEditor - Class in g2d.npa

SyntaxEditor(AttackEditor) - Constructor for class g2d.npa.SyntaxEditor

SyntaxError - Exception in g2d.jlambda

Syntax error exception class for the interpreter.

SyntaxHierarchy - Class in g2d.npa

SyntaxHierarchy(AttackEditor) - Constructor for class g2d.npa.SyntaxHierarchy

SyntaxHierarchy(AttackEditor, int, int) - Constructor for class g2d.npa.SyntaxHierarchy

syntaxInput - Variable in class g2d.npa.AttackEditor

SyntaxPanel - Class in g2d.npa

SyntaxPanel(AttackEditor) - Constructor for class g2d.npa.SyntaxPanel

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