Convert QL classes for Lastaflute to MaD

java/ql/lib/ext/org.lastaflute.web.model.yml

@@ -0,0 +1,6 @@
+extensions:
+  - addsTo:
+      pack: codeql/java-all
+      extensible: sourceModel
+    data:
+      - ["org.lastaflute.web", "Execute", False, "", "", "Annotated", "Parameter", "remote", "manual"]

java/ql/lib/semmle/code/java/dataflow/FlowSources.qll

@@ -20,7 +20,6 @@ import semmle.code.java.frameworks.android.Android
 import semmle.code.java.frameworks.android.ExternalStorage
 import semmle.code.java.frameworks.android.OnActivityResultSource
 import semmle.code.java.frameworks.android.Intent
-private import semmle.code.java.frameworks.Lastaflute
 import semmle.code.java.frameworks.play.Play
 import semmle.code.java.frameworks.spring.SpringWeb
 import semmle.code.java.frameworks.spring.SpringController

java/ql/lib/semmle/code/java/frameworks/Lastaflute.qll

@@ -1,26 +0,0 @@
-/**
- * Provides classes and predicates for working with the Lastaflute web framework.
- */
-
-import java
-import semmle.code.java.dataflow.FlowSources
-
-/**
- * The `org.lastaflute.web.Execute` annotation.
- */
-class LastafluteExecuteAnnotation extends Annotation {
-  LastafluteExecuteAnnotation() { this.getType().hasQualifiedName("org.lastaflute.web", "Execute") }
-}
-
-/**
- * The parameter of a method defining a URL handler using the Lastaflute framework.
- */
-class LastafluteHandlerParameterSource extends RemoteFlowSource {
-  LastafluteHandlerParameterSource() {
-    exists(Parameter p | p.getCallable().getAnAnnotation() instanceof LastafluteExecuteAnnotation |
-      p = this.asParameter()
-    )
-  }
-
-  override string getSourceType() { result = "Lastaflute handler parameter" }
-}