ddl: initial swift backend

4 files changed, 119 insertions, 0 deletions

diff --git a/Generate.hs b/Generate.hs
index a35cb66..4eea1dc 100644
--- a/Generate.hs
+++ b/Generate.hs
@@ -22,6 +22,8 @@ instance Unquote Type
 
 main :: IO ()
 main = do
+  dataSwift <- eitherParseFile "templates/data.swift.ede"
+  dataJava <- eitherParseFile "templates/data.java.ede"
   dataHpp <- eitherParseFile "templates/data.hpp.ede"
   dataCpp <- eitherParseFile "templates/data.cpp.ede"
   dataCs <- eitherParseFile "templates/data.cs.ede"
@@ -46,6 +48,8 @@ main = do
                 , "psType"          @: psType aliasMap
                 , "cppType"         @: cppType aliasMap
                 , "csType"          @: csType aliasMap
+                , "javaType"        @: javaType aliasMap
+                , "swiftType"       @: swiftType aliasMap
                 ]
 
         -- Haskell
@@ -55,6 +59,12 @@ main = do
         -- C++
         either error (\x -> writeFile ("out/" ++ name ++ ".hpp") $ LText.unpack x) $ dataHpp >>= (\t -> eitherRenderWith mylib t env)
         either error (\x -> writeFile ("out/" ++ name ++ ".cpp") $ LText.unpack x) $ dataCpp >>= (\t -> eitherRenderWith mylib t env)
+        {-
+        -- Java
+        either error (\x -> writeFile ("out/" ++ name ++ ".java") $ LText.unpack x) $ dataJava >>= (\t -> eitherRenderWith mylib t env)
         -- C#
         either error (\x -> writeFile ("out/" ++ name ++ ".cs") $ LText.unpack x) $ dataCs >>= (\t -> eitherRenderWith mylib t env)
+        -}
+        -- Swift
+        either error (\x -> writeFile ("out/" ++ name ++ ".swift") $ LText.unpack x) $ dataSwift >>= (\t -> eitherRenderWith mylib t env)
   mapM_ generate $ execWriter modules
diff --git a/Language.hs b/Language.hs
index ab96349..11bce87 100644
--- a/Language.hs
+++ b/Language.hs
@@ -176,6 +176,64 @@ hsType aliasMap = \case
   Data t        -> t
   x -> error $ "unknown type: " ++ show x
 
+swiftType :: AliasMap -> Type -> String
+swiftType aliasMap = \case
+  Int     -> "Int"
+  Int32   -> "Int32"
+  Word    -> "UInt"
+  Word32  -> "UInt32"
+  Float   -> "Float"
+  Bool    -> "Bool"
+  String  -> "String"
+{-
+  V2 Int        -> "V2I"
+  V2 Word       -> "V2U"
+  V2 Float      -> "V2F"
+  V2 Bool       -> "V2B"
+  V2 (V2 Float) -> "M22F"
+  V2 (V3 Float) -> "M32F"
+  V2 (V4 Float) -> "M42F"
+
+  V3 Int        -> "V3I"
+  V3 Word       -> "V3U"
+  V3 Float      -> "V3F"
+  V3 Bool       -> "V3B"
+  V3 (V2 Float) -> "M23F"
+  V3 (V3 Float) -> "M33F"
+  V3 (V4 Float) -> "M43F"
+
+  V4 Int        -> "V4I"
+  V4 Word       -> "V4U"
+  V4 Float      -> "V4F"
+  V4 Bool       -> "V4B"
+  V4 (V2 Float) -> "M24F"
+  V4 (V3 Float) -> "M34F"
+  V4 (V4 Float) -> "M44F"
+-}
+  Array t       -> "Array<" ++ parens (swiftType aliasMap t) ++ ">"
+  List t        -> "Array<" ++ swiftType aliasMap t ++ ">"
+  Maybe t       -> parens (swiftType aliasMap t) ++ "?"
+  Map k v       -> "Dictionary<" ++ parens (swiftType aliasMap k) ++ ", " ++ parens (swiftType aliasMap v) ++ ">"
+  -- user defined
+  Data t        -> t
+  _ -> "Int"
+  x -> error $ "unknown type: " ++ show x
+
+javaType :: AliasMap -> Type -> String -- TODO
+javaType aliasMap a = case normalize aliasMap a of
+  Data t        -> t
+  Int           -> "int"
+  Int32         -> "int"
+  Word          -> "int"
+  Word32        -> "int"
+  Float         -> "float"
+  Bool          -> "boolean"
+  String        -> "String"
+  Array t       -> "ArrayList<" ++ javaType aliasMap t ++ ">"
+  List t        -> "ArrayList<" ++ javaType aliasMap t ++ ">"
+  Map k v       -> "HashMap<" ++ javaType aliasMap k ++ ", " ++ javaType aliasMap v ++ ">"
+  _ -> "int"
+
 csType :: AliasMap -> Type -> String -- TODO
 csType aliasMap a = case normalize aliasMap a of
   Data t        -> t
diff --git a/templates/data.java.ede b/templates/data.java.ede
new file mode 100644
index 0000000..c85a521
--- /dev/null
+++ b/templates/data.java.ede
@@ -0,0 +1,26 @@
+// generated file, do not modify!
+// {{ dateTime }}
+
+{% for m in imports %}
+import {{ m.value }};
+{% endfor %}
+
+public class {{ moduleName }} {
+{% for t in dataAndType %}
+{% case t.value | constType %}
+{% when "DataDef" %}
+  public class {{ t.value.dataName }} {
+    public enum Tag { {% for c in t.value.constructors %}
+      {{ c.value.name }}{% if !c.last %},{% endif %}{% endfor %}
+    }
+    public Tag tag;
+{% for c in t.value.constructors %}{% if !(c.value.fields | empty) %}
+    public class {{ c.value.name }}_ extends {{ t.value.dataName }} { {% for f in c.value.fields %}{% if c.value.fields | hasFieldNames %}
+      public {{ f.value.fieldType | javaType }} {{ f.value.fieldName }};{% else %}
+      public {{ f.value.fieldType | javaType }} _{{ f.index0 }};{% endif %}{% endfor %}
+    }{% endif %}{% endfor %}
+  }
+
+{% endcase %}
+{% endfor %}
+}
\ No newline at end of file
diff --git a/templates/data.swift.ede b/templates/data.swift.ede
new file mode 100644
index 0000000..09b90da
--- /dev/null
+++ b/templates/data.swift.ede
@@ -0,0 +1,25 @@
+// generated file, do not modify!
+// {{ dateTime }}
+
+{% for t in dataAndType %}
+{% case t.value | constType %}
+{% when "DataDef" %}
+enum {{ t.value.dataName }} {
+{% for c in t.value.constructors %}
+{% if c.value.fields | hasFieldNames %}
+  case {{ c.value.name }}({{ c.value.name }}_Data)
+    struct {{ c.value.name }}_Data {
+{% for f in c.value.fields %}
+      var {{ f.value.fieldName }} : {{ f.value.fieldType | swiftType }}
+{% endfor %}
+    }
+{% else %}
+  case {{ c.value.name }}{% if !(c.value.fields | empty) %}({% for f in c.value.fields %}{{ f.value.fieldType | swiftType }}{% if !f.last %},{% endif %}{% endfor %}){% endif %}
+{% endif %}
+{% endfor %}
+}
+{% when "TypeAlias" %}
+typealias {{ t.value.aliasName }} = {{ t.value.aliasType | swiftType }}
+{% endcase %}
+
+{% endfor %}