/** * Copyright 2004-2016 Riccardo Solmi. All rights reserved. * This file is part of the Whole Platform. * * The Whole Platform is free software: you can redistribute it and/or modify * it under the terms of the GNU Lesser General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * The Whole Platform is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License * along with the Whole Platform. If not, see <http://www.gnu.org/licenses/>. */ package org.whole.lang.unifiedlambdadelta.ui.editparts; import org.eclipse.gef.EditPart; import org.whole.lang.model.adapters.IEntityAdapter; import org.whole.lang.ui.editparts.IEditPartFactory; import org.whole.lang.ui.editparts.PlaceHolderPart; import org.whole.lang.ui.notations.text.editparts.DefaultTextualPartFactory; import org.whole.lang.unifiedlambdadelta.model.Abbreviation; import org.whole.lang.unifiedlambdadelta.model.Abstraction; import org.whole.lang.unifiedlambdadelta.model.Application; import org.whole.lang.unifiedlambdadelta.model.Cast; import org.whole.lang.unifiedlambdadelta.model.Declaration; import org.whole.lang.unifiedlambdadelta.model.Definition; import org.whole.lang.unifiedlambdadelta.model.IUnifiedLambdaDeltaEntity; import org.whole.lang.unifiedlambdadelta.model.Local; import org.whole.lang.unifiedlambdadelta.model.Name; import org.whole.lang.unifiedlambdadelta.model.Sort; import org.whole.lang.unifiedlambdadelta.model.Top; import org.whole.lang.unifiedlambdadelta.visitors.UnifiedLambdaDeltaIdentityDefaultVisitor; /** * @author Riccardo Solmi */ public class UnifiedLambdaDeltaTextualPartFactoryVisitor extends UnifiedLambdaDeltaIdentityDefaultVisitor implements IEditPartFactory { protected EditPart part, context; public EditPart createEditPart(EditPart context, Object modelEntity) { this.context = context; ((IUnifiedLambdaDeltaEntity) modelEntity).accept(this); return part; } public boolean visitAdapter(IEntityAdapter entity) { part = new PlaceHolderPart(); return super.visitAdapter(entity); } public void visit(IUnifiedLambdaDeltaEntity entity) { part = DefaultTextualPartFactory.instance().createEditPart(context, entity); } public void visit(Declaration entity) { part = new DeclarationPart(); } public void visit(Definition entity) { part = new DefinitionPart(); } public void visit(Top entity) { part = new TopPart(); } public void visit(Abstraction entity) { part = new AbstractionPart(); } public void visit(Abbreviation entity) { part = new AbbreviationPart(); } public void visit(Application entity) { part = new ApplicationPart(); } public void visit(Cast entity) { part = new CastPart(); } public void visit(Local entity) { part = new LocalPart(); } public void visit(Sort entity) { part = new SortPart(); } public void visit(Name entity) { part = new NamePart(); } }