@Override
public boolean canExecute() {
if (!super.canExecute()) {
return false;
}
ObjectTemplateExp pivotElement =
PivotUtil.getPivot(ObjectTemplateExp.class, csElement.getObjectTemplate());
if (pivotElement == null) {
return false;
}
Type type = pivotElement.getType();
return type != null;
}
@Override
public BasicContinuation<?> execute() {
ObjectTemplateExp pivotElement = PivotUtil.getPivot(ObjectTemplateExp.class, csElement);
if (pivotElement != null) {
org.eclipse.ocl.examples.pivot.Class type =
PivotUtil.getPivot(org.eclipse.ocl.examples.pivot.Class.class, csElement.getType());
pivotElement.setReferredClass(type);
pivotElement.setType(type);
Variable variable = pivotElement.getBindsTo();
if (variable != null) {
variable.setType(type);
}
}
return null;
}
