/*
* (non-Javadoc)
*
* @see henshineditor.actions.condition.CreateConditionTreeAction#run()
*/
@Override
public void run() {
Not not = HenshinFactory.eINSTANCE.createNot();
Command command = null;
if (parentFormula == null) {
command = new CreateConditionCommand(premise, not);
} else {
command = new CreateFormulaCommand(premise, parentFormula, not);
if (parentFormula instanceof BinaryFormula) {
BinaryFormula binaryFormula = (BinaryFormula) parentFormula;
if (binaryFormula.getLeft() != null && binaryFormula.getRight() == null) {
command = new CreateFormulaCommand(premise, parentFormula, not, false);
}
}
}
execute(command);
}
