public class PosInSequentTransferable
extends java.lang.Object
implements java.awt.datatransfer.Transferable
Transferable
interface and
allows to transfer a PosInSequent
object.
It supports to data flavors:
POS_IN_SEQUENT_TRANSFER
flavor which is
of mime type DataFlavor.javaJVMLocalObjectMimeType
DataFlavor.stringFlavor
which returns the term described
by the PosInSequent
as a parsable string Modifier and Type | Field and Description |
---|---|
private PosInSequent |
pis
the highlighted position in the sequentview to be transferred
|
static java.awt.datatransfer.DataFlavor |
POS_IN_SEQUENT_TRANSFER |
private java.lang.String |
stringSelection
the highlighted term as parseable string
|
Constructor and Description |
---|
PosInSequentTransferable(PosInSequent pis,
Services serv)
creates an instance of this transferable
|
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
getTransferData(java.awt.datatransfer.DataFlavor flavor)
if the flavor is equal to the
POS_IN_SEQUENT_TRANSFER the return data
is of kind PosInSequent . |
java.awt.datatransfer.DataFlavor[] |
getTransferDataFlavors()
returns the supported flavors of this transferable.
|
boolean |
isDataFlavorSupported(java.awt.datatransfer.DataFlavor flavor) |
public static java.awt.datatransfer.DataFlavor POS_IN_SEQUENT_TRANSFER
private PosInSequent pis
private java.lang.String stringSelection
public PosInSequentTransferable(PosInSequent pis, Services serv)
pis
- the PosInSequent to be transfered
(string flavor only supported if pis denotes a term or formula, not the
complete sequent)public java.awt.datatransfer.DataFlavor[] getTransferDataFlavors()
DataFlavor.stringFlavor
and
POS_IN_SEQUENT_TRANSFER
getTransferDataFlavors
in interface java.awt.datatransfer.Transferable
Transferable.getTransferDataFlavors()
public boolean isDataFlavorSupported(java.awt.datatransfer.DataFlavor flavor)
isDataFlavorSupported
in interface java.awt.datatransfer.Transferable
public java.lang.Object getTransferData(java.awt.datatransfer.DataFlavor flavor) throws java.awt.datatransfer.UnsupportedFlavorException, java.io.IOException
POS_IN_SEQUENT_TRANSFER
the return data
is of kind PosInSequent
. If the flavor equals
DataFlavor.stringFlavor
the highlighted term is returned as
parsable string.getTransferData
in interface java.awt.datatransfer.Transferable
java.awt.datatransfer.UnsupportedFlavorException
- if the flavor is not supportedjava.io.IOException