pl.edu.agh.cast.backward.editor.action
Class CastClipboardContents

java.lang.Object
  pl.edu.agh.cast.backward.editor.action.CastClipboardContents

public class CastClipboardContents
extends Object

Clipboard contents by CAST.

Author:

AGH CAST Team

Constructor Summary

CastClipboardContents(List<Node> nodes)
Creates new clipboard contents object.

Method Summary

List<Node>

getNodes()

Methods inherited from class java.lang.Object

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

Constructor Detail

CastClipboardContents

public CastClipboardContents(List<Node> nodes)

Creates new clipboard contents object.

Parameters:

nodes - list of Nodes to store in clipboard

Method Detail

getNodes

public List<Node> getNodes()