Skip to content

Commit c99d115

Browse files
RipplBRipplB
committed
Bump copyright year
1 parent 06b5cc1 commit c99d115

File tree

1,615 files changed

+23278
-20230
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

1,615 files changed

+23278
-20230
lines changed

‎build.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎buildSrc/build.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎buildSrc/gradle.properties

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
#
2-
# Copyright 2024 Budapest University of Technology and Economics
2+
# Copyright 2025 Budapest University of Technology and Economics
33
#
44
# Licensed under the Apache License, Version 2.0 (the "License");
55
# you may not use this file except in compliance with the License.

‎buildSrc/settings.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎buildSrc/src/main/kotlin/Deps.kt

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎buildSrc/src/main/kotlin/antlr-grammar.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎buildSrc/src/main/kotlin/cli-tool.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎buildSrc/src/main/kotlin/jacoco-common.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎buildSrc/src/main/kotlin/java-common.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎buildSrc/src/main/kotlin/kaml-serialization.gradle.kts

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.
@@ -17,7 +17,7 @@
1717
import gradle.kotlin.dsl.accessors._07de9d51edfbede3e6fa517ade9dcf20.implementation
1818

1919
/*
20-
* Copyright 2024 Budapest University of Technology and Economics
20+
* Copyright 2025 Budapest University of Technology and Economics
2121
*
2222
* Licensed under the Apache License, Version 2.0 (the "License");
2323
* you may not use this file except in compliance with the License.

‎buildSrc/src/main/kotlin/kotlin-common.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎buildSrc/src/main/kotlin/maven-artifact.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎buildSrc/src/main/kotlin/tool-common.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎gradle/shared-with-buildSrc/mirrors.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎scripts/complex.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎scripts/simple.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎settings.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎subprojects/cfa/cfa-analysis/build.gradle.kts

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎subprojects/cfa/cfa-analysis/src/main/java/hu/bme/mit/theta/cfa/analysis/CfaAction.java

+7-7
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.
@@ -15,19 +15,18 @@
1515
*/
1616
package hu.bme.mit.theta.cfa.analysis;
1717

18+
import static com.google.common.base.Preconditions.checkArgument;
19+
import static com.google.common.base.Preconditions.checkNotNull;
20+
1821
import hu.bme.mit.theta.analysis.expr.StmtAction;
1922
import hu.bme.mit.theta.cfa.CFA.Edge;
2023
import hu.bme.mit.theta.cfa.CFA.Loc;
2124
import hu.bme.mit.theta.common.Utils;
2225
import hu.bme.mit.theta.core.stmt.Stmt;
23-
2426
import java.util.Collections;
2527
import java.util.List;
2628
import java.util.stream.Collectors;
2729

