|
GUIDerivation | Portability | portable (depende de GHC - GTK2HS) | Stability | Version de juguete. |
|
|
|
|
|
Description |
Definicion de la representacion grafica de una derivacion.
|
|
Synopsis |
|
|
|
|
Tipos
|
|
type XDerivation = Tree XJudgement |
Definicion del tipo grafico de una derivacion.
|
|
Constructores
|
|
xDerivationNew :: LayoutClass c => c -> Bool -> Bool -> Int -> (Maybe DerivationTree, Maybe DerivationTree) -> (Maybe Pos -> IO (), IO (Maybe Pos)) -> Map Sort Markup -> EventDataBase -> IO (Maybe XDerivation) |
Construye una nueva representacion grafica de una derivacion. Para ello
recibe como argumento:
- Un contenedor, en el cual se graficara la derivacion. El mismo debe venir
sin ningun elemento.
- Un booleano que determina si las reglas empleadas en cada paso de la
derivacion deben ser graficadas o no.
- Un booleano que indica si la derivacion esta completa (lo cual es usado
para graficar un simbolo que asi lo denote).
- Un enetero que establece el ancho maximo del sector visible del
contenedor en el cual se va a graficar la derivacion.
- Un par de posibles arboles de derivaciones, donde el primero denota el
arbol que esta actualmente almacenado en el estado de la aplicacion, y el
segundo denota a un posible arbol temporal producto de la posible
aplicacion de una regla que aun no ha sido aplicada.
- Un par que contiene funciones para establecer y consultar el valor de la
posicion actual que se encuentra almacenada en el estado de la
aplicacion.
- Un mapeo que establece la relacion entre sorts y simbolos que los
representa graficamente.
- El administrador de eventos en el cual se encuentran almacenados los
principales eventos que manipulan la aplicacion.
|
|
Metodos
|
|
xJudgeFromPos :: XDerivation -> Pos -> Maybe XJudgement |
Dada unarepresentacin grafica de una derivacion y una posicion, devuelve
la representacion grafica del juicio que se encuentra en esa posicion
dentro de la derivacion.
|
|
xDerDelJudge :: XDerivation -> Pos -> Maybe XDerivation |
Dada la representacion grafica de una derivacion, devuelve la misma con
el arbol de representaciones modificado, de forma tal que el subarbol
ubicado en el camino dado como argumento ha sido removido.
|
|
Produced by Haddock version 0.8 |