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

added pin numbers to input/output labels

Browse Source
This commit is contained in:
hneemann 2017-05-13 10:54:24 +02:00
parent cc7a2bb3ba
commit ae74fe5bf0
2 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/main/java/de/neemann/digital/draw/shapes/InputShape.java
View File

@ -4,6 +4,7 @@ import de.neemann.digital.core.ObservableValue;
import de.neemann.digital.core.Observer;
import de.neemann.digital.core.element.Element;
import de.neemann.digital.core.element.ElementAttributes;
import de.neemann.digital.core.element.Keys;
import de.neemann.digital.core.element.PinDescriptions;
import de.neemann.digital.draw.elements.IOState;
import de.neemann.digital.draw.elements.Pin;
@ -39,7 +40,11 @@ public class InputShape implements Shape {
*/
public InputShape(ElementAttributes attr, PinDescriptions inputs, PinDescriptions outputs) {
this.outputs = outputs;
this.label = attr.getLabel();
int pinNumber =attr.get(Keys.PINNUMBER);
if (pinNumber==0)
this.label = attr.getLabel();
else
this.label = attr.getLabel()+" ("+pinNumber+")";
}
@Override

7
src/main/java/de/neemann/digital/draw/shapes/OutputShape.java
View File

@ -3,6 +3,7 @@ package de.neemann.digital.draw.shapes;
import de.neemann.digital.core.ObservableValue;
import de.neemann.digital.core.Observer;
import de.neemann.digital.core.element.ElementAttributes;
import de.neemann.digital.core.element.Keys;
import de.neemann.digital.core.element.PinDescriptions;
import de.neemann.digital.draw.elements.IOState;
import de.neemann.digital.draw.elements.Pin;
@ -42,7 +43,11 @@ public class OutputShape implements Shape {
*/
public OutputShape(ElementAttributes attr, PinDescriptions inputs, PinDescriptions outputs) {
this.inputs = inputs;
this.label = attr.getLabel();
int pinNumber =attr.get(Keys.PINNUMBER);
if (pinNumber==0)
this.label = attr.getLabel();
else
this.label = attr.getLabel()+" ("+pinNumber+")";
}
@Override