module Modelling.CdOd.Common ( validClassDiagramAdviceTitle, validClassDiagramAdviceText, validClassDiagramAdvice, ) where import qualified Data.Map as M import Control.OutputCapable.Blocks (ExtraText (..), Language (..)) validClassDiagramAdviceTitle :: M.Map Language String validClassDiagramAdviceTitle :: Map Language String validClassDiagramAdviceTitle = [(Language, String)] -> Map Language String forall k a. Ord k => [(k, a)] -> Map k a M.fromList [ (Language English, String "Hint on the validity of class diagrams"), (Language German, String "Hinweis zur Gültigkeit von Klassendiagrammen") ] validClassDiagramAdviceText :: M.Map Language String validClassDiagramAdviceText :: Map Language String validClassDiagramAdviceText = [(Language, String)] -> Map Language String forall k a. Ord k => [(k, a)] -> Map k a M.fromList [ (Language English, String "One reason for not considering a class diagram valid is if it cannot actually be instantiated, i.e., if there exists no object diagram conforming to it."), (Language German, String "Ein Grund dafür, ein Klassendiagramm nicht als gültig anzusehen ist, wenn es gar nicht instanziiert werden kann, d.h., wenn kein dazu passendes Objektdiagramm existiert.") ] validClassDiagramAdvice :: ExtraText validClassDiagramAdvice :: ExtraText validClassDiagramAdvice = Bool -> Map Language String -> Map Language String -> ExtraText Collapsible Bool True Map Language String validClassDiagramAdviceTitle Map Language String validClassDiagramAdviceText