32#ifndef TTA_PRODE_CLIPBOARD_HH
33#define TTA_PRODE_CLIPBOARD_HH
const TTAMachine::Machine * sourceMachine_
ObjectState * copyContents()
const TTAMachine::Machine * sourceMachine()
static ProDeClipboard * instance()
static ProDeClipboard * instance_
void setContents(ObjectState *contents, const TTAMachine::Machine *sourceMachine)