|
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 |