Skip to content

Commit f90da76

Browse files
committed
added javadoc to ensure proper compiling
1 parent fee8f35 commit f90da76

34 files changed

Lines changed: 402 additions & 62 deletions

org-tweetyproject-arg-aspic/src/main/java/org/tweetyproject/arg/aspic/examples/AspicExample.java

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,10 @@
3535
*
3636
*/
3737
public class AspicExample {
38+
/**
39+
*
40+
* @param args command line arguments
41+
*/
3842
public static void main(String[] args){
3943
Proposition a = new Proposition("a");
4044
Proposition b = new Proposition("b");

org-tweetyproject-arg-aspic/src/main/java/org/tweetyproject/arg/aspic/examples/AspicExample2.java

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,13 @@
3939
*
4040
*/
4141
public class AspicExample2 {
42+
/**
43+
*
44+
* @param args command lone arguments
45+
* @throws FileNotFoundException exception
46+
* @throws ParserException exception
47+
* @throws IOException exception
48+
*/
4249
public static void main(String[] args) throws FileNotFoundException, ParserException, IOException{
4350
PlParser plparser = new PlParser();
4451
AspicParser<PlFormula> parser = new AspicParser<>(plparser, new PlFormulaGenerator());

org-tweetyproject-arg-aspic/src/main/java/org/tweetyproject/arg/aspic/examples/AspicExampleFol.java

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,12 @@
3939
*
4040
*/
4141
public class AspicExampleFol {
42+
/**
43+
*
44+
* @param args command line arguments
45+
* @throws ParserException exception
46+
* @throws IOException exception
47+
*/
4248
public static void main(String[] args) throws ParserException, IOException {
4349
// FOL Example
4450
FolParser folparser = new FolParser();

org-tweetyproject-arg-aspic/src/main/java/org/tweetyproject/arg/aspic/examples/AspicGeneratorExample.java

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,10 @@
3939
*
4040
*/
4141
public class AspicGeneratorExample {
42+
/**
43+
*
44+
* @param args command line args
45+
*/
4246
@SuppressWarnings("deprecation")
4347
public static void main(String[] args) {
4448
int repetitions = 50;

org-tweetyproject-arg-aspic/src/main/java/org/tweetyproject/arg/aspic/examples/AspicGeneratorExample2.java

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -35,6 +35,11 @@
3535
* @author Matthias Thimm
3636
*/
3737
public class AspicGeneratorExample2 {
38+
/**
39+
*
40+
* @param args command lien args
41+
* @throws IOException exception
42+
*/
3843
public static void main(String[] args) throws IOException {
3944
int numberAtoms = 18;
4045
int numberFormulas = 80;

org-tweetyproject-arg-aspic/src/main/java/org/tweetyproject/arg/aspic/examples/AspicGeneratorExample3.java

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,11 @@
4040
* @author Matthias Thimm
4141
*/
4242
public class AspicGeneratorExample3 {
43+
/**
44+
*
45+
* @param args args
46+
* @throws IOException exception
47+
*/
4348
public static void main(String[] args) throws IOException {
4449
int numberOfAFs = 100;
4550
int[] l_numberAtoms = {5,10,15};//{10,15,20,25,30};

org-tweetyproject-arg-aspic/src/main/java/org/tweetyproject/arg/aspic/examples/DirectionalReasonerTest.java

Lines changed: 13 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,10 @@
4747
*
4848
*/
4949
public class DirectionalReasonerTest {
50+
/**
51+
*
52+
* @param args args
53+
*/
5054
public static void main(String[] args) {
5155
int repetitions = 5000;
5256
int numberAtoms = 65;
@@ -122,7 +126,15 @@ public Pair<Long, Pair<Integer, Boolean>> call() throws Exception {
122126
// System.out.println("att: " + a);
123127
// }
124128
// }
125-
129+
/**
130+
*
131+
* @param <T> some callable object
132+
* @param callable callable object
133+
* @param timeout timeout for runtime
134+
* @param timeUnit unit for timeout
135+
* @return directional reasoner result
136+
* @throws Exception exception
137+
*/
126138
public static <T> T runWithTimeout(Callable<T> callable, long timeout, TimeUnit timeUnit) throws Exception {
127139
final ExecutorService executor = Executors.newSingleThreadExecutor();
128140
final Future<T> future = executor.submit(callable);

org-tweetyproject-arg-aspic/src/main/java/org/tweetyproject/arg/aspic/order/SetComparator.java

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,6 @@
3131
* A comparator for sets of T according to def.3.19 in Mogdil and Prakken
3232
*
3333
* @param <T> type of the compared sets' elements
34-
* @param <R>
3534
*/
3635
public class SetComparator<T> implements Comparator<Collection<T>> {
3736

org-tweetyproject-arg-aspic/src/main/java/org/tweetyproject/arg/aspic/reasoner/AbstractAspicReasoner.java

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -84,7 +84,14 @@ public Boolean query(AspicArgumentationTheory<T> aat, T query) {
8484
public final Boolean query(AspicArgumentationTheory<T> aat, T query, InferenceMode inferenceMode) {
8585
return query(getDungTheory(aat, query), query, inferenceMode);
8686
}
87-
87+
/**
88+
*
89+
* @param dt dung theory
90+
* @param query a formula
91+
* @param inferenceMode either Semantics.SCEPTICAL_INFERENCE or
92+
* Semantics.CREDULOUS_INFERENCE
93+
* @return "true" if the formula is accepted
94+
*/
8895
public final Boolean query(DungTheory dt, T query, InferenceMode inferenceMode) {
8996
for (Argument arg : dt)
9097
if (((AspicArgument<?>) arg).getConclusion().equals(query))

org-tweetyproject-arg-aspic/src/main/java/org/tweetyproject/arg/aspic/syntax/AspicArgument.java

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -384,7 +384,10 @@ public int compare(AspicArgument<T> o1, AspicArgument<T> o2) {
384384
}
385385
return false;
386386
}
387-
387+
/**
388+
*
389+
* @return a shallow copy
390+
*/
388391
public AspicArgument<T> shallowCopy() {
389392
AspicArgument<T> copy = new AspicArgument<T>(toprule);
390393
directsubs.forEach(sub -> copy.addDirectSub(sub));

0 commit comments

Comments
 (0)