Exclude main methods from models

Author: Benjamin Muskalla

java/ql/src/utils/model-generator/ModelGeneratorUtils.qll

@@ -29,7 +29,8 @@ private string isExtensible(RefType ref) {
 
 predicate isRelevantForModels(Callable api) {
   not isInTestFile(api.getCompilationUnit().getFile()) and
-  not isJdkInternal(api.getCompilationUnit())
+  not isJdkInternal(api.getCompilationUnit()) and
+  not api instanceof MainMethod
 }
 
 private predicate isInTestFile(File file) {

java/ql/test/utils/model-generator/p/Sinks.java

@@ -21,4 +21,8 @@ public String readUrl(final URL url, Charset encoding) throws IOException {
         }
     }
 
+    public static void main(String[] args) throws IOException {
+        String foo = new Sinks().readUrl(new URL(args[0]), Charset.defaultCharset());
+    }
+
 }