Skip to content

Commit 1f94eac

Browse files
wadoonwadoon
committed
move the package away from macro
1 parent 879ebbb commit 1f94eac

File tree

72 files changed

+165
-157
lines changed

Some content is hidden

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

72 files changed

+165
-157
lines changed

‎gradle/wrapper/gradle-wrapper.properties‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
distributionBase=GRADLE_USER_HOME
22
distributionPath=wrapper/dists
3-
distributionUrl=https\://services.gradle.org/distributions/gradle-8.7-bin.zip
3+
distributionUrl=https\://services.gradle.org/distributions/gradle-8.13-bin.zip
44
zipStoreBase=GRADLE_USER_HOME
55
zipStorePath=wrapper/dists

‎key.core/src/main/java/de/uka/ilkd/key/macros/scripts/package-info.java‎

Lines changed: 0 additions & 13 deletions
This file was deleted.

‎key.core/src/main/java/de/uka/ilkd/key/nparser/builder/ExpressionBuilder.java‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1837,7 +1837,7 @@ private JavaQuery splitJava(List<String> parts) {
18371837

18381838
@Override
18391839
public Object visitProofScript(KeYParser.ProofScriptContext ctx) {
1840-
return null;//Do not traverse into proof scripts.
1840+
return null;// Do not traverse into proof scripts.
18411841
}
18421842

18431843
public void setAbbrevMap(AbbrevMap abbrevMap) {

key.core/src/main/java/de/uka/ilkd/key/macros/scripts/AbstractCommand.java renamed to key.core/src/main/java/de/uka/ilkd/key/scripts/AbstractCommand.java

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,17 @@
11
/* This file is part of KeY - https://key-project.org
22
* KeY is licensed under the GNU General Public License Version 2
33
* SPDX-License-Identifier: GPL-2.0-only */
4-
package de.uka.ilkd.key.macros.scripts;
4+
package de.uka.ilkd.key.scripts;
55

66
import java.util.ArrayList;
77
import java.util.List;
88
import java.util.Map;
99

1010
import de.uka.ilkd.key.control.AbstractUserInterfaceControl;
1111
import de.uka.ilkd.key.java.Services;
12-
import de.uka.ilkd.key.macros.scripts.meta.ArgumentsLifter;
13-
import de.uka.ilkd.key.macros.scripts.meta.ProofScriptArgument;
1412
import de.uka.ilkd.key.proof.Proof;
13+
import de.uka.ilkd.key.scripts.meta.ArgumentsLifter;
14+
import de.uka.ilkd.key.scripts.meta.ProofScriptArgument;
1515

1616
import org.jspecify.annotations.NullMarked;
1717
import org.jspecify.annotations.Nullable;

key.core/src/main/java/de/uka/ilkd/key/macros/scripts/ActivateCommand.java renamed to key.core/src/main/java/de/uka/ilkd/key/scripts/ActivateCommand.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/* This file is part of KeY - https://key-project.org
22
* KeY is licensed under the GNU General Public License Version 2
33
* SPDX-License-Identifier: GPL-2.0-only */
4-
package de.uka.ilkd.key.macros.scripts;
4+
package de.uka.ilkd.key.scripts;
55

66
import de.uka.ilkd.key.control.AbstractUserInterfaceControl;
77
import de.uka.ilkd.key.proof.Goal;

key.core/src/main/java/de/uka/ilkd/key/macros/scripts/AllCommand.java renamed to key.core/src/main/java/de/uka/ilkd/key/scripts/AllCommand.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
/* This file is part of KeY - https://key-project.org
22
* KeY is licensed under the GNU General Public License Version 2
33
* SPDX-License-Identifier: GPL-2.0-only */
4-
package de.uka.ilkd.key.macros.scripts;
4+
package de.uka.ilkd.key.scripts;
55

66
import java.util.List;
77
import java.util.Map;
88

99
import de.uka.ilkd.key.control.AbstractUserInterfaceControl;
10-
import de.uka.ilkd.key.macros.scripts.meta.ProofScriptArgument;
1110
import de.uka.ilkd.key.nparser.KeYParser;
1211
import de.uka.ilkd.key.proof.Goal;
12+
import de.uka.ilkd.key.scripts.meta.ProofScriptArgument;
1313

1414
public class AllCommand implements ProofScriptCommand<Map<String, Object>> {
1515
private String documentation;

key.core/src/main/java/de/uka/ilkd/key/macros/scripts/AssertCommand.java renamed to key.core/src/main/java/de/uka/ilkd/key/scripts/AssertCommand.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
/* This file is part of KeY - https://key-project.org
22
* KeY is licensed under the GNU General Public License Version 2
33
* SPDX-License-Identifier: GPL-2.0-only */
4-
package de.uka.ilkd.key.macros.scripts;
4+
package de.uka.ilkd.key.scripts;
55

66
import java.util.Map;
77

8-
import de.uka.ilkd.key.macros.scripts.meta.Option;
8+
import de.uka.ilkd.key.scripts.meta.Option;
99

1010
/**
1111
* Halts the script if some condition is not met.

key.core/src/main/java/de/uka/ilkd/key/macros/scripts/AssumeCommand.java renamed to key.core/src/main/java/de/uka/ilkd/key/scripts/AssumeCommand.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,16 @@
11
/* This file is part of KeY - https://key-project.org
22
* KeY is licensed under the GNU General Public License Version 2
33
* SPDX-License-Identifier: GPL-2.0-only */
4-
package de.uka.ilkd.key.macros.scripts;
4+
package de.uka.ilkd.key.scripts;
55

66
import java.util.Map;
77

88
import de.uka.ilkd.key.logic.Term;
99
import de.uka.ilkd.key.logic.op.SchemaVariable;
10-
import de.uka.ilkd.key.macros.scripts.meta.Option;
1110
import de.uka.ilkd.key.rule.NoPosTacletApp;
1211
import de.uka.ilkd.key.rule.Taclet;
1312
import de.uka.ilkd.key.rule.TacletApp;
13+
import de.uka.ilkd.key.scripts.meta.Option;
1414

1515
import org.key_project.logic.Name;
1616

key.core/src/main/java/de/uka/ilkd/key/macros/scripts/AutoCommand.java renamed to key.core/src/main/java/de/uka/ilkd/key/scripts/AutoCommand.java

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
/* This file is part of KeY - https://key-project.org
22
* KeY is licensed under the GNU General Public License Version 2
33
* SPDX-License-Identifier: GPL-2.0-only */
4-
package de.uka.ilkd.key.macros.scripts;
4+
package de.uka.ilkd.key.scripts;
55

66
import java.util.Map;
77
import java.util.Optional;
@@ -15,6 +15,7 @@
1515
import de.uka.ilkd.key.proof.init.Profile;
1616
import de.uka.ilkd.key.prover.ProverCore;
1717
import de.uka.ilkd.key.prover.impl.ApplyStrategy;
18+
import de.uka.ilkd.key.scripts.meta.*;
1819
import de.uka.ilkd.key.strategy.AutomatedRuleApplicationManager;
1920
import de.uka.ilkd.key.strategy.FocussedBreakpointRuleApplicationManager;
2021

key.core/src/main/java/de/uka/ilkd/key/macros/scripts/AxiomCommand.java renamed to key.core/src/main/java/de/uka/ilkd/key/scripts/AxiomCommand.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,16 @@
11
/* This file is part of KeY - https://key-project.org
22
* KeY is licensed under the GNU General Public License Version 2
33
* SPDX-License-Identifier: GPL-2.0-only */
4-
package de.uka.ilkd.key.macros.scripts;
4+
package de.uka.ilkd.key.scripts;
55

66
import java.util.Map;
77

88
import de.uka.ilkd.key.logic.Term;
99
import de.uka.ilkd.key.logic.op.SchemaVariable;
10-
import de.uka.ilkd.key.macros.scripts.meta.Option;
1110
import de.uka.ilkd.key.rule.NoPosTacletApp;
1211
import de.uka.ilkd.key.rule.Taclet;
1312
import de.uka.ilkd.key.rule.TacletApp;
13+
import de.uka.ilkd.key.scripts.meta.Option;
1414

1515
import org.key_project.logic.Name;
1616

0 commit comments

Comments
 (0)