module Drasil.SWHS.Choices where

-- import Language.Drasil (QDefinition)
-- import Language.Drasil.Code (Choices(..), CodeSpec, codeSpec, Comments(..), 
--   Verbosity(..), ConstraintBehaviour(..), ImplementationType(..), Lang(..),  
--   Modularity(..), Structure(..), ConstantStructure(..), 
--   ConstantRepr(..), matchConcepts, AuxFile(..), 
--   Visibility(..), defaultChoices)
-- import Drasil.SWHS.Body (fullSI)


-- code :: CodeSpec
-- code = codeSpec fullSI choices []

-- choices :: Choices
-- choices = defaultChoices {
--   lang = [Python, Cpp, CSharp, Java],
--   modularity = Modular,
--   impType = Program,
--   logFile = "log.txt",
--   comments = [],    -- CommentFunc, CommentClass, CommentMod
--   doxVerbosity = Quiet, -- Verbose, Quiet
--   dates = Hide,     -- Show, Hide
--   onSfwrConstraint = Warning,  -- Warning, Exception
--   onPhysConstraint = Warning,  -- Warning, Exception
--   inputStructure = Unbundled,    -- Unbundled, Bundled
--   constStructure = Inline,   -- Inline, WithInputs, Store Structure
--   constRepr = Const,      -- Var, Const
--   conceptMatch = matchConcepts ([] :: [QDefinition]) [],
--   auxFiles = [SampleInput "../../datafiles/swhs/sampleInput.txt"]
-- }