{-# LANGUAGE OverloadedStrings #-}
+-- | This module exports definitions for some most used classes and methods from standard Java java.io package.
module Java.IO where
import Data.String
import qualified Java.Lang
+-- | java.io.PrintStream class name
printStream :: IsString s => s
printStream = "java/io/PrintStream"
+-- | java.io.PrintStream class as field type
+printStreamClass :: FieldType
printStreamClass = ObjectType printStream
-println :: NameType Method
+println :: NameType (Method Direct)
println = NameType "println" $ MethodSignature [Java.Lang.stringClass] ReturnsVoid
-out :: NameType Field
+out :: NameType (Field Direct)
out = NameType "out" printStreamClass
-printf :: NameType Method
+printf :: NameType (Method Direct)
printf =
NameType "printf" $ MethodSignature [Java.Lang.stringClass,
Array Nothing Java.Lang.objectClass] (Returns printStreamClass)