ActionhaXe/CLArgs.hs System/Console/ParseArgs.hs @@ -18,6 +18,8 @@ module ActionhaXe.Data where import ActionhaXe.Lexer +import ActionhaXe.CLArgs + import Text.Parsec import Text.Parsec.Prim @@ -240,11 +242,11 @@ type AsDefTuple = (AsDef, AsDefInfo) data AsStateEl = AsStateEl { sid::Int, scope::Map AsDef AsDefInfo } deriving (Show, Data, Typeable) -data AsState = AsState{ filename::String, outfile::String, curId::Int, flags::Map String String, accessors::Map String (AsType, Bool, Bool), initMembers::[String], path::[Int], scopes::Tree AsStateEl } +data AsState = AsState{ conf::Conf, filename::String, outfile::String, curId::Int, flags::Map String String, accessors::Map String (AsType, Bool, Bool), initMembers::[String], path::[Int], scopes::Tree AsStateEl } deriving (Show, Data, Typeable) initState :: AsState -initState = AsState{ filename = "", outfile = "", curId = 0, path = [0], flags = Map.empty, accessors = Map.empty, initMembers = [], scopes = newScope 0} +initState = AsState{ conf = ConfNone, filename = "", outfile = "", curId = 0, path = [0], flags = Map.empty, accessors = Map.empty, initMembers = [], scopes = newScope 0} getProperty name = do x <- getState ActionhaXe/Data.hs @@ -23,6 +23,9 @@ import ActionhaXe.Lexer import ActionhaXe.Data import ActionhaXe.Prim import ActionhaXe.Parser +import ActionhaXe.CLArgs +import qualified System.Console.ParseArgs as PA + import Data.Map (Map) import qualified Data.Map as Map import Control.Monad.State @@ -62,6 +65,9 @@ getMembers = do st <- get put st{initMembers = []} return ret +getCLArg f = do st <- get + return $ PA.gotArg (confArgs (conf st)) f + maybeEl f i = maybe "" (\m -> f m) i cleanup s = subRegex (mkRegex "\\$") s "_S_" @@ -94,10 +100,13 @@ classBlock (Block l bs r) = do x <- get let a = accessors x let al = Map.toList a - let props = foldl (\str (k, (t, g, s)) -> str ++ showws l ++ "public var " ++ k ++ "(" - ++ (if g then "get"++ [toUpper $ head k] ++ tail k else "null") ++ ", " - ++ (if s then "set"++ [toUpper $ head k] ++ tail k else "null") - ++ ") : " ++ datatype t ++ ";") "" al + props <- foldlM (\str (k, (t, g, s)) -> do{ t' <- datatype t + ; return $ str ++ showws l ++ "public var " ++ k ++ "(" + ++ (if g then "get"++ [toUpper $ head k] ++ tail k else "null") ++ ", " + ++ (if s then "set"++ [toUpper $ head k] ++ tail k else "null") + ++ ") : " ++ t' ++ ";" + } + ) "" al bi <- foldlM (\s b -> do{ x <- classBlockItem b; return $ s ++ x} ) "" bs return $ showd l ++ props ++ showw l ++ bi ++ showb r @@ -218,8 +227,9 @@ methodDecl (MethodDecl a f ac n s b) = do accessor ac name s@(Signature l args r ret) t = case ac of Just x -> do{ a <- showArgs args + ; t' <- datatypet t ; return $ showd x ++ [toUpper $ head $ showd name] ++ tail (showb name) ++ showb l ++ a ++ showd r ++ ":" - ++ fst (datatypet t) ++ (case ret of { Just (c, t) -> snd (datatypet t); Nothing -> showw r}) + ++ fst t' ++ (case ret of { Just (c, t) -> snd t'; Nothing -> showw r}) } Nothing -> do{ s' <- signature s; return $ showb name ++ s'} accblock arg ac (Block l bs r) = @@ -241,11 +251,12 @@ signatureArgs (Signature l args r ret) = do{ a <- showArgs args } rettype ret = case ret of - Just (c, t) -> showb c ++ datatype t - Nothing -> "" + Just (c, t) -> do{ t' <- datatype t; return $ showb c ++ t'} + Nothing -> return "" signature (Signature l args r ret) = do{ a <- showArgs args - ; return $ showb l ++ a ++ showb r ++ rettype ret + ; ret' <- rettype ret + ; return $ showb l ++ a ++ showb r ++ ret' } showArgs as = do{ as' <- mapM showArg as; return $ concat as'} @@ -308,28 +319,33 @@ namespace ns = case ns of Just x -> concat $ map (\n -> (case (showd n) of { "protected" -> "public"; _ -> showd n}) ++ showw n) x Nothing -> "" -datatypet d = span (\c -> isAlphaNum c || c =='>' || c == '<') (datatype d) +datatypet d = do{ d' <- datatype d; return $ span (\c -> isAlphaNum c || c =='>' || c == '<') d'} +datatype :: AsType -> StateT AsState IO String datatype d = case d of - AsType n -> (case (showd n) of - "void" -> "Void" - "Boolean" -> "Bool" - "uint" -> "UInt" - "int" -> "Int" - "Number" -> "Number" - "String" -> "String" - "*" -> "Dynamic" - "Object" -> "Dynamic" - "Function"-> "Dynamic" - "Array" -> "Array<Dynamic>" - "XML" -> "XML" - "RegExp" -> "EReg" - ) ++ showw n - AsTypeRest -> "Array<Dynamic>" - AsTypeUser n -> showb n - -datatypeiM d Nothing = return $ datatype d + AsType n -> do d' <- (case (showd n) of + "void" -> return "Void" + "Boolean" -> return "Bool" + "uint" -> return "UInt" + "int" -> return "Int" + "Number" -> do ni <- getCLArg NumberToInt + if ni + then return "Int" + else return "Float" + "String" -> return "String" + "*" -> return "Dynamic" + "Object" -> return "Dynamic" + "Function"-> return "Dynamic" + "Array" -> return "Array<Dynamic>" + "XML" -> return "XML" + "RegExp" -> return "EReg" + ) + return $ d' ++ showw n + AsTypeRest -> return "Array<Dynamic>" + AsTypeUser n -> return $ showb n + +datatypeiM d Nothing = datatype d datatypeiM d i = case d of AsType n -> do{ r <- case (showd n) of @@ -337,13 +353,16 @@ datatypeiM d i = "Boolean" -> return "Bool" "uint" -> return "UInt" "int" -> return "Int" - "Number" -> do{ case i of + "Number" -> do case i of Just (o, e) -> do{ if hasFloat e then return "Float" else return "Int" } - Nothing -> return "Float" - } + Nothing -> do ni <- getCLArg NumberToInt + if ni + then return "Int" + else return "Float" + "String" -> return "String" "*" -> return "Dynamic" "Object" -> return "Dynamic" ActionhaXe/Translator.hs @@ -2,20 +2,21 @@ as3tohaxe - An Actionscript 3 to haXe source file converter written in Haskell Copyright (C) 2008 Don-Duong Quach For more info check visit: -http://geekrelief.wordpress.com +http://groups.google.com/group/as3tohaxe http://www.github.com/geekrelief/as3tohaxe +http://geekrelief.wordpress.com Donations are appreciated! - -- Running -- Type 'as3tohaxe' and a directory or file to convert. A directory named "hx_output" will be created in the current directory if necessary. The supplied ".as" files will be translated into haxe files and stored there. If the command -is run more than once, and pre-existing files will be skipped. +is run more than once, and pre-existing files will be overwritten. -- Binary -- -There is a binary 'as3tohaxe' included for Mac OSX 10.5. +Binaries for Mac OSX Leopard and Windows are available under +the Files section of the as3tohaxe google group. -- Compiling -- Requirements @@ -24,8 +25,7 @@ Requirements - Cabal for parsec http://www.haskell.org/cabal/ - parsec 3 http://hackage.haskell.org/cgi-bin/hackage-scripts/package/parsec -Running: ghc --make -XDeriveDataTypeable as3tohaxe.hs -will produce the binary 'as3tohaxe' +Compile with: ghc --make -XDeriveDataTypeable as3tohaxe.hs -- License -- This program and its source is GPL licensed. Please read the LICENSE README @@ -22,47 +22,70 @@ import ActionhaXe.Data import ActionhaXe.Prim import ActionhaXe.Parser import ActionhaXe.Translator +import ActionhaXe.CLArgs + import System.Directory import System.Environment (getArgs) import Control.Monad.State import System.Exit import Data.Char (toUpper, toLower) import Data.List (isSuffixOf) +import System.Console.ParseArgs +import Data.Maybe (fromJust, fromMaybe) -outdir = "hx_output/" - +translateFile :: String -> StateT Conf IO () translateFile filename = do - putStrLn $ "Translating " ++ filename - contents <- readFile filename + conf <- get + let outdir = confOutput conf + liftIO $ putStrLn $ "Translating " ++ filename + contents <- liftIO $ readFile filename let tokens = runLexer "" contents let outfilename = outdir ++ (reverse $ "xh" ++ ( drop 2 $ reverse filename)) program <- case parseTokens filename tokens of - Right p@(AS3Program x st) -> return (p, st{outfile = outfilename }) - Right p@(AS3Directives x st) -> return (p, st{outfile = outfilename }) + Right p@(AS3Program x st) -> return (p, st{outfile = outfilename, conf=conf }) + Right p@(AS3Directives x st) -> return (p, st{outfile = outfilename, conf=conf }) Left err -> fail $ show err - trans <- runStateT (translateAs3Ast (fst program)) (snd program) - writeFile outfilename $ fst trans + trans <- liftIO $ runStateT (translateAs3Ast (fst program)) (snd program) + liftIO $ writeFile outfilename $ fst trans -isFile f = do t <- doesFileExist f +isFile :: String -> StateT Conf IO Bool +isFile f = do conf <- get + let outdir = confOutput conf + t <- liftIO $ doesFileExist f let outfilename = outdir ++ (reverse $ "xh" ++ ( drop 2 $ reverse f)) - o <- doesFileExist (outfilename) - when o $ putStrLn $ "Skipping " ++ f + o <- liftIO $ doesFileExist (outfilename) + when o $ liftIO $ putStrLn $ "Skipping " ++ f return $ not o && t && ("as" == (map toLower $ reverse $ take 2 $ reverse f)) -isDir d = do t <- doesDirectoryExist d +isDir :: String -> StateT Conf IO Bool +isDir d = do t <- liftIO $ doesDirectoryExist d return $ t +translateDir :: String -> StateT Conf IO () translateDir dir = do - contents <- getDirectoryContents dir - dirExists <- doesDirectoryExist (outdir ++ dir) - unless dirExists (createDirectoryIfMissing True (outdir++dir) >> putStrLn ("Created " ++ outdir++dir)) + conf <- get + let outdir = confOutput conf + contents <- liftIO $ getDirectoryContents dir + dirExists <- liftIO $ doesDirectoryExist (outdir ++ dir) + liftIO $ unless dirExists (createDirectoryIfMissing True (outdir++dir) >> putStrLn ("Created " ++ outdir++dir)) let c = map (\e -> dir++"/"++e) (filter (\d-> d /= "." && d /=".." && d /= ".svn") contents) asfiles <- filterM isFile c asdirs <- filterM isDir c mapM_ translateFile asfiles mapM_ translateDir asdirs -main = do args <- getArgs +main = do args <- parseArgsIO ArgsTrailing clargs + let input = fromJust $ getArgString args Input + let outdir = fromMaybe "hx_output/" $ getArgString args OutputDir + let conf = Conf{ confArgs = args , confInput = input, confOutput = outdir} + if isSuffixOf ".as" input + then do + dirExists <- doesDirectoryExist outdir + unless dirExists ((createDirectoryIfMissing True outdir) >> putStrLn ("Created " ++ outdir)) + runStateT (translateFile input) conf + else runStateT (translateDir input) conf + +{- args <- getArgs if length args == 0 then do putStrLn "as3tohaxe Copyright (c) 2008 Don-Duong Quach\nUsage: as3tohaxe [directory | filename]" exitWith ExitSuccess @@ -73,3 +96,4 @@ main = do args <- getArgs unless dirExists ((createDirectoryIfMissing True outdir) >> putStrLn ("Created " ++ outdir)) translateFile $ args!!0 else translateDir $ args!!0 +-} as3tohaxe.hs 9796ed455099204720413200532155e1fed963ca Don-Duong Quach geekrelief@gmail.com http://github.com/geekrelief/as3tohaxe/commit/152a4cba3ac9147751bfd27b09d921d550bb343e 152a4cba3ac9147751bfd27b09d921d550bb343e 2008-10-29T21:26:13-07:00 2008-10-29T21:26:13-07:00 Added command line options 10b6a680bb2b2cc4075991e4999fdd76b0baa08d Don-Duong Quach geekrelief@gmail.com