Pretty printer for JavaClass indicates static methods.

This addresses part of #885.
GaloisInc · Nov 16, 2020 · b131726 · b131726
1 parent 2947d87
commit b131726
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/src/SAWScript/JavaPretty.hs b/src/SAWScript/JavaPretty.hs
@@ -61,10 +61,12 @@ prettyField f = hsep $
 
 prettyMethod :: Method -> Doc
 prettyMethod m =
-  hsep [ maybe (text "void") prettyType ret
-       , text name
-       , (parens . commas . map prettyType) params
-       ]
+  hsep $
+  (if methodIsStatic m then [text "static"] else []) ++
+  [ maybe (text "void") prettyType ret
+  , text name
+  , (parens . commas . map prettyType) params
+  ]
   where (MethodKey name params ret) = methodKey m
         prettyType = text . show . ppType -- TODO: Ick.