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

adds additional test cases; see #543

Browse Source
This commit is contained in:
hneemann 2020-11-05 08:41:04 +01:00
parent 6c65bccd2e
commit 1a4e952117
1 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
src/test/java/de/neemann/digital/integration/TestExamples.java
View File

@ -7,8 +7,15 @@ package de.neemann.digital.integration;
import de.neemann.digital.core.ErrorDetector; import de.neemann.digital.core.ErrorDetector;
import de.neemann.digital.core.Model; import de.neemann.digital.core.Model;
import de.neemann.digital.core.NodeException;
import de.neemann.digital.core.element.Keys; import de.neemann.digital.core.element.Keys;
import de.neemann.digital.draw.elements.Circuit;
import de.neemann.digital.draw.elements.PinException;
import de.neemann.digital.draw.elements.VisualElement; import de.neemann.digital.draw.elements.VisualElement;
import de.neemann.digital.draw.library.ElementLibrary;
import de.neemann.digital.draw.library.ElementNotFoundException;
import de.neemann.digital.draw.library.GenericInitCode;
import de.neemann.digital.draw.library.ResolveGenerics;
import de.neemann.digital.draw.model.ModelCreator; import de.neemann.digital.draw.model.ModelCreator;
import de.neemann.digital.testing.TestCaseDescription; import de.neemann.digital.testing.TestCaseDescription;
import de.neemann.digital.testing.TestCaseElement; import de.neemann.digital.testing.TestCaseElement;
@ -16,6 +23,7 @@ import de.neemann.digital.testing.TestExecutor;
import junit.framework.TestCase; import junit.framework.TestCase;
import java.io.File; import java.io.File;
import java.util.List;
/** /**
* Reads all examples and tries to create the model. * Reads all examples and tries to create the model.
@ -105,5 +113,27 @@ public class TestExamples extends TestCase {
} finally { } finally {
br.close(); br.close();
} }
if (br.getCircuit().getAttributes().get(Keys.IS_GENERIC))
checkGeneric(br.getCircuit(), br.getLibrary());
}
private void checkGeneric(Circuit circuit, ElementLibrary library) throws NodeException, ElementNotFoundException, PinException {
List<VisualElement> initCodeList = circuit.getElements(v -> v.equalsDescription(GenericInitCode.DESCRIPTION) && v.getElementAttributes().get(Keys.ENABLED));
assertEquals("init code element count", 1, initCodeList.size());
VisualElement element = initCodeList.get(0);
Circuit concreteCircuit = new ResolveGenerics()
.resolveCircuit(element, circuit, library)
.cleanupConcreteCircuit()
.getCircuit();
for (VisualElement ve : concreteCircuit.getElements()) {
assertNull(ve.getGenericArgs());
assertFalse(ve.equalsDescription(GenericInitCode.DESCRIPTION));
}
new ModelCreator(concreteCircuit, library).createModel(false).init();
} }
} }