[e-cvs] cvs commit: e/src/safej/javax/swing/text AbstractDocument.safej AbstractDocument.safej AbstractDocument.safej AbstractDocument.safej AbstractDocument.safej AbstractDocument.safej AbstractWriter.safej AsyncBoxView.safej AsyncBoxView.safej AsyncBoxView.safej BoxView.safej ComponentView.safej CompositeView.safej DateFormatter.safej DefaultCaret.safej DefaultEditorKit.safej DefaultEditorKit.safej DefaultEditorKit.safej DefaultEditorKit.safej DefaultEditorKit.safej DefaultEditorKit.safej DefaultEditorKit.safej DefaultEditorKit.safej DefaultEditorKit.safej DefaultFormatter.safej DefaultFormatterFactory.safej DefaultHighlighter.safej DefaultHighlighter.safej DefaultStyledDocument.safej DefaultStyledDocument.safej DefaultStyledDocument.safej DefaultStyledDocument.safej DefaultTextUI.safej DocumentFilter.safej DocumentFilter.safej EditorKit.safej ElementIterator.safej FieldView.safej FlowView.safej FlowView.safej GapContent.safej GlyphView.safej GlyphView.safej IconView.safe!
j InternationalFormatter.safej JTextComponent.safej JTextComponent.safej JTextComponent.safej LabelView.safej LayeredHighlighter.safej LayeredHighlighter.safej LayoutQueue.safej MaskFormatter.safej NavigationFilter.safej NavigationFilter.safej NumberFormatter.safej ParagraphView.safej PasswordView.safej PlainDocument.safej PlainView.safej Position.safej Segment.safej SimpleAttributeSet.safej StringContent.safej StyleConstants.safej StyleConstants.safej StyleConstants.safej StyleConstants.safej StyleConstants.safej StyleContext.safej StyleContext.safej StyleContext.safej StyledEditorKit.safej StyledEditorKit.safej StyledEditorKit.safej StyledEditorKit.safej StyledEditorKit.safej StyledEditorKit.safej StyledEditorKit.safej StyledEditorKit.safej StyledEditorKit.safej TabSet.safej TabStop.safej TableView.safej TableView.safej TableView.safej TextAction.safej Utilities.safej View.safej WrappedPlainView.safej ZoneView.safej
markm@eros.cs.jhu.edu
markm@eros.cs.jhu.edu
Thu, 13 Dec 2001 00:01:45 -0500
markm 01/12/13 00:01:45
Modified: src Makefile
src/jsrc/org/capml/dom Element.java Node.java Text.java
src/jsrc/org/quasiliteral/term Term.updoc
Added: src/esrc/scripts tamingConverter.e
src/safej/java/awt AWTEvent.safej AWTEventMulticaster.safej
AWTKeyStroke.safej AWTPermission.safej
AlphaComposite.safej BasicStroke.safej
BorderLayout.safej
BufferCapabilities$FlipContents.safej
BufferCapabilities.safej Button.safej Canvas.safej
CardLayout.safej Checkbox.safej CheckboxGroup.safej
CheckboxMenuItem.safej Choice.safej Color.safej
Component.safej ComponentOrientation.safej
Container.safej
ContainerOrderFocusTraversalPolicy.safej
Cursor.safej DefaultFocusTraversalPolicy.safej
DefaultKeyboardFocusManager.safej Dialog.safej
Dimension.safej DisplayMode.safej Event.safej
EventQueue.safej FileDialog.safej FlowLayout.safej
FocusTraversalPolicy.safej Font.safej
FontMetrics.safej Frame.safej GradientPaint.safej
Graphics.safej Graphics2D.safej
GraphicsConfigTemplate.safej
GraphicsConfiguration.safej GraphicsDevice.safej
GraphicsEnvironment.safej GridBagConstraints.safej
GridBagLayout.safej GridLayout.safej Image.safej
ImageCapabilities.safej Insets.safej
JobAttributes$DefaultSelectionType.safej
JobAttributes$DestinationType.safej
JobAttributes$DialogType.safej
JobAttributes$MultipleDocumentHandlingType.safej
JobAttributes$SidesType.safej JobAttributes.safej
KeyEventDispatcher.safej KeyboardFocusManager.safej
Label.safej List.safej MediaTracker.safej
Menu.safej MenuBar.safej MenuComponent.safej
MenuItem.safej MenuShortcut.safej
PageAttributes$ColorType.safej
PageAttributes$MediaType.safej
PageAttributes$OrientationRequestedType.safej
PageAttributes$OriginType.safej
PageAttributes$PrintQualityType.safej
PageAttributes.safej Panel.safej Point.safej
Polygon.safej PopupMenu.safej PrintJob.safej
Rectangle.safej RenderingHints$Key.safej
RenderingHints.safej Robot.safej ScrollPane.safej
ScrollPaneAdjustable.safej Scrollbar.safej
SystemColor.safej TextArea.safej
TextComponent.safej TextField.safej
TexturePaint.safej Toolkit.safej Window.safej
src/safej/java/awt/event AWTEventListenerProxy.safej
ActionEvent.safej AdjustmentEvent.safej
ComponentAdapter.safej ComponentEvent.safej
ContainerAdapter.safej ContainerEvent.safej
FocusAdapter.safej FocusEvent.safej
HierarchyBoundsAdapter.safej HierarchyEvent.safej
InputEvent.safej InputMethodEvent.safej
InvocationEvent.safej ItemEvent.safej
KeyAdapter.safej KeyEvent.safej MouseAdapter.safej
MouseEvent.safej MouseMotionAdapter.safej
MouseWheelEvent.safej PaintEvent.safej
TextEvent.safej WindowAdapter.safej
WindowEvent.safej
src/safej/javax/swing AbstractAction.safej
AbstractButton.safej AbstractCellEditor.safej
AbstractListModel.safej AbstractSpinnerModel.safej
ActionMap.safej BorderFactory.safej
Box$Filler.safej Box.safej BoxLayout.safej
ButtonGroup.safej CellRendererPane.safej
ComponentInputMap.safej DebugGraphics.safej
DefaultBoundedRangeModel.safej
DefaultButtonModel.safej DefaultCellEditor.safej
DefaultComboBoxModel.safej
DefaultDesktopManager.safej
DefaultFocusManager.safej
DefaultListCellRenderer$UIResource.safej
DefaultListCellRenderer.safej
DefaultListModel.safej
DefaultListSelectionModel.safej
DefaultSingleSelectionModel.safej
FocusManager.safej GrayFilter.safej ImageIcon.safej
InputMap.safej InputVerifier.safej
InternalFrameFocusTraversalPolicy.safej
JApplet.safej JButton.safej JCheckBox.safej
JCheckBoxMenuItem.safej JColorChooser.safej
JComboBox.safej
JComponent$AccessibleJComponent.safej
JComponent.safej JDesktopPane.safej JDialog.safej
JEditorPane$JEditorPaneAccessibleHypertextSupport$HTMLLink.safej
JEditorPane.safej JFileChooser.safej
JFormattedTextField$AbstractFormatter.safej
JFormattedTextField$AbstractFormatterFactory.safej
JFormattedTextField.safej JFrame.safej
JInternalFrame$JDesktopIcon.safej
JInternalFrame.safej JLabel.safej
JLayeredPane.safej JList.safej JMenu.safej
JMenuBar.safej JMenuItem.safej JOptionPane.safej
JPanel.safej JPasswordField.safej
JPopupMenu$Separator.safej JPopupMenu.safej
JProgressBar.safej JRadioButton.safej
JRadioButtonMenuItem.safej JRootPane.safej
JScrollBar.safej JScrollPane.safej JSeparator.safej
JSlider.safej JSpinner$DateEditor.safej
JSpinner$DefaultEditor.safej
JSpinner$ListEditor.safej
JSpinner$NumberEditor.safej JSpinner.safej
JSplitPane.safej JTabbedPane.safej JTable.safej
JTextArea.safej JTextField.safej JTextPane.safej
JToggleButton$ToggleButtonModel.safej
JToggleButton.safej JToolBar$Separator.safej
JToolBar.safej JToolTip.safej
JTree$DynamicUtilTreeNode.safej JTree.safej
JViewport$ViewListener.safej JViewport.safej
JWindow.safej KeyStroke.safej
LayoutFocusTraversalPolicy.safej LookAndFeel.safej
MenuSelectionManager.safej OverlayLayout.safej
Popup.safej PopupFactory.safej
ProgressMonitor.safej
ProgressMonitorInputStream.safej
RepaintManager.safej
ScrollPaneLayout$UIResource.safej
ScrollPaneLayout.safej SizeRequirements.safej
SizeSequence.safej
SortingFocusTraversalPolicy.safej
SpinnerDateModel.safej SpinnerListModel.safej
SpinnerNumberModel.safej Spring.safej
SpringLayout$Constraints.safej SpringLayout.safej
SwingUtilities.safej Timer.safej
ToolTipManager.safej TransferHandler.safej
UIDefaults$LazyInputMap.safej
UIDefaults$ProxyLazyValue.safej UIDefaults.safej
UIManager$LookAndFeelInfo.safej UIManager.safej
ViewportLayout.safej
src/safej/javax/swing/event AncestorEvent.safej
CaretEvent.safej ChangeEvent.safej
DocumentEvent$EventType.safej
EventListenerList.safej
HyperlinkEvent$EventType.safej HyperlinkEvent.safej
InternalFrameAdapter.safej InternalFrameEvent.safej
ListDataEvent.safej ListSelectionEvent.safej
MenuDragMouseEvent.safej MenuEvent.safej
MenuKeyEvent.safej MouseInputAdapter.safej
PopupMenuEvent.safej
SwingPropertyChangeSupport.safej
TableColumnModelEvent.safej TableModelEvent.safej
TreeExpansionEvent.safej TreeModelEvent.safej
TreeSelectionEvent.safej UndoableEditEvent.safej
src/safej/javax/swing/text
AbstractDocument$AbstractElement.safej
AbstractDocument$BranchElement.safej
AbstractDocument$DefaultDocumentEvent.safej
AbstractDocument$ElementEdit.safej
AbstractDocument$LeafElement.safej
AbstractDocument.safej AbstractWriter.safej
AsyncBoxView$ChildLocator.safej
AsyncBoxView$ChildState.safej AsyncBoxView.safej
BoxView.safej ComponentView.safej
CompositeView.safej DateFormatter.safej
DefaultCaret.safej
DefaultEditorKit$BeepAction.safej
DefaultEditorKit$CopyAction.safej
DefaultEditorKit$CutAction.safej
DefaultEditorKit$DefaultKeyTypedAction.safej
DefaultEditorKit$InsertBreakAction.safej
DefaultEditorKit$InsertContentAction.safej
DefaultEditorKit$InsertTabAction.safej
DefaultEditorKit$PasteAction.safej
DefaultEditorKit.safej DefaultFormatter.safej
DefaultFormatterFactory.safej
DefaultHighlighter$DefaultHighlightPainter.safej
DefaultHighlighter.safej
DefaultStyledDocument$AttributeUndoableEdit.safej
DefaultStyledDocument$ElementBuffer.safej
DefaultStyledDocument$ElementSpec.safej
DefaultStyledDocument.safej DefaultTextUI.safej
DocumentFilter$FilterBypass.safej
DocumentFilter.safej EditorKit.safej
ElementIterator.safej FieldView.safej
FlowView$FlowStrategy.safej FlowView.safej
GapContent.safej GlyphView$GlyphPainter.safej
GlyphView.safej IconView.safej
InternationalFormatter.safej
JTextComponent$AccessibleJTextComponent.safej
JTextComponent$KeyBinding.safej
JTextComponent.safej LabelView.safej
LayeredHighlighter$LayerPainter.safej
LayeredHighlighter.safej LayoutQueue.safej
MaskFormatter.safej
NavigationFilter$FilterBypass.safej
NavigationFilter.safej NumberFormatter.safej
ParagraphView.safej PasswordView.safej
PlainDocument.safej PlainView.safej
Position$Bias.safej Segment.safej
SimpleAttributeSet.safej StringContent.safej
StyleConstants$CharacterConstants.safej
StyleConstants$ColorConstants.safej
StyleConstants$FontConstants.safej
StyleConstants$ParagraphConstants.safej
StyleConstants.safej StyleContext$NamedStyle.safej
StyleContext$SmallAttributeSet.safej
StyleContext.safej
StyledEditorKit$AlignmentAction.safej
StyledEditorKit$BoldAction.safej
StyledEditorKit$FontFamilyAction.safej
StyledEditorKit$FontSizeAction.safej
StyledEditorKit$ForegroundAction.safej
StyledEditorKit$ItalicAction.safej
StyledEditorKit$StyledTextAction.safej
StyledEditorKit$UnderlineAction.safej
StyledEditorKit.safej TabSet.safej TabStop.safej
TableView$TableCell.safej TableView$TableRow.safej
TableView.safej TextAction.safej Utilities.safej
View.safej WrappedPlainView.safej ZoneView.safej
Log:
added taming files
Revision Changes Path
1.127 +2 -2 e/src/Makefile
Index: Makefile
===================================================================
RCS file: /cvs/e/src/Makefile,v
retrieving revision 1.126
retrieving revision 1.127
diff -u -r1.126 -r1.127
--- Makefile 2001/12/12 06:35:57 1.126
+++ Makefile 2001/12/13 05:01:31 1.127
@@ -7,8 +7,8 @@
# Prefix tagging this release's attributes
PREFIX=E
-DOTVER=0.8.10delta1
-TAGVER=0_8_10delta1
+DOTVER=0.8.10delta2
+TAGVER=0_8_10delta2
RELEASE=working
TOP=..
1.1 e/src/esrc/scripts/tamingConverter.e
Index: tamingConverter.e
===================================================================
#!/usr/bin/env e
def qq__uriGetter := <unsafe:org.quasiliteral.*>
def traceln(str) {
stderr println(str)
}
def safejSchema := <qq:astro.BaseSchema> new("safej", [
"LiteralChar",
"LiteralInteger",
"LiteralFloat64",
"LiteralString",
"class",
"name",
"method",
"static",
"signature",
"suppress",
"comment",
"byproxy",
"selfless",
"byconstruction",
"persistent",
"safe"])
def safejBuilder := <qq:term.TermBuilder> new(safejSchema)
def qsml2term(qsmlSrc) :any {
def dom := sml__quasiParser valueMaker(qsmlSrc trim()) substitute([]) minimize()
dom build(safejBuilder)
}
def optArgs(tree, tagName) :any {
if (tree getTag() getTagName() <=> tagName) {
tree getArgs()
} else {
null
}
}
def fqn(tree) :any {
optArgs(tree, "class") =~ [x ? (optArgs(x, "name") =~ [result])] + _
result getOptString()
}
def path(fqname) :any {
def parts := fqname split(".")
var sep := "/"
var result := ""
for part in parts {
result += sep + part
if (! (part <=> part toLowerCase())) {
# If it has any upper case in it, assume it's a class
# so all further steps are nested classes
sep := "$"
}
}
# get rid of initial "$"
result(1, result size()) + ".safej"
}
def openForWriting(dir, path) :any {
def i := path lastStartOf("/")
def parentPath := path(0, i+1)
dir[parentPath] mkdirs()
dir[path] textWriter()
}
def convert(smlFiledir, safejRootDir) {
if (smlFiledir isDirectory()) {
for sub in smlFiledir {
convert(sub, safejRootDir)
}
} else if (smlFiledir getName() =~ `@_.txt`) {
def tree := qsml2term(smlFiledir getText())
def fqname := fqn(tree)
def pathName := path(fqname)
def out := openForWriting(safejRootDir, pathName)
try {
tree prettyPrintOn(out, false)
} finally {
out close()
}
traceln(pathName)
}
}
def [smlDirName, safejDirName] := interp getArgs()
convert(<file: smlDirName>, <file: safejDirName>)
1.11 +57 -2 e/src/jsrc/org/capml/dom/Element.java
Index: Element.java
===================================================================
RCS file: /cvs/e/src/jsrc/org/capml/dom/Element.java,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -r1.10 -r1.11
--- Element.java 2001/12/12 06:35:57 1.10
+++ Element.java 2001/12/13 05:01:31 1.11
@@ -138,12 +138,13 @@
/**
*
*/
- public void prettyPrintOn(TextWriter out) throws IOException {
+ public void prettyPrintOn(TextWriter out, boolean quasiFlag)
+ throws IOException {
out.print("<", myTagName, ">");
TextWriter nest = out.indent();
for (int i = 0; i < myChildren.size(); i++) {
nest.println();
- ((Node)myChildren.get(i)).prettyPrintOn(out);
+ ((Node)myChildren.get(i)).prettyPrintOn(nest, quasiFlag);
}
out.println();
out.print("</", myTagName, ">");
@@ -163,5 +164,59 @@
args = builder.with(args, child.build(builder));
}
return builder.term(func, args);
+ }
+
+ /**
+ *
+ */
+ /*package*/ Node[] minimize(Node optLeft) {
+ Node[] badChildren = (Node[])myChildren.getArray(Node.class);
+ //The number of goodChildren cannot exceed the original number of
+ //bad ones.
+ Node[] goodChildren = new Node[badChildren.length];
+ int firstBad = 0;
+ int lastGood = -1;
+ while (firstBad < badChildren.length) {
+ Node optLastGoodChild = null;
+ if (lastGood >= 0) {
+ //pop good
+ optLastGoodChild = goodChildren[lastGood--];
+ }
+ //pop bad
+ Node firstBadChild = badChildren[firstBad++];
+ Node[] mins = firstBadChild.minimize(optLastGoodChild);
+ if (null != optLastGoodChild && mins.length == 1) {
+ //A special case: reexamine with newly exposed left
+ //push bad
+ badChildren[--firstBad] = mins[0];
+ } else {
+ for (int i = 0; i < mins.length; i++) {
+ //push good
+ goodChildren[++lastGood] = mins[i];
+ }
+ }
+ }
+ ConstList minChildren = ConstList.fromArray(goodChildren);
+ minChildren = minChildren.run(0, lastGood +1);
+ Element minSelf = new Element(myTagName, minChildren);
+
+ if (null == optLeft) {
+ Node[] result = { minSelf };
+ return result;
+ } else if (optLeft instanceof Element) {
+ //Elements don't interact on minimization
+ Node[] result = { optLeft, minSelf };
+ return result;
+ } else {
+ //Only non-whitespace is significant to the left of an Element
+ String data = ((Text)optLeft).getData().trim();
+ if (data.length() == 0) {
+ Node[] result = { minSelf };
+ return result;
+ } else {
+ Node[] result = { new Text(data), minSelf };
+ return result;
+ }
+ }
}
}
1.12 +42 -2 e/src/jsrc/org/capml/dom/Node.java
Index: Node.java
===================================================================
RCS file: /cvs/e/src/jsrc/org/capml/dom/Node.java,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -r1.11 -r1.12
--- Node.java 2001/12/10 20:30:08 1.11
+++ Node.java 2001/12/13 05:01:31 1.12
@@ -23,6 +23,7 @@
import org.erights.e.elib.tables.ConstList;
import org.erights.e.elib.tables.Iteratable;
import org.erights.e.elib.tables.Selfless;
+import org.erights.e.elib.prim.E;
import org.quasiliteral.astro.Astro;
import org.quasiliteral.astro.AstroBuilder;
@@ -143,18 +144,57 @@
*/
public void printOn(TextWriter out) throws IOException {
out.print("sml`");
- prettyPrintOn(out.indent());
+ prettyPrintOn(out.indent(), true);
out.print("`");
}
/**
* Prints pretty printed XML
*/
- public abstract void prettyPrintOn(TextWriter out) throws IOException;
+ public abstract void prettyPrintOn(TextWriter out, boolean quasiFlag)
+ throws IOException;
/**
* Used to convert from a Node tree to an Astro (eg, AST or Term) tree.
*/
public abstract Astro build(AstroBuilder builder);
+
+ /**
+ * Asks this Node to return a minimal form of the optional node to the
+ * left of itself and itself.
+ * <p>
+ * If the node to the left is provided (ie, if 'optLeft' isn't null), then
+ * this node may safely assume that this provided sibling has already been
+ * minimized.
+ * <p>
+ * The minimization is much like XML canonicalization, but depends on an
+ * assumption specific to Minimal-XML: That for an Element that contains
+ * sub-Elements, all pure-whitespace Texts that it also contains may be
+ * gotten rid of.
+ * <p>
+ * The number of nodes returned cannot exceed the number examined. In
+ * other words, if 'optLeft' is null, only zero or one node may be
+ * returned. If 'optLeft' isn't null, the number returned may only be
+ * zero, one, or two.
+ *
+ * @return A list of nodes to replace 'optLeft' and itself.
+ */
+ /*package*/ abstract Node[] minimize(Node optLeft);
+
+ /**
+ *
+ */
+ public Node minimize() {
+ Node[] result = minimize(null);
+ if (result.length == 0) {
+ //This can only happen if the original was an empty Text,
+ //so return an empty Text, since we gotta return something
+ return new Text("");
+ } else {
+ E.require(result.length == 1,
+ "Internal: minimization shouldn't expand: ", this);
+ return result[0];
+ }
+ }
}
1.11 +54 -3 e/src/jsrc/org/capml/dom/Text.java
Index: Text.java
===================================================================
RCS file: /cvs/e/src/jsrc/org/capml/dom/Text.java,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -r1.10 -r1.11
--- Text.java 2001/12/12 06:35:57 1.10
+++ Text.java 2001/12/13 05:01:31 1.11
@@ -21,6 +21,7 @@
import org.erights.e.elib.prim.StaticMaker;
import org.erights.e.elib.tables.ConstList;
import org.erights.e.elib.tables.EmptyTwine;
+import org.erights.e.develop.format.StringHelper;
import org.quasiliteral.astro.Astro;
import org.quasiliteral.astro.AstroBuilder;
@@ -76,10 +77,18 @@
*/
public class Text extends Node {
+ /**
+ *
+ */
static public final StaticMaker TextMaker
= StaticMaker.make(Text.class);
/**
+ *
+ */
+ static private final Node[] NO_NODES = {};
+
+ /**
* @serial The characters themselves
*/
private String myData;
@@ -145,9 +154,20 @@
/**
*
*/
- public void prettyPrintOn(TextWriter out) throws IOException {
+ public void prettyPrintOn(TextWriter out, boolean quasiFlag)
+ throws IOException {
//XXX Have to escape things again
- out.print(myData);
+ String label = myData;
+ label = StringHelper.replaceAll(label, "<", "<");
+ label = StringHelper.replaceAll(label, ">", ">");
+ label = StringHelper.replaceAll(label, "&", "&");
+ //XXX more entities
+ if (quasiFlag) {
+ label = StringHelper.replaceAll(label, "$", "$$");
+ label = StringHelper.replaceAll(label, "@", "@@");
+ label = StringHelper.replaceAll(label, "`", "``");
+ }
+ out.print(label);
}
/**
@@ -158,5 +178,36 @@
return builder.term(builder.leafString(myData, EmptyTwine.THE_ONE),
builder.list());
}
-}
+ /**
+ *
+ */
+ /*package*/ Node[] minimize(Node optLeft) {
+ if (null == optLeft) {
+ if (myData.length() == 0) {
+ return NO_NODES;
+ } else {
+ // A single non-empty text node with no siblings is already
+ //minimal
+ Node[] result = { this };
+ return result;
+ }
+ } else if (optLeft instanceof Element) {
+ //Whitespace is not significant after an Element
+ String data = myData.trim();
+ if (data.length() == 0) {
+ Node[] result = { optLeft };
+ return result;
+ } else {
+ Node[] result = { optLeft, new Text(data) };
+ return result;
+ }
+ } else {
+ //this coalesces them, but is can't know whether it should trim
+ //the resulting string.
+ Text left = (Text)optLeft;
+ Node[] result = { new Text(left.myData + myData) };
+ return result;
+ }
+ }
+}
1.15 +204 -10 e/src/jsrc/org/quasiliteral/term/Term.updoc
Index: Term.updoc
===================================================================
RCS file: /cvs/e/src/jsrc/org/quasiliteral/term/Term.updoc,v
retrieving revision 1.14
retrieving revision 1.15
diff -u -r1.14 -r1.15
--- Term.updoc 2001/12/10 16:55:33 1.14
+++ Term.updoc 2001/12/13 05:01:31 1.15
@@ -1,21 +1,17 @@
- ? (def qq__uriGetter := <unsafe:org.quasiliteral.*>
- > def astro__uriGetter := <qq:astro.*>
- > def term__uriGetter := <qq:term.*>
- > def qterm__uriGetter := <qq:quasiterm.*>)
- # value: <unsafe:org.quasiliteral.quasiterm.*>
+ ? def qq__uriGetter := <unsafe:org.quasiliteral.*>
+ # value: <unsafe:org.quasiliteral.*>
- ? def dom := sml`<tag>text<foo>x</foo>y</tag>`
+ ? def dom := sml`<tag>text<foo>x@@z</foo>y</tag>`
# value: sml`<tag>
# text
# <foo>
- # x
- # </foo>
+ # x@@z
+ # </foo>
# y
# </tag>`
? def miniSchema := <astro:BaseSchema> new("mini", [
> "tag",
- > "foo",
> "LiteralChar",
> "LiteralInteger",
> "LiteralFloat64",
@@ -27,9 +23,207 @@
? def term := dom build(miniBuilder)
# value: term`tag("text",
- # foo("x"),
+ # foo("x@@z"),
# "y")`
+ ? def safejSchema := <qq:astro.BaseSchema> new("safej", [
+ > "LiteralChar",
+ > "LiteralInteger",
+ > "LiteralFloat64",
+ > "LiteralString",
+ >
+ > "class",
+ > "name",
+ > "method",
+ > "static",
+ > "signature",
+ > "suppress",
+ > "comment",
+ > "byproxy",
+ > "selfless",
+ > "byconstruction",
+ > "persistent",
+ > "safe"])
+ # value: <Schema for safej>
+
+ ? def safejBuilder := <qq:term.TermBuilder> new(safejSchema)
+ # value: <building Term trees for safej>
+
+ ? def testSmlFile := <c: "/Documents and Settings/Administrator/Desktop/marcs/safej/tamings/java.awt.AWTPermission.txt">
+ # value: <file:c:/Documents and Settings/Administrator/Desktop/marcs/safej/tamings/java.awt.AWTPermission.txt>
+
+ ? def dom := sml__quasiParser valueMaker(testSmlFile getText() trim()) substitute([]); null
+ ? dom minimize()
+ # value: sml`<class>
+ # <name>
+ # java.awt.AWTPermission
+ # </name>
+ # <method>
+ # <static>
+ # true
+ # </static>
+ # <signature>
+ # new(String)
+ # </signature>
+ # <suppress>
+ # true
+ # </suppress>
+ # <comment>
+ # </comment>
+ # </method>
+ # <method>
+ # <static>
+ # true
+ # </static>
+ # <signature>
+ # new(String, String)
+ # </signature>
+ # <suppress>
+ # true
+ # </suppress>
+ # <comment>
+ # </comment>
+ # </method>
+ # <byproxy>
+ # </byproxy>
+ # <selfless>
+ # </selfless>
+ # <byconstruction>
+ # </byconstruction>
+ # <persistent>
+ # </persistent>
+ # <safe>
+ # false
+ # </safe>
+ # <comment>
+ # </comment>
+ # </class>`
+
+ ?
+ ?
+ ?
+ ? def qsml2term(qsmlSrc) :any {
+ > def dom := sml__quasiParser valueMaker(qsmlSrc trim()) substitute([]) minimize()
+ > dom build(safejBuilder)
+ > }
+ # value: <qsml2term>
+
+ ? def tree := qsml2term(testSmlFile getText())
+ # value: term`class(name("java.awt.AWTPermission"),
+ # method(static("true"),
+ # signature("new(String)"),
+ # suppress("true"),
+ # comment),
+ # method(static("true"),
+ # signature("new(String, String)"),
+ # suppress("true"),
+ # comment),
+ # byproxy,
+ # selfless,
+ # byconstruction,
+ # persistent,
+ # safe("false"),
+ # comment)`
+
+ ? def optArgs(tree, tagName) :any {
+ > if (tree getTag() getTagName() <=> tagName) {
+ > tree getArgs()
+ > } else {
+ > null
+ > }
+ > }
+ # value: <optArgs>
+
+ ? def fqn(tree) :any {
+ > optArgs(tree, "class") =~ [x ? (optArgs(x, "name") =~ [result])] + _
+ > result getOptString()
+ > }
+ # value: <fqn>
+
+ ? def name := fqn(tree)
+ # value: "java.awt.AWTPermission"
+
+ ? name split(".")
+ # value: ["java", "awt", "AWTPermission"]
+
+ ?
+ ? def path(fqname) :any {
+ > def parts := fqname split(".")
+ > var sep := "/"
+ > var result := ""
+ > for part in parts {
+ > result += sep + part
+ > if (! (part <=> part toLowerCase())) {
+ > # If it has any upper case in it, assume it's a class
+ > # so all further steps are nested classes
+ > sep := "$"
+ > }
+ > }
+ > # get rid of initial "$"
+ > result(1, result size()) + ".safej"
+ > }
+ # value: <path>
+
+ ? path(name)
+ # value: "java/awt/AWTPermission.safej"
+
+ ? path("foo.bar.Baz.zip.Glorp")
+ # value: "foo/bar/Baz$zip$Glorp.safej"
+
+ ? def traceln(str) {
+ > stderr println(str)
+ > }
+ # value: <traceln>
+
+ ? def openForWriting(dir, path) :any {
+ > def i := path lastStartOf("/")
+ > def parentPath := path(0, i+1)
+ > dir[parentPath] mkdirs()
+ > dir[path] textWriter()
+ > }
+ # value: <openForWriting>
+
+ ?
+ ?
+ ? def convert(smlFiledir, safejRootDir) {
+ > if (smlFiledir isDirectory()) {
+ > for sub in smlFiledir {
+ > convert(sub, safejRootDir)
+ > }
+ > } else if (smlFiledir getName() =~ `@_.txt`) {
+ > def tree := qsml2term(smlFiledir getText())
+ > def fqname := fqn(tree)
+ > def pathName := path(fqname)
+ > def out := openForWriting(safejRootDir, pathName)
+ > try {
+ > tree prettyPrintOn(out, false)
+ > } finally {
+ > out close()
+ > }
+ > traceln(pathName)
+ > }
+ > }
+ # value: <convert>
+
+ ? convert(testSmlFile, <c:/e/src/safej>)
+ java/awt/AWTPermission.safej
+ ?
+
+ ? fqn
+ # value: term`"java.awt.AWTPermission"`
+
+ ?
+ # value: [term`name("java.awt.AWTPermission")`, term`method(static("true"),
+ # signature("new(String)"),
+ # suppress("true"),
+ # comment)`, term`method(static("true"),
+ # signature("new(String, String)"),
+ # suppress("true"),
+ # comment)`, term`byproxy`, term`selfless`, term`byconstruction`, term`persistent`, term`safe("false")`, term`comment`]
+
+ ?
+
+ ?
? def TermParserMaker := <term:TermParser>
# value: <unsafe:org.quasiliteral.term.TermParser>
1.1 e/src/safej/java/awt/AWTEvent.safej
Index: AWTEvent.safej
===================================================================
class(name("java.awt.AWTEvent"),
method(static("true"),
signature("new(Event)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Object, int)"),
suppress("true"),
comment),
method(static("false"),
signature("setSource(Object)"),
suppress("true"),
comment),
method(static("false"),
signature("getID()"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/AWTEventMulticaster.safej
Index: AWTEventMulticaster.safej
===================================================================
class(name("java.awt.AWTEventMulticaster"),
method(static("false"),
signature("componentResized(ComponentEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("componentMoved(ComponentEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("componentShown(ComponentEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("componentHidden(ComponentEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("componentAdded(ContainerEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("componentRemoved(ContainerEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("focusGained(FocusEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("focusLost(FocusEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("keyTyped(KeyEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("keyPressed(KeyEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("keyReleased(KeyEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("mouseClicked(MouseEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("mousePressed(MouseEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("mouseReleased(MouseEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("mouseEntered(MouseEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("mouseExited(MouseEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("mouseDragged(MouseEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("mouseMoved(MouseEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("windowOpened(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowClosing(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowClosed(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowIconified(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowDeiconified(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowActivated(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowDeactivated(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowStateChanged(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowGainedFocus(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowLostFocus(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("actionPerformed(ActionEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("itemStateChanged(ItemEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("adjustmentValueChanged(AdjustmentEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("textValueChanged(TextEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("inputMethodTextChanged(InputMethodEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("caretPositionChanged(InputMethodEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("hierarchyChanged(HierarchyEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("ancestorMoved(HierarchyEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("ancestorResized(HierarchyEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("mouseWheelMoved(MouseWheelEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("add(ComponentListener, ComponentListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(ContainerListener, ContainerListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(FocusListener, FocusListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(KeyListener, KeyListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(MouseListener, MouseListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(MouseMotionListener, MouseMotionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(WindowListener, WindowListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(WindowStateListener, WindowStateListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(WindowFocusListener, WindowFocusListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(ActionListener, ActionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(ItemListener, ItemListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(AdjustmentListener, AdjustmentListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(TextListener, TextListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(InputMethodListener, InputMethodListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(HierarchyListener, HierarchyListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(HierarchyBoundsListener, HierarchyBoundsListener)"),
suppress("false"),
comment),
method(static("false"),
signature("add(MouseWheelListener, MouseWheelListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(ComponentListener, ComponentListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(ContainerListener, ContainerListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(FocusListener, FocusListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(KeyListener, KeyListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(MouseListener, MouseListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(MouseMotionListener, MouseMotionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(WindowListener, WindowListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(WindowStateListener, WindowStateListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(WindowFocusListener, WindowFocusListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(ActionListener, ActionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(ItemListener, ItemListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(AdjustmentListener, AdjustmentListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(TextListener, TextListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(InputMethodListener, InputMethodListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(HierarchyListener, HierarchyListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(HierarchyBoundsListener, HierarchyBoundsListener)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(MouseWheelListener, MouseWheelListener)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("Used for creating your own components, unlikely to be useful, but left as unsafe; windowEvent handlers probably safe too, but suppressed on general principles"))
1.1 e/src/safej/java/awt/AWTKeyStroke.safej
Index: AWTKeyStroke.safej
===================================================================
class(name("java.awt.AWTKeyStroke"),
method(static("false"),
signature("getAWTKeyStroke(char)"),
suppress("false"),
comment),
method(static("false"),
signature("getAWTKeyStroke(Character, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getAWTKeyStroke(int, int, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getAWTKeyStroke(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getAWTKeyStrokeForEvent(KeyEvent)"),
suppress("false"),
comment),
method(static("false"),
signature("getAWTKeyStroke(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getKeyChar()"),
suppress("false"),
comment),
method(static("false"),
signature("getKeyCode()"),
suppress("false"),
comment),
method(static("false"),
signature("getModifiers()"),
suppress("false"),
comment),
method(static("false"),
signature("isOnKeyRelease()"),
suppress("false"),
comment),
method(static("false"),
signature("getKeyEventType()"),
suppress("false"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("false"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/AWTPermission.safej
Index: AWTPermission.safej
===================================================================
class(name("java.awt.AWTPermission"),
method(static("true"),
signature("new(String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, String)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/AlphaComposite.safej
Index: AlphaComposite.safej
===================================================================
class(name("java.awt.AlphaComposite"),
method(static("false"),
signature("getInstance(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getInstance(int, float)"),
suppress("false"),
comment),
method(static("false"),
signature("createContext(ColorModel, ColorModel, RenderingHints)"),
suppress("false"),
comment),
method(static("false"),
signature("getAlpha()"),
suppress("false"),
comment),
method(static("false"),
signature("getRule()"),
suppress("false"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("false"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/BasicStroke.safej
Index: BasicStroke.safej
===================================================================
class(name("java.awt.BasicStroke"),
method(static("true"),
signature("new(float, int, int, float, float[], float)"),
suppress("false"),
comment),
method(static("true"),
signature("new(float, int, int, float)"),
suppress("false"),
comment),
method(static("true"),
signature("new(float, int, int)"),
suppress("false"),
comment),
method(static("true"),
signature("new(float)"),
suppress("false"),
comment),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("createStrokedShape(Shape)"),
suppress("false"),
comment),
method(static("false"),
signature("getLineWidth()"),
suppress("false"),
comment),
method(static("false"),
signature("getEndCap()"),
suppress("false"),
comment),
method(static("false"),
signature("getLineJoin()"),
suppress("false"),
comment),
method(static("false"),
signature("getMiterLimit()"),
suppress("false"),
comment),
method(static("false"),
signature("getDashArray()"),
suppress("false"),
comment),
method(static("false"),
signature("getDashPhase()"),
suppress("false"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("true"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment("REVIEW should probably be pass by copy"))
1.1 e/src/safej/java/awt/BorderLayout.safej
Index: BorderLayout.safej
===================================================================
class(name("java.awt.BorderLayout"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getHgap()"),
suppress("false"),
comment),
method(static("false"),
signature("setHgap(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getVgap()"),
suppress("false"),
comment),
method(static("false"),
signature("setVgap(int)"),
suppress("false"),
comment),
method(static("false"),
signature("addLayoutComponent(Component, Object)"),
suppress("true"),
comment),
method(static("false"),
signature("addLayoutComponent(String, Component)"),
suppress("true"),
comment),
method(static("false"),
signature("removeLayoutComponent(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("minimumLayoutSize(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("preferredLayoutSize(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("maximumLayoutSize(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("getLayoutAlignmentX(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("getLayoutAlignmentY(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("invalidateLayout(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("layoutContainer(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/BufferCapabilities$FlipContents.safej
Index: BufferCapabilities$FlipContents.safej
===================================================================
class(name("java.awt.BufferCapabilities.FlipContents"),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/BufferCapabilities.safej
Index: BufferCapabilities.safej
===================================================================
class(name("java.awt.BufferCapabilities"),
method(static("true"),
signature("new(ImageCapabilities, ImageCapabilities, BufferCapabilities.FlipContents)"),
suppress("false"),
comment),
method(static("false"),
signature("getFrontBufferCapabilities()"),
suppress("false"),
comment),
method(static("false"),
signature("getBackBufferCapabilities()"),
suppress("false"),
comment),
method(static("false"),
signature("isPageFlipping()"),
suppress("false"),
comment),
method(static("false"),
signature("getFlipContents()"),
suppress("false"),
comment),
method(static("false"),
signature("isFullScreenRequired()"),
suppress("false"),
comment),
method(static("false"),
signature("isMultiBufferAvailable()"),
suppress("false"),
comment),
method(static("false"),
signature("clone()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/Button.safej
Index: Button.safej
===================================================================
class(name("java.awt.Button"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(String)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getLabel()"),
suppress("true"),
comment),
method(static("false"),
signature("setLabel(String)"),
suppress("true"),
comment),
method(static("false"),
signature("setActionCommand(String)"),
suppress("true"),
comment),
method(static("false"),
signature("getActionCommand()"),
suppress("true"),
comment),
method(static("false"),
signature("addActionListener(ActionListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeActionListener(ActionListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getActionListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/Canvas.safej
Index: Canvas.safej
===================================================================
class(name("java.awt.Canvas"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(GraphicsConfiguration)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("paint(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("update(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("createBufferStrategy(int)"),
suppress("true"),
comment),
method(static("false"),
signature("createBufferStrategy(int, BufferCapabilities)"),
suppress("true"),
comment),
method(static("false"),
signature("getBufferStrategy()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("Replaced by JPanel"))
1.1 e/src/safej/java/awt/CardLayout.safej
Index: CardLayout.safej
===================================================================
class(name("java.awt.CardLayout"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getHgap()"),
suppress("false"),
comment),
method(static("false"),
signature("setHgap(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getVgap()"),
suppress("false"),
comment),
method(static("false"),
signature("setVgap(int)"),
suppress("false"),
comment),
method(static("false"),
signature("addLayoutComponent(Component, Object)"),
suppress("false"),
comment),
method(static("false"),
signature("addLayoutComponent(String, Component)"),
suppress("false"),
comment),
method(static("false"),
signature("removeLayoutComponent(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("preferredLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("minimumLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("maximumLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("getLayoutAlignmentX(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("getLayoutAlignmentY(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("invalidateLayout(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("layoutContainer(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("first(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("next(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("previous(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("last(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("show(Container, String)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/Checkbox.safej
Index: Checkbox.safej
===================================================================
class(name("java.awt.Checkbox"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, boolean)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, boolean, CheckboxGroup)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, CheckboxGroup, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getLabel()"),
suppress("true"),
comment),
method(static("false"),
signature("setLabel(String)"),
suppress("true"),
comment),
method(static("false"),
signature("getState()"),
suppress("true"),
comment),
method(static("false"),
signature("setState(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedObjects()"),
suppress("true"),
comment),
method(static("false"),
signature("getCheckboxGroup()"),
suppress("true"),
comment),
method(static("false"),
signature("setCheckboxGroup(CheckboxGroup)"),
suppress("true"),
comment),
method(static("false"),
signature("addItemListener(ItemListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeItemListener(ItemListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getItemListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/CheckboxGroup.safej
Index: CheckboxGroup.safej
===================================================================
class(name("java.awt.CheckboxGroup"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedCheckbox()"),
suppress("true"),
comment),
method(static("false"),
signature("getCurrent()"),
suppress("true"),
comment),
method(static("false"),
signature("setSelectedCheckbox(Checkbox)"),
suppress("true"),
comment),
method(static("false"),
signature("setCurrent(Checkbox)"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/CheckboxMenuItem.safej
Index: CheckboxMenuItem.safej
===================================================================
class(name("java.awt.CheckboxMenuItem"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getState()"),
suppress("true"),
comment),
method(static("false"),
signature("setState(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedObjects()"),
suppress("true"),
comment),
method(static("false"),
signature("addItemListener(ItemListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeItemListener(ItemListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getItemListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/Choice.safej
Index: Choice.safej
===================================================================
class(name("java.awt.Choice"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getItemCount()"),
suppress("true"),
comment),
method(static("false"),
signature("countItems()"),
suppress("true"),
comment),
method(static("false"),
signature("getItem(int)"),
suppress("true"),
comment),
method(static("false"),
signature("add(String)"),
suppress("true"),
comment),
method(static("false"),
signature("addItem(String)"),
suppress("true"),
comment),
method(static("false"),
signature("insert(String, int)"),
suppress("true"),
comment),
method(static("false"),
signature("remove(String)"),
suppress("true"),
comment),
method(static("false"),
signature("remove(int)"),
suppress("true"),
comment),
method(static("false"),
signature("removeAll()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedItem()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedObjects()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedIndex()"),
suppress("true"),
comment),
method(static("false"),
signature("select(int)"),
suppress("true"),
comment),
method(static("false"),
signature("select(String)"),
suppress("true"),
comment),
method(static("false"),
signature("addItemListener(ItemListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeItemListener(ItemListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getItemListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/Color.safej
Index: Color.safej
===================================================================
class(name("java.awt.Color"),
method(static("true"),
signature("new(int, int, int)"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, int, int, int)"),
suppress("false"),
comment),
method(static("true"),
signature("new(int)"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, boolean)"),
suppress("false"),
comment),
method(static("true"),
signature("new(float, float, float)"),
suppress("false"),
comment),
method(static("true"),
signature("new(float, float, float, float)"),
suppress("false"),
comment),
method(static("true"),
signature("new(ColorSpace, float[], float)"),
suppress("false"),
comment),
method(static("false"),
signature("getRed()"),
suppress("false"),
comment),
method(static("false"),
signature("getGreen()"),
suppress("false"),
comment),
method(static("false"),
signature("getBlue()"),
suppress("false"),
comment),
method(static("false"),
signature("getAlpha()"),
suppress("false"),
comment),
method(static("false"),
signature("getRGB()"),
suppress("false"),
comment),
method(static("false"),
signature("brighter()"),
suppress("false"),
comment),
method(static("false"),
signature("darker()"),
suppress("false"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("false"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
method(static("false"),
signature("decode(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getColor(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getColor(String, Color)"),
suppress("false"),
comment),
method(static("false"),
signature("getColor(String, int)"),
suppress("false"),
comment),
method(static("false"),
signature("HSBtoRGB(float, float, float)"),
suppress("false"),
comment),
method(static("false"),
signature("RGBtoHSB(int, int, int, float[])"),
suppress("false"),
comment),
method(static("false"),
signature("getHSBColor(float, float, float)"),
suppress("false"),
comment),
method(static("false"),
signature("getRGBComponents(float[])"),
suppress("false"),
comment),
method(static("false"),
signature("getRGBColorComponents(float[])"),
suppress("false"),
comment),
method(static("false"),
signature("getComponents(float[])"),
suppress("false"),
comment),
method(static("false"),
signature("getColorComponents(float[])"),
suppress("false"),
comment),
method(static("false"),
signature("getComponents(ColorSpace, float[])"),
suppress("false"),
comment),
method(static("false"),
signature("getColorComponents(ColorSpace, float[])"),
suppress("false"),
comment),
method(static("false"),
signature("getColorSpace()"),
suppress("false"),
comment),
method(static("false"),
signature("createContext(ColorModel, Rectangle, Rectangle2D, AffineTransform, RenderingHints)"),
suppress("false"),
comment),
method(static("false"),
signature("getTransparency()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/Component.safej
Index: Component.safej
===================================================================
class(name("java.awt.Component"),
method(static("false"),
signature("getName()"),
suppress("false"),
comment),
method(static("false"),
signature("setName(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getParent()"),
suppress("true"),
comment),
method(static("false"),
signature("getPeer()"),
suppress("true"),
comment),
method(static("false"),
signature("setDropTarget(DropTarget)"),
suppress("false"),
comment),
method(static("false"),
signature("getDropTarget()"),
suppress("false"),
comment),
method(static("false"),
signature("getGraphicsConfiguration()"),
suppress("true"),
comment),
method(static("false"),
signature("getTreeLock()"),
suppress("true"),
comment),
method(static("false"),
signature("getToolkit()"),
suppress("true"),
comment),
method(static("false"),
signature("isValid()"),
suppress("false"),
comment),
method(static("false"),
signature("isDisplayable()"),
suppress("false"),
comment),
method(static("false"),
signature("isVisible()"),
suppress("false"),
comment),
method(static("false"),
signature("isShowing()"),
suppress("false"),
comment),
method(static("false"),
signature("isEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("setEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("enable()"),
suppress("true"),
comment),
method(static("false"),
signature("enable(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("disable()"),
suppress("true"),
comment),
method(static("false"),
signature("isDoubleBuffered()"),
suppress("false"),
comment),
method(static("false"),
signature("enableInputMethods(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("setVisible(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("show()"),
suppress("true"),
comment),
method(static("false"),
signature("show(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("hide()"),
suppress("true"),
comment),
method(static("false"),
signature("getForeground()"),
suppress("false"),
comment),
method(static("false"),
signature("setForeground(Color)"),
suppress("false"),
comment),
method(static("false"),
signature("isForegroundSet()"),
suppress("false"),
comment),
method(static("false"),
signature("getBackground()"),
suppress("false"),
comment),
method(static("false"),
signature("setBackground(Color)"),
suppress("false"),
comment),
method(static("false"),
signature("isBackgroundSet()"),
suppress("false"),
comment),
method(static("false"),
signature("getFont()"),
suppress("false"),
comment),
method(static("false"),
signature("setFont(Font)"),
suppress("false"),
comment),
method(static("false"),
signature("isFontSet()"),
suppress("false"),
comment),
method(static("false"),
signature("getLocale()"),
suppress("true"),
comment),
method(static("false"),
signature("setLocale(Locale)"),
suppress("true"),
comment),
method(static("false"),
signature("getColorModel()"),
suppress("true"),
comment),
method(static("false"),
signature("getLocation()"),
suppress("false"),
comment),
method(static("false"),
signature("getLocationOnScreen()"),
suppress("false"),
comment),
method(static("false"),
signature("location()"),
suppress("true"),
comment),
method(static("false"),
signature("setLocation(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("move(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("setLocation(Point)"),
suppress("true"),
comment),
method(static("false"),
signature("getSize()"),
suppress("false"),
comment),
method(static("false"),
signature("size()"),
suppress("true"),
comment),
method(static("false"),
signature("setSize(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("resize(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("setSize(Dimension)"),
suppress("true"),
comment),
method(static("false"),
signature("resize(Dimension)"),
suppress("true"),
comment),
method(static("false"),
signature("getBounds()"),
suppress("false"),
comment),
method(static("false"),
signature("bounds()"),
suppress("true"),
comment),
method(static("false"),
signature("setBounds(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("reshape(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("setBounds(Rectangle)"),
suppress("true"),
comment),
method(static("false"),
signature("getX()"),
suppress("false"),
comment),
method(static("false"),
signature("getY()"),
suppress("false"),
comment),
method(static("false"),
signature("getWidth()"),
suppress("false"),
comment),
method(static("false"),
signature("getHeight()"),
suppress("false"),
comment),
method(static("false"),
signature("getBounds(Rectangle)"),
suppress("true"),
comment),
method(static("false"),
signature("getSize(Dimension)"),
suppress("true"),
comment),
method(static("false"),
signature("getLocation(Point)"),
suppress("true"),
comment),
method(static("false"),
signature("isOpaque()"),
suppress("false"),
comment),
method(static("false"),
signature("isLightweight()"),
suppress("true"),
comment),
method(static("false"),
signature("getPreferredSize()"),
suppress("false"),
comment),
method(static("false"),
signature("preferredSize()"),
suppress("true"),
comment),
method(static("false"),
signature("getMinimumSize()"),
suppress("false"),
comment),
method(static("false"),
signature("minimumSize()"),
suppress("true"),
comment),
method(static("false"),
signature("getMaximumSize()"),
suppress("false"),
comment),
method(static("false"),
signature("getAlignmentX()"),
suppress("false"),
comment),
method(static("false"),
signature("getAlignmentY()"),
suppress("false"),
comment),
method(static("false"),
signature("doLayout()"),
suppress("true"),
comment),
method(static("false"),
signature("layout()"),
suppress("true"),
comment),
method(static("false"),
signature("validate()"),
suppress("false"),
comment),
method(static("false"),
signature("invalidate()"),
suppress("false"),
comment),
method(static("false"),
signature("getGraphics()"),
suppress("false"),
comment),
method(static("false"),
signature("getFontMetrics(Font)"),
suppress("false"),
comment),
method(static("false"),
signature("setCursor(Cursor)"),
suppress("false"),
comment),
method(static("false"),
signature("getCursor()"),
suppress("false"),
comment),
method(static("false"),
signature("isCursorSet()"),
suppress("false"),
comment),
method(static("false"),
signature("paint(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("update(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("paintAll(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("repaint()"),
suppress("false"),
comment),
method(static("false"),
signature("repaint(long)"),
suppress("true"),
comment),
method(static("false"),
signature("repaint(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("repaint(long, int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("print(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("printAll(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("imageUpdate(Image, int, int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("createImage(ImageProducer)"),
suppress("false"),
comment),
method(static("false"),
signature("createImage(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("createVolatileImage(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("createVolatileImage(int, int, ImageCapabilities)"),
suppress("true"),
comment),
method(static("false"),
signature("prepareImage(Image, ImageObserver)"),
suppress("true"),
comment),
method(static("false"),
signature("prepareImage(Image, int, int, ImageObserver)"),
suppress("true"),
comment),
method(static("false"),
signature("checkImage(Image, ImageObserver)"),
suppress("true"),
comment),
method(static("false"),
signature("checkImage(Image, int, int, ImageObserver)"),
suppress("true"),
comment),
method(static("false"),
signature("setIgnoreRepaint(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getIgnoreRepaint()"),
suppress("true"),
comment),
method(static("false"),
signature("contains(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("inside(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("contains(Point)"),
suppress("true"),
comment),
method(static("false"),
signature("getComponentAt(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("locate(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getComponentAt(Point)"),
suppress("true"),
comment),
method(static("false"),
signature("deliverEvent(Event)"),
suppress("true"),
comment),
method(static("false"),
signature("dispatchEvent(AWTEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("postEvent(Event)"),
suppress("true"),
comment),
method(static("false"),
signature("addComponentListener(ComponentListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeComponentListener(ComponentListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getComponentListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addFocusListener(FocusListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeFocusListener(FocusListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getFocusListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addHierarchyListener(HierarchyListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeHierarchyListener(HierarchyListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getHierarchyListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addHierarchyBoundsListener(HierarchyBoundsListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeHierarchyBoundsListener(HierarchyBoundsListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getHierarchyBoundsListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addKeyListener(KeyListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeKeyListener(KeyListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getKeyListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addMouseListener(MouseListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeMouseListener(MouseListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getMouseListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addMouseMotionListener(MouseMotionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeMouseMotionListener(MouseMotionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getMouseMotionListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addMouseWheelListener(MouseWheelListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeMouseWheelListener(MouseWheelListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getMouseWheelListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addInputMethodListener(InputMethodListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeInputMethodListener(InputMethodListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getInputMethodListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("getInputMethodRequests()"),
suppress("true"),
comment),
method(static("false"),
signature("getInputContext()"),
suppress("true"),
comment),
method(static("false"),
signature("handleEvent(Event)"),
suppress("true"),
comment),
method(static("false"),
signature("mouseDown(Event, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("mouseDrag(Event, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("mouseUp(Event, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("mouseMove(Event, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("mouseEnter(Event, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("mouseExit(Event, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("keyDown(Event, int)"),
suppress("true"),
comment),
method(static("false"),
signature("keyUp(Event, int)"),
suppress("true"),
comment),
method(static("false"),
signature("action(Event, Object)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("removeNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("gotFocus(Event, Object)"),
suppress("true"),
comment),
method(static("false"),
signature("lostFocus(Event, Object)"),
suppress("true"),
comment),
method(static("false"),
signature("isFocusTraversable()"),
suppress("true"),
comment),
method(static("false"),
signature("isFocusable()"),
suppress("true"),
comment),
method(static("false"),
signature("setFocusable(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("setFocusTraversalKeys(int, Set)"),
suppress("true"),
comment),
method(static("false"),
signature("getFocusTraversalKeys(int)"),
suppress("true"),
comment),
method(static("false"),
signature("areFocusTraversalKeysSet(int)"),
suppress("true"),
comment),
method(static("false"),
signature("setFocusTraversalKeysEnabled(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getFocusTraversalKeysEnabled()"),
suppress("true"),
comment),
method(static("false"),
signature("requestFocus()"),
suppress("true"),
comment),
method(static("false"),
signature("requestFocusInWindow()"),
suppress("true"),
comment),
method(static("false"),
signature("transferFocus()"),
suppress("true"),
comment),
method(static("false"),
signature("getFocusCycleRootAncestor()"),
suppress("true"),
comment),
method(static("false"),
signature("isFocusCycleRoot(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("nextFocus()"),
suppress("true"),
comment),
method(static("false"),
signature("transferFocusBackward()"),
suppress("true"),
comment),
method(static("false"),
signature("transferFocusUpCycle()"),
suppress("true"),
comment),
method(static("false"),
signature("hasFocus()"),
suppress("false"),
comment),
method(static("false"),
signature("isFocusOwner()"),
suppress("true"),
comment),
method(static("false"),
signature("add(PopupMenu)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(MenuComponent)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
method(static("false"),
signature("list()"),
suppress("true"),
comment),
method(static("false"),
signature("list(PrintStream)"),
suppress("true"),
comment),
method(static("false"),
signature("list(PrintStream, int)"),
suppress("true"),
comment),
method(static("false"),
signature("list(PrintWriter)"),
suppress("true"),
comment),
method(static("false"),
signature("list(PrintWriter, int)"),
suppress("true"),
comment),
method(static("false"),
signature("addPropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removePropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getPropertyChangeListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addPropertyChangeListener(String, PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removePropertyChangeListener(String, PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getPropertyChangeListeners(String)"),
suppress("true"),
comment),
method(static("false"),
signature("setComponentOrientation(ComponentOrientation)"),
suppress("true"),
comment),
method(static("false"),
signature("getComponentOrientation()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/ComponentOrientation.safej
Index: ComponentOrientation.safej
===================================================================
class(name("java.awt.ComponentOrientation"),
method(static("false"),
signature("isHorizontal()"),
suppress("false"),
comment),
method(static("false"),
signature("isLeftToRight()"),
suppress("false"),
comment),
method(static("false"),
signature("getOrientation(Locale)"),
suppress("false"),
comment),
method(static("false"),
signature("getOrientation(ResourceBundle)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/Container.safej
Index: Container.safej
===================================================================
class(name("java.awt.Container"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("getComponentCount()"),
suppress("false"),
comment),
method(static("false"),
signature("countComponents()"),
suppress("true"),
comment),
method(static("false"),
signature("getComponent(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getComponents()"),
suppress("false"),
comment),
method(static("false"),
signature("getInsets()"),
suppress("false"),
comment),
method(static("false"),
signature("insets()"),
suppress("true"),
comment),
method(static("false"),
signature("add(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("add(String, Component)"),
suppress("true"),
comment),
method(static("false"),
signature("add(Component, int)"),
suppress("false"),
comment),
method(static("false"),
signature("add(Component, Object)"),
suppress("false"),
comment),
method(static("false"),
signature("add(Component, Object, int)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(int)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("removeAll()"),
suppress("false"),
comment),
method(static("false"),
signature("getLayout()"),
suppress("false"),
comment),
method(static("false"),
signature("setLayout(LayoutManager)"),
suppress("false"),
comment),
method(static("false"),
signature("doLayout()"),
suppress("true"),
comment),
method(static("false"),
signature("layout()"),
suppress("true"),
comment),
method(static("false"),
signature("invalidate()"),
suppress("false"),
comment),
method(static("false"),
signature("validate()"),
suppress("true"),
comment),
method(static("false"),
signature("setFont(Font)"),
suppress("false"),
comment),
method(static("false"),
signature("getPreferredSize()"),
suppress("false"),
comment),
method(static("false"),
signature("preferredSize()"),
suppress("true"),
comment),
method(static("false"),
signature("getMinimumSize()"),
suppress("false"),
comment),
method(static("false"),
signature("minimumSize()"),
suppress("true"),
comment),
method(static("false"),
signature("getMaximumSize()"),
suppress("false"),
comment),
method(static("false"),
signature("getAlignmentX()"),
suppress("false"),
comment),
method(static("false"),
signature("getAlignmentY()"),
suppress("false"),
comment),
method(static("false"),
signature("paint(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("update(Graphics)"),
suppress("false"),
comment),
method(static("false"),
signature("print(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("paintComponents(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("printComponents(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("addContainerListener(ContainerListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeContainerListener(ContainerListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getContainerListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("deliverEvent(Event)"),
suppress("true"),
comment),
method(static("false"),
signature("getComponentAt(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("locate(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getComponentAt(Point)"),
suppress("true"),
comment),
method(static("false"),
signature("findComponentAt(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("findComponentAt(Point)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("removeNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("isAncestorOf(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("list(PrintStream, int)"),
suppress("true"),
comment),
method(static("false"),
signature("list(PrintWriter, int)"),
suppress("true"),
comment),
method(static("false"),
signature("setFocusTraversalKeys(int, Set)"),
suppress("true"),
comment),
method(static("false"),
signature("getFocusTraversalKeys(int)"),
suppress("true"),
comment),
method(static("false"),
signature("areFocusTraversalKeysSet(int)"),
suppress("true"),
comment),
method(static("false"),
signature("isFocusCycleRoot(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("transferFocusBackward()"),
suppress("true"),
comment),
method(static("false"),
signature("setFocusTraversalPolicy(FocusTraversalPolicy)"),
suppress("true"),
comment),
method(static("false"),
signature("getFocusTraversalPolicy()"),
suppress("true"),
comment),
method(static("false"),
signature("isFocusTraversalPolicySet()"),
suppress("true"),
comment),
method(static("false"),
signature("setFocusCycleRoot(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("isFocusCycleRoot()"),
suppress("true"),
comment),
method(static("false"),
signature("transferFocusDownCycle()"),
suppress("true"),
comment),
method(static("false"),
signature("addPropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("addPropertyChangeListener(String, PropertyChangeListener)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/ContainerOrderFocusTraversalPolicy.safej
Index: ContainerOrderFocusTraversalPolicy.safej
===================================================================
class(name("java.awt.ContainerOrderFocusTraversalPolicy"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("getComponentAfter(Container, Component)"),
suppress("true"),
comment("if following component is outside this object\'s field of action, this is a breach")),
method(static("false"),
signature("getComponentBefore(Container, Component)"),
suppress("true"),
comment("if preceding component is outside this object\'s field of action, this is a breach")),
method(static("false"),
signature("getFirstComponent(Container)"),
suppress("true"),
comment("possible breach")),
method(static("false"),
signature("getLastComponent(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("getDefaultComponent(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("setImplicitDownCycleTraversal(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getImplicitDownCycleTraversal()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("REVIEW This class is a big breacher for giving away outside components. All suppressed, needs review, may be made unsafe with all methods turned on. "))
1.1 e/src/safej/java/awt/Cursor.safej
Index: Cursor.safej
===================================================================
class(name("java.awt.Cursor"),
method(static("true"),
signature("new(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getPredefinedCursor(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getSystemCustomCursor(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getDefaultCursor()"),
suppress("false"),
comment),
method(static("false"),
signature("getType()"),
suppress("false"),
comment),
method(static("false"),
signature("getName()"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/DefaultFocusTraversalPolicy.safej
Index: DefaultFocusTraversalPolicy.safej
===================================================================
class(name("java.awt.DefaultFocusTraversalPolicy"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("I have no idea what this is, looks like a jvm1.4 twist"))
1.1 e/src/safej/java/awt/DefaultKeyboardFocusManager.safej
Index: DefaultKeyboardFocusManager.safej
===================================================================
class(name("java.awt.DefaultKeyboardFocusManager"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("dispatchEvent(AWTEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("dispatchKeyEvent(KeyEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("processKeyEvent(Component, KeyEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("focusPreviousComponent(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("focusNextComponent(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("upFocusCycle(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("downFocusCycle(Container)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("REVIEW I don\'t think Eprograms ever need this, my weak understanding suggests one might be able to stuff characters in keyboard with it, all suppressed till reviewed."))
1.1 e/src/safej/java/awt/Dialog.safej
Index: Dialog.safej
===================================================================
class(name("java.awt.Dialog"),
method(static("true"),
signature("new(Frame)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Frame, boolean)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Frame, String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Frame, String, boolean)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Frame, String, boolean, GraphicsConfiguration)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Dialog)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Dialog, String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Dialog, String, boolean)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Dialog, String, boolean, GraphicsConfiguration)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("isModal()"),
suppress("true"),
comment),
method(static("false"),
signature("setModal(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getTitle()"),
suppress("true"),
comment),
method(static("false"),
signature("setTitle(String)"),
suppress("true"),
comment),
method(static("false"),
signature("show()"),
suppress("true"),
comment),
method(static("false"),
signature("hide()"),
suppress("true"),
comment),
method(static("false"),
signature("dispose()"),
suppress("true"),
comment),
method(static("false"),
signature("isResizable()"),
suppress("true"),
comment),
method(static("false"),
signature("setResizable(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("setUndecorated(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("isUndecorated()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("Replaced by eDialogPromiser to avoid vat blocking"))
1.1 e/src/safej/java/awt/Dimension.safej
Index: Dimension.safej
===================================================================
class(name("java.awt.Dimension"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(Dimension)"),
suppress("true"),
comment),
method(static("true"),
signature("new(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getWidth()"),
suppress("false"),
comment),
method(static("false"),
signature("getHeight()"),
suppress("false"),
comment),
method(static("false"),
signature("setSize(double, double)"),
suppress("false"),
comment),
method(static("false"),
signature("getSize()"),
suppress("false"),
comment),
method(static("false"),
signature("setSize(Dimension)"),
suppress("true"),
comment),
method(static("false"),
signature("setSize(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/DisplayMode.safej
Index: DisplayMode.safej
===================================================================
class(name("java.awt.DisplayMode"),
method(static("true"),
signature("new(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getHeight()"),
suppress("false"),
comment),
method(static("false"),
signature("getWidth()"),
suppress("false"),
comment),
method(static("false"),
signature("getBitDepth()"),
suppress("false"),
comment),
method(static("false"),
signature("getRefreshRate()"),
suppress("false"),
comment),
method(static("false"),
signature("equals(DisplayMode)"),
suppress("false"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/Event.safej
Index: Event.safej
===================================================================
class(name("java.awt.Event"),
method(static("true"),
signature("new(Object, long, int, int, int, int, int, Object)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Object, long, int, int, int, int, int)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Object, int, Object)"),
suppress("true"),
comment),
method(static("false"),
signature("translate(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("shiftDown()"),
suppress("true"),
comment),
method(static("false"),
signature("controlDown()"),
suppress("true"),
comment),
method(static("false"),
signature("metaDown()"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("All obsolete"))
1.1 e/src/safej/java/awt/EventQueue.safej
Index: EventQueue.safej
===================================================================
class(name("java.awt.EventQueue"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("postEvent(AWTEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("getNextEvent()"),
suppress("true"),
comment),
method(static("false"),
signature("peekEvent()"),
suppress("true"),
comment),
method(static("false"),
signature("peekEvent(int)"),
suppress("true"),
comment),
method(static("false"),
signature("push(EventQueue)"),
suppress("true"),
comment),
method(static("false"),
signature("isDispatchThread()"),
suppress("true"),
comment),
method(static("false"),
signature("invokeLater(Runnable)"),
suppress("true"),
comment),
method(static("false"),
signature("invokeAndWait(Runnable)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/FileDialog.safej
Index: FileDialog.safej
===================================================================
class(name("java.awt.FileDialog"),
method(static("true"),
signature("new(Frame)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Frame, String)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Frame, String, int)"),
suppress("false"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getMode()"),
suppress("false"),
comment),
method(static("false"),
signature("setMode(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getDirectory()"),
suppress("false"),
comment),
method(static("false"),
signature("setDirectory(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getFile()"),
suppress("false"),
comment),
method(static("false"),
signature("setFile(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getFilenameFilter()"),
suppress("false"),
comment),
method(static("false"),
signature("setFilenameFilter(FilenameFilter)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("Enabled because the JFileDialog is so terrible"))
1.1 e/src/safej/java/awt/FlowLayout.safej
Index: FlowLayout.safej
===================================================================
class(name("java.awt.FlowLayout"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(int)"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getAlignment()"),
suppress("false"),
comment),
method(static("false"),
signature("setAlignment(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getHgap()"),
suppress("false"),
comment),
method(static("false"),
signature("setHgap(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getVgap()"),
suppress("false"),
comment),
method(static("false"),
signature("setVgap(int)"),
suppress("false"),
comment),
method(static("false"),
signature("addLayoutComponent(String, Component)"),
suppress("false"),
comment),
method(static("false"),
signature("removeLayoutComponent(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("preferredLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("minimumLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("layoutContainer(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/FocusTraversalPolicy.safej
Index: FocusTraversalPolicy.safej
===================================================================
class(name("java.awt.FocusTraversalPolicy"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("getComponentAfter(Container, Component)"),
suppress("true"),
comment),
method(static("false"),
signature("getComponentBefore(Container, Component)"),
suppress("true"),
comment),
method(static("false"),
signature("getFirstComponent(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("getLastComponent(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("getDefaultComponent(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("getInitialComponent(Window)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("REVIEW This class is a big breacher for giving away outside components. All suppressed, needs review, may be made unsafe with all methods turned on. "))
1.1 e/src/safej/java/awt/Font.safej
Index: Font.safej
===================================================================
class(name("java.awt.Font"),
method(static("true"),
signature("new(String, int, int)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Map)"),
suppress("false"),
comment),
method(static("false"),
signature("getPeer()"),
suppress("false"),
comment),
method(static("false"),
signature("getFont(Map)"),
suppress("false"),
comment),
method(static("false"),
signature("createFont(int, InputStream)"),
suppress("false"),
comment),
method(static("false"),
signature("getTransform()"),
suppress("false"),
comment),
method(static("false"),
signature("getFamily()"),
suppress("false"),
comment),
method(static("false"),
signature("getFamily(Locale)"),
suppress("false"),
comment),
method(static("false"),
signature("getPSName()"),
suppress("false"),
comment),
method(static("false"),
signature("getName()"),
suppress("false"),
comment),
method(static("false"),
signature("getFontName()"),
suppress("false"),
comment),
method(static("false"),
signature("getFontName(Locale)"),
suppress("false"),
comment),
method(static("false"),
signature("getStyle()"),
suppress("false"),
comment),
method(static("false"),
signature("getSize()"),
suppress("false"),
comment),
method(static("false"),
signature("getSize2D()"),
suppress("false"),
comment),
method(static("false"),
signature("isPlain()"),
suppress("false"),
comment),
method(static("false"),
signature("isBold()"),
suppress("false"),
comment),
method(static("false"),
signature("isItalic()"),
suppress("false"),
comment),
method(static("false"),
signature("isTransformed()"),
suppress("false"),
comment),
method(static("false"),
signature("getFont(String)"),
suppress("false"),
comment),
method(static("false"),
signature("decode(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getFont(String, Font)"),
suppress("false"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("false"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
method(static("false"),
signature("getNumGlyphs()"),
suppress("false"),
comment),
method(static("false"),
signature("getMissingGlyphCode()"),
suppress("false"),
comment),
method(static("false"),
signature("getBaselineFor(char)"),
suppress("false"),
comment),
method(static("false"),
signature("getAttributes()"),
suppress("false"),
comment),
method(static("false"),
signature("getAvailableAttributes()"),
suppress("false"),
comment),
method(static("false"),
signature("deriveFont(int, float)"),
suppress("false"),
comment),
method(static("false"),
signature("deriveFont(int, AffineTransform)"),
suppress("false"),
comment),
method(static("false"),
signature("deriveFont(float)"),
suppress("false"),
comment),
method(static("false"),
signature("deriveFont(AffineTransform)"),
suppress("false"),
comment),
method(static("false"),
signature("deriveFont(int)"),
suppress("false"),
comment),
method(static("false"),
signature("deriveFont(Map)"),
suppress("false"),
comment),
method(static("false"),
signature("canDisplay(char)"),
suppress("false"),
comment),
method(static("false"),
signature("canDisplayUpTo(String)"),
suppress("false"),
comment),
method(static("false"),
signature("canDisplayUpTo(char[], int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("canDisplayUpTo(CharacterIterator, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getItalicAngle()"),
suppress("false"),
comment),
method(static("false"),
signature("hasUniformLineMetrics()"),
suppress("false"),
comment),
method(static("false"),
signature("getLineMetrics(String, FontRenderContext)"),
suppress("false"),
comment),
method(static("false"),
signature("getLineMetrics(String, int, int, FontRenderContext)"),
suppress("false"),
comment),
method(static("false"),
signature("getLineMetrics(char[], int, int, FontRenderContext)"),
suppress("false"),
comment),
method(static("false"),
signature("getLineMetrics(CharacterIterator, int, int, FontRenderContext)"),
suppress("false"),
comment),
method(static("false"),
signature("getStringBounds(String, FontRenderContext)"),
suppress("false"),
comment),
method(static("false"),
signature("getStringBounds(String, int, int, FontRenderContext)"),
suppress("false"),
comment),
method(static("false"),
signature("getStringBounds(char[], int, int, FontRenderContext)"),
suppress("false"),
comment),
method(static("false"),
signature("getStringBounds(CharacterIterator, int, int, FontRenderContext)"),
suppress("false"),
comment),
method(static("false"),
signature("getMaxCharBounds(FontRenderContext)"),
suppress("false"),
comment),
method(static("false"),
signature("createGlyphVector(FontRenderContext, String)"),
suppress("false"),
comment),
method(static("false"),
signature("createGlyphVector(FontRenderContext, char[])"),
suppress("false"),
comment),
method(static("false"),
signature("createGlyphVector(FontRenderContext, CharacterIterator)"),
suppress("false"),
comment),
method(static("false"),
signature("createGlyphVector(FontRenderContext, int[])"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/FontMetrics.safej
Index: FontMetrics.safej
===================================================================
class(name("java.awt.FontMetrics"),
method(static("false"),
signature("getFont()"),
suppress("false"),
comment),
method(static("false"),
signature("getLeading()"),
suppress("false"),
comment),
method(static("false"),
signature("getAscent()"),
suppress("false"),
comment),
method(static("false"),
signature("getDescent()"),
suppress("false"),
comment),
method(static("false"),
signature("getHeight()"),
suppress("false"),
comment),
method(static("false"),
signature("getMaxAscent()"),
suppress("false"),
comment),
method(static("false"),
signature("getMaxDescent()"),
suppress("false"),
comment),
method(static("false"),
signature("getMaxDecent()"),
suppress("false"),
comment),
method(static("false"),
signature("getMaxAdvance()"),
suppress("false"),
comment),
method(static("false"),
signature("charWidth(int)"),
suppress("false"),
comment),
method(static("false"),
signature("charWidth(char)"),
suppress("false"),
comment),
method(static("false"),
signature("stringWidth(String)"),
suppress("false"),
comment),
method(static("false"),
signature("charsWidth(char[], int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("bytesWidth(byte[], int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getWidths()"),
suppress("true"),
comment),
method(static("false"),
signature("hasUniformLineMetrics()"),
suppress("false"),
comment),
method(static("false"),
signature("getLineMetrics(String, Graphics)"),
suppress("false"),
comment),
method(static("false"),
signature("getLineMetrics(String, int, int, Graphics)"),
suppress("false"),
comment),
method(static("false"),
signature("getLineMetrics(char[], int, int, Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("getLineMetrics(CharacterIterator, int, int, Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("getStringBounds(String, Graphics)"),
suppress("false"),
comment),
method(static("false"),
signature("getStringBounds(String, int, int, Graphics)"),
suppress("false"),
comment),
method(static("false"),
signature("getStringBounds(char[], int, int, Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("getStringBounds(CharacterIterator, int, int, Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("getMaxCharBounds(Graphics)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/Frame.safej
Index: Frame.safej
===================================================================
class(name("java.awt.Frame"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(GraphicsConfiguration)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String, GraphicsConfiguration)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getTitle()"),
suppress("false"),
comment),
method(static("false"),
signature("setTitle(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getIconImage()"),
suppress("false"),
comment),
method(static("false"),
signature("setIconImage(Image)"),
suppress("false"),
comment),
method(static("false"),
signature("getMenuBar()"),
suppress("false"),
comment),
method(static("false"),
signature("setMenuBar(MenuBar)"),
suppress("false"),
comment),
method(static("false"),
signature("isResizable()"),
suppress("false"),
comment),
method(static("false"),
signature("setResizable(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("setState(int)"),
suppress("true"),
comment),
method(static("false"),
signature("setExtendedState(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getState()"),
suppress("true"),
comment),
method(static("false"),
signature("getExtendedState()"),
suppress("false"),
comment),
method(static("false"),
signature("setMaximizedBounds(Rectangle)"),
suppress("false"),
comment),
method(static("false"),
signature("getMaximizedBounds()"),
suppress("false"),
comment),
method(static("false"),
signature("setUndecorated(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("isUndecorated()"),
suppress("false"),
comment),
method(static("false"),
signature("remove(MenuComponent)"),
suppress("false"),
comment),
method(static("false"),
signature("removeNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("setCursor(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getCursorType()"),
suppress("true"),
comment),
method(static("false"),
signature("getFrames()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/GradientPaint.safej
Index: GradientPaint.safej
===================================================================
class(name("java.awt.GradientPaint"),
method(static("true"),
signature("new(float, float, Color, float, float, Color)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Point2D, Color, Point2D, Color)"),
suppress("true"),
comment),
method(static("true"),
signature("new(float, float, Color, float, float, Color, boolean)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Point2D, Color, Point2D, Color, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getPoint1()"),
suppress("false"),
comment),
method(static("false"),
signature("getColor1()"),
suppress("false"),
comment),
method(static("false"),
signature("getPoint2()"),
suppress("false"),
comment),
method(static("false"),
signature("getColor2()"),
suppress("false"),
comment),
method(static("false"),
signature("isCyclic()"),
suppress("false"),
comment),
method(static("false"),
signature("createContext(ColorModel, Rectangle, Rectangle2D, AffineTransform, RenderingHints)"),
suppress("false"),
comment),
method(static("false"),
signature("getTransparency()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/Graphics.safej
Index: Graphics.safej
===================================================================
class(name("java.awt.Graphics"),
method(static("false"),
signature("create()"),
suppress("false"),
comment),
method(static("false"),
signature("create(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("translate(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getColor()"),
suppress("false"),
comment),
method(static("false"),
signature("setColor(Color)"),
suppress("false"),
comment),
method(static("false"),
signature("setPaintMode()"),
suppress("false"),
comment),
method(static("false"),
signature("setXORMode(Color)"),
suppress("false"),
comment),
method(static("false"),
signature("getFont()"),
suppress("false"),
comment),
method(static("false"),
signature("setFont(Font)"),
suppress("false"),
comment),
method(static("false"),
signature("getFontMetrics()"),
suppress("false"),
comment),
method(static("false"),
signature("getFontMetrics(Font)"),
suppress("false"),
comment),
method(static("false"),
signature("getClipBounds()"),
suppress("false"),
comment),
method(static("false"),
signature("clipRect(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("setClip(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getClip()"),
suppress("false"),
comment),
method(static("false"),
signature("setClip(Shape)"),
suppress("false"),
comment),
method(static("false"),
signature("copyArea(int, int, int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawLine(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("fillRect(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawRect(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("clearRect(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawRoundRect(int, int, int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("fillRoundRect(int, int, int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("draw3DRect(int, int, int, int, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("fill3DRect(int, int, int, int, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("drawOval(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("fillOval(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawArc(int, int, int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("fillArc(int, int, int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawPolyline(int[], int[], int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawPolygon(int[], int[], int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawPolygon(Polygon)"),
suppress("false"),
comment),
method(static("false"),
signature("fillPolygon(int[], int[], int)"),
suppress("false"),
comment),
method(static("false"),
signature("fillPolygon(Polygon)"),
suppress("false"),
comment),
method(static("false"),
signature("drawString(String, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawString(AttributedCharacterIterator, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawChars(char[], int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawBytes(byte[], int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, int, int, ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, Color, ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, int, int, Color, ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, int, int, int, int, int, int, ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, int, int, int, int, int, int, Color, ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("dispose()"),
suppress("false"),
comment),
method(static("false"),
signature("finalize()"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
method(static("false"),
signature("getClipRect()"),
suppress("false"),
comment),
method(static("false"),
signature("hitClip(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getClipBounds(Rectangle)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/Graphics2D.safej
Index: Graphics2D.safej
===================================================================
class(name("java.awt.Graphics2D"),
method(static("false"),
signature("draw3DRect(int, int, int, int, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("fill3DRect(int, int, int, int, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("draw(Shape)"),
suppress("false"),
comment),
method(static("false"),
signature("drawImage(Image, AffineTransform, ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("drawImage(BufferedImage, BufferedImageOp, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawRenderedImage(RenderedImage, AffineTransform)"),
suppress("false"),
comment),
method(static("false"),
signature("drawRenderableImage(RenderableImage, AffineTransform)"),
suppress("false"),
comment),
method(static("false"),
signature("drawString(String, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawString(String, float, float)"),
suppress("false"),
comment),
method(static("false"),
signature("drawString(AttributedCharacterIterator, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("drawString(AttributedCharacterIterator, float, float)"),
suppress("false"),
comment),
method(static("false"),
signature("drawGlyphVector(GlyphVector, float, float)"),
suppress("false"),
comment),
method(static("false"),
signature("fill(Shape)"),
suppress("false"),
comment),
method(static("false"),
signature("hit(Rectangle, Shape, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getDeviceConfiguration()"),
suppress("true"),
comment("REVIEW, probably just fine")),
method(static("false"),
signature("setComposite(Composite)"),
suppress("false"),
comment),
method(static("false"),
signature("setPaint(Paint)"),
suppress("false"),
comment),
method(static("false"),
signature("setStroke(Stroke)"),
suppress("false"),
comment),
method(static("false"),
signature("setRenderingHint(RenderingHints.Key, Object)"),
suppress("false"),
comment("REVIEW could in principle be used to pass info, but given Component Properties, not an issue")),
method(static("false"),
signature("getRenderingHint(RenderingHints.Key)"),
suppress("false"),
comment),
method(static("false"),
signature("setRenderingHints(Map)"),
suppress("false"),
comment("REVIEW, same as Set Rendering Hint")),
method(static("false"),
signature("addRenderingHints(Map)"),
suppress("false"),
comment),
method(static("false"),
signature("getRenderingHints()"),
suppress("false"),
comment),
method(static("false"),
signature("translate(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("translate(double, double)"),
suppress("false"),
comment),
method(static("false"),
signature("rotate(double)"),
suppress("false"),
comment),
method(static("false"),
signature("rotate(double, double, double)"),
suppress("false"),
comment),
method(static("false"),
signature("scale(double, double)"),
suppress("false"),
comment),
method(static("false"),
signature("shear(double, double)"),
suppress("false"),
comment),
method(static("false"),
signature("transform(AffineTransform)"),
suppress("false"),
comment),
method(static("false"),
signature("setTransform(AffineTransform)"),
suppress("false"),
comment),
method(static("false"),
signature("getTransform()"),
suppress("false"),
comment),
method(static("false"),
signature("getPaint()"),
suppress("false"),
comment),
method(static("false"),
signature("getComposite()"),
suppress("false"),
comment),
method(static("false"),
signature("setBackground(Color)"),
suppress("false"),
comment),
method(static("false"),
signature("getBackground()"),
suppress("false"),
comment),
method(static("false"),
signature("getStroke()"),
suppress("false"),
comment),
method(static("false"),
signature("clip(Shape)"),
suppress("false"),
comment),
method(static("false"),
signature("getFontRenderContext()"),
suppress("true"),
comment("REVIEW, probably fine")),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("Any safety issue is with the graphics context this is derived from: there are no constructors for this"))
1.1 e/src/safej/java/awt/GraphicsConfigTemplate.safej
Index: GraphicsConfigTemplate.safej
===================================================================
class(name("java.awt.GraphicsConfigTemplate"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("getBestConfiguration(GraphicsConfiguration[])"),
suppress("false"),
comment),
method(static("false"),
signature("isGraphicsConfigSupported(GraphicsConfiguration)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/GraphicsConfiguration.safej
Index: GraphicsConfiguration.safej
===================================================================
class(name("java.awt.GraphicsConfiguration"),
method(static("false"),
signature("getDevice()"),
suppress("true"),
comment),
method(static("false"),
signature("createCompatibleImage(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("createCompatibleVolatileImage(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("createCompatibleVolatileImage(int, int, ImageCapabilities)"),
suppress("true"),
comment),
method(static("false"),
signature("createCompatibleImage(int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getColorModel()"),
suppress("true"),
comment),
method(static("false"),
signature("getColorModel(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getDefaultTransform()"),
suppress("true"),
comment),
method(static("false"),
signature("getNormalizingTransform()"),
suppress("true"),
comment),
method(static("false"),
signature("getBounds()"),
suppress("true"),
comment),
method(static("false"),
signature("getBufferCapabilities()"),
suppress("true"),
comment),
method(static("false"),
signature("getImageCapabilities()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/GraphicsDevice.safej
Index: GraphicsDevice.safej
===================================================================
class(name("java.awt.GraphicsDevice"),
method(static("false"),
signature("getType()"),
suppress("true"),
comment),
method(static("false"),
signature("getIDstring()"),
suppress("true"),
comment),
method(static("false"),
signature("getConfigurations()"),
suppress("true"),
comment),
method(static("false"),
signature("getDefaultConfiguration()"),
suppress("true"),
comment),
method(static("false"),
signature("getBestConfiguration(GraphicsConfigTemplate)"),
suppress("true"),
comment),
method(static("false"),
signature("isFullScreenSupported()"),
suppress("true"),
comment),
method(static("false"),
signature("setFullScreenWindow(Window)"),
suppress("true"),
comment),
method(static("false"),
signature("getFullScreenWindow()"),
suppress("true"),
comment),
method(static("false"),
signature("isDisplayChangeSupported()"),
suppress("true"),
comment),
method(static("false"),
signature("setDisplayMode(DisplayMode)"),
suppress("true"),
comment),
method(static("false"),
signature("getDisplayMode()"),
suppress("true"),
comment),
method(static("false"),
signature("getDisplayModes()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/GraphicsEnvironment.safej
Index: GraphicsEnvironment.safej
===================================================================
class(name("java.awt.GraphicsEnvironment"),
method(static("true"),
signature("getLocalGraphicsEnvironment()"),
suppress("true"),
comment),
method(static("false"),
signature("isHeadless()"),
suppress("true"),
comment),
method(static("false"),
signature("isHeadlessInstance()"),
suppress("true"),
comment),
method(static("false"),
signature("getScreenDevices()"),
suppress("true"),
comment),
method(static("false"),
signature("getDefaultScreenDevice()"),
suppress("true"),
comment),
method(static("false"),
signature("createGraphics(BufferedImage)"),
suppress("true"),
comment),
method(static("false"),
signature("getAllFonts()"),
suppress("true"),
comment),
method(static("false"),
signature("getAvailableFontFamilyNames()"),
suppress("true"),
comment),
method(static("false"),
signature("getAvailableFontFamilyNames(Locale)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/GridBagConstraints.safej
Index: GridBagConstraints.safej
===================================================================
class(name("java.awt.GridBagConstraints"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, int, int, int, double, double, int, int, Insets, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("clone()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/GridBagLayout.safej
Index: GridBagLayout.safej
===================================================================
class(name("java.awt.GridBagLayout"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("setConstraints(Component, GridBagConstraints)"),
suppress("false"),
comment),
method(static("false"),
signature("getConstraints(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("getLayoutOrigin()"),
suppress("false"),
comment),
method(static("false"),
signature("getLayoutDimensions()"),
suppress("false"),
comment),
method(static("false"),
signature("getLayoutWeights()"),
suppress("false"),
comment),
method(static("false"),
signature("location(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("addLayoutComponent(String, Component)"),
suppress("false"),
comment),
method(static("false"),
signature("addLayoutComponent(Component, Object)"),
suppress("false"),
comment),
method(static("false"),
signature("removeLayoutComponent(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("preferredLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("minimumLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("maximumLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("getLayoutAlignmentX(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("getLayoutAlignmentY(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("invalidateLayout(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("layoutContainer(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/GridLayout.safej
Index: GridLayout.safej
===================================================================
class(name("java.awt.GridLayout"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, int)"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getRows()"),
suppress("false"),
comment),
method(static("false"),
signature("setRows(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getColumns()"),
suppress("false"),
comment),
method(static("false"),
signature("setColumns(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getHgap()"),
suppress("false"),
comment),
method(static("false"),
signature("setHgap(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getVgap()"),
suppress("false"),
comment),
method(static("false"),
signature("setVgap(int)"),
suppress("false"),
comment),
method(static("false"),
signature("addLayoutComponent(String, Component)"),
suppress("false"),
comment),
method(static("false"),
signature("removeLayoutComponent(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("preferredLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("minimumLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("layoutContainer(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/Image.safej
Index: Image.safej
===================================================================
class(name("java.awt.Image"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("getWidth(ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("getHeight(ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("getSource()"),
suppress("true"),
comment),
method(static("false"),
signature("getGraphics()"),
suppress("false"),
comment),
method(static("false"),
signature("getProperty(String, ImageObserver)"),
suppress("true"),
comment),
method(static("false"),
signature("getScaledInstance(int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("flush()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/ImageCapabilities.safej
Index: ImageCapabilities.safej
===================================================================
class(name("java.awt.ImageCapabilities"),
method(static("true"),
signature("new(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isAccelerated()"),
suppress("false"),
comment),
method(static("false"),
signature("isTrueVolatile()"),
suppress("false"),
comment),
method(static("false"),
signature("clone()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/Insets.safej
Index: Insets.safej
===================================================================
class(name("java.awt.Insets"),
method(static("true"),
signature("new(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
method(static("false"),
signature("clone()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/JobAttributes$DefaultSelectionType.safej
Index: JobAttributes$DefaultSelectionType.safej
===================================================================
class(name("java.awt.JobAttributes.DefaultSelectionType"),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/JobAttributes$DestinationType.safej
Index: JobAttributes$DestinationType.safej
===================================================================
class(name("java.awt.JobAttributes.DestinationType"),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/JobAttributes$DialogType.safej
Index: JobAttributes$DialogType.safej
===================================================================
class(name("java.awt.JobAttributes.DialogType"),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/JobAttributes$MultipleDocumentHandlingType.safej
Index: JobAttributes$MultipleDocumentHandlingType.safej
===================================================================
class(name("java.awt.JobAttributes.MultipleDocumentHandlingType"),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/JobAttributes$SidesType.safej
Index: JobAttributes$SidesType.safej
===================================================================
class(name("java.awt.JobAttributes.SidesType"),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/JobAttributes.safej
Index: JobAttributes.safej
===================================================================
class(name("java.awt.JobAttributes"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(JobAttributes)"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, JobAttributes.DefaultSelectionType, JobAttributes.DestinationType, JobAttributes.DialogType, String, int, int, JobAttributes.MultipleDocumentHandlingType, int[][], String, JobAttributes.SidesType)"),
suppress("false"),
comment),
method(static("false"),
signature("clone()"),
suppress("false"),
comment),
method(static("false"),
signature("set(JobAttributes)"),
suppress("false"),
comment),
method(static("false"),
signature("getCopies()"),
suppress("false"),
comment),
method(static("false"),
signature("setCopies(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setCopiesToDefault()"),
suppress("false"),
comment),
method(static("false"),
signature("getDefaultSelection()"),
suppress("false"),
comment),
method(static("false"),
signature("setDefaultSelection(JobAttributes.DefaultSelectionType)"),
suppress("false"),
comment),
method(static("false"),
signature("getDestination()"),
suppress("false"),
comment),
method(static("false"),
signature("setDestination(JobAttributes.DestinationType)"),
suppress("false"),
comment),
method(static("false"),
signature("getDialog()"),
suppress("false"),
comment),
method(static("false"),
signature("setDialog(JobAttributes.DialogType)"),
suppress("false"),
comment),
method(static("false"),
signature("getFileName()"),
suppress("false"),
comment),
method(static("false"),
signature("setFileName(String)"),
suppress("true"),
comment("need a replacement setFile(file)")),
method(static("false"),
signature("getFromPage()"),
suppress("false"),
comment),
method(static("false"),
signature("setFromPage(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getMaxPage()"),
suppress("false"),
comment),
method(static("false"),
signature("setMaxPage(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getMinPage()"),
suppress("false"),
comment),
method(static("false"),
signature("setMinPage(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getMultipleDocumentHandling()"),
suppress("false"),
comment),
method(static("false"),
signature("setMultipleDocumentHandling(JobAttributes.MultipleDocumentHandlingType)"),
suppress("false"),
comment),
method(static("false"),
signature("setMultipleDocumentHandlingToDefault()"),
suppress("false"),
comment),
method(static("false"),
signature("getPageRanges()"),
suppress("false"),
comment),
method(static("false"),
signature("setPageRanges(int[][])"),
suppress("false"),
comment),
method(static("false"),
signature("getPrinter()"),
suppress("false"),
comment),
method(static("false"),
signature("setPrinter(String)"),
suppress("true"),
comment("what should we do with this?")),
method(static("false"),
signature("getSides()"),
suppress("false"),
comment),
method(static("false"),
signature("setSides(JobAttributes.SidesType)"),
suppress("false"),
comment),
method(static("false"),
signature("setSidesToDefault()"),
suppress("false"),
comment),
method(static("false"),
signature("getToPage()"),
suppress("false"),
comment),
method(static("false"),
signature("setToPage(int)"),
suppress("false"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/KeyEventDispatcher.safej
Index: KeyEventDispatcher.safej
===================================================================
class(name("java.awt.KeyEventDispatcher"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("dispatchKeyEvent(KeyEvent)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("Abstract"))
1.1 e/src/safej/java/awt/KeyboardFocusManager.safej
Index: KeyboardFocusManager.safej
===================================================================
class(name("java.awt.KeyboardFocusManager"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("getCurrentKeyboardFocusManager()"),
suppress("false"),
comment),
method(static("true"),
signature("setCurrentKeyboardFocusManager(KeyboardFocusManager)"),
suppress("true"),
comment),
method(static("false"),
signature("getFocusOwner()"),
suppress("true"),
comment),
method(static("false"),
signature("clearGlobalFocusOwner()"),
suppress("true"),
comment),
method(static("false"),
signature("getPermanentFocusOwner()"),
suppress("true"),
comment),
method(static("false"),
signature("getFocusedWindow()"),
suppress("true"),
comment),
method(static("false"),
signature("getActiveWindow()"),
suppress("true"),
comment),
method(static("false"),
signature("getDefaultFocusTraversalPolicy()"),
suppress("true"),
comment),
method(static("false"),
signature("setDefaultFocusTraversalPolicy(FocusTraversalPolicy)"),
suppress("true"),
comment),
method(static("false"),
signature("setDefaultFocusTraversalKeys(int, Set)"),
suppress("false"),
comment),
method(static("false"),
signature("getDefaultFocusTraversalKeys(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getCurrentFocusCycleRoot()"),
suppress("true"),
comment),
method(static("false"),
signature("setGlobalCurrentFocusCycleRoot(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("addPropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removePropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getPropertyChangeListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addPropertyChangeListener(String, PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removePropertyChangeListener(String, PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getPropertyChangeListeners(String)"),
suppress("true"),
comment),
method(static("false"),
signature("addVetoableChangeListener(VetoableChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeVetoableChangeListener(VetoableChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getVetoableChangeListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addVetoableChangeListener(String, VetoableChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeVetoableChangeListener(String, VetoableChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getVetoableChangeListeners(String)"),
suppress("true"),
comment),
method(static("false"),
signature("addKeyEventDispatcher(KeyEventDispatcher)"),
suppress("true"),
comment),
method(static("false"),
signature("removeKeyEventDispatcher(KeyEventDispatcher)"),
suppress("true"),
comment),
method(static("false"),
signature("dispatchEvent(AWTEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("redispatchEvent(Component, AWTEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("dispatchKeyEvent(KeyEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("processKeyEvent(Component, KeyEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("focusNextComponent(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("focusPreviousComponent(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("upFocusCycle(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("downFocusCycle(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("focusNextComponent()"),
suppress("true"),
comment),
method(static("false"),
signature("focusPreviousComponent()"),
suppress("true"),
comment),
method(static("false"),
signature("upFocusCycle()"),
suppress("true"),
comment),
method(static("false"),
signature("downFocusCycle()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment("REVIEW Looks useful to change traversal keys, suppressed everything else."))
1.1 e/src/safej/java/awt/Label.safej
Index: Label.safej
===================================================================
class(name("java.awt.Label"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, int)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getAlignment()"),
suppress("true"),
comment),
method(static("false"),
signature("setAlignment(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getText()"),
suppress("true"),
comment),
method(static("false"),
signature("setText(String)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/List.safej
Index: List.safej
===================================================================
class(name("java.awt.List"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(int)"),
suppress("true"),
comment),
method(static("true"),
signature("new(int, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("removeNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getItemCount()"),
suppress("true"),
comment),
method(static("false"),
signature("countItems()"),
suppress("true"),
comment),
method(static("false"),
signature("getItem(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getItems()"),
suppress("true"),
comment),
method(static("false"),
signature("add(String)"),
suppress("true"),
comment),
method(static("false"),
signature("addItem(String)"),
suppress("true"),
comment),
method(static("false"),
signature("add(String, int)"),
suppress("true"),
comment),
method(static("false"),
signature("addItem(String, int)"),
suppress("true"),
comment),
method(static("false"),
signature("replaceItem(String, int)"),
suppress("true"),
comment),
method(static("false"),
signature("removeAll()"),
suppress("true"),
comment),
method(static("false"),
signature("clear()"),
suppress("true"),
comment),
method(static("false"),
signature("remove(String)"),
suppress("true"),
comment),
method(static("false"),
signature("remove(int)"),
suppress("true"),
comment),
method(static("false"),
signature("delItem(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedIndex()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedIndexes()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedItem()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedItems()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedObjects()"),
suppress("true"),
comment),
method(static("false"),
signature("select(int)"),
suppress("true"),
comment),
method(static("false"),
signature("deselect(int)"),
suppress("true"),
comment),
method(static("false"),
signature("isIndexSelected(int)"),
suppress("true"),
comment),
method(static("false"),
signature("isSelected(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getRows()"),
suppress("true"),
comment),
method(static("false"),
signature("isMultipleMode()"),
suppress("true"),
comment),
method(static("false"),
signature("allowsMultipleSelections()"),
suppress("true"),
comment),
method(static("false"),
signature("setMultipleMode(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("setMultipleSelections(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getVisibleIndex()"),
suppress("true"),
comment),
method(static("false"),
signature("makeVisible(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getPreferredSize(int)"),
suppress("true"),
comment),
method(static("false"),
signature("preferredSize(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getPreferredSize()"),
suppress("true"),
comment),
method(static("false"),
signature("preferredSize()"),
suppress("true"),
comment),
method(static("false"),
signature("getMinimumSize(int)"),
suppress("true"),
comment),
method(static("false"),
signature("minimumSize(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getMinimumSize()"),
suppress("true"),
comment),
method(static("false"),
signature("minimumSize()"),
suppress("true"),
comment),
method(static("false"),
signature("addItemListener(ItemListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeItemListener(ItemListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getItemListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addActionListener(ActionListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeActionListener(ActionListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getActionListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("delItems(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/MediaTracker.safej
Index: MediaTracker.safej
===================================================================
class(name("java.awt.MediaTracker"),
method(static("true"),
signature("new(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("addImage(Image, int)"),
suppress("false"),
comment),
method(static("false"),
signature("addImage(Image, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("checkAll()"),
suppress("false"),
comment),
method(static("false"),
signature("checkAll(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isErrorAny()"),
suppress("false"),
comment),
method(static("false"),
signature("getErrorsAny()"),
suppress("false"),
comment),
method(static("false"),
signature("waitForAll()"),
suppress("false"),
comment),
method(static("false"),
signature("waitForAll(long)"),
suppress("false"),
comment),
method(static("false"),
signature("statusAll(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("checkID(int)"),
suppress("false"),
comment),
method(static("false"),
signature("checkID(int, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isErrorID(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getErrorsID(int)"),
suppress("false"),
comment),
method(static("false"),
signature("waitForID(int)"),
suppress("false"),
comment),
method(static("false"),
signature("waitForID(int, long)"),
suppress("false"),
comment),
method(static("false"),
signature("statusID(int, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("removeImage(Image)"),
suppress("false"),
comment),
method(static("false"),
signature("removeImage(Image, int)"),
suppress("false"),
comment),
method(static("false"),
signature("removeImage(Image, int, int, int)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/Menu.safej
Index: Menu.safej
===================================================================
class(name("java.awt.Menu"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("removeNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("isTearOff()"),
suppress("true"),
comment),
method(static("false"),
signature("getItemCount()"),
suppress("true"),
comment),
method(static("false"),
signature("countItems()"),
suppress("true"),
comment),
method(static("false"),
signature("getItem(int)"),
suppress("true"),
comment),
method(static("false"),
signature("add(MenuItem)"),
suppress("true"),
comment),
method(static("false"),
signature("add(String)"),
suppress("true"),
comment),
method(static("false"),
signature("insert(MenuItem, int)"),
suppress("true"),
comment),
method(static("false"),
signature("insert(String, int)"),
suppress("true"),
comment),
method(static("false"),
signature("addSeparator()"),
suppress("true"),
comment),
method(static("false"),
signature("insertSeparator(int)"),
suppress("true"),
comment),
method(static("false"),
signature("remove(int)"),
suppress("true"),
comment),
method(static("false"),
signature("remove(MenuComponent)"),
suppress("true"),
comment),
method(static("false"),
signature("removeAll()"),
suppress("true"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/MenuBar.safej
Index: MenuBar.safej
===================================================================
class(name("java.awt.MenuBar"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("removeNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getHelpMenu()"),
suppress("true"),
comment),
method(static("false"),
signature("setHelpMenu(Menu)"),
suppress("true"),
comment),
method(static("false"),
signature("add(Menu)"),
suppress("true"),
comment),
method(static("false"),
signature("remove(int)"),
suppress("true"),
comment),
method(static("false"),
signature("remove(MenuComponent)"),
suppress("true"),
comment),
method(static("false"),
signature("getMenuCount()"),
suppress("true"),
comment),
method(static("false"),
signature("countMenus()"),
suppress("true"),
comment),
method(static("false"),
signature("getMenu(int)"),
suppress("true"),
comment),
method(static("false"),
signature("shortcuts()"),
suppress("true"),
comment),
method(static("false"),
signature("getShortcutMenuItem(MenuShortcut)"),
suppress("true"),
comment),
method(static("false"),
signature("deleteShortcut(MenuShortcut)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/MenuComponent.safej
Index: MenuComponent.safej
===================================================================
class(name("java.awt.MenuComponent"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("getName()"),
suppress("false"),
comment),
method(static("false"),
signature("setName(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getParent()"),
suppress("true"),
comment),
method(static("false"),
signature("getPeer()"),
suppress("true"),
comment),
method(static("false"),
signature("getFont()"),
suppress("false"),
comment),
method(static("false"),
signature("setFont(Font)"),
suppress("false"),
comment),
method(static("false"),
signature("removeNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("postEvent(Event)"),
suppress("true"),
comment),
method(static("false"),
signature("dispatchEvent(AWTEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/MenuItem.safej
Index: MenuItem.safej
===================================================================
class(name("java.awt.MenuItem"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, MenuShortcut)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getLabel()"),
suppress("true"),
comment),
method(static("false"),
signature("setLabel(String)"),
suppress("true"),
comment),
method(static("false"),
signature("isEnabled()"),
suppress("true"),
comment),
method(static("false"),
signature("setEnabled(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("enable()"),
suppress("true"),
comment),
method(static("false"),
signature("enable(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("disable()"),
suppress("true"),
comment),
method(static("false"),
signature("getShortcut()"),
suppress("true"),
comment),
method(static("false"),
signature("setShortcut(MenuShortcut)"),
suppress("true"),
comment),
method(static("false"),
signature("deleteShortcut()"),
suppress("true"),
comment),
method(static("false"),
signature("setActionCommand(String)"),
suppress("true"),
comment),
method(static("false"),
signature("getActionCommand()"),
suppress("true"),
comment),
method(static("false"),
signature("addActionListener(ActionListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeActionListener(ActionListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getActionListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/MenuShortcut.safej
Index: MenuShortcut.safej
===================================================================
class(name("java.awt.MenuShortcut"),
method(static("true"),
signature("new(int)"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getKey()"),
suppress("false"),
comment),
method(static("false"),
signature("usesShiftModifier()"),
suppress("false"),
comment),
method(static("false"),
signature("equals(MenuShortcut)"),
suppress("false"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("true"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/PageAttributes$ColorType.safej
Index: PageAttributes$ColorType.safej
===================================================================
class(name("java.awt.PageAttributes.ColorType"),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/PageAttributes$MediaType.safej
Index: PageAttributes$MediaType.safej
===================================================================
class(name("java.awt.PageAttributes.MediaType"),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/PageAttributes$OrientationRequestedType.safej
Index: PageAttributes$OrientationRequestedType.safej
===================================================================
class(name("java.awt.PageAttributes.OrientationRequestedType"),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/PageAttributes$OriginType.safej
Index: PageAttributes$OriginType.safej
===================================================================
class(name("java.awt.PageAttributes.OriginType"),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/PageAttributes$PrintQualityType.safej
Index: PageAttributes$PrintQualityType.safej
===================================================================
class(name("java.awt.PageAttributes.PrintQualityType"),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/PageAttributes.safej
Index: PageAttributes.safej
===================================================================
class(name("java.awt.PageAttributes"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(PageAttributes)"),
suppress("true"),
comment),
method(static("true"),
signature("new(PageAttributes.ColorType, PageAttributes.MediaType, PageAttributes.OrientationRequestedType, PageAttributes.OriginType, PageAttributes.PrintQualityType, int[])"),
suppress("false"),
comment),
method(static("false"),
signature("clone()"),
suppress("false"),
comment),
method(static("false"),
signature("set(PageAttributes)"),
suppress("false"),
comment),
method(static("false"),
signature("getColor()"),
suppress("false"),
comment),
method(static("false"),
signature("setColor(PageAttributes.ColorType)"),
suppress("false"),
comment),
method(static("false"),
signature("getMedia()"),
suppress("false"),
comment),
method(static("false"),
signature("setMedia(PageAttributes.MediaType)"),
suppress("false"),
comment),
method(static("false"),
signature("setMediaToDefault()"),
suppress("false"),
comment),
method(static("false"),
signature("getOrientationRequested()"),
suppress("false"),
comment),
method(static("false"),
signature("setOrientationRequested(PageAttributes.OrientationRequestedType)"),
suppress("false"),
comment),
method(static("false"),
signature("setOrientationRequested(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setOrientationRequestedToDefault()"),
suppress("false"),
comment),
method(static("false"),
signature("getOrigin()"),
suppress("false"),
comment),
method(static("false"),
signature("setOrigin(PageAttributes.OriginType)"),
suppress("false"),
comment),
method(static("false"),
signature("getPrintQuality()"),
suppress("false"),
comment),
method(static("false"),
signature("setPrintQuality(PageAttributes.PrintQualityType)"),
suppress("false"),
comment),
method(static("false"),
signature("setPrintQuality(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setPrintQualityToDefault()"),
suppress("false"),
comment),
method(static("false"),
signature("getPrinterResolution()"),
suppress("false"),
comment),
method(static("false"),
signature("setPrinterResolution(int[])"),
suppress("false"),
comment),
method(static("false"),
signature("setPrinterResolution(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setPrinterResolutionToDefault()"),
suppress("false"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/Panel.safej
Index: Panel.safej
===================================================================
class(name("java.awt.Panel"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(LayoutManager)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("Replaced by JPanel"))
1.1 e/src/safej/java/awt/Point.safej
Index: Point.safej
===================================================================
class(name("java.awt.Point"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(Point)"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getX()"),
suppress("false"),
comment),
method(static("false"),
signature("getY()"),
suppress("false"),
comment),
method(static("false"),
signature("getLocation()"),
suppress("false"),
comment),
method(static("false"),
signature("setLocation(Point)"),
suppress("false"),
comment),
method(static("false"),
signature("setLocation(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("setLocation(double, double)"),
suppress("false"),
comment),
method(static("false"),
signature("move(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("translate(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/Polygon.safej
Index: Polygon.safej
===================================================================
class(name("java.awt.Polygon"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(int[], int[], int)"),
suppress("false"),
comment),
method(static("false"),
signature("reset()"),
suppress("false"),
comment),
method(static("false"),
signature("invalidate()"),
suppress("false"),
comment),
method(static("false"),
signature("translate(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("addPoint(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getBounds()"),
suppress("false"),
comment),
method(static("false"),
signature("getBoundingBox()"),
suppress("false"),
comment),
method(static("false"),
signature("contains(Point)"),
suppress("false"),
comment),
method(static("false"),
signature("contains(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("inside(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getBounds2D()"),
suppress("false"),
comment),
method(static("false"),
signature("contains(double, double)"),
suppress("false"),
comment),
method(static("false"),
signature("contains(Point2D)"),
suppress("false"),
comment),
method(static("false"),
signature("intersects(double, double, double, double)"),
suppress("false"),
comment),
method(static("false"),
signature("intersects(Rectangle2D)"),
suppress("false"),
comment),
method(static("false"),
signature("contains(double, double, double, double)"),
suppress("false"),
comment),
method(static("false"),
signature("contains(Rectangle2D)"),
suppress("false"),
comment),
method(static("false"),
signature("getPathIterator(AffineTransform)"),
suppress("false"),
comment),
method(static("false"),
signature("getPathIterator(AffineTransform, double)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/PopupMenu.safej
Index: PopupMenu.safej
===================================================================
class(name("java.awt.PopupMenu"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(String)"),
suppress("false"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("show(Component, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/PrintJob.safej
Index: PrintJob.safej
===================================================================
class(name("java.awt.PrintJob"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("getGraphics()"),
suppress("false"),
comment),
method(static("false"),
signature("getPageDimension()"),
suppress("false"),
comment),
method(static("false"),
signature("getPageResolution()"),
suppress("false"),
comment),
method(static("false"),
signature("lastPageFirst()"),
suppress("false"),
comment),
method(static("false"),
signature("end()"),
suppress("false"),
comment),
method(static("false"),
signature("finalize()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/Rectangle.safej
Index: Rectangle.safej
===================================================================
class(name("java.awt.Rectangle"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(Rectangle)"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, int, int, int)"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, int)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Point, Dimension)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Point)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Dimension)"),
suppress("false"),
comment),
method(static("false"),
signature("getX()"),
suppress("false"),
comment),
method(static("false"),
signature("getY()"),
suppress("false"),
comment),
method(static("false"),
signature("getWidth()"),
suppress("false"),
comment),
method(static("false"),
signature("getHeight()"),
suppress("false"),
comment),
method(static("false"),
signature("getBounds()"),
suppress("false"),
comment),
method(static("false"),
signature("getBounds2D()"),
suppress("false"),
comment),
method(static("false"),
signature("setBounds(Rectangle)"),
suppress("false"),
comment),
method(static("false"),
signature("setBounds(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("setRect(double, double, double, double)"),
suppress("false"),
comment),
method(static("false"),
signature("reshape(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getLocation()"),
suppress("false"),
comment),
method(static("false"),
signature("setLocation(Point)"),
suppress("false"),
comment),
method(static("false"),
signature("setLocation(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("move(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("translate(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getSize()"),
suppress("false"),
comment),
method(static("false"),
signature("setSize(Dimension)"),
suppress("false"),
comment),
method(static("false"),
signature("setSize(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("resize(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("contains(Point)"),
suppress("false"),
comment),
method(static("false"),
signature("contains(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("contains(Rectangle)"),
suppress("false"),
comment),
method(static("false"),
signature("contains(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("inside(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("intersects(Rectangle)"),
suppress("false"),
comment),
method(static("false"),
signature("intersection(Rectangle)"),
suppress("false"),
comment),
method(static("false"),
signature("union(Rectangle)"),
suppress("false"),
comment),
method(static("false"),
signature("add(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("add(Point)"),
suppress("false"),
comment),
method(static("false"),
signature("add(Rectangle)"),
suppress("false"),
comment),
method(static("false"),
signature("grow(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("isEmpty()"),
suppress("false"),
comment),
method(static("false"),
signature("outcode(double, double)"),
suppress("false"),
comment),
method(static("false"),
signature("createIntersection(Rectangle2D)"),
suppress("false"),
comment),
method(static("false"),
signature("createUnion(Rectangle2D)"),
suppress("false"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/RenderingHints$Key.safej
Index: RenderingHints$Key.safej
===================================================================
class(name("java.awt.RenderingHints.Key"),
method(static("false"),
signature("isCompatibleValue(Object)"),
suppress("true"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("true"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/RenderingHints.safej
Index: RenderingHints.safej
===================================================================
class(name("java.awt.RenderingHints"),
method(static("true"),
signature("new(Map)"),
suppress("false"),
comment),
method(static("true"),
signature("new(RenderingHints.Key, Object)"),
suppress("false"),
comment),
method(static("false"),
signature("size()"),
suppress("true"),
comment),
method(static("false"),
signature("isEmpty()"),
suppress("true"),
comment),
method(static("false"),
signature("containsKey(Object)"),
suppress("true"),
comment),
method(static("false"),
signature("containsValue(Object)"),
suppress("true"),
comment),
method(static("false"),
signature("get(Object)"),
suppress("true"),
comment),
method(static("false"),
signature("put(Object, Object)"),
suppress("false"),
comment),
method(static("false"),
signature("add(RenderingHints)"),
suppress("false"),
comment),
method(static("false"),
signature("clear()"),
suppress("false"),
comment),
method(static("false"),
signature("remove(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("putAll(Map)"),
suppress("false"),
comment),
method(static("false"),
signature("keySet()"),
suppress("true"),
comment),
method(static("false"),
signature("values()"),
suppress("true"),
comment),
method(static("false"),
signature("entrySet()"),
suppress("true"),
comment),
method(static("false"),
signature("equals(Object)"),
suppress("true"),
comment),
method(static("false"),
signature("hashCode()"),
suppress("true"),
comment),
method(static("false"),
signature("clone()"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment("Made safe by eliminating all ways to read the hints (which could work as a semi covert channel), but allowing setting of hints so rendering can be good. So this is a write-only system"))
1.1 e/src/safej/java/awt/Robot.safej
Index: Robot.safej
===================================================================
class(name("java.awt.Robot"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(GraphicsDevice)"),
suppress("false"),
comment),
method(static("false"),
signature("mouseMove(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("mousePress(int)"),
suppress("false"),
comment),
method(static("false"),
signature("mouseRelease(int)"),
suppress("false"),
comment),
method(static("false"),
signature("mouseWheel(int)"),
suppress("false"),
comment),
method(static("false"),
signature("keyPress(int)"),
suppress("false"),
comment),
method(static("false"),
signature("keyRelease(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getPixelColor(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("createScreenCapture(Rectangle)"),
suppress("false"),
comment),
method(static("false"),
signature("isAutoWaitForIdle()"),
suppress("true"),
comment),
method(static("false"),
signature("setAutoWaitForIdle(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getAutoDelay()"),
suppress("false"),
comment),
method(static("false"),
signature("setAutoDelay(int)"),
suppress("true"),
comment),
method(static("false"),
signature("delay(int)"),
suppress("false"),
comment),
method(static("false"),
signature("waitForIdle()"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/ScrollPane.safej
Index: ScrollPane.safej
===================================================================
class(name("java.awt.ScrollPane"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getScrollbarDisplayPolicy()"),
suppress("true"),
comment),
method(static("false"),
signature("getViewportSize()"),
suppress("true"),
comment),
method(static("false"),
signature("getHScrollbarHeight()"),
suppress("true"),
comment),
method(static("false"),
signature("getVScrollbarWidth()"),
suppress("true"),
comment),
method(static("false"),
signature("getVAdjustable()"),
suppress("true"),
comment),
method(static("false"),
signature("getHAdjustable()"),
suppress("true"),
comment),
method(static("false"),
signature("setScrollPosition(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("setScrollPosition(Point)"),
suppress("true"),
comment),
method(static("false"),
signature("getScrollPosition()"),
suppress("true"),
comment),
method(static("false"),
signature("setLayout(LayoutManager)"),
suppress("true"),
comment),
method(static("false"),
signature("doLayout()"),
suppress("true"),
comment),
method(static("false"),
signature("layout()"),
suppress("true"),
comment),
method(static("false"),
signature("printComponents(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
method(static("false"),
signature("setWheelScrollingEnabled(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("isWheelScrollingEnabled()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment("Replaced by JScrollPane"))
1.1 e/src/safej/java/awt/ScrollPaneAdjustable.safej
Index: ScrollPaneAdjustable.safej
===================================================================
class(name("java.awt.ScrollPaneAdjustable"),
method(static("false"),
signature("getOrientation()"),
suppress("false"),
comment),
method(static("false"),
signature("setMinimum(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getMinimum()"),
suppress("false"),
comment),
method(static("false"),
signature("setMaximum(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getMaximum()"),
suppress("false"),
comment),
method(static("false"),
signature("setUnitIncrement(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getUnitIncrement()"),
suppress("false"),
comment),
method(static("false"),
signature("setBlockIncrement(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getBlockIncrement()"),
suppress("false"),
comment),
method(static("false"),
signature("setVisibleAmount(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getVisibleAmount()"),
suppress("false"),
comment),
method(static("false"),
signature("setValueIsAdjusting(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getValueIsAdjusting()"),
suppress("false"),
comment),
method(static("false"),
signature("setValue(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getValue()"),
suppress("false"),
comment),
method(static("false"),
signature("addAdjustmentListener(AdjustmentListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeAdjustmentListener(AdjustmentListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getAdjustmentListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
method(static("false"),
signature("paramString()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/Scrollbar.safej
Index: Scrollbar.safej
===================================================================
class(name("java.awt.Scrollbar"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(int)"),
suppress("true"),
comment),
method(static("true"),
signature("new(int, int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getOrientation()"),
suppress("true"),
comment),
method(static("false"),
signature("setOrientation(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getValue()"),
suppress("true"),
comment),
method(static("false"),
signature("setValue(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getMinimum()"),
suppress("true"),
comment),
method(static("false"),
signature("setMinimum(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getMaximum()"),
suppress("true"),
comment),
method(static("false"),
signature("setMaximum(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getVisibleAmount()"),
suppress("true"),
comment),
method(static("false"),
signature("getVisible()"),
suppress("true"),
comment),
method(static("false"),
signature("setVisibleAmount(int)"),
suppress("true"),
comment),
method(static("false"),
signature("setUnitIncrement(int)"),
suppress("true"),
comment),
method(static("false"),
signature("setLineIncrement(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getUnitIncrement()"),
suppress("true"),
comment),
method(static("false"),
signature("getLineIncrement()"),
suppress("true"),
comment),
method(static("false"),
signature("setBlockIncrement(int)"),
suppress("true"),
comment),
method(static("false"),
signature("setPageIncrement(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getBlockIncrement()"),
suppress("true"),
comment),
method(static("false"),
signature("getPageIncrement()"),
suppress("true"),
comment),
method(static("false"),
signature("setValues(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getValueIsAdjusting()"),
suppress("true"),
comment),
method(static("false"),
signature("setValueIsAdjusting(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("addAdjustmentListener(AdjustmentListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeAdjustmentListener(AdjustmentListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getAdjustmentListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/SystemColor.safej
Index: SystemColor.safej
===================================================================
class(name("java.awt.SystemColor"),
method(static("false"),
signature("getRGB()"),
suppress("false"),
comment),
method(static("false"),
signature("createContext(ColorModel, Rectangle, Rectangle2D, AffineTransform, RenderingHints)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/TextArea.safej
Index: TextArea.safej
===================================================================
class(name("java.awt.TextArea"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(int, int)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, int, int)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("insert(String, int)"),
suppress("true"),
comment),
method(static("false"),
signature("insertText(String, int)"),
suppress("true"),
comment),
method(static("false"),
signature("append(String)"),
suppress("true"),
comment),
method(static("false"),
signature("appendText(String)"),
suppress("true"),
comment),
method(static("false"),
signature("replaceRange(String, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("replaceText(String, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getRows()"),
suppress("true"),
comment),
method(static("false"),
signature("setRows(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getColumns()"),
suppress("true"),
comment),
method(static("false"),
signature("setColumns(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getScrollbarVisibility()"),
suppress("true"),
comment),
method(static("false"),
signature("getPreferredSize(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("preferredSize(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getPreferredSize()"),
suppress("true"),
comment),
method(static("false"),
signature("preferredSize()"),
suppress("true"),
comment),
method(static("false"),
signature("getMinimumSize(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("minimumSize(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getMinimumSize()"),
suppress("true"),
comment),
method(static("false"),
signature("minimumSize()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/TextComponent.safej
Index: TextComponent.safej
===================================================================
class(name("java.awt.TextComponent"),
method(static("false"),
signature("enableInputMethods(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("removeNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("setText(String)"),
suppress("true"),
comment),
method(static("false"),
signature("getText()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedText()"),
suppress("true"),
comment),
method(static("false"),
signature("isEditable()"),
suppress("true"),
comment),
method(static("false"),
signature("setEditable(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getBackground()"),
suppress("true"),
comment),
method(static("false"),
signature("setBackground(Color)"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectionStart()"),
suppress("true"),
comment),
method(static("false"),
signature("setSelectionStart(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectionEnd()"),
suppress("true"),
comment),
method(static("false"),
signature("setSelectionEnd(int)"),
suppress("true"),
comment),
method(static("false"),
signature("select(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("selectAll()"),
suppress("true"),
comment),
method(static("false"),
signature("setCaretPosition(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getCaretPosition()"),
suppress("true"),
comment),
method(static("false"),
signature("addTextListener(TextListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeTextListener(TextListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getTextListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/TextField.safej
Index: TextField.safej
===================================================================
class(name("java.awt.TextField"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(int)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, int)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getEchoChar()"),
suppress("true"),
comment),
method(static("false"),
signature("setEchoChar(char)"),
suppress("true"),
comment),
method(static("false"),
signature("setEchoCharacter(char)"),
suppress("true"),
comment),
method(static("false"),
signature("setText(String)"),
suppress("true"),
comment),
method(static("false"),
signature("echoCharIsSet()"),
suppress("true"),
comment),
method(static("false"),
signature("getColumns()"),
suppress("true"),
comment),
method(static("false"),
signature("setColumns(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getPreferredSize(int)"),
suppress("true"),
comment),
method(static("false"),
signature("preferredSize(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getPreferredSize()"),
suppress("true"),
comment),
method(static("false"),
signature("preferredSize()"),
suppress("true"),
comment),
method(static("false"),
signature("getMinimumSize(int)"),
suppress("true"),
comment),
method(static("false"),
signature("minimumSize(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getMinimumSize()"),
suppress("true"),
comment),
method(static("false"),
signature("minimumSize()"),
suppress("true"),
comment),
method(static("false"),
signature("addActionListener(ActionListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeActionListener(ActionListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getActionListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/TexturePaint.safej
Index: TexturePaint.safej
===================================================================
class(name("java.awt.TexturePaint"),
method(static("true"),
signature("new(BufferedImage, Rectangle2D)"),
suppress("false"),
comment),
method(static("false"),
signature("getImage()"),
suppress("false"),
comment),
method(static("false"),
signature("getAnchorRect()"),
suppress("false"),
comment),
method(static("false"),
signature("createContext(ColorModel, Rectangle, Rectangle2D, AffineTransform, RenderingHints)"),
suppress("false"),
comment),
method(static("false"),
signature("getTransparency()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/Toolkit.safej
Index: Toolkit.safej
===================================================================
class(name("java.awt.Toolkit"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("setDynamicLayout(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isDynamicLayoutActive()"),
suppress("false"),
comment),
method(static("false"),
signature("getScreenSize()"),
suppress("false"),
comment),
method(static("false"),
signature("getScreenResolution()"),
suppress("false"),
comment),
method(static("false"),
signature("getScreenInsets(GraphicsConfiguration)"),
suppress("false"),
comment),
method(static("false"),
signature("getColorModel()"),
suppress("false"),
comment),
method(static("false"),
signature("getFontList()"),
suppress("false"),
comment),
method(static("false"),
signature("getFontMetrics(Font)"),
suppress("false"),
comment),
method(static("false"),
signature("sync()"),
suppress("false"),
comment),
method(static("true"),
signature("getDefaultToolkit()"),
suppress("false"),
comment),
method(static("false"),
signature("getImage(String)"),
suppress("true"),
comment),
method(static("false"),
signature("getImage(URL)"),
suppress("false"),
comment),
method(static("false"),
signature("createImage(String)"),
suppress("true"),
comment),
method(static("false"),
signature("createImage(URL)"),
suppress("false"),
comment),
method(static("false"),
signature("prepareImage(Image, int, int, ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("checkImage(Image, int, int, ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("createImage(ImageProducer)"),
suppress("false"),
comment),
method(static("false"),
signature("createImage(byte[])"),
suppress("false"),
comment),
method(static("false"),
signature("createImage(byte[], int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getPrintJob(Frame, String, Properties)"),
suppress("false"),
comment),
method(static("false"),
signature("getPrintJob(Frame, String, JobAttributes, PageAttributes)"),
suppress("false"),
comment),
method(static("false"),
signature("beep()"),
suppress("false"),
comment),
method(static("false"),
signature("getSystemClipboard()"),
suppress("false"),
comment),
method(static("false"),
signature("getSystemSelection()"),
suppress("true"),
comment),
method(static("false"),
signature("getMenuShortcutKeyMask()"),
suppress("false"),
comment),
method(static("false"),
signature("getLockingKeyState(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setLockingKeyState(int, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("createCustomCursor(Image, Point, String)"),
suppress("false"),
comment),
method(static("false"),
signature("getBestCursorSize(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getMaximumCursorColors()"),
suppress("false"),
comment),
method(static("false"),
signature("isFrameStateSupported(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getProperty(String, String)"),
suppress("true"),
comment),
method(static("false"),
signature("getSystemEventQueue()"),
suppress("true"),
comment),
method(static("false"),
signature("createDragSourceContextPeer(DragGestureEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("createDragGestureRecognizer(Class, DragSource, Component, int, DragGestureListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getDesktopProperty(String)"),
suppress("false"),
comment),
method(static("false"),
signature("addPropertyChangeListener(String, PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removePropertyChangeListener(String, PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getPropertyChangeListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getPropertyChangeListeners(String)"),
suppress("true"),
comment),
method(static("false"),
signature("addAWTEventListener(AWTEventListener, long)"),
suppress("true"),
comment),
method(static("false"),
signature("removeAWTEventListener(AWTEventListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getAWTEventListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getAWTEventListeners(long)"),
suppress("true"),
comment),
method(static("false"),
signature("mapInputMethodHighlight(InputMethodHighlight)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/Window.safej
Index: Window.safej
===================================================================
class(name("java.awt.Window"),
method(static("true"),
signature("new(Frame)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Window)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Window, GraphicsConfiguration)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("pack()"),
suppress("false"),
comment),
method(static("false"),
signature("show()"),
suppress("false"),
comment),
method(static("false"),
signature("hide()"),
suppress("false"),
comment),
method(static("false"),
signature("dispose()"),
suppress("false"),
comment),
method(static("false"),
signature("toFront()"),
suppress("true"),
comment("use show()")),
method(static("false"),
signature("toBack()"),
suppress("false"),
comment),
method(static("false"),
signature("getToolkit()"),
suppress("true"),
comment),
method(static("false"),
signature("getWarningString()"),
suppress("true"),
comment),
method(static("false"),
signature("getLocale()"),
suppress("true"),
comment),
method(static("false"),
signature("getInputContext()"),
suppress("true"),
comment),
method(static("false"),
signature("setCursor(Cursor)"),
suppress("true"),
comment),
method(static("false"),
signature("getOwner()"),
suppress("true"),
comment),
method(static("false"),
signature("getOwnedWindows()"),
suppress("true"),
comment),
method(static("false"),
signature("addWindowListener(WindowListener)"),
suppress("false"),
comment),
method(static("false"),
signature("addWindowStateListener(WindowStateListener)"),
suppress("true"),
comment),
method(static("false"),
signature("addWindowFocusListener(WindowFocusListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeWindowListener(WindowListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeWindowStateListener(WindowStateListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeWindowFocusListener(WindowFocusListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getWindowListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getWindowFocusListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getWindowStateListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("getFocusOwner()"),
suppress("true"),
comment),
method(static("false"),
signature("getMostRecentFocusOwner()"),
suppress("true"),
comment),
method(static("false"),
signature("isActive()"),
suppress("false"),
comment),
method(static("false"),
signature("isFocused()"),
suppress("false"),
comment),
method(static("false"),
signature("getFocusTraversalKeys(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setFocusCycleRoot(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("isFocusCycleRoot()"),
suppress("true"),
comment),
method(static("false"),
signature("getFocusCycleRootAncestor()"),
suppress("true"),
comment),
method(static("false"),
signature("isFocusableWindow()"),
suppress("true"),
comment),
method(static("false"),
signature("setFocusableWindow(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("addPropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("addPropertyChangeListener(String, PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("postEvent(Event)"),
suppress("true"),
comment),
method(static("false"),
signature("isShowing()"),
suppress("false"),
comment),
method(static("false"),
signature("applyResourceBundle(ResourceBundle)"),
suppress("true"),
comment),
method(static("false"),
signature("applyResourceBundle(String)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
method(static("false"),
signature("getGraphicsConfiguration()"),
suppress("true"),
comment),
method(static("false"),
signature("setLocationRelativeTo(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("createBufferStrategy(int)"),
suppress("false"),
comment),
method(static("false"),
signature("createBufferStrategy(int, BufferCapabilities)"),
suppress("false"),
comment),
method(static("false"),
signature("getBufferStrategy()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/AWTEventListenerProxy.safej
Index: AWTEventListenerProxy.safej
===================================================================
class(name("java.awt.event.AWTEventListenerProxy"),
method(static("true"),
signature("new(long, AWTEventListener)"),
suppress("true"),
comment),
method(static("false"),
signature("eventDispatched(AWTEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("getEventMask()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/ActionEvent.safej
Index: ActionEvent.safej
===================================================================
class(name("java.awt.event.ActionEvent"),
method(static("true"),
signature("new(Object, int, String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Object, int, String, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getActionCommand()"),
suppress("false"),
comment),
method(static("false"),
signature("getModifiers()"),
suppress("false"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/AdjustmentEvent.safej
Index: AdjustmentEvent.safej
===================================================================
class(name("java.awt.event.AdjustmentEvent"),
method(static("true"),
signature("new(Adjustable, int, int, int)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Adjustable, int, int, int, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getAdjustable()"),
suppress("false"),
comment),
method(static("false"),
signature("getValue()"),
suppress("false"),
comment),
method(static("false"),
signature("getAdjustmentType()"),
suppress("false"),
comment),
method(static("false"),
signature("getValueIsAdjusting()"),
suppress("false"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/ComponentAdapter.safej
Index: ComponentAdapter.safej
===================================================================
class(name("java.awt.event.ComponentAdapter"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("componentResized(ComponentEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("componentMoved(ComponentEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("componentShown(ComponentEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("componentHidden(ComponentEvent)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/ComponentEvent.safej
Index: ComponentEvent.safej
===================================================================
class(name("java.awt.event.ComponentEvent"),
method(static("true"),
signature("new(Component, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getComponent()"),
suppress("false"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/ContainerAdapter.safej
Index: ContainerAdapter.safej
===================================================================
class(name("java.awt.event.ContainerAdapter"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("componentAdded(ContainerEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("componentRemoved(ContainerEvent)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/ContainerEvent.safej
Index: ContainerEvent.safej
===================================================================
class(name("java.awt.event.ContainerEvent"),
method(static("true"),
signature("new(Component, int, Component)"),
suppress("true"),
comment),
method(static("false"),
signature("getContainer()"),
suppress("false"),
comment),
method(static("false"),
signature("getChild()"),
suppress("false"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/FocusAdapter.safej
Index: FocusAdapter.safej
===================================================================
class(name("java.awt.event.FocusAdapter"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("focusGained(FocusEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("focusLost(FocusEvent)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/FocusEvent.safej
Index: FocusEvent.safej
===================================================================
class(name("java.awt.event.FocusEvent"),
method(static("true"),
signature("new(Component, int, boolean, Component)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Component, int, boolean)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Component, int)"),
suppress("true"),
comment),
method(static("false"),
signature("isTemporary()"),
suppress("false"),
comment),
method(static("false"),
signature("getOppositeComponent()"),
suppress("true"),
comment("Opposite component could be a button in the powerbar, unacceptable")),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/HierarchyBoundsAdapter.safej
Index: HierarchyBoundsAdapter.safej
===================================================================
class(name("java.awt.event.HierarchyBoundsAdapter"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("ancestorMoved(HierarchyEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("ancestorResized(HierarchyEvent)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/HierarchyEvent.safej
Index: HierarchyEvent.safej
===================================================================
class(name("java.awt.event.HierarchyEvent"),
method(static("true"),
signature("new(Component, int, Component, Container)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Component, int, Component, Container, long)"),
suppress("true"),
comment),
method(static("false"),
signature("getComponent()"),
suppress("true"),
comment),
method(static("false"),
signature("getChanged()"),
suppress("true"),
comment),
method(static("false"),
signature("getChangedParent()"),
suppress("true"),
comment),
method(static("false"),
signature("getChangeFlags()"),
suppress("true"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/InputEvent.safej
Index: InputEvent.safej
===================================================================
class(name("java.awt.event.InputEvent"),
method(static("false"),
signature("isShiftDown()"),
suppress("false"),
comment),
method(static("false"),
signature("isControlDown()"),
suppress("false"),
comment),
method(static("false"),
signature("isMetaDown()"),
suppress("false"),
comment),
method(static("false"),
signature("isAltDown()"),
suppress("false"),
comment),
method(static("false"),
signature("isAltGraphDown()"),
suppress("false"),
comment),
method(static("false"),
signature("isButton1Down()"),
suppress("false"),
comment),
method(static("false"),
signature("isButton2Down()"),
suppress("false"),
comment),
method(static("false"),
signature("isButton3Down()"),
suppress("false"),
comment),
method(static("false"),
signature("getWhen()"),
suppress("false"),
comment),
method(static("false"),
signature("getModifiers()"),
suppress("false"),
comment),
method(static("false"),
signature("consume()"),
suppress("false"),
comment),
method(static("false"),
signature("isConsumed()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/InputMethodEvent.safej
Index: InputMethodEvent.safej
===================================================================
class(name("java.awt.event.InputMethodEvent"),
method(static("true"),
signature("new(Component, int, AttributedCharacterIterator, int, TextHitInfo, TextHitInfo)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Component, int, TextHitInfo, TextHitInfo)"),
suppress("true"),
comment),
method(static("false"),
signature("getText()"),
suppress("false"),
comment),
method(static("false"),
signature("getCommittedCharacterCount()"),
suppress("false"),
comment),
method(static("false"),
signature("getCaret()"),
suppress("false"),
comment),
method(static("false"),
signature("getVisiblePosition()"),
suppress("false"),
comment),
method(static("false"),
signature("consume()"),
suppress("false"),
comment),
method(static("false"),
signature("isConsumed()"),
suppress("false"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/InvocationEvent.safej
Index: InvocationEvent.safej
===================================================================
class(name("java.awt.event.InvocationEvent"),
method(static("true"),
signature("new(Object, Runnable)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Object, Runnable, Object, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("dispatch()"),
suppress("true"),
comment),
method(static("false"),
signature("getException()"),
suppress("true"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/ItemEvent.safej
Index: ItemEvent.safej
===================================================================
class(name("java.awt.event.ItemEvent"),
method(static("true"),
signature("new(ItemSelectable, int, Object, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getItemSelectable()"),
suppress("false"),
comment),
method(static("false"),
signature("getItem()"),
suppress("false"),
comment),
method(static("false"),
signature("getStateChange()"),
suppress("false"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/KeyAdapter.safej
Index: KeyAdapter.safej
===================================================================
class(name("java.awt.event.KeyAdapter"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("keyTyped(KeyEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("keyPressed(KeyEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("keyReleased(KeyEvent)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/KeyEvent.safej
Index: KeyEvent.safej
===================================================================
class(name("java.awt.event.KeyEvent"),
method(static("true"),
signature("new(Component, int, long, int, int, char, int)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Component, int, long, int, int, char)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Component, int, long, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getKeyCode()"),
suppress("false"),
comment),
method(static("false"),
signature("setKeyCode(int)"),
suppress("true"),
comment("Could be used to lie to a parent across a trust boundary")),
method(static("false"),
signature("getKeyChar()"),
suppress("false"),
comment),
method(static("false"),
signature("setKeyChar(char)"),
suppress("true"),
comment),
method(static("false"),
signature("setModifiers(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getKeyLocation()"),
suppress("false"),
comment),
method(static("false"),
signature("getKeyText(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getKeyModifiersText(int)"),
suppress("false"),
comment),
method(static("false"),
signature("isActionKey()"),
suppress("false"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/MouseAdapter.safej
Index: MouseAdapter.safej
===================================================================
class(name("java.awt.event.MouseAdapter"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("mouseClicked(MouseEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("mousePressed(MouseEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("mouseReleased(MouseEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("mouseEntered(MouseEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("mouseExited(MouseEvent)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/MouseEvent.safej
Index: MouseEvent.safej
===================================================================
class(name("java.awt.event.MouseEvent"),
method(static("true"),
signature("new(Component, int, long, int, int, int, int, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getX()"),
suppress("false"),
comment),
method(static("false"),
signature("getY()"),
suppress("false"),
comment),
method(static("false"),
signature("getPoint()"),
suppress("false"),
comment),
method(static("false"),
signature("translatePoint(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getClickCount()"),
suppress("false"),
comment),
method(static("false"),
signature("getButton()"),
suppress("false"),
comment),
method(static("false"),
signature("isPopupTrigger()"),
suppress("false"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/MouseMotionAdapter.safej
Index: MouseMotionAdapter.safej
===================================================================
class(name("java.awt.event.MouseMotionAdapter"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("mouseDragged(MouseEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("mouseMoved(MouseEvent)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/MouseWheelEvent.safej
Index: MouseWheelEvent.safej
===================================================================
class(name("java.awt.event.MouseWheelEvent"),
method(static("true"),
signature("new(Component, int, long, int, int, int, int, boolean, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getScrollType()"),
suppress("false"),
comment),
method(static("false"),
signature("getScrollAmount()"),
suppress("false"),
comment),
method(static("false"),
signature("getWheelRotation()"),
suppress("false"),
comment),
method(static("false"),
signature("getUnitsToScroll()"),
suppress("false"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/PaintEvent.safej
Index: PaintEvent.safej
===================================================================
class(name("java.awt.event.PaintEvent"),
method(static("true"),
signature("new(Component, int, Rectangle)"),
suppress("true"),
comment),
method(static("false"),
signature("getUpdateRect()"),
suppress("false"),
comment),
method(static("false"),
signature("setUpdateRect(Rectangle)"),
suppress("true"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/java/awt/event/TextEvent.safej
Index: TextEvent.safej
===================================================================
class(name("java.awt.event.TextEvent"),
method(static("true"),
signature("new(Object, int)"),
suppress("true"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/WindowAdapter.safej
Index: WindowAdapter.safej
===================================================================
class(name("java.awt.event.WindowAdapter"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("windowOpened(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowClosing(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowClosed(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowIconified(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowDeiconified(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowActivated(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowDeactivated(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowStateChanged(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowGainedFocus(WindowEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("windowLostFocus(WindowEvent)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/java/awt/event/WindowEvent.safej
Index: WindowEvent.safej
===================================================================
class(name("java.awt.event.WindowEvent"),
method(static("true"),
signature("new(Window, int, Window, int, int)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Window, int, Window)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Window, int, int, int)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Window, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getWindow()"),
suppress("true"),
comment),
method(static("false"),
signature("getOppositeWindow()"),
suppress("true"),
comment),
method(static("false"),
signature("getOldState()"),
suppress("false"),
comment),
method(static("false"),
signature("getNewState()"),
suppress("false"),
comment),
method(static("false"),
signature("paramString()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/AbstractAction.safej
Index: AbstractAction.safej
===================================================================
class(name("javax.swing.AbstractAction"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(String)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String, Icon)"),
suppress("false"),
comment),
method(static("false"),
signature("getValue(String)"),
suppress("true"),
comment),
method(static("false"),
signature("putValue(String, Object)"),
suppress("true"),
comment),
method(static("false"),
signature("isEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("setEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getKeys()"),
suppress("true"),
comment),
method(static("false"),
signature("addPropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removePropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getPropertyChangeListeners()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/AbstractButton.safej
Index: AbstractButton.safej
===================================================================
class(name("javax.swing.AbstractButton"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("getText()"),
suppress("false"),
comment),
method(static("false"),
signature("setText(String)"),
suppress("false"),
comment),
method(static("false"),
signature("isSelected()"),
suppress("false"),
comment),
method(static("false"),
signature("setSelected(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("doClick()"),
suppress("true"),
comment("could be used to trick listeners. Is probably ok, but needs review")),
method(static("false"),
signature("doClick(int)"),
suppress("true"),
comment("could be used to trick listeners. Is probably ok, but needs review")),
method(static("false"),
signature("setMargin(Insets)"),
suppress("false"),
comment),
method(static("false"),
signature("getMargin()"),
suppress("false"),
comment),
method(static("false"),
signature("getIcon()"),
suppress("false"),
comment),
method(static("false"),
signature("setIcon(Icon)"),
suppress("false"),
comment),
method(static("false"),
signature("getPressedIcon()"),
suppress("false"),
comment),
method(static("false"),
signature("setPressedIcon(Icon)"),
suppress("false"),
comment),
method(static("false"),
signature("getSelectedIcon()"),
suppress("false"),
comment),
method(static("false"),
signature("setSelectedIcon(Icon)"),
suppress("false"),
comment),
method(static("false"),
signature("getRolloverIcon()"),
suppress("false"),
comment),
method(static("false"),
signature("setRolloverIcon(Icon)"),
suppress("false"),
comment),
method(static("false"),
signature("getRolloverSelectedIcon()"),
suppress("false"),
comment),
method(static("false"),
signature("setRolloverSelectedIcon(Icon)"),
suppress("false"),
comment),
method(static("false"),
signature("getDisabledIcon()"),
suppress("false"),
comment),
method(static("false"),
signature("setDisabledIcon(Icon)"),
suppress("false"),
comment),
method(static("false"),
signature("getDisabledSelectedIcon()"),
suppress("false"),
comment),
method(static("false"),
signature("setDisabledSelectedIcon(Icon)"),
suppress("false"),
comment),
method(static("false"),
signature("getVerticalAlignment()"),
suppress("false"),
comment),
method(static("false"),
signature("setVerticalAlignment(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getHorizontalAlignment()"),
suppress("false"),
comment),
method(static("false"),
signature("setHorizontalAlignment(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getVerticalTextPosition()"),
suppress("false"),
comment),
method(static("false"),
signature("setVerticalTextPosition(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getHorizontalTextPosition()"),
suppress("false"),
comment),
method(static("false"),
signature("setHorizontalTextPosition(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setActionCommand(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getActionCommand()"),
suppress("false"),
comment),
method(static("false"),
signature("setAction(Action)"),
suppress("false"),
comment),
method(static("false"),
signature("getAction()"),
suppress("false"),
comment),
method(static("false"),
signature("isBorderPainted()"),
suppress("false"),
comment),
method(static("false"),
signature("setBorderPainted(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isFocusPainted()"),
suppress("false"),
comment),
method(static("false"),
signature("setFocusPainted(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isContentAreaFilled()"),
suppress("false"),
comment),
method(static("false"),
signature("setContentAreaFilled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isRolloverEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("setRolloverEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getMnemonic()"),
suppress("false"),
comment),
method(static("false"),
signature("setMnemonic(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setMnemonic(char)"),
suppress("false"),
comment),
method(static("false"),
signature("setDisplayedMnemonicIndex(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getDisplayedMnemonicIndex()"),
suppress("false"),
comment),
method(static("false"),
signature("setMultiClickThreshhold(long)"),
suppress("false"),
comment),
method(static("false"),
signature("getMultiClickThreshhold()"),
suppress("false"),
comment),
method(static("false"),
signature("getModel()"),
suppress("false"),
comment),
method(static("false"),
signature("setModel(ButtonModel)"),
suppress("false"),
comment),
method(static("false"),
signature("getUI()"),
suppress("false"),
comment),
method(static("false"),
signature("setUI(ButtonUI)"),
suppress("false"),
comment),
method(static("false"),
signature("updateUI()"),
suppress("false"),
comment),
method(static("false"),
signature("addChangeListener(ChangeListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeChangeListener(ChangeListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getChangeListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addActionListener(ActionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeActionListener(ActionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getActionListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("setEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getLabel()"),
suppress("false"),
comment),
method(static("false"),
signature("setLabel(String)"),
suppress("false"),
comment),
method(static("false"),
signature("addItemListener(ItemListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeItemListener(ItemListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getItemListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedObjects()"),
suppress("false"),
comment),
method(static("false"),
signature("imageUpdate(Image, int, int, int, int, int)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/AbstractCellEditor.safej
Index: AbstractCellEditor.safej
===================================================================
class(name("javax.swing.AbstractCellEditor"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("isCellEditable(EventObject)"),
suppress("false"),
comment),
method(static("false"),
signature("shouldSelectCell(EventObject)"),
suppress("false"),
comment),
method(static("false"),
signature("stopCellEditing()"),
suppress("false"),
comment),
method(static("false"),
signature("cancelCellEditing()"),
suppress("false"),
comment),
method(static("false"),
signature("addCellEditorListener(CellEditorListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeCellEditorListener(CellEditorListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getCellEditorListeners()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/AbstractListModel.safej
Index: AbstractListModel.safej
===================================================================
class(name("javax.swing.AbstractListModel"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("addListDataListener(ListDataListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeListDataListener(ListDataListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getListDataListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/AbstractSpinnerModel.safej
Index: AbstractSpinnerModel.safej
===================================================================
class(name("javax.swing.AbstractSpinnerModel"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("addChangeListener(ChangeListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeChangeListener(ChangeListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getChangeListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/ActionMap.safej
Index: ActionMap.safej
===================================================================
class(name("javax.swing.ActionMap"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("setParent(ActionMap)"),
suppress("false"),
comment),
method(static("false"),
signature("getParent()"),
suppress("true"),
comment),
method(static("false"),
signature("put(Object, Action)"),
suppress("false"),
comment),
method(static("false"),
signature("get(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("clear()"),
suppress("false"),
comment),
method(static("false"),
signature("keys()"),
suppress("false"),
comment),
method(static("false"),
signature("size()"),
suppress("false"),
comment),
method(static("false"),
signature("allKeys()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/BorderFactory.safej
Index: BorderFactory.safej
===================================================================
class(name("javax.swing.BorderFactory"),
method(static("false"),
signature("createLineBorder(Color)"),
suppress("false"),
comment),
method(static("false"),
signature("createLineBorder(Color, int)"),
suppress("false"),
comment),
method(static("false"),
signature("createRaisedBevelBorder()"),
suppress("false"),
comment),
method(static("false"),
signature("createLoweredBevelBorder()"),
suppress("false"),
comment),
method(static("false"),
signature("createBevelBorder(int)"),
suppress("false"),
comment),
method(static("false"),
signature("createBevelBorder(int, Color, Color)"),
suppress("false"),
comment),
method(static("false"),
signature("createBevelBorder(int, Color, Color, Color, Color)"),
suppress("false"),
comment),
method(static("false"),
signature("createEtchedBorder()"),
suppress("false"),
comment),
method(static("false"),
signature("createEtchedBorder(Color, Color)"),
suppress("false"),
comment),
method(static("false"),
signature("createEtchedBorder(int)"),
suppress("false"),
comment),
method(static("false"),
signature("createEtchedBorder(int, Color, Color)"),
suppress("false"),
comment),
method(static("false"),
signature("createTitledBorder(String)"),
suppress("false"),
comment),
method(static("false"),
signature("createTitledBorder(Border)"),
suppress("false"),
comment),
method(static("false"),
signature("createTitledBorder(Border, String)"),
suppress("false"),
comment),
method(static("false"),
signature("createTitledBorder(Border, String, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("createTitledBorder(Border, String, int, int, Font)"),
suppress("false"),
comment),
method(static("false"),
signature("createTitledBorder(Border, String, int, int, Font, Color)"),
suppress("false"),
comment),
method(static("false"),
signature("createEmptyBorder()"),
suppress("false"),
comment),
method(static("false"),
signature("createEmptyBorder(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("createCompoundBorder()"),
suppress("false"),
comment),
method(static("false"),
signature("createCompoundBorder(Border, Border)"),
suppress("false"),
comment),
method(static("false"),
signature("createMatteBorder(int, int, int, int, Color)"),
suppress("false"),
comment),
method(static("false"),
signature("createMatteBorder(int, int, int, int, Icon)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/Box$Filler.safej
Index: Box$Filler.safej
===================================================================
class(name("javax.swing.Box.Filler"),
method(static("true"),
signature("new(Dimension, Dimension, Dimension)"),
suppress("false"),
comment),
method(static("false"),
signature("changeShape(Dimension, Dimension, Dimension)"),
suppress("false"),
comment),
method(static("false"),
signature("getMinimumSize()"),
suppress("false"),
comment),
method(static("false"),
signature("getPreferredSize()"),
suppress("false"),
comment),
method(static("false"),
signature("getMaximumSize()"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/Box.safej
Index: Box.safej
===================================================================
class(name("javax.swing.Box"),
method(static("true"),
signature("new(int)"),
suppress("false"),
comment),
method(static("false"),
signature("createHorizontalBox()"),
suppress("false"),
comment),
method(static("false"),
signature("createVerticalBox()"),
suppress("false"),
comment),
method(static("false"),
signature("createRigidArea(Dimension)"),
suppress("false"),
comment),
method(static("false"),
signature("createHorizontalStrut(int)"),
suppress("false"),
comment),
method(static("false"),
signature("createVerticalStrut(int)"),
suppress("false"),
comment),
method(static("false"),
signature("createGlue()"),
suppress("false"),
comment),
method(static("false"),
signature("createHorizontalGlue()"),
suppress("false"),
comment),
method(static("false"),
signature("createVerticalGlue()"),
suppress("false"),
comment),
method(static("false"),
signature("setLayout(LayoutManager)"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/BoxLayout.safej
Index: BoxLayout.safej
===================================================================
class(name("javax.swing.BoxLayout"),
method(static("true"),
signature("new(Container, int)"),
suppress("false"),
comment),
method(static("false"),
signature("invalidateLayout(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("addLayoutComponent(String, Component)"),
suppress("true"),
comment),
method(static("false"),
signature("removeLayoutComponent(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("addLayoutComponent(Component, Object)"),
suppress("true"),
comment),
method(static("false"),
signature("preferredLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("minimumLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("maximumLayoutSize(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("getLayoutAlignmentX(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("getLayoutAlignmentY(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("layoutContainer(Container)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/ButtonGroup.safej
Index: ButtonGroup.safej
===================================================================
class(name("javax.swing.ButtonGroup"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("add(AbstractButton)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(AbstractButton)"),
suppress("false"),
comment),
method(static("false"),
signature("getElements()"),
suppress("false"),
comment),
method(static("false"),
signature("getSelection()"),
suppress("false"),
comment),
method(static("false"),
signature("setSelected(ButtonModel, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isSelected(ButtonModel)"),
suppress("false"),
comment),
method(static("false"),
signature("getButtonCount()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/CellRendererPane.safej
Index: CellRendererPane.safej
===================================================================
class(name("javax.swing.CellRendererPane"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("invalidate()"),
suppress("true"),
comment),
method(static("false"),
signature("paint(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("update(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("paintComponent(Graphics, Component, Container, int, int, int, int, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("paintComponent(Graphics, Component, Container, int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("paintComponent(Graphics, Component, Container, Rectangle)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/ComponentInputMap.safej
Index: ComponentInputMap.safej
===================================================================
class(name("javax.swing.ComponentInputMap"),
method(static("true"),
signature("new(JComponent)"),
suppress("true"),
comment),
method(static("false"),
signature("setParent(InputMap)"),
suppress("true"),
comment),
method(static("false"),
signature("getComponent()"),
suppress("true"),
comment),
method(static("false"),
signature("put(KeyStroke, Object)"),
suppress("true"),
comment),
method(static("false"),
signature("remove(KeyStroke)"),
suppress("true"),
comment),
method(static("false"),
signature("clear()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/DebugGraphics.safej
Index: DebugGraphics.safej
===================================================================
class(name("javax.swing.DebugGraphics"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(Graphics, JComponent)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("create()"),
suppress("true"),
comment),
method(static("false"),
signature("create(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("setFlashColor(Color)"),
suppress("true"),
comment),
method(static("false"),
signature("flashColor()"),
suppress("true"),
comment),
method(static("false"),
signature("setFlashTime(int)"),
suppress("true"),
comment),
method(static("false"),
signature("flashTime()"),
suppress("true"),
comment),
method(static("false"),
signature("setFlashCount(int)"),
suppress("true"),
comment),
method(static("false"),
signature("flashCount()"),
suppress("true"),
comment),
method(static("false"),
signature("setLogStream(PrintStream)"),
suppress("true"),
comment),
method(static("false"),
signature("logStream()"),
suppress("true"),
comment),
method(static("false"),
signature("setFont(Font)"),
suppress("true"),
comment),
method(static("false"),
signature("getFont()"),
suppress("true"),
comment),
method(static("false"),
signature("setColor(Color)"),
suppress("true"),
comment),
method(static("false"),
signature("getColor()"),
suppress("true"),
comment),
method(static("false"),
signature("getFontMetrics()"),
suppress("true"),
comment),
method(static("false"),
signature("getFontMetrics(Font)"),
suppress("true"),
comment),
method(static("false"),
signature("translate(int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("setPaintMode()"),
suppress("true"),
comment),
method(static("false"),
signature("setXORMode(Color)"),
suppress("true"),
comment),
method(static("false"),
signature("getClipBounds()"),
suppress("true"),
comment),
method(static("false"),
signature("clipRect(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("setClip(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getClip()"),
suppress("true"),
comment),
method(static("false"),
signature("setClip(Shape)"),
suppress("true"),
comment),
method(static("false"),
signature("drawRect(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("fillRect(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("clearRect(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("drawRoundRect(int, int, int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("fillRoundRect(int, int, int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("drawLine(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("draw3DRect(int, int, int, int, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("fill3DRect(int, int, int, int, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("drawOval(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("fillOval(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("drawArc(int, int, int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("fillArc(int, int, int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("drawPolyline(int[], int[], int)"),
suppress("true"),
comment),
method(static("false"),
signature("drawPolygon(int[], int[], int)"),
suppress("true"),
comment),
method(static("false"),
signature("fillPolygon(int[], int[], int)"),
suppress("true"),
comment),
method(static("false"),
signature("drawString(String, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("drawString(AttributedCharacterIterator, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("drawBytes(byte[], int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("drawChars(char[], int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, ImageObserver)"),
suppress("true"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, int, int, ImageObserver)"),
suppress("true"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, Color, ImageObserver)"),
suppress("true"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, int, int, Color, ImageObserver)"),
suppress("true"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, int, int, int, int, int, int, ImageObserver)"),
suppress("true"),
comment),
method(static("false"),
signature("drawImage(Image, int, int, int, int, int, int, int, int, Color, ImageObserver)"),
suppress("true"),
comment),
method(static("false"),
signature("copyArea(int, int, int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("dispose()"),
suppress("true"),
comment),
method(static("false"),
signature("isDrawingBuffer()"),
suppress("true"),
comment),
method(static("false"),
signature("setDebugOptions(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getDebugOptions()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/DefaultBoundedRangeModel.safej
Index: DefaultBoundedRangeModel.safej
===================================================================
class(name("javax.swing.DefaultBoundedRangeModel"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getValue()"),
suppress("false"),
comment),
method(static("false"),
signature("getExtent()"),
suppress("false"),
comment),
method(static("false"),
signature("getMinimum()"),
suppress("false"),
comment),
method(static("false"),
signature("getMaximum()"),
suppress("false"),
comment),
method(static("false"),
signature("setValue(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setExtent(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setMinimum(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setMaximum(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setValueIsAdjusting(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getValueIsAdjusting()"),
suppress("false"),
comment),
method(static("false"),
signature("setRangeProperties(int, int, int, int, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("addChangeListener(ChangeListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeChangeListener(ChangeListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getChangeListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/DefaultButtonModel.safej
Index: DefaultButtonModel.safej
===================================================================
class(name("javax.swing.DefaultButtonModel"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("setActionCommand(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getActionCommand()"),
suppress("false"),
comment),
method(static("false"),
signature("isArmed()"),
suppress("false"),
comment),
method(static("false"),
signature("isSelected()"),
suppress("false"),
comment),
method(static("false"),
signature("isEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("isPressed()"),
suppress("false"),
comment),
method(static("false"),
signature("isRollover()"),
suppress("false"),
comment),
method(static("false"),
signature("setArmed(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("setEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("setSelected(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("setPressed(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("setRollover(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("setMnemonic(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getMnemonic()"),
suppress("false"),
comment),
method(static("false"),
signature("addChangeListener(ChangeListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeChangeListener(ChangeListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getChangeListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addActionListener(ActionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeActionListener(ActionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getActionListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addItemListener(ItemListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeItemListener(ItemListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getItemListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedObjects()"),
suppress("false"),
comment),
method(static("false"),
signature("setGroup(ButtonGroup)"),
suppress("false"),
comment),
method(static("false"),
signature("getGroup()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/DefaultCellEditor.safej
Index: DefaultCellEditor.safej
===================================================================
class(name("javax.swing.DefaultCellEditor"),
method(static("true"),
signature("new(JTextField)"),
suppress("false"),
comment),
method(static("true"),
signature("new(JCheckBox)"),
suppress("false"),
comment),
method(static("true"),
signature("new(JComboBox)"),
suppress("false"),
comment),
method(static("false"),
signature("getComponent()"),
suppress("false"),
comment),
method(static("false"),
signature("setClickCountToStart(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getClickCountToStart()"),
suppress("false"),
comment),
method(static("false"),
signature("getCellEditorValue()"),
suppress("false"),
comment),
method(static("false"),
signature("isCellEditable(EventObject)"),
suppress("false"),
comment),
method(static("false"),
signature("shouldSelectCell(EventObject)"),
suppress("false"),
comment),
method(static("false"),
signature("stopCellEditing()"),
suppress("false"),
comment),
method(static("false"),
signature("cancelCellEditing()"),
suppress("false"),
comment),
method(static("false"),
signature("getTreeCellEditorComponent(JTree, Object, boolean, boolean, boolean, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getTableCellEditorComponent(JTable, Object, boolean, int, int)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/DefaultComboBoxModel.safej
Index: DefaultComboBoxModel.safej
===================================================================
class(name("javax.swing.DefaultComboBoxModel"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(Object[])"),
suppress("false"),
comment),
method(static("true"),
signature("new(Vector)"),
suppress("false"),
comment),
method(static("false"),
signature("setSelectedItem(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("getSelectedItem()"),
suppress("false"),
comment),
method(static("false"),
signature("getSize()"),
suppress("false"),
comment),
method(static("false"),
signature("getElementAt(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getIndexOf(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("addElement(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("insertElementAt(Object, int)"),
suppress("false"),
comment),
method(static("false"),
signature("removeElementAt(int)"),
suppress("false"),
comment),
method(static("false"),
signature("removeElement(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("removeAllElements()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/DefaultDesktopManager.safej
Index: DefaultDesktopManager.safej
===================================================================
class(name("javax.swing.DefaultDesktopManager"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("openFrame(JInternalFrame)"),
suppress("true"),
comment),
method(static("false"),
signature("closeFrame(JInternalFrame)"),
suppress("true"),
comment),
method(static("false"),
signature("maximizeFrame(JInternalFrame)"),
suppress("true"),
comment),
method(static("false"),
signature("minimizeFrame(JInternalFrame)"),
suppress("true"),
comment),
method(static("false"),
signature("iconifyFrame(JInternalFrame)"),
suppress("true"),
comment),
method(static("false"),
signature("deiconifyFrame(JInternalFrame)"),
suppress("true"),
comment),
method(static("false"),
signature("activateFrame(JInternalFrame)"),
suppress("true"),
comment),
method(static("false"),
signature("deactivateFrame(JInternalFrame)"),
suppress("true"),
comment),
method(static("false"),
signature("beginDraggingFrame(JComponent)"),
suppress("true"),
comment),
method(static("false"),
signature("dragFrame(JComponent, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("endDraggingFrame(JComponent)"),
suppress("true"),
comment),
method(static("false"),
signature("beginResizingFrame(JComponent, int)"),
suppress("true"),
comment),
method(static("false"),
signature("resizeFrame(JComponent, int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("endResizingFrame(JComponent)"),
suppress("true"),
comment),
method(static("false"),
signature("setBoundsForFrame(JComponent, int, int, int, int)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/DefaultFocusManager.safej
Index: DefaultFocusManager.safej
===================================================================
class(name("javax.swing.DefaultFocusManager"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("getComponentAfter(Container, Component)"),
suppress("true"),
comment),
method(static("false"),
signature("getComponentBefore(Container, Component)"),
suppress("true"),
comment),
method(static("false"),
signature("getFirstComponent(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("getLastComponent(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("compareTabOrder(Component, Component)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/DefaultListCellRenderer$UIResource.safej
Index: DefaultListCellRenderer$UIResource.safej
===================================================================
class(name("javax.swing.DefaultListCellRenderer.UIResource"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/DefaultListCellRenderer.safej
Index: DefaultListCellRenderer.safej
===================================================================
class(name("javax.swing.DefaultListCellRenderer"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("getListCellRendererComponent(JList, Object, int, boolean, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("validate()"),
suppress("true"),
comment),
method(static("false"),
signature("revalidate()"),
suppress("true"),
comment),
method(static("false"),
signature("repaint(long, int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("repaint(Rectangle)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, byte, byte)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, char, char)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, short, short)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, long, long)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, float, float)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, double, double)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, boolean, boolean)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/DefaultListModel.safej
Index: DefaultListModel.safej
===================================================================
class(name("javax.swing.DefaultListModel"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("getSize()"),
suppress("false"),
comment),
method(static("false"),
signature("getElementAt(int)"),
suppress("false"),
comment),
method(static("false"),
signature("copyInto(Object[])"),
suppress("true"),
comment),
method(static("false"),
signature("trimToSize()"),
suppress("false"),
comment),
method(static("false"),
signature("ensureCapacity(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setSize(int)"),
suppress("false"),
comment),
method(static("false"),
signature("capacity()"),
suppress("false"),
comment),
method(static("false"),
signature("size()"),
suppress("false"),
comment),
method(static("false"),
signature("isEmpty()"),
suppress("false"),
comment),
method(static("false"),
signature("elements()"),
suppress("false"),
comment),
method(static("false"),
signature("contains(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("indexOf(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("indexOf(Object, int)"),
suppress("false"),
comment),
method(static("false"),
signature("lastIndexOf(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("lastIndexOf(Object, int)"),
suppress("false"),
comment),
method(static("false"),
signature("elementAt(int)"),
suppress("false"),
comment),
method(static("false"),
signature("firstElement()"),
suppress("false"),
comment),
method(static("false"),
signature("lastElement()"),
suppress("false"),
comment),
method(static("false"),
signature("setElementAt(Object, int)"),
suppress("false"),
comment),
method(static("false"),
signature("removeElementAt(int)"),
suppress("false"),
comment),
method(static("false"),
signature("insertElementAt(Object, int)"),
suppress("false"),
comment),
method(static("false"),
signature("addElement(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("removeElement(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("removeAllElements()"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
method(static("false"),
signature("toArray()"),
suppress("false"),
comment),
method(static("false"),
signature("get(int)"),
suppress("false"),
comment),
method(static("false"),
signature("set(int, Object)"),
suppress("false"),
comment),
method(static("false"),
signature("add(int, Object)"),
suppress("false"),
comment),
method(static("false"),
signature("remove(int)"),
suppress("false"),
comment),
method(static("false"),
signature("clear()"),
suppress("false"),
comment),
method(static("false"),
signature("removeRange(int, int)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/DefaultListSelectionModel.safej
Index: DefaultListSelectionModel.safej
===================================================================
class(name("javax.swing.DefaultListSelectionModel"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("getMinSelectionIndex()"),
suppress("false"),
comment),
method(static("false"),
signature("getMaxSelectionIndex()"),
suppress("false"),
comment),
method(static("false"),
signature("getValueIsAdjusting()"),
suppress("false"),
comment),
method(static("false"),
signature("getSelectionMode()"),
suppress("false"),
comment),
method(static("false"),
signature("setSelectionMode(int)"),
suppress("false"),
comment),
method(static("false"),
signature("isSelectedIndex(int)"),
suppress("false"),
comment),
method(static("false"),
signature("isSelectionEmpty()"),
suppress("false"),
comment),
method(static("false"),
signature("addListSelectionListener(ListSelectionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeListSelectionListener(ListSelectionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getListSelectionListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("setLeadAnchorNotificationEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isLeadAnchorNotificationEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("clearSelection()"),
suppress("false"),
comment),
method(static("false"),
signature("setSelectionInterval(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("addSelectionInterval(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("removeSelectionInterval(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("insertIndexInterval(int, int, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("removeIndexInterval(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("setValueIsAdjusting(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
method(static("false"),
signature("clone()"),
suppress("false"),
comment),
method(static("false"),
signature("getAnchorSelectionIndex()"),
suppress("false"),
comment),
method(static("false"),
signature("getLeadSelectionIndex()"),
suppress("false"),
comment),
method(static("false"),
signature("setAnchorSelectionIndex(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setLeadSelectionIndex(int)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/DefaultSingleSelectionModel.safej
Index: DefaultSingleSelectionModel.safej
===================================================================
class(name("javax.swing.DefaultSingleSelectionModel"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("getSelectedIndex()"),
suppress("false"),
comment),
method(static("false"),
signature("setSelectedIndex(int)"),
suppress("false"),
comment),
method(static("false"),
signature("clearSelection()"),
suppress("false"),
comment),
method(static("false"),
signature("isSelected()"),
suppress("false"),
comment),
method(static("false"),
signature("addChangeListener(ChangeListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeChangeListener(ChangeListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getChangeListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/FocusManager.safej
Index: FocusManager.safej
===================================================================
class(name("javax.swing.FocusManager"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("getCurrentManager()"),
suppress("true"),
comment),
method(static("false"),
signature("setCurrentManager(FocusManager)"),
suppress("true"),
comment),
method(static("false"),
signature("disableSwingFocusManager()"),
suppress("true"),
comment),
method(static("false"),
signature("isFocusManagerEnabled()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/GrayFilter.safej
Index: GrayFilter.safej
===================================================================
class(name("javax.swing.GrayFilter"),
method(static("true"),
signature("new(boolean, int)"),
suppress("false"),
comment),
method(static("false"),
signature("createDisabledImage(Image)"),
suppress("false"),
comment),
method(static("false"),
signature("filterRGB(int, int, int)"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/ImageIcon.safej
Index: ImageIcon.safej
===================================================================
class(name("javax.swing.ImageIcon"),
method(static("true"),
signature("new(String, String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String)"),
suppress("true"),
comment("Must implement ImageIcon(File) method!")),
method(static("true"),
signature("new(URL, String)"),
suppress("false"),
comment),
method(static("true"),
signature("new(URL)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Image, String)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Image)"),
suppress("false"),
comment),
method(static("true"),
signature("new(byte[], String)"),
suppress("false"),
comment),
method(static("true"),
signature("new(byte[])"),
suppress("false"),
comment),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("getImageLoadStatus()"),
suppress("false"),
comment),
method(static("false"),
signature("getImage()"),
suppress("false"),
comment),
method(static("false"),
signature("setImage(Image)"),
suppress("false"),
comment),
method(static("false"),
signature("getDescription()"),
suppress("false"),
comment),
method(static("false"),
signature("setDescription(String)"),
suppress("false"),
comment),
method(static("false"),
signature("paintIcon(Component, Graphics, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("getIconWidth()"),
suppress("false"),
comment),
method(static("false"),
signature("getIconHeight()"),
suppress("false"),
comment),
method(static("false"),
signature("setImageObserver(ImageObserver)"),
suppress("false"),
comment),
method(static("false"),
signature("getImageObserver()"),
suppress("false"),
comment),
method(static("false"),
signature("toString()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/InputMap.safej
Index: InputMap.safej
===================================================================
class(name("javax.swing.InputMap"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("setParent(InputMap)"),
suppress("true"),
comment),
method(static("false"),
signature("getParent()"),
suppress("true"),
comment),
method(static("false"),
signature("put(KeyStroke, Object)"),
suppress("true"),
comment),
method(static("false"),
signature("get(KeyStroke)"),
suppress("true"),
comment),
method(static("false"),
signature("remove(KeyStroke)"),
suppress("true"),
comment),
method(static("false"),
signature("clear()"),
suppress("true"),
comment),
method(static("false"),
signature("keys()"),
suppress("true"),
comment),
method(static("false"),
signature("size()"),
suppress("true"),
comment),
method(static("false"),
signature("allKeys()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/InputVerifier.safej
Index: InputVerifier.safej
===================================================================
class(name("javax.swing.InputVerifier"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("verify(JComponent)"),
suppress("true"),
comment),
method(static("false"),
signature("shouldYieldFocus(JComponent)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/InternalFrameFocusTraversalPolicy.safej
Index: InternalFrameFocusTraversalPolicy.safej
===================================================================
class(name("javax.swing.InternalFrameFocusTraversalPolicy"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("getInitialComponent(JInternalFrame)"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/JApplet.safej
Index: JApplet.safej
===================================================================
class(name("javax.swing.JApplet"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("update(Graphics)"),
suppress("false"),
comment),
method(static("false"),
signature("setJMenuBar(JMenuBar)"),
suppress("false"),
comment),
method(static("false"),
signature("getJMenuBar()"),
suppress("false"),
comment),
method(static("false"),
signature("remove(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("setLayout(LayoutManager)"),
suppress("false"),
comment),
method(static("false"),
signature("getRootPane()"),
suppress("true"),
comment),
method(static("false"),
signature("getContentPane()"),
suppress("false"),
comment),
method(static("false"),
signature("setContentPane(Container)"),
suppress("false"),
comment),
method(static("false"),
signature("getLayeredPane()"),
suppress("true"),
comment),
method(static("false"),
signature("setLayeredPane(JLayeredPane)"),
suppress("true"),
comment),
method(static("false"),
signature("getGlassPane()"),
suppress("true"),
comment),
method(static("false"),
signature("setGlassPane(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/JButton.safej
Index: JButton.safej
===================================================================
class(name("javax.swing.JButton"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(Icon)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Action)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String, Icon)"),
suppress("false"),
comment),
method(static("false"),
signature("updateUI()"),
suppress("true"),
comment),
method(static("false"),
signature("getUIClassID()"),
suppress("true"),
comment),
method(static("false"),
signature("isDefaultButton()"),
suppress("false"),
comment),
method(static("false"),
signature("isDefaultCapable()"),
suppress("false"),
comment),
method(static("false"),
signature("setDefaultCapable(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("removeNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/JCheckBox.safej
Index: JCheckBox.safej
===================================================================
class(name("javax.swing.JCheckBox"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(Icon)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Icon, boolean)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Action)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String, boolean)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String, Icon)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String, Icon, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("setBorderPaintedFlat(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isBorderPaintedFlat()"),
suppress("false"),
comment),
method(static("false"),
signature("updateUI()"),
suppress("false"),
comment),
method(static("false"),
signature("getUIClassID()"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/JCheckBoxMenuItem.safej
Index: JCheckBoxMenuItem.safej
===================================================================
class(name("javax.swing.JCheckBoxMenuItem"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(Icon)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Action)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String, Icon)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String, boolean)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String, Icon, boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getUIClassID()"),
suppress("false"),
comment),
method(static("false"),
signature("getState()"),
suppress("false"),
comment),
method(static("false"),
signature("setState(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getSelectedObjects()"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/JColorChooser.safej
Index: JColorChooser.safej
===================================================================
class(name("javax.swing.JColorChooser"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(Color)"),
suppress("false"),
comment),
method(static("true"),
signature("new(ColorSelectionModel)"),
suppress("false"),
comment),
method(static("false"),
signature("showDialog(Component, String, Color)"),
suppress("false"),
comment),
method(static("false"),
signature("createDialog(Component, String, boolean, JColorChooser, ActionListener, ActionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getUI()"),
suppress("true"),
comment),
method(static("false"),
signature("setUI(ColorChooserUI)"),
suppress("true"),
comment),
method(static("false"),
signature("updateUI()"),
suppress("true"),
comment),
method(static("false"),
signature("getUIClassID()"),
suppress("true"),
comment),
method(static("false"),
signature("getColor()"),
suppress("false"),
comment),
method(static("false"),
signature("setColor(Color)"),
suppress("false"),
comment),
method(static("false"),
signature("setColor(int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("setColor(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setDragEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getDragEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("setPreviewPanel(JComponent)"),
suppress("false"),
comment),
method(static("false"),
signature("getPreviewPanel()"),
suppress("false"),
comment),
method(static("false"),
signature("addChooserPanel(AbstractColorChooserPanel)"),
suppress("false"),
comment),
method(static("false"),
signature("removeChooserPanel(AbstractColorChooserPanel)"),
suppress("false"),
comment),
method(static("false"),
signature("setChooserPanels(AbstractColorChooserPanel[])"),
suppress("false"),
comment),
method(static("false"),
signature("getChooserPanels()"),
suppress("false"),
comment),
method(static("false"),
signature("getSelectionModel()"),
suppress("false"),
comment),
method(static("false"),
signature("setSelectionModel(ColorSelectionModel)"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/JComboBox.safej
Index: JComboBox.safej
===================================================================
class(name("javax.swing.JComboBox"),
method(static("true"),
signature("new(ComboBoxModel)"),
suppress("false"),
comment),
method(static("true"),
signature("new(Object[])"),
suppress("false"),
comment),
method(static("true"),
signature("new(Vector)"),
suppress("false"),
comment),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("setUI(ComboBoxUI)"),
suppress("true"),
comment),
method(static("false"),
signature("updateUI()"),
suppress("true"),
comment),
method(static("false"),
signature("getUIClassID()"),
suppress("true"),
comment),
method(static("false"),
signature("getUI()"),
suppress("true"),
comment),
method(static("false"),
signature("setModel(ComboBoxModel)"),
suppress("false"),
comment),
method(static("false"),
signature("getModel()"),
suppress("false"),
comment),
method(static("false"),
signature("setLightWeightPopupEnabled(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("isLightWeightPopupEnabled()"),
suppress("true"),
comment),
method(static("false"),
signature("setEditable(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isEditable()"),
suppress("false"),
comment),
method(static("false"),
signature("setMaximumRowCount(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getMaximumRowCount()"),
suppress("false"),
comment),
method(static("false"),
signature("setRenderer(ListCellRenderer)"),
suppress("false"),
comment),
method(static("false"),
signature("getRenderer()"),
suppress("true"),
comment),
method(static("false"),
signature("setEditor(ComboBoxEditor)"),
suppress("false"),
comment),
method(static("false"),
signature("getEditor()"),
suppress("false"),
comment),
method(static("false"),
signature("setSelectedItem(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("getSelectedItem()"),
suppress("false"),
comment),
method(static("false"),
signature("setSelectedIndex(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getSelectedIndex()"),
suppress("false"),
comment),
method(static("false"),
signature("getPrototypeDisplayValue()"),
suppress("false"),
comment),
method(static("false"),
signature("setPrototypeDisplayValue(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("addItem(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("insertItemAt(Object, int)"),
suppress("false"),
comment),
method(static("false"),
signature("removeItem(Object)"),
suppress("false"),
comment),
method(static("false"),
signature("removeItemAt(int)"),
suppress("false"),
comment),
method(static("false"),
signature("removeAllItems()"),
suppress("false"),
comment),
method(static("false"),
signature("showPopup()"),
suppress("false"),
comment),
method(static("false"),
signature("hidePopup()"),
suppress("false"),
comment),
method(static("false"),
signature("setPopupVisible(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isPopupVisible()"),
suppress("false"),
comment),
method(static("false"),
signature("addItemListener(ItemListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeItemListener(ItemListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getItemListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addActionListener(ActionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeActionListener(ActionListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getActionListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("addPopupMenuListener(PopupMenuListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removePopupMenuListener(PopupMenuListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getPopupMenuListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("firePopupMenuWillBecomeVisible()"),
suppress("true"),
comment),
method(static("false"),
signature("firePopupMenuWillBecomeInvisible()"),
suppress("true"),
comment),
method(static("false"),
signature("firePopupMenuCanceled()"),
suppress("true"),
comment),
method(static("false"),
signature("setActionCommand(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getActionCommand()"),
suppress("false"),
comment),
method(static("false"),
signature("setAction(Action)"),
suppress("false"),
comment),
method(static("false"),
signature("getAction()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedObjects()"),
suppress("false"),
comment),
method(static("false"),
signature("actionPerformed(ActionEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("contentsChanged(ListDataEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("intervalAdded(ListDataEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("intervalRemoved(ListDataEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("selectWithKeyChar(char)"),
suppress("false"),
comment),
method(static("false"),
signature("setEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("configureEditor(ComboBoxEditor, Object)"),
suppress("false"),
comment),
method(static("false"),
signature("processKeyEvent(KeyEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("setKeySelectionManager(JComboBox.KeySelectionManager)"),
suppress("true"),
comment),
method(static("false"),
signature("getKeySelectionManager()"),
suppress("true"),
comment),
method(static("false"),
signature("getItemCount()"),
suppress("false"),
comment),
method(static("false"),
signature("getItemAt(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/JComponent$AccessibleJComponent.safej
Index: JComponent$AccessibleJComponent.safej
===================================================================
class(name("javax.swing.JComponent.AccessibleJComponent"),
method(static("false"),
signature("addPropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removePropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleName()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleDescription()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleRole()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleStateSet()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleChildrenCount()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleChild(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getToolTipText()"),
suppress("true"),
comment),
method(static("false"),
signature("getTitledBorderText()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleKeyBinding()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/JComponent.safej
Index: JComponent.safej
===================================================================
class(name("javax.swing.JComponent"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("false"),
signature("updateUI()"),
suppress("true"),
comment),
method(static("false"),
signature("getUIClassID()"),
suppress("true"),
comment),
method(static("false"),
signature("update(Graphics)"),
suppress("false"),
comment),
method(static("false"),
signature("paint(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("printAll(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("print(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("isPaintingTile()"),
suppress("true"),
comment),
method(static("false"),
signature("isManagingFocus()"),
suppress("true"),
comment),
method(static("false"),
signature("setNextFocusableComponent(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("getNextFocusableComponent()"),
suppress("true"),
comment),
method(static("false"),
signature("setRequestFocusEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isRequestFocusEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("requestFocus()"),
suppress("true"),
comment),
method(static("false"),
signature("requestFocus(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("requestFocusInWindow()"),
suppress("true"),
comment),
method(static("false"),
signature("grabFocus()"),
suppress("true"),
comment),
method(static("false"),
signature("setVerifyInputWhenFocusTarget(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getVerifyInputWhenFocusTarget()"),
suppress("true"),
comment),
method(static("false"),
signature("setPreferredSize(Dimension)"),
suppress("false"),
comment),
method(static("false"),
signature("getPreferredSize()"),
suppress("false"),
comment),
method(static("false"),
signature("setMaximumSize(Dimension)"),
suppress("false"),
comment),
method(static("false"),
signature("getMaximumSize()"),
suppress("true"),
comment),
method(static("false"),
signature("setMinimumSize(Dimension)"),
suppress("false"),
comment),
method(static("false"),
signature("getMinimumSize()"),
suppress("false"),
comment),
method(static("false"),
signature("isMinimumSizeSet()"),
suppress("false"),
comment),
method(static("false"),
signature("isPreferredSizeSet()"),
suppress("false"),
comment),
method(static("false"),
signature("isMaximumSizeSet()"),
suppress("false"),
comment),
method(static("false"),
signature("contains(int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("setBorder(Border)"),
suppress("false"),
comment),
method(static("false"),
signature("getBorder()"),
suppress("false"),
comment),
method(static("false"),
signature("getInsets()"),
suppress("false"),
comment),
method(static("false"),
signature("getInsets(Insets)"),
suppress("false"),
comment),
method(static("false"),
signature("getAlignmentY()"),
suppress("false"),
comment),
method(static("false"),
signature("setAlignmentY(float)"),
suppress("false"),
comment),
method(static("false"),
signature("getAlignmentX()"),
suppress("false"),
comment),
method(static("false"),
signature("setAlignmentX(float)"),
suppress("false"),
comment),
method(static("false"),
signature("setInputVerifier(InputVerifier)"),
suppress("true"),
comment),
method(static("false"),
signature("getInputVerifier()"),
suppress("true"),
comment),
method(static("false"),
signature("getGraphics()"),
suppress("true"),
comment),
method(static("false"),
signature("setDebugGraphicsOptions(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getDebugGraphicsOptions()"),
suppress("true"),
comment),
method(static("false"),
signature("registerKeyboardAction(ActionListener, String, KeyStroke, int)"),
suppress("true"),
comment),
method(static("false"),
signature("registerKeyboardAction(ActionListener, KeyStroke, int)"),
suppress("true"),
comment),
method(static("false"),
signature("unregisterKeyboardAction(KeyStroke)"),
suppress("true"),
comment),
method(static("false"),
signature("getRegisteredKeyStrokes()"),
suppress("true"),
comment),
method(static("false"),
signature("getConditionForKeyStroke(KeyStroke)"),
suppress("true"),
comment),
method(static("false"),
signature("getActionForKeyStroke(KeyStroke)"),
suppress("true"),
comment),
method(static("false"),
signature("resetKeyboardActions()"),
suppress("true"),
comment),
method(static("false"),
signature("setInputMap(int, InputMap)"),
suppress("true"),
comment),
method(static("false"),
signature("getInputMap(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getInputMap()"),
suppress("true"),
comment),
method(static("false"),
signature("setActionMap(ActionMap)"),
suppress("true"),
comment),
method(static("false"),
signature("getActionMap()"),
suppress("true"),
comment),
method(static("false"),
signature("requestDefaultFocus()"),
suppress("true"),
comment),
method(static("false"),
signature("setVisible(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("setEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("setForeground(Color)"),
suppress("false"),
comment),
method(static("false"),
signature("setBackground(Color)"),
suppress("false"),
comment),
method(static("false"),
signature("setFont(Font)"),
suppress("false"),
comment),
method(static("false"),
signature("getDefaultLocale()"),
suppress("true"),
comment),
method(static("false"),
signature("setDefaultLocale(Locale)"),
suppress("true"),
comment),
method(static("false"),
signature("setLocale(Locale)"),
suppress("true"),
comment),
method(static("false"),
signature("setToolTipText(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getToolTipText()"),
suppress("false"),
comment),
method(static("false"),
signature("getToolTipText(MouseEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("getToolTipLocation(MouseEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("createToolTip()"),
suppress("true"),
comment),
method(static("false"),
signature("scrollRectToVisible(Rectangle)"),
suppress("false"),
comment),
method(static("false"),
signature("setAutoscrolls(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("getAutoscrolls()"),
suppress("true"),
comment),
method(static("false"),
signature("setTransferHandler(TransferHandler)"),
suppress("true"),
comment),
method(static("false"),
signature("getTransferHandler()"),
suppress("true"),
comment),
method(static("false"),
signature("enable()"),
suppress("true"),
comment),
method(static("false"),
signature("disable()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
method(static("false"),
signature("getClientProperty(Object)"),
suppress("true"),
comment),
method(static("false"),
signature("putClientProperty(Object, Object)"),
suppress("true"),
comment),
method(static("false"),
signature("isLightweightComponent(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("reshape(int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("getBounds(Rectangle)"),
suppress("false"),
comment),
method(static("false"),
signature("getSize(Dimension)"),
suppress("false"),
comment),
method(static("false"),
signature("getLocation(Point)"),
suppress("true"),
comment),
method(static("false"),
signature("getX()"),
suppress("false"),
comment),
method(static("false"),
signature("getY()"),
suppress("false"),
comment),
method(static("false"),
signature("getWidth()"),
suppress("false"),
comment),
method(static("false"),
signature("getHeight()"),
suppress("false"),
comment),
method(static("false"),
signature("isOpaque()"),
suppress("false"),
comment),
method(static("false"),
signature("setOpaque(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("computeVisibleRect(Rectangle)"),
suppress("true"),
comment),
method(static("false"),
signature("getVisibleRect()"),
suppress("false"),
comment),
method(static("false"),
signature("firePropertyChange(String, byte, byte)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, char, char)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, short, short)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, long, long)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, float, float)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, double, double)"),
suppress("true"),
comment),
method(static("false"),
signature("firePropertyChange(String, boolean, boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("addPropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("addPropertyChangeListener(String, PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removePropertyChangeListener(PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removePropertyChangeListener(String, PropertyChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("addVetoableChangeListener(VetoableChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeVetoableChangeListener(VetoableChangeListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getVetoableChangeListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getTopLevelAncestor()"),
suppress("true"),
comment),
method(static("false"),
signature("addAncestorListener(AncestorListener)"),
suppress("true"),
comment),
method(static("false"),
signature("removeAncestorListener(AncestorListener)"),
suppress("true"),
comment),
method(static("false"),
signature("getAncestorListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("getListeners(Class)"),
suppress("true"),
comment),
method(static("false"),
signature("addNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("removeNotify()"),
suppress("true"),
comment),
method(static("false"),
signature("repaint(long, int, int, int, int)"),
suppress("false"),
comment),
method(static("false"),
signature("repaint(Rectangle)"),
suppress("false"),
comment),
method(static("false"),
signature("revalidate()"),
suppress("false"),
comment),
method(static("false"),
signature("isValidateRoot()"),
suppress("false"),
comment),
method(static("false"),
signature("isOptimizedDrawingEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("paintImmediately(int, int, int, int)"),
suppress("true"),
comment),
method(static("false"),
signature("paintImmediately(Rectangle)"),
suppress("true"),
comment),
method(static("false"),
signature("setDoubleBuffered(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isDoubleBuffered()"),
suppress("false"),
comment),
method(static("false"),
signature("getRootPane()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/JDesktopPane.safej
Index: JDesktopPane.safej
===================================================================
class(name("javax.swing.JDesktopPane"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("false"),
signature("getUI()"),
suppress("true"),
comment),
method(static("false"),
signature("setUI(DesktopPaneUI)"),
suppress("true"),
comment),
method(static("false"),
signature("setDragMode(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getDragMode()"),
suppress("true"),
comment),
method(static("false"),
signature("getDesktopManager()"),
suppress("true"),
comment),
method(static("false"),
signature("setDesktopManager(DesktopManager)"),
suppress("true"),
comment),
method(static("false"),
signature("updateUI()"),
suppress("true"),
comment),
method(static("false"),
signature("getUIClassID()"),
suppress("true"),
comment),
method(static("false"),
signature("getAllFrames()"),
suppress("true"),
comment),
method(static("false"),
signature("getSelectedFrame()"),
suppress("true"),
comment),
method(static("false"),
signature("setSelectedFrame(JInternalFrame)"),
suppress("true"),
comment),
method(static("false"),
signature("getAllFramesInLayer(int)"),
suppress("true"),
comment),
method(static("false"),
signature("isOpaque()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/JDialog.safej
Index: JDialog.safej
===================================================================
class(name("javax.swing.JDialog"),
method(static("true"),
signature("new()"),
suppress("true"),
comment),
method(static("true"),
signature("new(Frame)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Frame, boolean)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Frame, String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Frame, String, boolean)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Frame, String, boolean, GraphicsConfiguration)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Dialog)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Dialog, boolean)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Dialog, String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Dialog, String, boolean)"),
suppress("true"),
comment),
method(static("true"),
signature("new(Dialog, String, boolean, GraphicsConfiguration)"),
suppress("true"),
comment),
method(static("false"),
signature("setDefaultCloseOperation(int)"),
suppress("true"),
comment),
method(static("false"),
signature("getDefaultCloseOperation()"),
suppress("true"),
comment),
method(static("false"),
signature("update(Graphics)"),
suppress("true"),
comment),
method(static("false"),
signature("setJMenuBar(JMenuBar)"),
suppress("true"),
comment),
method(static("false"),
signature("getJMenuBar()"),
suppress("true"),
comment),
method(static("false"),
signature("remove(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("setLayout(LayoutManager)"),
suppress("true"),
comment),
method(static("false"),
signature("getRootPane()"),
suppress("true"),
comment),
method(static("false"),
signature("getContentPane()"),
suppress("true"),
comment),
method(static("false"),
signature("setContentPane(Container)"),
suppress("true"),
comment),
method(static("false"),
signature("getLayeredPane()"),
suppress("true"),
comment),
method(static("false"),
signature("setLayeredPane(JLayeredPane)"),
suppress("true"),
comment),
method(static("false"),
signature("getGlassPane()"),
suppress("true"),
comment),
method(static("false"),
signature("setGlassPane(Component)"),
suppress("true"),
comment),
method(static("false"),
signature("setDefaultLookAndFeelDecorated(boolean)"),
suppress("true"),
comment),
method(static("false"),
signature("isDefaultLookAndFeelDecorated()"),
suppress("true"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("false"),
comment)
1.1 e/src/safej/javax/swing/JEditorPane$JEditorPaneAccessibleHypertextSupport$HTMLLink.safej
Index: JEditorPane$JEditorPaneAccessibleHypertextSupport$HTMLLink.safej
===================================================================
class(name("javax.swing.JEditorPane.JEditorPaneAccessibleHypertextSupport.HTMLLink"),
method(static("true"),
signature("new(JEditorPane.JEditorPaneAccessibleHypertextSupport, Element)"),
suppress("false"),
comment),
method(static("false"),
signature("isValid()"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleActionCount()"),
suppress("false"),
comment),
method(static("false"),
signature("doAccessibleAction(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleActionDescription(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleActionObject(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleActionAnchor(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getStartIndex()"),
suppress("false"),
comment),
method(static("false"),
signature("getEndIndex()"),
suppress("false"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/JEditorPane.safej
Index: JEditorPane.safej
===================================================================
class(name("javax.swing.JEditorPane"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(URL)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String)"),
suppress("true"),
comment),
method(static("true"),
signature("new(String, String)"),
suppress("false"),
comment),
method(static("false"),
signature("addHyperlinkListener(HyperlinkListener)"),
suppress("false"),
comment),
method(static("false"),
signature("removeHyperlinkListener(HyperlinkListener)"),
suppress("false"),
comment),
method(static("false"),
signature("getHyperlinkListeners()"),
suppress("true"),
comment),
method(static("false"),
signature("fireHyperlinkUpdate(HyperlinkEvent)"),
suppress("true"),
comment),
method(static("false"),
signature("setPage(URL)"),
suppress("false"),
comment),
method(static("false"),
signature("read(InputStream, Object)"),
suppress("false"),
comment),
method(static("false"),
signature("scrollToReference(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getPage()"),
suppress("false"),
comment),
method(static("false"),
signature("setPage(String)"),
suppress("true"),
comment),
method(static("false"),
signature("getUIClassID()"),
suppress("true"),
comment),
method(static("false"),
signature("getEditorKit()"),
suppress("true"),
comment),
method(static("false"),
signature("getContentType()"),
suppress("false"),
comment),
method(static("false"),
signature("setContentType(String)"),
suppress("false"),
comment),
method(static("false"),
signature("setEditorKit(EditorKit)"),
suppress("true"),
comment),
method(static("false"),
signature("getEditorKitForContentType(String)"),
suppress("true"),
comment),
method(static("false"),
signature("setEditorKitForContentType(String, EditorKit)"),
suppress("true"),
comment),
method(static("false"),
signature("replaceSelection(String)"),
suppress("false"),
comment),
method(static("false"),
signature("createEditorKitForContentType(String)"),
suppress("true"),
comment),
method(static("false"),
signature("registerEditorKitForContentType(String, String)"),
suppress("true"),
comment),
method(static("false"),
signature("registerEditorKitForContentType(String, String, ClassLoader)"),
suppress("true"),
comment),
method(static("false"),
signature("getEditorKitClassNameForContentType(String)"),
suppress("true"),
comment),
method(static("false"),
signature("getPreferredSize()"),
suppress("false"),
comment),
method(static("false"),
signature("setText(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getText()"),
suppress("false"),
comment),
method(static("false"),
signature("getScrollableTracksViewportWidth()"),
suppress("false"),
comment),
method(static("false"),
signature("getScrollableTracksViewportHeight()"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessibleContext()"),
suppress("true"),
comment),
byproxy,
selfless,
byconstruction,
persistent,
safe("true"),
comment)
1.1 e/src/safej/javax/swing/JFileChooser.safej
Index: JFileChooser.safej
===================================================================
class(name("javax.swing.JFileChooser"),
method(static("true"),
signature("new()"),
suppress("false"),
comment),
method(static("true"),
signature("new(String)"),
suppress("false"),
comment),
method(static("true"),
signature("new(File)"),
suppress("false"),
comment),
method(static("true"),
signature("new(FileSystemView)"),
suppress("false"),
comment),
method(static("true"),
signature("new(File, FileSystemView)"),
suppress("false"),
comment),
method(static("true"),
signature("new(String, FileSystemView)"),
suppress("false"),
comment),
method(static("false"),
signature("setDragEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getDragEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("getSelectedFile()"),
suppress("false"),
comment),
method(static("false"),
signature("setSelectedFile(File)"),
suppress("false"),
comment),
method(static("false"),
signature("getSelectedFiles()"),
suppress("false"),
comment),
method(static("false"),
signature("setSelectedFiles(File[])"),
suppress("false"),
comment),
method(static("false"),
signature("getCurrentDirectory()"),
suppress("false"),
comment),
method(static("false"),
signature("setCurrentDirectory(File)"),
suppress("false"),
comment),
method(static("false"),
signature("changeToParentDirectory()"),
suppress("false"),
comment),
method(static("false"),
signature("rescanCurrentDirectory()"),
suppress("false"),
comment),
method(static("false"),
signature("ensureFileIsVisible(File)"),
suppress("false"),
comment),
method(static("false"),
signature("showOpenDialog(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("showSaveDialog(Component)"),
suppress("false"),
comment),
method(static("false"),
signature("showDialog(Component, String)"),
suppress("false"),
comment),
method(static("false"),
signature("getControlButtonsAreShown()"),
suppress("false"),
comment),
method(static("false"),
signature("setControlButtonsAreShown(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getDialogType()"),
suppress("false"),
comment),
method(static("false"),
signature("setDialogType(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setDialogTitle(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getDialogTitle()"),
suppress("false"),
comment),
method(static("false"),
signature("setApproveButtonToolTipText(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getApproveButtonToolTipText()"),
suppress("false"),
comment),
method(static("false"),
signature("getApproveButtonMnemonic()"),
suppress("false"),
comment),
method(static("false"),
signature("setApproveButtonMnemonic(int)"),
suppress("false"),
comment),
method(static("false"),
signature("setApproveButtonMnemonic(char)"),
suppress("false"),
comment),
method(static("false"),
signature("setApproveButtonText(String)"),
suppress("false"),
comment),
method(static("false"),
signature("getApproveButtonText()"),
suppress("false"),
comment),
method(static("false"),
signature("getChoosableFileFilters()"),
suppress("false"),
comment),
method(static("false"),
signature("addChoosableFileFilter(FileFilter)"),
suppress("false"),
comment),
method(static("false"),
signature("removeChoosableFileFilter(FileFilter)"),
suppress("false"),
comment),
method(static("false"),
signature("resetChoosableFileFilters()"),
suppress("false"),
comment),
method(static("false"),
signature("getAcceptAllFileFilter()"),
suppress("false"),
comment),
method(static("false"),
signature("isAcceptAllFileFilterUsed()"),
suppress("false"),
comment),
method(static("false"),
signature("setAcceptAllFileFilterUsed(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("getAccessory()"),
suppress("false"),
comment),
method(static("false"),
signature("setAccessory(JComponent)"),
suppress("false"),
comment),
method(static("false"),
signature("setFileSelectionMode(int)"),
suppress("false"),
comment),
method(static("false"),
signature("getFileSelectionMode()"),
suppress("false"),
comment),
method(static("false"),
signature("isFileSelectionEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("isDirectorySelectionEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("setMultiSelectionEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("isMultiSelectionEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("isFileHidingEnabled()"),
suppress("false"),
comment),
method(static("false"),
signature("setFileHidingEnabled(boolean)"),
suppress("false"),
comment),
method(static("false"),
signature("setFileFilter(FileFilter)"),
suppress("false"),
comment),
method(static("false"),
signature("getFileFil