|
| GUIJudgement | | Portability | portable (depende de GHC - GTK2HS) | | Stability | Version de juguete. |
|
|
|
|
|
| Description |
| Definicion de la representacion grafica de un juicio.
|
|
| Synopsis |
|
|
|
|
| Tipos
|
|
| type XJudgement = EventBox |
| Definicion del tipo grafico de un juicio.
|
|
| type XJudgeId = [Int] |
| Identifica a un juicio dentro de la representacion grafica de una
derivacion.
|
|
| Constructores
|
|
| newJudgeDraw :: Map Sort Markup -> Judgement -> XJudgeId -> (Maybe XJudgeId -> IO ()) -> EventDataBase -> IO XJudgement |
| Dado un juicio, devuelve una nueva representacion grafica del mismo, con
sus eventos de seleccion establecidos y almacenados en el estado de la
aplicacion y el administrador de eventos.
|
|
| newXJudge :: Bool -> Map Sort Markup -> Judgement -> IO XJudgement |
| Dado un juicio, devuelve solo la representacion grafica del mismo.
|
|
| Metodos
|
|
| drawJudge :: Map Sort Markup -> Judgement -> Markup |
| Dado un juicio, devuelve la codificacion de caracteres que lo representa
graficamente.
|
|
| xJudgeChars :: XJudgement -> IO Int |
| Dada una representacion grafica de un juicio, devuelve la cantidad de
caracteres que la componen.
|
|
| xJudgeGetText :: XJudgement -> IO String |
| Dada la representacion grafica de un juicio, devuelve la codificacion como
markup que genera la representacion del mismo.
|
|
| xJudgeSetText :: XJudgement -> String -> IO () |
| Dada la representacion grafica de un juicio, carga como nueva
representacion del mismo la informacion dada a traves del texto que se
recibe como argumento.
|
|
| highLightXJudge :: XJudgement -> IO () |
| Dada la representacion grafica de un juicio, reescribe el codigo del mismo
para que la representacion aparezca resaltada.
|
|
| lowLightXJudge :: XJudgement -> IO () |
| Dada la representacion grafica de un juicio que se encuentra resaltado, le
quita el resalte al mismo.
|
|
| judgeAction :: XJudgeId -> (Maybe XJudgeId -> IO ()) -> EventDataBase -> Event -> IO Bool |
| Define las acciones a ser tomadas cuando se selecciona un juicio de la
representacion grafica de una derivacion.
|
|
| Produced by Haddock version 0.8 |
