TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-13 14:56:29 -04:00
Code Issues Packages Projects Releases Wiki Activity

fixed some findbugs issues

Browse Source
This commit is contained in:
hneemann 2016-04-10 10:21:10 +02:00
parent ff4a3eb8e7
commit 9f56f7b37a
2 changed files with 17 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/main/java/de/neemann/digital/core/Model.java
View File

@ -430,6 +430,22 @@ public class Model {
return name.compareTo(o.name);
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
Signal signal = (Signal) o;
return name.equals(signal.name);
}
@Override
public int hashCode() {
return name.hashCode();
}
@Override
public String toString() {
return name;

2
src/main/java/de/neemann/digital/draw/graphics/GraphicSVG.java
View File

@ -93,7 +93,7 @@ public class GraphicSVG implements Graphic, Closeable {
public void drawCircle(Vector p1, Vector p2, Style style) {
try {
Vector c = p1.add(p2).div(2);
double r = Math.abs(p2.sub(p1).x) / 2;
double r = Math.abs(p2.sub(p1).x) / 2.0;
if (style.isFilled())
w.write("<circle cx=\"" + c.x + "\" cy=\"" + c.y + "\" r=\"" + r + "\" stroke=\"" + getColor(style) + "\" stroke-width=\"" + getStrokeWidth(style) + "\" fill=\"" + getColor(style) + "\" />\n");
else {