ingenias.editor.rendererxml.DashedBorderPanel Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of sociaalmled Show documentation

A editor for modelling scenarios for PHAT simulator

There is a newer version: 1.0.11


/** 
 * Copyright (C) 2010  Jorge J. Gomez-Sanz 
 * 
 * This file is part of the INGENME tool. INGENME is an open source meta-editor
 * which produces customized editors for user-defined modeling languages
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation version 3 of the License
 *
 * This program 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 General Public License for more details.
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see 
 **/
package ingenias.editor.rendererxml;

import javax.swing.JPanel;
import java.awt.LayoutManager;
import java.awt.Color;
import java.awt.*;
import javax.swing.border.*;

public class DashedBorderPanel extends JPanel {

  class DashedBorder extends LineBorder {

    public DashedBorder(Color p0) {
      super(p0);
    }

    public DashedBorder(Color p0, int p1) {
      super(p0, p1);
    }

    public DashedBorder(Color p0, int p1, boolean p2) {
      super(p0, p1, p2);
    }

    public void paintBorder(Component comp,Graphics g, int x1,int x2, int y1,int y2){
      Stroke old=((Graphics2D)g).getStroke();
      BasicStroke bs=new BasicStroke(2.0f, BasicStroke.CAP_BUTT,
                                BasicStroke.JOIN_MITER, 10.0f, new float[]{5.0f}, 0.0f);
      ((Graphics2D)g).setStroke(bs);
      super.paintBorder(comp,g, x1,x2, y1,y2);
    ((Graphics2D)g).setStroke(old);
    }


  }



  public DashedBorderPanel() {
    DashedBorder db=new DashedBorder(Color.black);
    this.setBorder(db);
  }

  public DashedBorderPanel(LayoutManager p0, boolean p1) {
    super(p0, p1);
  }

  public DashedBorderPanel(LayoutManager p0) {
    super(p0);
  }

  public DashedBorderPanel(boolean p0) {
    super(p0);
  }
  public static void main(String[] args) {
    DashedBorderPanel dashedBorderPanel1 = new DashedBorderPanel();
  }
}