jdk.editpad

public Class EditPadProvider

Class Inheritance

extends Object
implements BuildInEditorProvider

java.lang.Object
jdk.editpad.EditPadProvider

All Implemented Interfaces

jdk.internal.editor.spi.BuildInEditorProvider

Imports

java.util.concurrent.CountDownLatch, java.util.function.Consumer, javax.swing.SwingUtilities, jdk.internal.editor.spi.BuildInEditorProvider

Defines the provider of an Edit Pad implementation.

Author: Robert Field

Constructor Summary

Access	Constructor and Description
public	EditPadProvider()

Method Summary

Modifier and Type	Method and Description
public void	edit(String the label string for the Edit Pad window, or null, for default window label windowLabel, String the source to load in the Edit Pad initialText, Consumer<String> a handler for changed source (can be sent the full source) saveHandler, Consumer<String> a handler for unexpected errors errorHandler) Implements jdk.internal.editor.spi.BuildInEditorProvider.edit. Create an Edit Pad minimal editor.
public int	rank() Implements jdk.internal.editor.spi.BuildInEditorProvider.rank. Returns: the rank of a provider, greater is better.

Modifier and Type

Method and Description

public void

edit(String

the label string for the Edit Pad window, or null, for default window label

windowLabel, String

the source to load in the Edit Pad

initialText, Consumer<String>

a handler for changed source (can be sent the full source)

saveHandler, Consumer<String>

a handler for unexpected errors

errorHandler)

Implements jdk.internal.editor.spi.BuildInEditorProvider.edit.

Create an Edit Pad minimal editor.

public int

rank()

Implements jdk.internal.editor.spi.BuildInEditorProvider.rank.

Returns: the rank of a provider, greater is better.

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Constructor Detail

EditPadProvider	back to summary
public EditPadProvider()

Method Detail

edit	back to summary
public void edit(String windowLabel, String initialText, Consumer<String> saveHandler, Consumer<String> errorHandler) Implements jdk.internal.editor.spi.BuildInEditorProvider.edit. Create an Edit Pad minimal editor. Parameters windowLabel:String the label string for the Edit Pad window, or null, for default window label initialText:String the source to load in the Edit Pad saveHandler:Consumer<String> a handler for changed source (can be sent the full source) errorHandler:Consumer<String> a handler for unexpected errors Annotations @Override

edit

back to summary

public void edit(String windowLabel, String initialText, Consumer<String> saveHandler, Consumer<String> errorHandler)

Implements jdk.internal.editor.spi.BuildInEditorProvider.edit.

Create an Edit Pad minimal editor.

Parameters

windowLabel:String: the label string for the Edit Pad window, or null, for default window label
initialText:String: the source to load in the Edit Pad
saveHandler:Consumer<String>: a handler for changed source (can be sent the full source)
errorHandler:Consumer<String>: a handler for unexpected errors

Annotations

@Override

rank	back to summary
public int rank() Implements jdk.internal.editor.spi.BuildInEditorProvider.rank. Returns:int the rank of a provider, greater is better. Annotations @Override

rank

back to summary

public int rank()

Implements jdk.internal.editor.spi.BuildInEditorProvider.rank.

Returns:int

the rank of a provider, greater is better.

Annotations

@Override