From f79858269b62e9c7fd33a5d12800b1bab0a250ae Mon Sep 17 00:00:00 2001 From: Bruce Collie Date: Tue, 30 Jan 2024 11:42:01 +0100 Subject: [PATCH] Delete dead code for generating posters (#3932) This code was identified as dead by IntelliJ, and hasn't been touched in a very long time, so I've deleted it. Co-authored-by: rv-jenkins --- .../org/kframework/backend/PosterBackend.java | 19 ------------------- .../org/kframework/main/AbstractKModule.java | 5 ----- 2 files changed, 24 deletions(-) delete mode 100644 kernel/src/main/java/org/kframework/backend/PosterBackend.java diff --git a/kernel/src/main/java/org/kframework/backend/PosterBackend.java b/kernel/src/main/java/org/kframework/backend/PosterBackend.java deleted file mode 100644 index 31f01bdc3f1..00000000000 --- a/kernel/src/main/java/org/kframework/backend/PosterBackend.java +++ /dev/null @@ -1,19 +0,0 @@ -// Copyright (c) Runtime Verification, Inc. All Rights Reserved. -package org.kframework.backend; - -import org.kframework.kil.Definition; -import org.kframework.kil.loader.Context; -import org.kframework.utils.Stopwatch; - -public abstract class PosterBackend { - - protected final Stopwatch sw; - protected final Context context; - - public PosterBackend(Stopwatch sw, Context context) { - this.sw = sw; - this.context = context; - } - - public abstract void run(Definition def); -} diff --git a/kernel/src/main/java/org/kframework/main/AbstractKModule.java b/kernel/src/main/java/org/kframework/main/AbstractKModule.java index 7970084a302..e12bb8bc1e5 100644 --- a/kernel/src/main/java/org/kframework/main/AbstractKModule.java +++ b/kernel/src/main/java/org/kframework/main/AbstractKModule.java @@ -10,15 +10,10 @@ import java.util.List; import java.util.function.Supplier; import org.apache.commons.lang3.tuple.Pair; -import org.kframework.backend.PosterBackend; import org.kframework.utils.inject.Options; public abstract class AbstractKModule implements KModule { - public List>> posterTypes() { - return Collections.emptyList(); - } - public List, Boolean>> kompileOptions() { return Collections.emptyList(); }