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

added pdm to pom

Browse Source
This commit is contained in:
hneemann 2016-07-15 14:49:21 +02:00
parent 3f8559e5cd
commit ab5e853814
2 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pom.xml
View File

@ -50,6 +50,10 @@
</reportSet> </reportSet>
</reportSets> </reportSets>
</plugin> </plugin>
<plugin>
<artifactId>maven-pmd-plugin</artifactId>
<version>3.6</version>
</plugin>
<plugin> <plugin>
<groupId>org.apache.maven.plugins</groupId> <groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId> <artifactId>maven-javadoc-plugin</artifactId>

2
src/main/java/de/neemann/digital/analyse/DetermineJKStateMachine.java
View File

@ -31,7 +31,7 @@ public class DetermineJKStateMachine {
* @throws FormatterException FormatterException * @throws FormatterException FormatterException
*/ */
public DetermineJKStateMachine(String name, Expression e) throws ExpressionException, FormatterException { public DetermineJKStateMachine(String name, Expression e) throws ExpressionException, FormatterException {
String notName = FormatToExpression.FORMATTER_UNICODE.format(Not.not(new Variable(name))); String notName = FormatToExpression.FORMATTER_UNICODE.format(not(new Variable(name)));
boolean wasK = false; boolean wasK = false;
boolean wasJ = false; boolean wasJ = false;