| ||||||
| ||||||
| ||||||
Description | ||||||
Definicion del modulo de dialogos y mensajes de error e informacion. | ||||||
Synopsis | ||||||
Tipos | ||||||
Constructores | ||||||
Metodos | ||||||
errorDlg :: WindowClass parent => parent -> String -> IO () | ||||||
Crea una nueva ventana de dialogo de error. Para ello recibe la ventana padre del cuadro de dialogo y el mensaje que va a ser mostrado en el mismo. | ||||||
questDlg :: WindowClass parent => parent -> String -> IO a -> IO a -> IO a | ||||||
Crea una nueva ventana de dialogo para efectuar una consulta. Para ello recibe como argumento la ventana padre del cuadro de dialogo, el mensaje que se mostrara en el cuadro de dialogo y las acciones que se deben tomar en caso de que se responda por si o por no, respectivamente. | ||||||
Mensajes de informacion | ||||||
infoNoConstrMsg :: String | ||||||
infoConstrMsg :: String | ||||||
Mensajes de error | ||||||
errOpenFormatMsg :: FilePath -> String -> String | ||||||
Dado el camino hacia un archivo y un mensaje de errror, genera un mensaje de error que describe mejor el problema usando la informacion que se recibio como argumento. | ||||||
errOpenBadDerivationMsg :: FilePath -> String | ||||||
errPTSFormatMsg :: FilePath -> String | ||||||
errConstrFailMsg :: FilePath -> String | ||||||
errSortDefMsg :: Sort -> String | ||||||
errSortSymMsg :: String | ||||||
errSortNameMsg :: String | ||||||
errAxiomNameMsg :: String | ||||||
errBadFormedAxiomMsg :: String | ||||||
errRuleNameMsg :: String | ||||||
errBadFormedRuleMsg :: String | ||||||
errBadFormedPTSMsg :: String | ||||||
errSortInUseMsg :: Sort -> String | ||||||
errNoPTSOrDerMsg :: String | ||||||
errNoPTSOrDerToSaveMsg :: String | ||||||
errNoPTSOrDerForDelMsg :: String | ||||||
errNoStateToSaveMsg :: String | ||||||
errUnkIdFormatMsg :: String -> String | ||||||
errBadFormedContextMsg :: String -> String | ||||||
errBadFormedExprMsg :: String -> String | ||||||
errBadFormedJudgeMsg :: String -> String | ||||||
errNoDefSortsMsg :: [Sort] -> String | ||||||
errUnsatisfiedConstrMsg :: Integer -> Markup -> String | ||||||
errNoDerSelectedMsg :: String | ||||||
errNoRuleSelectedMsg :: String | ||||||
errImpossibleAppMsg :: String | ||||||
errNoRebuildDerMsg :: String | ||||||
errImpossibleDelMsg :: String | ||||||
Mensajes de interrogacion | ||||||
qstDelPtsElemMsg :: String -> String | ||||||
qstReplacePTSMsg :: String | ||||||
qstReplaceDerMsg :: String | ||||||
qstDerExistsMsg :: String -> String | ||||||
qstDelJudgementMsg :: String -> String | ||||||
Produced by Haddock version 0.8 |