de.uka.ilkd.key.gui.nodeviews

Class PosInSequentTransferable

java.lang.Object

de.uka.ilkd.key.gui.nodeviews.PosInSequentTransferable

All Implemented Interfaces:

java.awt.datatransfer.Transferable

public class PosInSequentTransferable
extends java.lang.Object
implements java.awt.datatransfer.Transferable

This class in an implementation of the 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

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
PosInSequentTransferable(PosInSequent pis, Services serv) creates an instance of this transferable

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

POS_IN_SEQUENT_TRANSFER

public static java.awt.datatransfer.DataFlavor POS_IN_SEQUENT_TRANSFER

pis

private PosInSequent pis

the highlighted position in the sequentview to be transferred

stringSelection

private java.lang.String stringSelection

the highlighted term as parseable string

Constructor Detail

PosInSequentTransferable

public PosInSequentTransferable(PosInSequent pis,
                                Services serv)

creates an instance of this transferable

Parameters:

pis - the PosInSequent to be transfered (string flavor only supported if pis denotes a term or formula, not the complete sequent)

Method Detail

getTransferDataFlavors

public java.awt.datatransfer.DataFlavor[] getTransferDataFlavors()

returns the supported flavors of this transferable. These are currently DataFlavor.stringFlavor and POS_IN_SEQUENT_TRANSFER

Specified by:

getTransferDataFlavors in interface java.awt.datatransfer.Transferable

See Also:

Transferable.getTransferDataFlavors()

isDataFlavorSupported

public boolean isDataFlavorSupported(java.awt.datatransfer.DataFlavor flavor)

Specified by:

isDataFlavorSupported in interface java.awt.datatransfer.Transferable

getTransferData

public java.lang.Object getTransferData(java.awt.datatransfer.DataFlavor flavor)
                                 throws java.awt.datatransfer.UnsupportedFlavorException,
                                        java.io.IOException

if the flavor is equal to the 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.

Specified by:

getTransferData in interface java.awt.datatransfer.Transferable

Throws:

java.awt.datatransfer.UnsupportedFlavorException - if the flavor is not supported

java.io.IOException