roneditor.ruleview.commands
Class CopyLHS2CodomainCommand

java.lang.Object
  extended by org.eclipse.gef.commands.Command
      extended by roneditor.ruleview.commands.CopyLHS2CodomainCommand

public class CopyLHS2CodomainCommand
extends org.eclipse.gef.commands.Command

command für Kopieren eines LHS in ein Codomain


Field Summary
protected  ronmodel.Codomain codomain
           
private static java.lang.String copyCommand_Label
           
protected  ronmodel.LHS lhs
           
 
Constructor Summary
CopyLHS2CodomainCommand()
          Constructor.
 
Method Summary
 boolean canExecute()
           
 void execute()
          Entry point for the command execution.
 java.lang.String getLabel()
          Returns the command label.
 void redo()
          Redo command execution.
 void setCodomain(ronmodel.Codomain codomain)
           
 void setLhs(ronmodel.LHS lhs)
           
 void undo()
          Undo command execution.
 
Methods inherited from class org.eclipse.gef.commands.Command
canUndo, chain, dispose, getDebugLabel, setDebugLabel, setLabel
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

copyCommand_Label

private static final java.lang.String copyCommand_Label
See Also:
Constant Field Values

lhs

protected ronmodel.LHS lhs

codomain

protected ronmodel.Codomain codomain
Constructor Detail

CopyLHS2CodomainCommand

public CopyLHS2CodomainCommand()
Constructor.

Method Detail

canExecute

public boolean canExecute()
Overrides:
canExecute in class org.eclipse.gef.commands.Command
Returns:
true wenn das Ziel leer ist.false sonst

execute

public void execute()
Entry point for the command execution. der Inhalt von LHS wird in einem Codomain Kopiert

Overrides:
execute in class org.eclipse.gef.commands.Command

getLabel

public java.lang.String getLabel()
Returns the command label.

Overrides:
getLabel in class org.eclipse.gef.commands.Command

redo

public void redo()
Redo command execution.

Overrides:
redo in class org.eclipse.gef.commands.Command

undo

public void undo()
Undo command execution.

Overrides:
undo in class org.eclipse.gef.commands.Command

setCodomain

public void setCodomain(ronmodel.Codomain codomain)

setLhs

public void setLhs(ronmodel.LHS lhs)