|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.gef.commands.Command
roneditor.ruleview.commands.CopyLHS2CodomainCommand
public class CopyLHS2CodomainCommand
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 |
---|
private static final java.lang.String copyCommand_Label
protected ronmodel.LHS lhs
protected ronmodel.Codomain codomain
Constructor Detail |
---|
public CopyLHS2CodomainCommand()
Method Detail |
---|
public boolean canExecute()
canExecute
in class org.eclipse.gef.commands.Command
public void execute()
LHS
wird in einem Codomain
Kopiert
execute
in class org.eclipse.gef.commands.Command
public java.lang.String getLabel()
getLabel
in class org.eclipse.gef.commands.Command
public void redo()
redo
in class org.eclipse.gef.commands.Command
public void undo()
undo
in class org.eclipse.gef.commands.Command
public void setCodomain(ronmodel.Codomain codomain)
public void setLhs(ronmodel.LHS lhs)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |