mirror of
https://gitlab.kit.edu/uskyk/typicalc.git
synced 2024-11-08 18:30:42 +00:00
Checkstyle für Maven konfiguriert
This commit is contained in:
parent
22f72620c5
commit
5cf04a979a
20
pom.xml
20
pom.xml
@ -155,6 +155,26 @@
|
|||||||
<artifactId>maven-surefire-plugin</artifactId>
|
<artifactId>maven-surefire-plugin</artifactId>
|
||||||
<version>2.22.2</version>
|
<version>2.22.2</version>
|
||||||
</plugin>
|
</plugin>
|
||||||
|
|
||||||
|
<plugin>
|
||||||
|
<artifactId>maven-checkstyle-plugin</artifactId>
|
||||||
|
<version>3.1.1</version>
|
||||||
|
<configuration>
|
||||||
|
<configLocation>${project.build.directory}/../src/test/resources/checkstyle.xml</configLocation>
|
||||||
|
<consoleOutput>true</consoleOutput>
|
||||||
|
<failsOnError>true</failsOnError>
|
||||||
|
<sourceDirectories>${project.build.directory}/../src/main/java</sourceDirectories>
|
||||||
|
</configuration>
|
||||||
|
<executions>
|
||||||
|
<execution>
|
||||||
|
<id>validate</id>
|
||||||
|
<phase>validate</phase>
|
||||||
|
<goals>
|
||||||
|
<goal>check</goal>
|
||||||
|
</goals>
|
||||||
|
</execution>
|
||||||
|
</executions>
|
||||||
|
</plugin>
|
||||||
</plugins>
|
</plugins>
|
||||||
</build>
|
</build>
|
||||||
|
|
||||||
|
@ -1,7 +1,11 @@
|
|||||||
package edu.kit.typicalc.model.step;
|
package edu.kit.typicalc.model.step;
|
||||||
|
|
||||||
import edu.kit.typicalc.model.Conclusion;
|
import edu.kit.typicalc.model.Conclusion;
|
||||||
|
<<<<<<< HEAD
|
||||||
import edu.kit.typicalc.model.Constraint;
|
import edu.kit.typicalc.model.Constraint;
|
||||||
|
=======
|
||||||
|
|
||||||
|
>>>>>>> 0f6c701 (Checkstyle für Maven konfiguriert)
|
||||||
/**
|
/**
|
||||||
* Models one step of the inference tree.
|
* Models one step of the inference tree.
|
||||||
* Depending on the inference rule that is applied in a step,
|
* Depending on the inference rule that is applied in a step,
|
||||||
@ -46,4 +50,13 @@ public abstract class InferenceStep {
|
|||||||
* @param stepVisitor the visitor that wants to visit this object
|
* @param stepVisitor the visitor that wants to visit this object
|
||||||
*/
|
*/
|
||||||
public abstract void accept(StepVisitor stepVisitor);
|
public abstract void accept(StepVisitor stepVisitor);
|
||||||
|
<<<<<<< HEAD
|
||||||
}
|
}
|
||||||
|
=======
|
||||||
|
|
||||||
|
public Conclusion getConclusion() {
|
||||||
|
return null; // TODO
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
>>>>>>> 0f6c701 (Checkstyle für Maven konfiguriert)
|
||||||
|
Loading…
Reference in New Issue
Block a user