|
Assistant.AState | Portability | portable (depende de GHC - GTK2HS) | Stability | Version de juguete. |
|
|
|
|
|
Description |
Definicion del estado del asistente de derivaciones
|
|
Synopsis |
|
|
|
|
Tipos
|
|
type AState = (Maybe PTS, Maybe Derivation, Maybe Judgement, Maybe Pos) |
Definicion de la informacion que se almacena para cada una de las
derivaciones. Esto incluye la especificacion del PTS usado, la derivacion
actual, el juicio que se encontrase actualmente seleccionado y la posicion
del mismo dentro de todo el arbol de derivaciones.
|
|
Constructores
|
|
aStateNew :: AState |
Crea un nuevo estado del asistente.
|
|
Metodos
|
|
aStateSetBasic :: Maybe PTS -> Maybe Derivation -> AState |
Dado un estado del asistente y una posible especificacion de PTS y
derivacion, almacena los mismos en el estado, eliminado cualquier otra
informacion que pudiera haber contenido el estado.
|
|
aStateGetPTS :: AState -> Maybe PTS |
Dado un estado de derivacion, devuelve el PTS sobre el cual se esta
trabajando en ese momento.
|
|
aStateGetDer :: AState -> Maybe Derivation |
Dado un estado de derivacion, devuelve la derivacion sobre la cual se esta
trabajando en ese momento.
|
|
aStateGetJudge :: AState -> Maybe Judgement |
Dado un estado de derivacion, devuelve el juicio sobre el cual se esta
trabajando en ese momento.
|
|
aStateGetPos :: AState -> Maybe Pos |
Dado un estado de derivacion, devuelve la posicion en la derivacion sobre
la cual se esta trabajando en ese momento.
|
|
aStateGetActualJudge :: AState -> (Maybe Judgement, Bool) |
Dado un estado de derivacion, devuelve el juicio que se encuentra
actualmente seleccionado. Ademas retorna un booleano que indica si el
juicio retornado es una hoja del arbol de derivaciones o no.
|
|
aStateSetPTS :: AState -> Maybe PTS -> AState |
Dado un estado de derivacion y una posible especificacion de PTS, la
almacena como la especificacion sobre la cual se esta trabajando. El resto
de la informacion del estado es eliminada.
|
|
aStateSetDer :: AState -> Maybe Derivation -> AState |
Dado un estado de derivacion y una posible derivacion, la almacena como la
derivacion sobre la cual se esta trabajando en ese momento. La referencia
al juicio, derivacion y posicion actual son limpiadas.
|
|
aStateSetJudge :: AState -> Maybe Judgement -> AState |
Dado un estado de derivacion y un posible juicio, lo almacena como el
juicio sobre el cual se esta trabajando en ese momento. La informacion
referida a la expresion actual es descartada.
|
|
aStateSetPos :: AState -> Maybe Pos -> AState |
Dado un estado de derivacion y una posible posicion, la almacena como la
posicion de la derivacion sobre la cual se esta trabajando en ese momento.
La informacion referida al juicio y la expresion actual es descartada.
|
|
aStateClearPos :: AState -> AState |
Dado un estado de derivacion, limpia la informacion que contiene referida
a la posicion en la derivacion sobre la cual se estaba trabajando.
|
|
aStateGetDerTree :: AState -> Maybe DerivationTree |
Dado el estado de la aplicacion, devuelve el arbol de juicios que almacena
en ese momento.
|
|
Produced by Haddock version 0.8 |