import JVM.Converter
import JVM.Assembler
-import Mate.Utilities
import Mate.Types
import Mate.Debug
#endif
-parseMethod :: Class Resolved -> B.ByteString -> IO (Maybe MapBB)
+parseMethod :: Class Direct -> B.ByteString -> IO (Maybe MapBB)
parseMethod cls method = do
let maybe_bb = testCFG $ lookupMethod method cls
let msig = methodSignature $ classMethods cls !! 1
return maybe_bb
-testCFG :: Maybe (Method Resolved) -> Maybe MapBB
+testCFG :: Maybe (Method Direct) -> Maybe MapBB
testCFG (Just m) = case attrByName m "Code" of
Nothing -> Nothing
Just bytecode -> Just $ buildCFG $ codeInstructions $ decodeMethod bytecode