ContentsIndex
GUIDerivation
Portabilityportable (depende de GHC - GTK2HS)
StabilityVersion de juguete.
Contents
Tipos
Constructores
Metodos
Description
Definicion de la representacion grafica de una derivacion.
Synopsis
type XDerivation = Tree XJudgement
xDerivationNew :: LayoutClass c => c -> Bool -> Bool -> Int -> (Maybe DerivationTree, Maybe DerivationTree) -> (Maybe Pos -> IO (), IO (Maybe Pos)) -> Map Sort Markup -> EventDataBase -> IO (Maybe XDerivation)
xJudgeFromPos :: XDerivation -> Pos -> Maybe XJudgement
xDerDelJudge :: XDerivation -> Pos -> Maybe XDerivation
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