Synnefo » snf-ganeti

prop_Text_Load_Instance name mem dsk vcpus status

                        (NonEmpty pnode) snode

  pnode /= snode && pdx /= sdx ==>

  let vcpus_s = show vcpus

      dsk_s = show dsk

      mem_s = show mem

      status_s = Types.instanceStatusToRaw status

      ndx = if null snode

              then [(pnode, pdx)]

      sdt = Types.diskTemplateToRaw dt

      inst = Text.loadInst nl

             [name, mem_s, dsk_s, vcpus_s, status_s,

      fail1 = Text.loadInst nl

              [name, mem_s, dsk_s, vcpus_s, status_s,

               sbal, pnode, pnode, tags]

                                      then Node.noSecondary

                                      else sdx) &&

               Instance.autoBalance i == autobal &&

               Types.isBad fail1

prop_Text_Load_InstanceFail ktn fields =

    case Text.loadInst nl fields of

      Types.Ok _ -> failTest "Managed to load instance from invalid data"

      Types.Bad msg -> printTestCase ("Unrecognised error message: " ++ msg) $

      snode = (if sidx == Node.noSecondary

                 then ""

                 else Container.nameOf nl sidx)

       iname (Instance.mem inst) (Instance.dsk inst)

       (Instance.vcpus inst) (instanceStatusToRaw (Instance.runSt inst))

       (if Instance.autoBalance inst then "Y" else "N")

       pnode snode (diskTemplateToRaw (Instance.diskTemplate inst))

-- | Generate instance file data from instance objects.

serializeInstances :: Node.List -> Instance.List -> String

                                               -- instance name and

                                               -- the instance object

loadInst ktn [ name, mem, dsk, vcpus, status, auto_bal, pnode, snode

  pidx <- lookupNode ktn name pnode

  sidx <- if null snode

            then return Node.noSecondary

                         "' for instance " ++ name

  disk_template <- annotateResult ("Instance " ++ name)

                   (diskTemplateFromRaw dt)

  when (sidx == pidx) $ fail $ "Instance " ++ name ++

           " has same primary and secondary node - " ++ pnode

  let vtags = commaSplit tags

      newinst = Instance.create name vmem vdsk vvcpus vstatus vtags

  return (name, newinst)

loadInst _ s = fail $ "Invalid/incomplete instance data: '" ++ show s ++ "'"

-- | Loads a spec from a field list.