blob: 332eb18893e8283eeb2a9a4cd7233e7cd3694cb5 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2016 Fundación Tecnalia Research & Innovation and KPIT Technologies.
*
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v2.0
* which accompanies this distribution, and is available at
* https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
*
* SPDX-License-Identifier: EPL-2.0
*
* Contributors:
* Huascar Espinoza(Tecnalia) - initial API and implementation
* Alejandra Ruíz(Tecnalia) - initial API and implementation
* Idoya Del Río(Tecnalia) - initial API and implementation
* Mari Carmen Palacios(Tecnalia) - initial API and implementation
* Angel López(Tecnalia) - initial API and implementation
* Jan Mauersberger(KPIT)- LayoutUtil implementation
* Sascha Baumgart(KPIT)- LayoutUtil implementation
*******************************************************************************/
package org.eclipse.opencert.gsn.figures;
import org.eclipse.draw2d.Figure;
import org.eclipse.draw2d.Graphics;
import org.eclipse.draw2d.geometry.Dimension;
import org.eclipse.draw2d.geometry.Point;
import org.eclipse.draw2d.geometry.PointList;
import org.eclipse.draw2d.geometry.Rectangle;
import org.eclipse.gmf.runtime.draw2d.ui.figures.WrappingLabel;
public class GSNAwaySolution extends Figure{
public GSNAwaySolution(){
this.setMinimumSize(new Dimension(80,60));
}
@Override
public void paint(Graphics graphics) {
Rectangle r=getBounds();
// Define the points of a parallelogram
Point p5 = new Point(r.x,r.y+3*r.height/4);
Point p6 = new Point(r.x+r.width,r.y+3*r.height/4);
Point p7=new Point(r.x+2*r.width/18,r.y+14*r.height/18);
Point p8=new Point(r.x+3*r.width/18,r.y+14*r.height/18);
Point p9=new Point(r.x+3*r.width/18,r.y+15*r.height/18);
Point p10=new Point(r.x+2*r.width/18,r.y+15*r.height/18);
Point p11 =new Point(r.x+5*r.width/18,r.y+15*r.height/18);
Point p12=new Point(r.x+2*r.width/18,r.y+17*r.height/18);
Point p13=new Point(r.x+5*r.width/18,r.y+17*r.height/18);
Point p14=new Point(r.x,r.y+r.height);
Point p15=new Point(r.x+r.width,r.y+r.height);
PointList pointList = new PointList();
pointList.addPoint(p5);
pointList.addPoint(p6);
pointList.addPoint(p7);
pointList.addPoint(p8);
pointList.addPoint(p9);
pointList.addPoint(p10);
pointList.addPoint(p11);
pointList.addPoint(p12);
pointList.addPoint(p13);
pointList.addPoint(p14);
pointList.addPoint(p15);
// Fill the shape
graphics.fillPolygon(pointList);
// Draw the outline
graphics.drawOval(r.x, r.y, r.width, 7*r.height/4);
graphics.drawLine(p5, p6);
graphics.drawLine(p7, p8);
graphics.drawLine(p8, p9);
graphics.drawLine(p7, p10);
graphics.drawLine(p10, p11);
graphics.drawLine(p11, p13);
graphics.drawLine(p12, p13);
graphics.drawLine(p12, p10);
graphics.drawLine(p14, p15);
graphics.drawLine(p5, p14);
graphics.drawLine(p6, p15);
// Move the first label to the center of the parallelogram
WrappingLabel label = (WrappingLabel) getChildren().get(0);
LayoutUtil.moveToCenterAndUp(label, this, graphics);
label.paint(graphics);
// Move the second label to the center of the parallelogram
label = (WrappingLabel) getChildren().get(1);
LayoutUtil.moveToCenterAndDown(label, this, graphics);
label.paint(graphics);
//Move the third lavel to the bottom of the shape
label = (WrappingLabel) getChildren().get(2);
LayoutUtil.moveToCenterAndBottom(label, this, graphics);
label.paint(graphics);
}
}