Si le centre du cercle est sur l'horizon (Ã l'infini) alors le cercle devient un horicycle
Renvoie la mesure en degré de l'angle AOB
Les centres des horicycles sont orientés par rapport à A et B (pour maintenir une continuité des constructions)
la valeur de l'angle est une expression
Etant donnés trois points, construire le cercleou l'équidistante passant par ces trois points.
Construit la droite du pinceau défini par les deux droites et passant par le point donné
Attention le produit n'est pas commutatif. Ne s'applique a priori que sur trois droites dont on sait qu'elles sont en pinceau
L'intersection de deux pinceaux peut, dans certains cas, ne pas exister. Existe toujours si un pinceau est à centre.
La hauteur d'un pinceau peut, dans des cas particuliers, ne pas exister. Elle existe toujours si le pinceau est à centre.
Construit le cycle (cercle ou équidistante) défini par un pinceau (2 droites) et un point.
Attention cette macro ne s'applique QUE sur des droites orientées (pour l'orientation des points idéaux)
Graphics2D implementation that saves all operations to a string
* in the Encapsulated PostScript® (EPS) format.
*/
public class EPSGraphics2D extends VectorGraphics2D {
/** Constant to convert values from millimeters to PostScript® units
(1/72th inch). */
// protected static final double MM_IN_UNITS = 72.0 / 25.4;
protected static final double MM_IN_UNITS = 1.0;
/** Mapping of stroke endcap values from Java to PostScript®. */
private static final MapEPSGraphics2D instance.
* The document dimension must be specified as parameters.
*/
public EPSGraphics2D(double x, double y, double width, double height) {
super(x, y, width, height);
writeHeader();
}
@Override
protected void writeString(String str, double x, double y) {
// Escape string
str = str.replaceAll("\\\\", "\\\\\\\\").replaceAll("\t", "\\\\t")
.replaceAll("\b", "\\\\b").replaceAll("\f", "\\\\f")
.replaceAll("\\(", "\\\\(").replaceAll("\\)", "\\\\)");
//float fontSize = getFont().getSize2D();
//float leading = getFont().getLineMetrics("", getFontRenderContext())
// .getLeading();
write("gsave 1 -1 scale ");
/*
// Extract lines
String[] lines = str.replaceAll("\r\n", "\n").replaceAll("\r", "\n")
.split("\n");
// Output lines
for (int i = 0; i < lines.length; i++) {
String line = lines[i];
write(x, " -", y + i*fontSize + ((i>0) ? leading : 0f),
" M (", line, ") show ");
}
*/
str = str.replaceAll("[\r\n]", "");
write(x, " -", y, " M (", str, ") show ");
writeln("grestore");
}
@Override
public void setStroke(Stroke s) {
BasicStroke bsPrev;
if (getStroke() instanceof BasicStroke) {
bsPrev = (BasicStroke) getStroke();
} else {
bsPrev = new BasicStroke();
}
super.setStroke(s);
if (s instanceof BasicStroke) {
BasicStroke bs = (BasicStroke) s;
if (bs.getLineWidth() != bsPrev.getLineWidth()) {
writeln(bs.getLineWidth(), " setlinewidth");
}
if (bs.getLineJoin() != bsPrev.getLineJoin()) {
writeln(STROKE_LINEJOIN.get(bs.getLineJoin()), " setlinejoin");
}
if (bs.getEndCap() != bsPrev.getEndCap()) {
writeln(STROKE_ENDCAPS.get(bs.getEndCap()), " setlinecap");
}
if ((!Arrays.equals(bs.getDashArray(), bsPrev.getDashArray())) ||
(bs.getDashPhase() != bsPrev.getDashPhase())) {
writeln("[", DataUtils.join(" ", bs.getDashArray()), "] ",
bs.getDashPhase(), " setdash");
}
}
}
@Override
protected void writeImage(Image img, int imgWidth, int imgHeight,
double x, double y, double width, double height) {
BufferedImage bufferedImg = GraphicsUtils.toBufferedImage(img);
String imgData = getEps(bufferedImg);
int bands = bufferedImg.getSampleModel().getNumBands();
int bitsPerPixel = (int) Math.ceil(
bufferedImg.getColorModel().getPixelSize() / 8.0) * 8;
int bitsPerSample = bitsPerPixel / bands;
if (bands > 3) {
bands = 3;
}
writeln("gsave");
writeln(x, " ", y, " ", width, " ", height, " ",
imgWidth, " ", imgHeight, " ", bitsPerSample, " img false ", bands,
" colorimage"
);
writeln(imgData, ">");
writeln("grestore");
}
@Override
public void setColor(Color c) {
Color color = getColor();
if (c != null) {
super.setColor(c);
// TODO Add transparency hints for PDF conversion?
/*if (color.getAlpha() != c.getAlpha()) {
double a = c.getAlpha()/255.0;
writeln("[ /ca ", a, " /SetTransparency pdfmark");
}*/
if (color.getRed() != c.getRed() || color.getGreen() != c.getGreen()
|| color.getBlue() != c.getBlue()) {
double r = c.getRed()/255.0;
double g = c.getGreen()/255.0;
double b = c.getBlue()/255.0;
writeln(r, " ", g, " ", b, " rgb");
}
}
}
@Override
public void setFont(Font font) {
if (!getFont().equals(font)) {
super.setFont(font);
writeln("/", font.getPSName(), " ", font.getSize2D(),
" selectfont");
}
}
@Override
public void setClip(Shape clip) {
if (getClip() != null) {
writeln("cliprestore");
}
super.setClip(clip);
if (getClip() != null) {
writeShape(getClip());
writeln(" clip");
}
}
@Override
public void setTransform(AffineTransform tx) {
if (getTransform().equals(tx)) {
return;
}
super.setTransform(tx);
double[] matrix = new double[6];
getTransform().getMatrix(matrix);
writeln("basematrix setmatrix [", DataUtils.join(" ", matrix),
"] concat");
}
@Override
public void translate(double tx, double ty) {
super.translate(tx, ty);
if ((tx != 0.0) || (ty != 0.0)) {
writeln(tx, " ", ty, " translate");
}
}
@Override
public void scale(double sx, double sy) {
super.scale(sx, sy);
if ((sx != 1.0) || (sy != 1.0)) {
writeln(sx, " ", sy, " scale");
}
}
@Override
public void rotate(double theta) {
super.rotate(theta);
if (theta != 0.0) {
writeln(theta/Math.PI*180.0, " rotate");
}
}
@Override
public void rotate(double theta, double x, double y) {
super.rotate(theta, x, y);
if (theta != 0.0) {
writeln(x, " ", y, " translate ", theta/Math.PI*180.0, " rotate ",
-x, " ", -y, " translate");
}
}
@Override
public void shear(double sx, double sy) {
super.shear(sx, sy);
if ((sx != 0.0) || (sy != 0.0)) {
setTransform(getTransform());
}
}
@Override
protected void writeHeader() {
Rectangle2D bounds = getBounds();
double x = bounds.getX() * MM_IN_UNITS;
double y = bounds.getY() * MM_IN_UNITS;
double w = bounds.getWidth() * MM_IN_UNITS;
double h = bounds.getHeight() * MM_IN_UNITS;
writeln("%!PS-Adobe-3.0 EPSF-3.0");
writeln("%%BoundingBox: ",
(int) Math.floor(x), " ", (int) Math.floor(y), " ",
(int) Math.ceil(x + w), " ", (int) Math.ceil(y + h));
writeln("%%HiResBoundingBox: ", x, " ", y, " ", x + w, " ", y + h);
writeln("%%LanguageLevel: 3");
writeln("%%Pages: 1");
writeln("%%Page: 1 1");
// Utility functions
writeln("/M /moveto load def");
writeln("/L /lineto load def");
writeln("/C /curveto load def");
writeln("/Z /closepath load def");
writeln("/RL /rlineto load def");
writeln("/rgb /setrgbcolor load def");
writeln("/rect { ",
"/height exch def /width exch def /y exch def /x exch def ",
"x y M width 0 RL 0 height RL width neg 0 RL ",
"} bind def");
writeln("/ellipse { ",
"/endangle exch def /startangle exch def ",
"/ry exch def /rx exch def /y exch def /x exch def ",
"/savematrix matrix currentmatrix def ",
"x y translate rx ry scale 0 0 1 startangle endangle arcn ",
"savematrix setmatrix ",
"} bind def");
writeln("/img { ",
"/bits exch def /imgheight exch def /imgwidth exch def ",
"/height exch def /width exch def /y exch def /x exch def ",
"x y translate width height scale ",
"imgwidth imgheight bits [imgwidth 0 0 imgheight 0 0] currentfile ",
"/ASCIIHexDecode filter ",
"} bind def");
// Set default font
writeln("/", getFont().getPSName(), " ", getFont().getSize2D(),
" selectfont");
//writeln("<< /AllowTransparency true >> setdistillerparams"); // TODO
// Save state
writeln("gsave");
// Save state
writeln("clipsave");
// Settings
writeln("/DeviceRGB setcolorspace");
// Adjust page size and page origin
writeln("0 ", h, " translate");
writeln(MM_IN_UNITS, " -", MM_IN_UNITS, " scale");
writeln("/basematrix matrix currentmatrix def");
}
/**
* Utility method for writing a tag closing fragment for drawing operations.
*/
@Override
protected void writeClosingDraw(Shape s) {
writeln(" stroke");
}
/**
* Utility method for writing a tag closing fragment for filling operations.
*/
@Override
protected void writeClosingFill(Shape s) {
// TODO Omit fill operation if paint isn't a Color object
writeln(" fill");
if (!(getPaint() instanceof Color)) {
super.writeClosingFill(s);
}
}
/**
* Utility method for writing an arbitrary shape to.
* It tries to translate Java2D shapes to the corresponding EPS shape
* commands.
*/
@Override
protected void writeShape(Shape s) {
write("newpath ");
if (s instanceof Line2D) {
Line2D l = (Line2D) s;
double x1 = l.getX1();
double y1 = l.getY1();
double x2 = l.getX2();
double y2 = l.getY2();
write(x1, " ", y1, " M ", x2, " ", y2, " L");
return;
} else if (s instanceof Rectangle2D) {
Rectangle2D r = (Rectangle2D) s;
double x = r.getX();
double y = r.getY();
double width = r.getWidth();
double height = r.getHeight();
write(x, " ", y, " ", width, " ", height, " rect Z");
return;
} else if (s instanceof Ellipse2D) {
Ellipse2D e = (Ellipse2D) s;
double x = e.getX() + e.getWidth()/2.0;
double y = e.getY() + e.getHeight()/2.0;
double rx = e.getWidth()/2.0;
double ry = e.getHeight()/2.0;
write(x, " ", y, " ", rx, " ", ry, " ", 360.0, " ", 0.0,
" ellipse Z");
return;
} else if (s instanceof Arc2D) {
Arc2D e = (Arc2D) s;
double x = (e.getX() + e.getWidth()/2.0);
double y = (e.getY() + e.getHeight()/2.0);
double rx = e.getWidth()/2.0;
double ry = e.getHeight()/2.0;
double startAngle = -e.getAngleStart();
double endAngle = -(e.getAngleStart() + e.getAngleExtent());
write(x, " ", y, " ", rx, " ", ry, " ", startAngle, " ", endAngle,
" ellipse");
if (e.getArcType() == Arc2D.CHORD) {
write(" Z");
} else if (e.getArcType() == Arc2D.PIE) {
write(" ", x, " ", y, " L Z");
}
return;
} else {
PathIterator segments = s.getPathIterator(null);
double[] coordsCur = new double[6];
double[] pointPrev = new double[2];
for (int i = 0; !segments.isDone(); i++, segments.next()) {
if (i > 0) {
write(" ");
}
int segmentType = segments.currentSegment(coordsCur);
switch (segmentType) {
case PathIterator.SEG_MOVETO:
write(coordsCur[0], " ", coordsCur[1], " M");
pointPrev[0] = coordsCur[0];
pointPrev[1] = coordsCur[1];
break;
case PathIterator.SEG_LINETO:
write(coordsCur[0], " ", coordsCur[1], " L");
pointPrev[0] = coordsCur[0];
pointPrev[1] = coordsCur[1];
break;
case PathIterator.SEG_CUBICTO:
write(coordsCur[0], " ", coordsCur[1], " ",
coordsCur[2], " ", coordsCur[3], " ",
coordsCur[4], " ", coordsCur[5], " C");
pointPrev[0] = coordsCur[4];
pointPrev[1] = coordsCur[5];
break;
case PathIterator.SEG_QUADTO:
double x1 = pointPrev[0] + 2.0/3.0*(coordsCur[0] - pointPrev[0]);
double y1 = pointPrev[1] + 2.0/3.0*(coordsCur[1] - pointPrev[1]);
double x2 = coordsCur[0] + 1.0/3.0*(coordsCur[2] - coordsCur[0]);
double y2 = coordsCur[1] + 1.0/3.0*(coordsCur[3] - coordsCur[1]);
double x3 = coordsCur[2];
double y3 = coordsCur[3];
write(x1, " ", y1, " ", x2, " ", y2, " ", x3, " ", y3,
" C");
pointPrev[0] = x3;
pointPrev[1] = y3;
break;
case PathIterator.SEG_CLOSE:
write("Z");
break;
default:
throw new IllegalStateException("Unknown path operation.");
}
}
}
}
public static String getEps(BufferedImage bufferedImg) {
int width = bufferedImg.getWidth();
int height = bufferedImg.getHeight();
int bands = bufferedImg.getSampleModel().getNumBands();
StringBuffer str = new StringBuffer(width*height*bands*2);
for (int y = 0; y < height; y++) {
for (int x = 0; x < width; x++) {
int pixel = bufferedImg.getRGB(x, y) & 0xffffff;
if (bands >= 3) {
String hex = String.format("%06x", pixel);
str.append(hex);
} else if (bands == 1) {
str.append(String.format("%02x", pixel));
}
}
str.append("\n");
}
return str.toString();
}
@Override
protected String getFooter() {
return "grestore % Restore state\n%%EOF\n";
}
@Override
public byte[] getBytes() {
try {
return toString().getBytes("ISO-8859-1");
} catch (UnsupportedEncodingException e) {
return super.getBytes();
}
}
}
carmetal-4.3/src/de/erichseifert/vectorgraphics2d/GraphicsUtils.java 0000664 0000000 0000000 00000010264 14171222527 0025706 0 ustar 00root root 0000000 0000000 /*
* VectorGraphics2D: Vector export for Java(R) Graphics2D
*
* (C) Copyright 2010 Erich Seifert true if the specified image
* has transparent pixels.
* Taken from http://www.exampledepot.com/egs/java.awt.image/HasAlpha.html
* @param image
* @return true if the specified image has transparent pixels,
* false otherwise
*/
public static boolean hasAlpha(Image image) {
// If buffered image, the color model is readily available
if (image instanceof BufferedImage) {
BufferedImage bimage = (BufferedImage) image;
return bimage.getColorModel().hasAlpha();
}
// Use a pixel grabber to retrieve the image's color model;
// grabbing a single pixel is usually sufficient
PixelGrabber pg = new PixelGrabber(image, 0, 0, 1, 1, false);
try {
pg.grabPixels();
} catch (InterruptedException e) {
}
// Get the image's color model
ColorModel cm = pg.getColorModel();
return cm.hasAlpha();
}
/**
* This method returns a buffered image with the contents of an image.
* Taken from http://www.exampledepot.com/egs/java.awt.image/Image2Buf.html
* @param image Image ot be converted
* @return a buffered image with the contents of the specified image
*/
public static BufferedImage toBufferedImage(Image image) {
if (image instanceof BufferedImage) {
return (BufferedImage) image;
}
// This code ensures that all the pixels in the image are loaded
image = new ImageIcon(image).getImage();
// Determine if the image has transparent pixels
boolean hasAlpha = hasAlpha(image);
// Create a buffered image with a format that's compatible with the
// screen
BufferedImage bimage = null;
GraphicsEnvironment ge = GraphicsEnvironment
.getLocalGraphicsEnvironment();
try {
// Determine the type of transparency of the new buffered image
int transparency = Transparency.OPAQUE;
if (hasAlpha) {
transparency = Transparency.BITMASK;
}
// Create the buffered image
GraphicsDevice gs = ge.getDefaultScreenDevice();
GraphicsConfiguration gc = gs.getDefaultConfiguration();
bimage = gc.createCompatibleImage(
image.getWidth(null), image.getHeight(null), transparency);
} catch (HeadlessException e) {
// The system does not have a screen
bimage = null;
}
if (bimage == null) {
// Create a buffered image using the default color model
int type = BufferedImage.TYPE_INT_RGB;
if (hasAlpha) {
type = BufferedImage.TYPE_INT_ARGB;
}
bimage = new BufferedImage(
image.getWidth(null), image.getHeight(null), type);
}
// Copy image to buffered image
Graphics g = bimage.createGraphics();
// Paint the image onto the buffered image
g.drawImage(image, 0, 0, null);
g.dispose();
return bimage;
}
}
carmetal-4.3/src/de/erichseifert/vectorgraphics2d/PDFGraphics2D.java 0000664 0000000 0000000 00000045363 14171222527 0025415 0 ustar 00root root 0000000 0000000 /*
* VectorGraphics2D: Vector export for Java(R) Graphics2D
*
* (C) Copyright 2010 Erich Seifert Graphics2D implementation that saves all operations to a string
* in the Portable Document Format (PDF).
*/
public class PDFGraphics2D extends VectorGraphics2D {
/** Prefix string for PDF font resource ids. */
protected static final String FONT_RESOURCE_PREFIX = "F";
/** Prefix string for PDF image resource ids. */
protected static final String IMAGE_RESOURCE_PREFIX = "Im";
/** Prefix string for PDF transparency resource ids. */
protected static final String TRANSPARENCY_RESOURCE_PREFIX = "T";
/** Constant to convert values from millimeters to PostScript®/PDF units (1/72th inch). */
protected static final double MM_IN_UNITS = 72.0 / 25.4;
/** Mapping of stroke endcap values from Java to PDF. */
private static final MapPDFGraphics2D instance.
* The document dimension must be specified as parameters.
*/
public PDFGraphics2D(double x, double y, double width, double height) {
super(x, y, width, height);
curObjId = 1;
objPositions = new TreeMapGraphics2D implementation that saves all operations to a string
* in the Scaled Vector Graphics (SVG) format.
*/
public class SVGGraphics2D extends VectorGraphics2D {
/** Mapping of stroke endcap values from Java to SVG. */
private static final MapSVGGraphics2D instance.
* The document dimension must be specified as parameters.
*/
public SVGGraphics2D(double x, double y, double width, double height) {
super(x, y, width, height);
writeHeader();
}
@Override
protected void writeString(String str, double x, double y) {
// Escape string
str = str.replaceAll("&", "&").replaceAll("<", "<").replaceAll(">", ">");
float fontSize = getFont().getSize2D();
//float leading = getFont().getLineMetrics("", getFontRenderContext()).getLeading();
/*
// Extract lines
String[] lines = str.replaceAll("\r\n", "\n").replaceAll("\r", "\n").split("\n");
// Output lines
writeln("true if the document is distorted,
* otherwise false.
*/
protected boolean isDistorted() {
if (!isTransformed()) {
return false;
}
int type = transform.getType();
int otherButTranslatedOrScaled = ~(AffineTransform.TYPE_TRANSLATION
| AffineTransform.TYPE_MASK_SCALE);
return (type & otherButTranslatedOrScaled) != 0;
}
@Override
public String toString() {
return document.toString() + getFooter();
}
/**
* Encodes the painted data into a sequence of bytes.
* @return A byte array containing the data in the current file format.
*/
public byte[] getBytes() {
try {
return toString().getBytes("UTF-8");
} catch (UnsupportedEncodingException e) {
return toString().getBytes();
}
}
/**
* Returns the dimensions of the document.
* @return dimensions of the document.
*/
public Rectangle2D getBounds() {
Rectangle2D b = new Rectangle2D.Double();
b.setFrame(bounds);
return b;
}
/**
* Returns the number of bytes of the document.
* @return size of the document in bytes.
*/
protected int size() {
return document.length();
}
/**
* Returns how fonts should be rendered.
* @return Font rendering mode.
*/
public FontRendering getFontRendering() {
return fontRendering;
}
/**
* Sets how fonts should be rendered. For example, they can be converted
* to vector shapes.
* @param mode New font rendering mode.
*/
public void setFontRendering(FontRendering mode) {
fontRendering = mode;
}
/**
* Returns whether an affine transformation like translation, scaling,
* rotation or shearing has been applied to this graphics instance.
* @return true if the instance has been transformed,
* false otherwise
*/
protected boolean isTransformed() {
return transformed;
}
/**
* Returns the resolution in pixels per inch.
* @return Resolution in pixels per inch.
*/
public double getResolution() {
return resolution;
}
/**
* Sets the resolution in pixels per inch.
* @param resolution New resolution in pixels per inch.
*/
public void setResolution(double resolution) {
if (resolution <= 0.0) {
throw new IllegalArgumentException(
"Only positive non-zero values allowed");
}
this.resolution = resolution;
}
/**
* Returns the maximal size of images which are used to raster paints
* like e.g. gradients, or patterns. The default value is 128.
* @return Current maximal image size in pixels.
*/
public int getRasteredImageSizeMaximum() {
return rasteredImageSizeMaximum;
}
/**
* Sets the maximal size of images which are used to raster paints
* like e.g. gradients, or patterns.
* @param paintImageSizeMaximum New maximal image size in pixels.
*/
public void setRasteredImageSizeMaximum(int paintImageSizeMaximum) {
this.rasteredImageSizeMaximum = paintImageSizeMaximum;
}
}
carmetal-4.3/src/de/erichseifert/vectorgraphics2d/package-info.java 0000664 0000000 0000000 00000001665 14171222527 0025456 0 ustar 00root root 0000000 0000000 /*
* VectorGraphics2D: Vector export for Java(R) Graphics2D
*
* (C) Copyright 2010 Erich Seifert Angle bisector of angle P1P2P3 as ray.
Projects P to the line g.
Rotate a point P around Q with angle ABC.
Rotates a point P around Q with a given angle.
ºéæƒzkbµþúݺ¼¼j¾÷Á{f㠀ˢæ&Ç; IEND®B`‚ carmetal-4.3/src/eric/GUI/icons/themes/common/Mnext.png 0000664 0000000 0000000 00000001203 14171222527 0022775 0 ustar 00root root 0000000 0000000 ‰PNG
IHDR M
) tEXtSoftware Adobe ImageReadyqÉe< %IDATxÚìWÍNâPþÚÔ6<€î4Ó7ÈBŽÑˆ]¯ ‰ó ºÐD-ÑÅøãBÐ ¢1>€ƒ[V,@(”kOØÖÞÒ&m\Œ…“\÷œï»çï‚ÀÃW>"¾øù& Ù?hEU*¼Ö_c[X\@6›ÅÁþàI Vb;—ÃÖVét:Rðv»RéÖ”ðNÁËË?lllBQ ‡ÃH…|’oÂঀZ’6†K
È·»í%ç¸ ƒÛDŽ•f³‰Õ••P6î¹çŒ€ùí`0|Á|%“I¬¯ýBùþ.` |RÀÀ'Ðh4ðûðÐ*(]×-`Z˲ I’¬îù{s SRÐï÷=Å:± X€©Tj²¶ëvwv¹öcq§@twEÀK&‚ˆ„œ˜¬í:E™E¡Pàú qwèÎ_Æ5,Š¢£žÇ:IšAbFÆžI‚ëÇ·F¼ î‘rï@ 錡žY ®¯¹~Ø4¼"dDÁ|3*BÚ3ZÛuÝ^—W—¾äO à2§ð’±Þ×']@k
ýX§‹\{ï1bþèøØ¡›Ÿ›C>Ÿ·@/4-Ø ñ Řz÷iºÝ.ÎÎÏCÙù3 ëõ:NNOCÙDJ ò_DTdq߆lÚ]Ðjµ¬{;Ž§Óé|º Ô * ±´ô3ro78 õZM™Í4M,,,¨âã86îÜù™XY¡xÐu9z{{%ˆ*Db Ó¨a4Ï+êûha ">æççUÚÍÌÌügPbFJ$ëÁÁƒ$×èýM$ ÍW/¥"“FñPžëÒ ]a«ßééi:µÿÁ 1*Í…B™LæOªŒ‚H•p«0Í*â
*mýÀ_/Ház&èÈRVär9äsùòJuõbŠ4Dì Êi¼¼C*™¤~A>ŸSZûD»¬–Q/Z¯×ÏV«kåöF´%€>£ÚãÖÍhµZX¢ —š×©ä¶Zæ j6G@Q‘"