projects
/
hs-java.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
cabal: bump data-default dependency to 0.5.0.
[hs-java.git]
/
TestGen.hs
diff --git
a/TestGen.hs
b/TestGen.hs
index 0e5ff90184b7f05fea5e31c167707559e8f24554..9d1bcd8caa43ae249056e1978970aee27106c8eb 100644
(file)
--- a/
TestGen.hs
+++ b/
TestGen.hs
@@
-1,23
+1,28
@@
-{-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE OverloadedStrings
, FlexibleContexts
#-}
+import Control.Monad.Exception
import qualified Data.ByteString.Lazy as B
import JVM.ClassFile
import JVM.Converter
import JVM.Assembler
import JVM.Builder
import qualified Data.ByteString.Lazy as B
import JVM.ClassFile
import JVM.Converter
import JVM.Assembler
import JVM.Builder
+import JVM.Exceptions
import Java.ClassPath
import qualified Java.Lang
import qualified Java.IO
import Java.ClassPath
import qualified Java.Lang
import qualified Java.IO
-test ::
Generat
e ()
+test ::
(Throws ENotFound e, Throws ENotLoaded e, Throws UnexpectedEndMethod e) => GenerateIO
e ()
test = do
withClassPath $ do
test = do
withClassPath $ do
+ -- Add current directory (with Hello.class) to ClassPath
addDirectory "."
addDirectory "."
+ -- Load method signature: Hello.hello() from Hello.class
helloJava <- getClassMethod "./Hello" "hello"
helloJava <- getClassMethod "./Hello" "hello"
+ -- Initializer method. Just calls java.lang.Object.<init>
newMethod [ACC_PUBLIC] "<init>" [] ReturnsVoid $ do
setStackSize 1
newMethod [ACC_PUBLIC] "<init>" [] ReturnsVoid $ do
setStackSize 1
@@
-25,6
+30,7
@@
test = do
invokeSpecial Java.Lang.object Java.Lang.objectInit
i0 RETURN
invokeSpecial Java.Lang.object Java.Lang.objectInit
i0 RETURN
+ -- Declare hello() method and bind it's signature to hello.
hello <- newMethod [ACC_PUBLIC, ACC_STATIC] "hello" [IntType] ReturnsVoid $ do
setStackSize 8
hello <- newMethod [ACC_PUBLIC, ACC_STATIC] "hello" [IntType] ReturnsVoid $ do
setStackSize 8
@@
-41,20
+47,24
@@
test = do
invokeStatic Java.Lang.integer Java.Lang.valueOfInteger
aastore
invokeVirtual Java.IO.printStream Java.IO.printf
invokeStatic Java.Lang.integer Java.Lang.valueOfInteger
aastore
invokeVirtual Java.IO.printStream Java.IO.printf
+ -- Call Hello.hello()
invokeStatic "Hello" helloJava
pop
i0 RETURN
invokeStatic "Hello" helloJava
pop
i0 RETURN
+ -- Main class method.
newMethod [ACC_PUBLIC, ACC_STATIC] "main" [arrayOf Java.Lang.stringClass] ReturnsVoid $ do
setStackSize 1
iconst_5
newMethod [ACC_PUBLIC, ACC_STATIC] "main" [arrayOf Java.Lang.stringClass] ReturnsVoid $ do
setStackSize 1
iconst_5
+ -- Call previously declared method
invokeStatic "Test" hello
i0 RETURN
return ()
invokeStatic "Test" hello
i0 RETURN
return ()
+main :: IO ()
main = do
main = do
- testClass <- generate [] "Test" test
+ testClass <- generate
IO
[] "Test" test
B.writeFile "Test.class" (encodeClass testClass)
B.writeFile "Test.class" (encodeClass testClass)