diff options
Diffstat (limited to 'compiler/javaGen/Java.lhs')
| -rw-r--r-- | compiler/javaGen/Java.lhs | 176 |
1 files changed, 0 insertions, 176 deletions
diff --git a/compiler/javaGen/Java.lhs b/compiler/javaGen/Java.lhs deleted file mode 100644 index f70363240b..0000000000 --- a/compiler/javaGen/Java.lhs +++ /dev/null @@ -1,176 +0,0 @@ -Anbstract syntax for Java subset that is the target of Mondrian. -The syntax has been taken from "The Java Language Specification". - -(c) Erik Meijer & Arjan van IJzendoorn - -November 1999 - -Major reworking to be usable for the intermeduate (GOO) language -for the backend of GHC and to target languauges like Java sucessfully. --- Andy Gill - -\begin{code} -{-# OPTIONS -w #-} --- The above warning supression flag is a temporary kludge. --- While working on this module you are encouraged to remove it and fix --- any warnings in the module. See --- http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings --- for details - -module Java where - -\end{code} - -%************************************************************************ -%* * -\subsection{Java type declararations} -%* * -%************************************************************************ - -\begin{code} -data CompilationUnit - = Package PackageName [Decl] - deriving (Show) - -data Decl - = Import PackageName - | Field [Modifier] Name (Maybe Expr) - | Constructor [Modifier] TypeName [Parameter] [Statement] - | Method [Modifier] Name [Parameter] [Exception] [Statement] - | Comment [String] - | Interface [Modifier] TypeName [TypeName] [Decl] - | Class [Modifier] TypeName [TypeName] [TypeName] [Decl] - deriving (Show) - -data Parameter - = Parameter [Modifier] Name - deriving (Show) - -data Statement - = Skip - | Return Expr -- This always comes last in a list - -- of statements, and it is understood - -- you might change this to something - -- else (like a variable assignment) - -- if this is not top level statements. - | Block [Statement] - | ExprStatement Expr -- You are never interested in the result - -- of an ExprStatement - | Declaration Decl -- variable = inner Field, Class = innerclass - | IfThenElse [(Expr,Statement)] (Maybe Statement) - | Switch Expr [(Expr, [Statement])] (Maybe [Statement]) - deriving (Show) - -data Expr - = Var Name - | Literal Lit - | Cast Type Expr - | Access Expr Name - | Assign Expr Expr - | InstanceOf Expr Type - | Call Expr Name [Expr] - | Op Expr String Expr - | Raise TypeName [Expr] - | New Type [Expr] (Maybe [Decl]) -- anonymous innerclass - deriving (Show) - -data Modifier - = Public | Protected | Private - | Static - | Abstract | Final | Native | Synchronized | Transient | Volatile - deriving (Show, Eq, Ord) - --- A type is used to refer in general to the shape of things, --- or a specific class. Never use a name to refer to a class, --- always use a type. - -data Type - = PrimType PrimType - | ArrayType Type - | Type TypeName - deriving (Show, Eq) - -data PrimType - = PrimInt - | PrimBoolean - | PrimChar - | PrimLong - | PrimFloat - | PrimDouble - | PrimByte - | PrimVoid - deriving (Show, Eq) - -type PackageName = String -- A package name - -- like "java.awt.Button" - -type Exception = TypeName -- A class name that must be an exception. - -type TypeName = String -- a fully qualified type name - -- like "java.lang.Object". - -- has type "Type <the name>" - -data Name = Name String Type - deriving Show -- A class name or method etc, - -- at defintion time, - -- this generally not a qualified name. - - -- The type is shape of the box require - -- to store an access to this thing. - -- So variables might be Int or Object. - - -- ** method calls store the returned - -- ** type, not a complete arg x result type. - -- - -- Thinking: - -- ... foo1.foo2(...).foo3 ... - -- here you want to know the *result* - -- after calling foo1, then foo2, - -- then foo3. - -instance Eq Name where - (Name nm _) == (Name nm' _) = nm == nm' - - -instance Ord Name where - (Name nm _) `compare` (Name nm' _) = nm `compare` nm' - - -data Lit - = IntLit Integer -- unboxed - | CharLit Int -- unboxed - | StringLit String -- java string - deriving Show - -addModifier :: Modifier -> Decl -> Decl -addModifier = \m -> \d -> - case d of - { Import n -> Import n - ; Field ms n e -> Field (m:ms) n e - ; Constructor ms n as ss -> Constructor (m:ms) n as ss - ; Method ms n as ts ss -> Method (m:ms) n as ts ss - ; Comment ss -> Comment ss - ; Interface ms n xs ds -> Interface (m:ms) n xs ds - ; Class ms n xs is ds -> Class (m:ms) n xs is ds - } - -changeNameType :: Type -> Name -> Name -changeNameType ty (Name n _) = Name n ty - -areSimple :: [Expr] -> Bool -areSimple = \es -> all isSimple es - -isSimple :: Expr -> Bool -isSimple = \e -> - case e of - { Cast t e -> isSimple e - ; Access e n -> isSimple e - ; Assign l r -> isSimple l && isSimple r - ; InstanceOf e t -> isSimple e - ; Call e n es -> isSimple e && areSimple es - ; Op e1 o e2 -> False - ; New n es Nothing -> areSimple es - ; New n es (Just ds) -> False - ; otherwise -> True - } -\end{code} |