diff --git a/key.core.example/src/main/java/module-info.java b/key.core.example/src/main/java/module-info.java deleted file mode 100644 index 01e7c518413..00000000000 --- a/key.core.example/src/main/java/module-info.java +++ /dev/null @@ -1,10 +0,0 @@ -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module org.key_project.core.example { - requires org.key_project.core; - requires org.key_project.util; - requires org.slf4j; -} \ No newline at end of file diff --git a/key.core.proof_references/src/main/java/module-info.java b/key.core.proof_references/src/main/java/module-info.java deleted file mode 100644 index caf7a2d3c10..00000000000 --- a/key.core.proof_references/src/main/java/module-info.java +++ /dev/null @@ -1,10 +0,0 @@ -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module org.key_project.proof_references { - requires org.key_project.core; - requires org.key_project.ncore; - requires org.key_project.util; -} \ No newline at end of file diff --git a/key.core.rifl/src/main/java/module-info.java b/key.core.rifl/src/main/java/module-info.java deleted file mode 100644 index 6a21411cf8d..00000000000 --- a/key.core.rifl/src/main/java/module-info.java +++ /dev/null @@ -1,13 +0,0 @@ -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module org.key_project.core.rifl { - exports de.uka.ilkd.key.util.rifl; - requires org.key_project.core; - requires key.recoder; - requires java.xml; - requires org.slf4j; - requires org.key_project.util; -} \ No newline at end of file diff --git a/key.core.symbolic_execution.example/src/main/java/module-info.java b/key.core.symbolic_execution.example/src/main/java/module-info.java deleted file mode 100644 index a708dfbef82..00000000000 --- a/key.core.symbolic_execution.example/src/main/java/module-info.java +++ /dev/null @@ -1,11 +0,0 @@ -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module key.core.symbolic_execution.example { - requires transitive org.key_project.symbolic_execution; - requires org.key_project.core; - requires org.key_project.util; - requires org.slf4j; -} \ No newline at end of file diff --git a/key.core.symbolic_execution/src/main/java/module-info.java b/key.core.symbolic_execution/src/main/java/module-info.java deleted file mode 100644 index 85d5f648cdd..00000000000 --- a/key.core.symbolic_execution/src/main/java/module-info.java +++ /dev/null @@ -1,13 +0,0 @@ -import de.uka.ilkd.key.proof.init.DefaultProfileResolver; -import de.uka.ilkd.key.proof.init.POExtension; -import de.uka.ilkd.key.symbolic_execution.po.TruthValuePOExtension; -import de.uka.ilkd.key.symbolic_execution.profile.SymbolicExecutionJavaProfileDefaultProfileResolver; - -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module org.key_project.symbolic_execution{exports de.uka.ilkd.key.symbolic_execution;exports de.uka.ilkd.key.symbolic_execution.model;exports de.uka.ilkd.key.symbolic_execution.po;exports de.uka.ilkd.key.symbolic_execution.profile;exports de.uka.ilkd.key.symbolic_execution.strategy;exports de.uka.ilkd.key.symbolic_execution.strategy.breakpoint;exports de.uka.ilkd.key.symbolic_execution.util;requires java.xml;requires org.key_project.core;requires org.key_project.ncore;requires org.key_project.util;requires java.desktop;requires org.slf4j;requires org.jspecify; - -provides DefaultProfileResolver with SymbolicExecutionJavaProfileDefaultProfileResolver;provides POExtension with TruthValuePOExtension;} diff --git a/key.core.testgen/src/main/java/module-info.java b/key.core.testgen/src/main/java/module-info.java deleted file mode 100644 index 32db629691d..00000000000 --- a/key.core.testgen/src/main/java/module-info.java +++ /dev/null @@ -1,11 +0,0 @@ -import de.uka.ilkd.key.macros.ProofMacro; -import de.uka.ilkd.key.testgen.macros.TestGenMacro; - -/** - * - * @author Alexander Weigl - * @version 1 (04.04.24) - */ -module org.key_project.core.testgen{requires org.key_project.core;requires org.slf4j;requires org.key_project.util;requires org.key_project.ncore;requires org.jspecify;exports de.uka.ilkd.key.testgen.smt.testgen;exports de.uka.ilkd.key.testgen.macros;exports de.uka.ilkd.key.testgen.smt.counterexample;exports de.uka.ilkd.key.testgen.settings; - -provides ProofMacro with TestGenMacro;} diff --git a/key.core/src/main/java/module-info.java b/key.core/src/main/java/module-info.java deleted file mode 100644 index 59349dc6f7c..00000000000 --- a/key.core/src/main/java/module-info.java +++ /dev/null @@ -1,18 +0,0 @@ -import de.uka.ilkd.key.macros.ProofMacro; -import de.uka.ilkd.key.macros.scripts.ProofScriptCommand; -import de.uka.ilkd.key.proof.init.DefaultProfileResolver; - -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module org.key_project.core{exports de.uka.ilkd.key.java;exports de.uka.ilkd.key.java.abstraction;exports de.uka.ilkd.key.logic.op;exports de.uka.ilkd.key.proof;exports de.uka.ilkd.key.proof.init;exports de.uka.ilkd.key.rule;exports de.uka.ilkd.key.speclang;exports de.uka.ilkd.key.util;exports de.uka.ilkd.key.java.statement;exports de.uka.ilkd.key.java.expression;exports de.uka.ilkd.key.java.reference;exports de.uka.ilkd.key.logic;exports de.uka.ilkd.key.java.expression.operator;exports de.uka.ilkd.key.proof.mgt;exports de.uka.ilkd.key.rule.inst;exports de.uka.ilkd.key.java.recoderext;exports de.uka.ilkd.key.logic.label;exports de.uka.ilkd.key.prover.impl;exports de.uka.ilkd.key.strategy;exports de.uka.ilkd.key.pp;exports de.uka.ilkd.key.speclang.jml.translation;exports de.uka.ilkd.key.speclang.njml;exports de.uka.ilkd.key.java.visitor;exports de.uka.ilkd.key.control;exports de.uka.ilkd.key.ldt;exports de.uka.ilkd.key.rule.tacletbuilder;exports de.uka.ilkd.key.settings;exports de.uka.ilkd.key.rule.merge;exports de.uka.ilkd.key.java.declaration;exports de.uka.ilkd.key.logic.sort;exports de.uka.ilkd.key.proof.io;exports de.uka.ilkd.key.logic.equality;exports de.uka.ilkd.key.rule.label;exports de.uka.ilkd.key.macros;exports de.uka.ilkd.key.macros.scripts;exports de.uka.ilkd.key.prover;exports de.uka.ilkd.key.strategy.feature;exports de.uka.ilkd.key.strategy.definition;exports de.uka.ilkd.key.speclang.translation;exports de.uka.ilkd.key.proof.rulefilter;exports de.uka.ilkd.key.strategy.feature.instantiator;exports de.uka.ilkd.key.strategy.termProjection;exports de.uka.ilkd.key.strategy.termfeature;exports de.uka.ilkd.key.strategy.termgenerator;exports de.uka.ilkd.key.control.instantiation_model;exports de.uka.ilkd.key.parser;exports de.uka.ilkd.key.proof.event;exports de.uka.ilkd.key.proof.join;exports org.key_project.proof;exports de.uka.ilkd.key.util.mergerule;exports de.uka.ilkd.key.proof.reference;exports de.uka.ilkd.key.smt;exports de.uka.ilkd.key.smt.solvertypes;exports de.uka.ilkd.key.taclettranslation.assumptions;exports de.uka.ilkd.key.smt.model;exports de.uka.ilkd.key.rule.merge.procedures;exports de.uka.ilkd.key.axiom_abstraction.predicateabstraction;exports de.uka.ilkd.key.control.event;exports de.uka.ilkd.key.informationflow.macros;exports de.uka.ilkd.key.proof.io.consistency;exports de.uka.ilkd.key.taclettranslation.lemma;exports de.uka.ilkd.key.nparser;exports de.uka.ilkd.key.proof.delayedcut;exports de.uka.ilkd.key.speclang.jml;exports de.uka.ilkd.key.smt.newsmt2;exports de.uka.ilkd.key.util.pp;exports de.uka.ilkd.key.axiom_abstraction;exports de.uka.ilkd.key.proof.replay;exports de.uka.ilkd.key.smt.communication;exports de.uka.ilkd.key.proof.io.intermediate;exports de.uka.ilkd.key.proof.proofevent;exports de.uka.ilkd.key.util.parsing;exports de.uka.ilkd.key.smt.lang;requires org.slf4j;requires key.recoder;requires org.key_project.ncore;requires org.key_project.util;requires java.desktop;requires org.jspecify;requires org.antlr.antlr4.runtime;requires java.scripting; - -provides ProofMacro with de.uka.ilkd.key.informationflow.macros.FullInformationFlowAutoPilotMacro,de.uka.ilkd.key.informationflow.macros.AuxiliaryComputationAutoPilotMacro,de.uka.ilkd.key.informationflow.macros.StartAuxiliaryComputationMacro,de.uka.ilkd.key.informationflow.macros.FinishAuxiliaryComputationMacro,de.uka.ilkd.key.macros.FullAutoPilotProofMacro,de.uka.ilkd.key.macros.AutoPilotPrepareProofMacro,de.uka.ilkd.key.macros.SMTPreparationMacro,de.uka.ilkd.key.informationflow.macros.StateExpansionAndInfFlowContractApplicationMacro,de.uka.ilkd.key.informationflow.macros.SelfcompositionStateExpansionMacro,de.uka.ilkd.key.informationflow.macros.FullUseInformationFlowContractMacro,de.uka.ilkd.key.macros.PropositionalExpansionMacro,de.uka.ilkd.key.macros.FullPropositionalExpansionMacro,de.uka.ilkd.key.macros.TryCloseMacro,de.uka.ilkd.key.macros.FinishSymbolicExecutionMacro,de.uka.ilkd.key.macros.AutoMacro,de.uka.ilkd.key.macros.HeapSimplificationMacro,de.uka.ilkd.key.macros.IntegerSimplificationMacro,de.uka.ilkd.key.macros.OneStepProofMacro,de.uka.ilkd.key.macros.WellDefinednessMacro,de.uka.ilkd.key.macros.UpdateSimplificationMacro,de.uka.ilkd.key.macros.TranscendentalFloatSMTMacro; - -provides ProofScriptCommand with de.uka.ilkd.key.macros.scripts.EchoCommand,de.uka.ilkd.key.macros.scripts.MacroCommand,de.uka.ilkd.key.macros.scripts.FocusCommand,de.uka.ilkd.key.macros.scripts.AutoCommand,de.uka.ilkd.key.macros.scripts.CutCommand,de.uka.ilkd.key.macros.scripts.SetCommand,de.uka.ilkd.key.macros.scripts.SetEchoCommand,de.uka.ilkd.key.macros.scripts.SetFailOnClosedCommand,de.uka.ilkd.key.macros.scripts.SMTCommand,de.uka.ilkd.key.macros.scripts.RuleCommand,de.uka.ilkd.key.macros.scripts.ActivateCommand,de.uka.ilkd.key.macros.scripts.LeaveCommand,de.uka.ilkd.key.macros.scripts.TryCloseCommand,de.uka.ilkd.key.macros.scripts.ExitCommand,de.uka.ilkd.key.macros.scripts.InstantiateCommand,de.uka.ilkd.key.macros.scripts.SelectCommand,de.uka.ilkd.key.macros.scripts.ScriptCommand,de.uka.ilkd.key.macros.scripts.LetCommand,de.uka.ilkd.key.macros.scripts.SaveInstCommand,de.uka.ilkd.key.macros.scripts.SaveNewNameCommand,de.uka.ilkd.key.macros.scripts.SchemaVarCommand,de.uka.ilkd.key.macros.scripts.JavascriptCommand,de.uka.ilkd.key.macros.scripts.SkipCommand,de.uka.ilkd.key.macros.scripts.AxiomCommand,de.uka.ilkd.key.macros.scripts.AssumeCommand,de.uka.ilkd.key.macros.scripts.AssertCommand,de.uka.ilkd.key.macros.scripts.RewriteCommand,de.uka.ilkd.key.macros.scripts.AllCommand,de.uka.ilkd.key.macros.scripts.HideCommand,de.uka.ilkd.key.macros.scripts.UnhideCommand; - -provides DefaultProfileResolver with de.uka.ilkd.key.proof.init.JavaProfileDefaultProfileResolver,de.uka.ilkd.key.proof.init.JavaProfileWithPermissionsDefaultProfileResolver; - -} diff --git a/key.removegenerics/src/main/java/module-info.java b/key.removegenerics/src/main/java/module-info.java deleted file mode 100644 index 27f1eb8cef0..00000000000 --- a/key.removegenerics/src/main/java/module-info.java +++ /dev/null @@ -1,9 +0,0 @@ -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module org.key_project.removegenerics { - requires key.recoder; - requires org.slf4j; -} \ No newline at end of file diff --git a/key.ui/src/main/java/module-info.java b/key.ui/src/main/java/module-info.java deleted file mode 100644 index 9cc8a6495f9..00000000000 --- a/key.ui/src/main/java/module-info.java +++ /dev/null @@ -1,53 +0,0 @@ -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module org.key_project.ui { - exports de.uka.ilkd.key.gui.extension.api; - exports de.uka.ilkd.key.gui.help; - exports de.uka.ilkd.key.ui.core; - exports de.uka.ilkd.key.gui; - exports de.uka.ilkd.key.gui.settings; - exports de.uka.ilkd.key.gui.colors; - exports de.uka.ilkd.key.ui.util; - exports de.uka.ilkd.key.gui.actions; - exports de.uka.ilkd.key.gui.fonticons; - exports de.uka.ilkd.key.gui.prooftree; - exports de.uka.ilkd.key.gui.configuration; - exports de.uka.ilkd.key.gui.smt; - exports de.uka.ilkd.key.gui.keyshortcuts; - exports de.uka.ilkd.key.ui; - exports de.uka.ilkd.key.ui.proof.io; - - requires dockingframes.core; - requires dockingframes.common; - - requires org.slf4j; - requires java.desktop; - requires org.key_project.core; - requires java.prefs; - requires org.jspecify; - requires org.key_project.util; - requires org.key_project.ncore; - requires com.miglayout.core; - requires com.miglayout.swing; - requires ch.qos.logback.core; - requires ch.qos.logback.classic; - requires key.recoder; - requires org.key_project.core.rifl; - requires java.compiler; - - provides de.uka.ilkd.key.gui.extension.api.KeYGuiExtension with - de.uka.ilkd.key.gui.originlabels.OriginTermLabelsExt, - de.uka.ilkd.key.gui.extension.impl.HeatmapExt, - de.uka.ilkd.key.gui.extension.impl.TestExtension, - de.uka.ilkd.key.gui.docking.DockingLayout, - de.uka.ilkd.key.gui.KeyboardTacletExtension, - de.uka.ilkd.key.gui.nodeviews.ShowHashcodesExtension, - de.uka.ilkd.key.gui.LogView, - de.uka.ilkd.key.gui.plugins.javac.JavacExtension, - de.uka.ilkd.key.gui.utilities.HeapStatusExt, - de.uka.ilkd.key.gui.JmlEnabledKeysIndicator; - -} \ No newline at end of file diff --git a/keyext.caching/src/main/java/module-info.java b/keyext.caching/src/main/java/module-info.java deleted file mode 100644 index d2c0c0462bf..00000000000 --- a/keyext.caching/src/main/java/module-info.java +++ /dev/null @@ -1,11 +0,0 @@ -import de.uka.ilkd.key.gui.extension.api.KeYGuiExtension; -import de.uka.ilkd.key.gui.plugins.caching.CachingExtension; - -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module keyext.caching{requires org.key_project.ui;requires org.key_project.core;requires org.slf4j;requires org.jspecify;requires java.desktop;requires org.key_project.util;requires org.key_project.ncore;requires keyext.slicing;requires com.miglayout.core; - -provides KeYGuiExtension with CachingExtension;} diff --git a/keyext.exploration/src/main/java/module-info.java b/keyext.exploration/src/main/java/module-info.java deleted file mode 100644 index 322ba9b2bfd..00000000000 --- a/keyext.exploration/src/main/java/module-info.java +++ /dev/null @@ -1,10 +0,0 @@ -import de.uka.ilkd.key.gui.extension.api.KeYGuiExtension; - -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module keyext.exploration{requires transitive org.key_project.ui;requires org.key_project.core;requires org.jspecify;requires java.desktop;requires org.key_project.ncore;requires org.key_project.util;requires dockingframes.common; - -provides KeYGuiExtension with org.key_project.exploration.ExplorationExtension;} diff --git a/keyext.proofmanagement/src/main/java/module-info.java b/keyext.proofmanagement/src/main/java/module-info.java deleted file mode 100644 index 974ce1e0f1a..00000000000 --- a/keyext.proofmanagement/src/main/java/module-info.java +++ /dev/null @@ -1,12 +0,0 @@ -import de.uka.ilkd.key.gui.extension.api.KeYGuiExtension; - -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module keyext.proofmanagement{requires org.key_project.ui;requires org.jspecify;requires java.desktop;requires org.slf4j;requires org.key_project.core;requires org.key_project.util;requires org.key_project.ncore; -/* not available requires ST4; */ - - -provides KeYGuiExtension with org.key_project.proofmanagement.ProofManagementExt;} diff --git a/keyext.slicing/src/main/java/module-info.java b/keyext.slicing/src/main/java/module-info.java deleted file mode 100644 index e27dea16fb9..00000000000 --- a/keyext.slicing/src/main/java/module-info.java +++ /dev/null @@ -1,10 +0,0 @@ -import de.uka.ilkd.key.gui.extension.api.KeYGuiExtension; - -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module keyext.slicing{requires org.key_project.core;requires org.key_project.ui;requires java.desktop;requires org.jspecify;requires org.slf4j;requires com.miglayout.core;requires org.key_project.util;requires org.key_project.ncore;requires dockingframes.common;requires dockingframes.core;exports org.key_project.slicing;exports org.key_project.slicing.analysis; - -provides KeYGuiExtension with org.key_project.slicing.SlicingExtension;} diff --git a/keyext.ui.testgen/src/main/java/module-info.java b/keyext.ui.testgen/src/main/java/module-info.java deleted file mode 100644 index d6853b53e37..00000000000 --- a/keyext.ui.testgen/src/main/java/module-info.java +++ /dev/null @@ -1,10 +0,0 @@ -import de.uka.ilkd.key.gui.extension.api.KeYGuiExtension; - -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module keyext.ui.testgen{requires java.desktop;requires org.key_project.ui;requires org.slf4j;requires org.key_project.core;requires org.key_project.core.testgen;requires org.jspecify; - -provides KeYGuiExtension with de.uka.ilkd.key.gui.testgen.TestgenExtension;} diff --git a/recoder/src/main/java/module-info.java b/recoder/src/main/java/module-info.java deleted file mode 100644 index 373c3347ab5..00000000000 --- a/recoder/src/main/java/module-info.java +++ /dev/null @@ -1,27 +0,0 @@ -/** - * - * @author Alexander Weigl - * @version 1 (31.03.24) - */ -module key.recoder { - exports recoder; - exports recoder.abstraction; - exports recoder.convenience; - exports recoder.java.declaration; - exports recoder.java; - exports recoder.java.reference; - exports recoder.java.statement; - exports recoder.list.generic; - exports recoder.service; - exports recoder.parser; - exports recoder.io; - exports recoder.java.expression; - exports recoder.bytecode; - exports recoder.java.expression.operator; - exports recoder.util; - exports recoder.java.declaration.modifier; - exports recoder.kit; - exports recoder.java.expression.literal; - requires java.desktop; - requires org.slf4j; -} \ No newline at end of file