Notify user when types are missing in the assembler which can result in VerifyError on execution

Author: Col-E

gradle/libs.versions.toml

@@ -21,7 +21,7 @@ image-io-ext-ico = "3.0.2"
 instrument-server = "1.6.0"
 jackson = "2.18.2"
 jakarta-annotation = "3.0.0"
-jasm = "77c67f6ceb"
+jasm = "63513d7e4e"
 jelf = "0.11.0"
 jlinker = "3.0.1"
 junit = "5.13.4"

recaf-core/src/main/java/software/coley/recaf/services/assembler/AbstractAssemblerPipeline.java

@@ -8,6 +8,7 @@
 import me.darknet.assembler.compiler.Compiler;
 import me.darknet.assembler.compiler.CompilerOptions;
 import me.darknet.assembler.compiler.InheritanceChecker;
+import me.darknet.assembler.compiler.TypeAwareness;
 import me.darknet.assembler.error.Error;
 import me.darknet.assembler.error.Result;
 import me.darknet.assembler.printer.AnnotationHolder;
@@ -80,6 +81,26 @@ private void refreshContext() {
 	@Nonnull
 	protected abstract Compiler getCompiler();
 
+	@Nonnull
+	protected TypeAwareness getTypeAwareness() {
+		return new TypeAwareness() {
+			@Override
+			public boolean isAwareOf(String type) {
+				return inheritanceGraph.getVertex(type) != null;
+			}
+
+			@Override
+			public String notifyUnknownType(String type) {
+				// TODO: We should have 'assembler.missingtypewarning' in the lang files, but we're not in the UI module
+				//   so we can't reference it here...
+				return "Type '" + type + "' is not present in the workspace. StackMapTable references to it will degrade to 'java/lang/Object'\n" +
+						"Consider either:\n" +
+						"- Adding a dependency containing the class to the workspace.\n" +
+						"- Enabling workspace phantom generation under 'All Services > Analysis > Phantom generator'.";
+			}
+		};
+	}
+
 	@Nonnull
 	protected InheritanceChecker getInheritanceChecker() {
 		return new InheritanceChecker() {
@@ -145,6 +166,7 @@ protected Result<R> compile(@Nonnull List<ASTElement> elements, @Nonnull PathNod
 
 		CompilerOptions<? extends CompilerOptions<?>> options = getCompilerOptions();
 		options.version(getClassVersion(info))
+				.awareness(getTypeAwareness())
 				.inheritanceChecker(getInheritanceChecker());
 
 		if (element.type() != ElementType.CLASS) {