1 {-# LANGUAGE OverloadedStrings #-}
2 -- | This module exports some definitions from standard Java java.lang package.
7 import JVM.Common () -- import instances only
10 objectClass :: FieldType
11 objectClass = ObjectType object
13 stringClass :: FieldType
14 stringClass = ObjectType string
16 integerClass :: FieldType
17 integerClass = ObjectType integer
19 systemClass :: FieldType
20 systemClass = ObjectType system
22 object :: IsString s => s
23 object = "java/lang/Object"
25 string :: IsString s => s
26 string = "java/lang/String"
28 integer :: IsString s => s
29 integer = "java/lang/Integer"
31 system :: IsString s => s
32 system = "java/lang/System"
34 -- | java.lang.Object.<init>() method
35 objectInit :: NameType Method
36 objectInit = NameType "<init>" $ MethodSignature [] ReturnsVoid
38 -- | java.lang.Integer.valueOf() method
39 valueOfInteger :: NameType Method
40 valueOfInteger = NameType "valueOf" $ MethodSignature [IntType] (Returns Java.Lang.integerClass)