1 {-# LANGUAGE OverloadedStrings #-}
2 -- | This module exports definitions for some most used classes and methods from standard Java java.io package.
7 import JVM.Common () -- import instances only
10 import qualified Java.Lang
12 -- | java.io.PrintStream class name
13 printStream :: IsString s => s
14 printStream = "java/io/PrintStream"
16 -- | java.io.PrintStream class as field type
17 printStreamClass :: FieldType
18 printStreamClass = ObjectType printStream
20 println :: NameType (Method Direct)
21 println = NameType "println" $ MethodSignature [Java.Lang.stringClass] ReturnsVoid
23 out :: NameType (Field Direct)
24 out = NameType "out" printStreamClass
26 printf :: NameType (Method Direct)
28 NameType "printf" $ MethodSignature [Java.Lang.stringClass,
29 Array Nothing Java.Lang.objectClass] (Returns printStreamClass)