28-
import static com.google.common.base.Preconditions.checkArgument;
29-
import static com.google.common.base.Preconditions.checkNotNull;
30-
3130
public final class CfaAction extends StmtAction {
3231

3332
private final List<Edge> edges;
@@ -39,8 +38,9 @@ private CfaAction(final Loc source, final Loc target, final List<Edge> edges) {
3938
this.source = checkNotNull(source);
4039
this.target = checkNotNull(target);
4140
this.edges = Collections.unmodifiableList(checkNotNull(edges));
42-
this.stmts = Collections.unmodifiableList(
43-
edges.stream().map(Edge::getStmt).collect(Collectors.toList()));
41+
this.stmts =
42+
Collections.unmodifiableList(
43+
edges.stream().map(Edge::getStmt).collect(Collectors.toList()));
4444
}
4545

4646
public static CfaAction create(final Edge edge) {

‎subprojects/cfa/cfa-analysis/src/main/java/hu/bme/mit/theta/cfa/analysis/CfaAnalysis.java

+6-7
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.
@@ -18,8 +18,8 @@
1818
import static com.google.common.base.Preconditions.checkNotNull;
1919

2020
import hu.bme.mit.theta.analysis.Analysis;
21-
import hu.bme.mit.theta.analysis.PartialOrd;
2221
import hu.bme.mit.theta.analysis.InitFunc;
22+
import hu.bme.mit.theta.analysis.PartialOrd;
2323
import hu.bme.mit.theta.analysis.Prec;
2424
import hu.bme.mit.theta.analysis.TransFunc;
2525
import hu.bme.mit.theta.analysis.expr.ExprState;
@@ -32,17 +32,17 @@ public final class CfaAnalysis<S extends ExprState, P extends Prec>
3232
private final InitFunc<CfaState<S>, CfaPrec<P>> initFunc;
3333
private final TransFunc<CfaState<S>, CfaAction, CfaPrec<P>> transFunc;
3434

35-
private CfaAnalysis(final Loc initLoc,
36-
final Analysis<S, ? super CfaAction, ? super P> analysis) {
35+
private CfaAnalysis(
36+
final Loc initLoc, final Analysis<S, ? super CfaAction, ? super P> analysis) {
3737
checkNotNull(initLoc);
3838
checkNotNull(analysis);
3939
partialOrd = CfaOrd.create(analysis.getPartialOrd());
4040
initFunc = CfaInitFunc.create(initLoc, analysis.getInitFunc());
4141
transFunc = CfaTransFunc.create(analysis.getTransFunc());
4242
}
4343

44-
public static <S extends ExprState, P extends Prec> CfaAnalysis<S, P> create(final Loc initLoc,
45-
final Analysis<S, ? super CfaAction, ? super P> analysis) {
44+
public static <S extends ExprState, P extends Prec> CfaAnalysis<S, P> create(
45+
final Loc initLoc, final Analysis<S, ? super CfaAction, ? super P> analysis) {
4646
return new CfaAnalysis<>(initLoc, analysis);
4747
}
4848

@@ -60,5 +60,4 @@ public InitFunc<CfaState<S>, CfaPrec<P>> getInitFunc() {
6060
public TransFunc<CfaState<S>, CfaAction, CfaPrec<P>> getTransFunc() {
6161
return transFunc;
6262
}
63-
6463
}

‎subprojects/cfa/cfa-analysis/src/main/java/hu/bme/mit/theta/cfa/analysis/CfaInitFunc.java

+7-9
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.
@@ -15,18 +15,17 @@
1515
*/
1616
package hu.bme.mit.theta.cfa.analysis;
1717

18+
import static com.google.common.base.Preconditions.checkNotNull;
19+
1820
import hu.bme.mit.theta.analysis.InitFunc;
1921
import hu.bme.mit.theta.analysis.Prec;
2022
import hu.bme.mit.theta.analysis.expr.ExprState;
2123
import hu.bme.mit.theta.cfa.CFA.Loc;
22-
2324
import java.util.ArrayList;
2425
import java.util.Collection;
2526

26-
import static com.google.common.base.Preconditions.checkNotNull;
27-
28-
public final class CfaInitFunc<S extends ExprState, P extends Prec> implements
29-
InitFunc<CfaState<S>, CfaPrec<P>> {
27+
public final class CfaInitFunc<S extends ExprState, P extends Prec>
28+
implements InitFunc<CfaState<S>, CfaPrec<P>> {
3029

3130
private final Loc initLoc;
3231
private final InitFunc<S, ? super P> initFunc;
@@ -36,8 +35,8 @@ private CfaInitFunc(final Loc initLoc, final InitFunc<S, ? super P> initFunc) {
3635
this.initFunc = checkNotNull(initFunc);
3736
}
3837

39-
public static <S extends ExprState, P extends Prec> CfaInitFunc<S, P> create(final Loc initLoc,
40-
final InitFunc<S, ? super P> initFunc) {
38+
public static <S extends ExprState, P extends Prec> CfaInitFunc<S, P> create(
39+
final Loc initLoc, final InitFunc<S, ? super P> initFunc) {
4140
return new CfaInitFunc<>(initLoc, initFunc);
4241
}
4342

@@ -54,5 +53,4 @@ public Collection<CfaState<S>> getInitStates(final CfaPrec<P> prec) {
5453
}
5554
return initStates;
5655
}
57-
5856
}

‎subprojects/cfa/cfa-analysis/src/main/java/hu/bme/mit/theta/cfa/analysis/CfaInitPrecs.java

+3-6
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.
@@ -20,20 +20,17 @@
2020
import hu.bme.mit.theta.cfa.analysis.prec.GlobalCfaPrec;
2121
import hu.bme.mit.theta.cfa.analysis.prec.LocalCfaPrec;
2222
import hu.bme.mit.theta.common.Utils;
23+
import hu.bme.mit.theta.common.container.Containers;
2324
import hu.bme.mit.theta.core.stmt.AssumeStmt;
2425
import hu.bme.mit.theta.core.type.Expr;
2526
import hu.bme.mit.theta.core.type.booltype.BoolType;
2627
import hu.bme.mit.theta.core.utils.ExprUtils;
27-
28-
import hu.bme.mit.theta.common.container.Containers;
29-
3028
import java.util.Map;
3129
import java.util.Set;
3230

3331
public final class CfaInitPrecs {
3432

35-
private CfaInitPrecs() {
36-
}
33+
private CfaInitPrecs() {}
3734

3835
public static LocalCfaPrec<PredPrec> collectAssumesLocal(CFA cfa) {
3936
Map<CFA.Loc, PredPrec> precs = Containers.createMap();

‎subprojects/cfa/cfa-analysis/src/main/java/hu/bme/mit/theta/cfa/analysis/CfaOrd.java

+3-4
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.
@@ -34,8 +34,7 @@ public static <S extends ExprState> CfaOrd<S> create(final PartialOrd<S> partial
3434

3535
@Override
3636
public boolean isLeq(final CfaState<S> state1, final CfaState<S> state2) {
37-
return state1.getLoc().equals(state2.getLoc()) && partialOrd.isLeq(state1.getState(),
38-
state2.getState());
37+
return state1.getLoc().equals(state2.getLoc())
38+
&& partialOrd.isLeq(state1.getState(), state2.getState());
3939
}
40-
4140
}

‎subprojects/cfa/cfa-analysis/src/main/java/hu/bme/mit/theta/cfa/analysis/CfaPrec.java

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.

‎subprojects/cfa/cfa-analysis/src/main/java/hu/bme/mit/theta/cfa/analysis/CfaState.java

+8-6
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* Copyright 2024 Budapest University of Technology and Economics
2+
* Copyright 2025 Budapest University of Technology and Economics
33
*
44
* Licensed under the Apache License, Version 2.0 (the "License");
55
* you may not use this file except in compliance with the License.
@@ -15,14 +15,14 @@
1515
*/
1616
package hu.bme.mit.theta.cfa.analysis;
1717

18+
import static com.google.common.base.Preconditions.checkNotNull;
19+
1820
import hu.bme.mit.theta.analysis.expr.ExprState;
1921
import hu.bme.mit.theta.cfa.CFA.Loc;
2022
import hu.bme.mit.theta.common.Utils;
2123
import hu.bme.mit.theta.core.type.Expr;
2224
import hu.bme.mit.theta.core.type.booltype.BoolType;
2325

24-
import static com.google.common.base.Preconditions.checkNotNull;
25-
2626
public final class CfaState<S extends ExprState> implements ExprState {
2727

2828
private static final int HASH_SEED = 3613;
@@ -101,8 +101,10 @@ public boolean equals(final Object obj) {
101101

102102
@Override
103103
public String toString() {
104-
return Utils.lispStringBuilder(getClass().getSimpleName()).add(loc.getName()).body()
105-
.add(state).toString();
104+
return Utils.lispStringBuilder(getClass().getSimpleName())
105+
.add(loc.getName())
106+
.body()
107+
.add(state)
108+
.toString();
106109
}
107-
108110
}

0 commit comments

Comments
 (0)