]> www.average.org Git - pdns-pipe-nmc.git/blobdiff - PowerDns.hs
refactor state handling
[pdns-pipe-nmc.git] / PowerDns.hs
index c465a16a3017f7fc3c43876953d81d048b8234b4..d45cd00ebaa52219ca971b1c21561f15dd785839 100644 (file)
@@ -3,40 +3,62 @@ module PowerDns ( RRType(..)
                 , pdnsParse
                 , pdnsReport
                 , pdnsOut
+                , pdnsOutXfr
                 ) where
 
+import Data.Text.Lazy (splitOn, pack)
+
 import NmcDom
 
 data RRType = RRTypeSRV   | RRTypeA   | RRTypeAAAA | RRTypeCNAME
             | RRTypeDNAME | RRTypeSOA | RRTypeRP   | RRTypeLOC
             | RRTypeNS    | RRTypeDS  | RRTypeMX
             | RRTypeANY   | RRTypeError String 
-        deriving (Show)
+
+instance Show RRType where
+  show RRTypeSRV       = "SRV"
+  show RRTypeA         = "A"
+  show RRTypeAAAA      = "AAAA"
+  show RRTypeCNAME     = "CNAME"
+  show RRTypeDNAME     = "DNAME" 
+  show RRTypeSOA       = "SOA"
+  show RRTypeRP        = "RP"
+  show RRTypeLOC       = "LOC"
+  show RRTypeNS        = "NS"   
+  show RRTypeDS        = "DS"
+  show RRTypeMX        = "MX"
+  show RRTypeANY       = "ANY"
+  show (RRTypeError s) = "RR type error: " ++ (show s)
 
 data PdnsRequest = PdnsRequestQ
                    { qName              :: String
                    , qType              :: RRType
-                   , iD                 :: String
+                   , iD                 :: Int
                    , remoteIpAddress    :: String
                    , localIpAddress     :: Maybe String
                    , ednsSubnetAddress  :: Maybe String
                    }
-                 | PdnsRequestAXFR String
+                 | PdnsRequestAXFR Int
                  | PdnsRequestPing
         deriving (Show)
 
+-- | Parse request string read from the core PowerDNS process
+pdnsParse :: Int -> String -> Either String PdnsRequest
 pdnsParse ver s =
   let
+    getInt s = case reads s :: [(Int, String)] of
+      [(x, _)] -> x
+      _        -> -1
     getQt qt = case qt of
-      "SRV"     -> RRTypeSRV   
+      "SRV"     -> RRTypeSRV
       "A"       -> RRTypeA
       "AAAA"    -> RRTypeAAAA
       "CNAME"   -> RRTypeCNAME
       "DNAME"   -> RRTypeDNAME 
-      "SOA"     -> RRTypeSOA 
-      "RP"      -> RRTypeRP   
+      "SOA"     -> RRTypeSOA
+      "RP"      -> RRTypeRP
       "LOC"     -> RRTypeLOC
-      "NS"      -> RRTypeNS    
+      "NS"      -> RRTypeNS   
       "DS"      -> RRTypeDS
       "MX"      -> RRTypeMX
       "ANY"     -> RRTypeANY
@@ -54,72 +76,98 @@ pdnsParse ver s =
   in
     case words s of
       "PING":[]                 -> Right PdnsRequestPing
-      "AXFR":x:[]               -> Right (PdnsRequestAXFR x)
+      "AXFR":x:[]               -> Right (PdnsRequestAXFR (getInt x))
       "Q":qn:"IN":qt:id:rip:xs  -> Right (PdnsRequestQ
                                             { qName = qn
                                             , qType = getQt qt
-                                            , iD = id
+                                            , iD = getInt id
                                             , remoteIpAddress = rip
                                             , localIpAddress = getLIp ver xs
                                             , ednsSubnetAddress = getRIp ver xs
                                             })
       _                         -> Left $ "Unparseable PDNS Request: " ++ s
 
+-- | Produce LOG entry followed by FAIL
 pdnsReport :: String -> String
-pdnsReport err =
-  "LOG\tError: " ++ err ++ "\nFAIL\n"
+pdnsReport err = "LOG\tError: " ++ err ++ "\nFAIL\n"
 
-pdnsOut :: Int -> String -> String -> RRType -> Either String NmcDom -> String
+-- | Produce answer to the Q request
+pdnsOut :: Int -> Int -> String -> RRType -> Either String NmcDom -> String
 pdnsOut ver id name rrtype edom = case edom of
