VdexReload 1.1.3 API

uk.ac.reload.moonunit.dom
Class ReloadDocumentClipboard

java.lang.Object
  extended byuk.ac.reload.moonunit.dom.ReloadDocumentClipboard

public class ReloadDocumentClipboard
extends java.lang.Object

Clipboard for transferring ReloadDocument Elements


Field Summary
static int ACTION_COPY
           
static int ACTION_CUT
           
static int ACTION_DELETE
           
static int ACTION_MOVE
           
static int ACTION_PASTE
           
 
Constructor Summary
ReloadDocumentClipboard()
           
 
Method Summary
static void addCopiedElement(org.jdom.Element element)
          Adds the copied element to the clipboard
static void addCutElement(org.jdom.Element element)
          Adds the cut element to the clipboard
static org.jdom.Element getElement()
          Gets the element on the clipboard
static boolean isCopiedElement()
          Checks if the element is a copied element
static boolean isCutElement()
          Checks if the element is a cut element
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ACTION_COPY

public static final int ACTION_COPY
See Also:
Constant Field Values

ACTION_MOVE

public static final int ACTION_MOVE
See Also:
Constant Field Values

ACTION_CUT

public static final int ACTION_CUT
See Also:
Constant Field Values

ACTION_DELETE

public static final int ACTION_DELETE
See Also:
Constant Field Values

ACTION_PASTE

public static final int ACTION_PASTE
See Also:
Constant Field Values
Constructor Detail

ReloadDocumentClipboard

public ReloadDocumentClipboard()
Method Detail

addCutElement

public static void addCutElement(org.jdom.Element element)
Adds the cut element to the clipboard

Parameters:
element - the cut element which is to be added to the clipboard

addCopiedElement

public static void addCopiedElement(org.jdom.Element element)
Adds the copied element to the clipboard

Parameters:
element - the copied element which is to be added to the clipboard

getElement

public static org.jdom.Element getElement()
Gets the element on the clipboard

Returns:
the element on the clipboard

isCopiedElement

public static boolean isCopiedElement()
Checks if the element is a copied element

Returns:
true if it is a copied element, false otherwise

isCutElement

public static boolean isCutElement()
Checks if the element is a cut element

Returns:
true if it is a cut element, false otherwise

VdexReload 1.1.3 API