IRTS.Java.ASTBuilding

Documentation

toClassType :: Type -> ClassType

toRefType :: Type -> RefType

class InvocationTarget a where

Methods

(~>) :: a -> String -> [Argument] -> Exp

Instances

InvocationTarget Exp

InvocationTarget Type

InvocationTarget ClassType

class Callable a where

Methods

call :: a -> [Argument] -> Exp

Instances

Callable String

Callable Ident

Callable Name

(<>) :: Type -> Exp -> Exp

localVar :: Int -> Ident

(@!) :: Exp -> Int -> ArrayIndex

(@:=) :: Either ArrayIndex Ident -> Exp -> BlockStmt

(~&&~) :: Exp -> Exp -> Exp

(~==~) :: Exp -> Exp -> Exp

addToBlock :: [BlockStmt] -> Exp -> [BlockStmt]

jName :: String -> Name

jConst :: String -> Exp

jReturn :: Exp -> BlockStmt

jInt :: Int -> Exp

jString :: String -> Exp

simpleMethod :: [Modifier] -> Maybe Type -> String -> [FormalParam] -> Block -> Decl

declareFinalObjectArray :: Ident -> Maybe VarInit -> BlockStmt

arrayInitExps :: [Exp] -> VarInit

extendWithNull :: [Exp] -> Int -> [Exp]

closure :: Exp -> Exp

bigInteger :: String -> Exp