-  Left  err -> pdnsReport $ err ++ " in a query for " ++ name
-  Right dom -> foldr addLine "END\n" $ n2p rrtype
+  Left  err ->
+    pdnsReport $ err ++ " in a " ++ (show rrtype) ++ "query for " ++ name
+  Right dom ->
+    case rrtype of
+      RRTypeANY -> foldr (\x a -> (formatRR ver id name dom x) ++ a) "END\n"
+          [RRTypeSRV, RRTypeA, RRTypeAAAA, RRTypeCNAME, RRTypeDNAME,
+           RRTypeRP, RRTypeLOC, RRTypeNS, RRTypeDS, RRTypeMX]
+      _         -> (formatRR ver id name dom rrtype) ++ "END\n"
+
+-- | Produce answer to the AXFR request
+pdnsOutXfr :: Int -> Int -> String -> Either String NmcDom -> String
+pdnsOutXfr ver id name edom = "" -- FIXME
+
+justl accessor _ dom = case accessor dom of
+  Nothing -> []
+  Just xs -> xs
+
+justv accessor _ dom = case accessor dom of
+  Nothing -> []
+  Just x  -> [x]
+
+dotmail addr = 
+  let (aname, adom) = break (== '@') addr
+  in case adom of
+    "" -> aname ++ "."
+    _  -> aname ++ "." ++ (tail adom) ++ "."
+
+dataRR RRTypeSRV   = justl domSrv
+dataRR RRTypeMX    = justl domMx
+dataRR RRTypeA     = justl domIp
+dataRR RRTypeAAAA  = justl domIp6
+dataRR RRTypeCNAME = justv domAlias
+dataRR RRTypeDNAME = justv domTranslate
+dataRR RRTypeSOA   = \ name dom -> -- FIXME make realistic version field
+  let
+    ns = case domNs dom of
+      Just (x:_) -> x           -- FIXME Terminate with a dot?
+      _          -> "."
+    email = case domEmail dom of
+      Nothing   -> "hostmaster." ++ name ++ "."
+      Just addr -> dotmail addr
+  in
+    if dom == emptyNmcDom then []
+    else
+    -- Follows a relatively ugly hack to figure if we are at the top
+    -- level domain ("something.bit"). Only in such case we provide
+    -- the synthetic SOA RR. Otherwise yield empty.
+    -- Alternative would be to carry "top-ness" as a parameter through
+    -- all the calls from the very top where we split the fqdn.
+      case splitOn (pack ".") (pack name) of
+        [_,_] -> [ns ++ " " ++ email ++ " 99999 10800 3600 604800 86400"]
+        _     -> []
+dataRR RRTypeRP    = \ _ dom ->
+  case domEmail dom of
+    Nothing   -> []
+    Just addr -> [(dotmail addr) ++ " ."]
+dataRR RRTypeLOC   = justv domLoc
+dataRR RRTypeNS    = justl domNs -- FIXME Terminate with a dot?
+dataRR RRTypeDS    = \ _ dom ->
+  case domDs dom of
+    Nothing  -> []
+    Just dss -> map dsStr dss
+      where
+        dsStr x = (show (dsKeyTag x)) ++ " "
+               ++ (show (dsAlgo x)) ++ " "
+               ++ (show (dsHashType x)) ++ " "
+               ++ (dsHashValue x)
+
+formatRR ver id name dom rrtype =
+  foldr (\x a -> "DATA\t" ++ v3ext ++ name ++ "\tIN\t" ++ (show rrtype)
+            ++ "\t" ++ ttl ++ "\t" ++ (show id) ++ "\t" ++ x ++ "\n" ++ a)
+        "" $ dataRR rrtype name dom
     where
-      addLine (nm, ty, dt) accum =
-        "DATA\t" ++ v3ext ++ nm ++ "\tIN\t" ++ ty ++ "\t" ++ ttl ++
-            "\t" ++ id ++ "\t" ++ dt ++ "\n" ++ accum
       v3ext = case ver of
         3 -> "0\t1\t"
         _ -> ""
       ttl = show 3600
-
-      n2p RRTypeANY   =
-        foldr (\r accum -> (n2p r) ++ accum) []
-          [RRTypeSRV, RRTypeA, RRTypeAAAA, RRTypeCNAME, RRTypeDNAME,
-           RRTypeSOA, RRTypeRP, RRTypeLOC, RRTypeNS, RRTypeDS, RRTypeMX]
-      n2p RRTypeSRV   = makesrv  "SRV"   $ domService dom
-      n2p RRTypeMX    = mapto    "MX"    $ domMx dom
-      n2p RRTypeA     = mapto    "A"     $ domIp dom
-      n2p RRTypeAAAA  = mapto    "AAAA"  $ domIp6 dom
-      n2p RRTypeCNAME = takejust "CNAME" $ domAlias dom
-      n2p RRTypeDNAME = takejust "DNAME" $ domTranslate dom
-      n2p RRTypeSOA   = -- FIXME generate only for top domain
-        if dom == emptyNmcDom then []
-        else
-          let
-            email = case domEmail dom of
-              Nothing   -> "hostmaster." ++ name
-              Just addr ->
-                let (aname, adom) = break (== '@') addr
-                in case adom of
-                  "" -> aname
-                  _  -> aname ++ "." ++ (tail adom)
-          in [(name, "SOA", email ++ " 99999999 10800 3600 604800 86400")]
-      n2p RRTypeRP    = [] --FIXME
-      n2p RRTypeLOC   = takejust "LOC"  $ domLoc dom
-      n2p RRTypeNS    = mapto    "NS"   $ domNs dom
-      n2p RRTypeDS    = [] --FIXME
-      
-      mapto    rrstr maybel   = case maybel of
-        Nothing  -> []
-        Just l   -> map (\x -> (name, rrstr, x)) l
-      takejust rrstr maybestr = case maybestr of
-        Nothing  -> []
-        Just str -> [(name, rrstr, str)]
-      makesrv  rrstr mayberl  = case mayberl of
-        Nothing  -> []
-        Just srl  -> map (\x -> (name, rrstr, fmtsrv x)) srl
-          where
-            fmtsrv rl = (show (srvPrio rl)) ++ " "
-                      ++ (show (srvWeight rl)) ++ " "
-                      ++ (show (srvPort rl)) ++ " "
-                      ++ (srvHost rl)