|
Assistant.Context | Portability | portable (depende de GHC - GTK2HS) | Stability | Version de juguete. |
|
|
|
|
|
Description |
Define la estructura y funcionalidades de un contexto
|
|
Synopsis |
|
|
|
|
Tipos
|
|
type Context = [(GenId, Expr)] |
Definicion de un contexto como una sequencia de la forma:
v1:E1, ..., vn:En
|
|
Constructores
|
|
emptyCtx :: Context |
Retorna un contexto vacio
|
|
Metodos
|
|
contextToStr :: Context -> String |
Devuelve la representacion de un contexto como una cadena de caracteres
|
|
contextIsEmpty :: Context -> Bool |
Dado un contexto, determina si el mismo es o no vacio.
|
|
contextAdd :: Context -> (GenId, Expr) -> Maybe Context |
Dado un contexto y un par (Identificador, Expresion), agrega dicho par al
contexto que recibio como argumento. Si se pudo efectuar la operacion,
se retorna el contexto con el nuevo mapeo añadido. En caso contrario se
retorna Nothing.
|
|
contextIsLast :: Context -> (GenId, Expr) -> Bool |
Dado un contexto y un par de (Identificador,Expresion), determina si
dicho par es el ultimo elemento que se encuentra definido en el contexto
que se recibio como argumento.
|
|
contextGetLast :: Context -> (Context, Maybe (GenId, Expr)) |
Dado un contexto no vacio, devuelve un par formado por el tramo inicial
del contexto recibido como argumento (sin el ultimo elemento) y como
segunda componente el par que contiene la informacion del ultimo elemento
del contexto original (mapeo que puedo no existir si el contexto es vacio).
|
|
contextLookup :: Context -> GenId -> Maybe Expr |
Dado un contexto y un identificador, busca la expresion asociada a ese
identificador en el contexto recibido como argumento (la busqueda se
efectua en sentido reverso).
|
|
contextSplit :: Context -> GenId -> (Context, Context) |
Dado un contexto y un identificador, devuelve el tramo final y el tramo
inicial, tomando como pivote el identificador dado. Si el mismo no ocurre
en el contexto, entonces todo el contexto es retornado como tramo inicial.
|
|
contextAppend :: Context -> Context -> Maybe Context |
Dados dos contextos, devuelve el contexto que resulta de la concatenacion
de estos.
|
|
contextElem :: (GenId, Expr) -> Context -> Bool |
Dado un par de identificador y expresion, determina si dicho par
se encuentra definido en el contexto que se recibe como argumento.
|
|
contextIn :: Context -> Context -> Bool |
Dados dos contextos, determina si el primero se encuentra contenido en el
segundo.
|
|
contextHasUnknown :: Context -> Bool |
Dado un contexto, determina si este contiene expresiones que no esten
completamente definidas.
|
|
contextDom :: Context -> [GenId] |
Dado un contexto, devuelve el dominio del mismo. Es decir, el conjunto de
variables que lo componen.
|
|
contextInDom :: GenId -> Context -> Bool |
Dada un contexto y un identificador, determina si dicho identificador se
encuentra definido en el dominio del contexto que se recibio como argumento
|
|
contextUnkIds :: Context -> [Integer] |
Dado un contexto, retorna la lista de identificadores de incognitas que
ocurren en las expresiones del contexto.
|
|
contextUnnVars :: Context -> [Integer] |
Dado un contexto, retorna la lista de identificadores de variables sin
nombre que ocurren en el contexto que se recibio como argumento.
|
|
contextGenVars :: Context -> [Integer] |
Dado un contexto, retorna la lista de indentificadores de variables
generadas por el sistema que ocurren en el contexto que se recibio como
argumento.
|
|
contextIsAllDef :: Context -> Bool |
Dado un contexto, determina si el mismo ya no contiene incognitas.
|
|
contextIsWellFormed :: Context -> Bool |
Dado un contexto, verifica que las definiciones que se encuentran
almacenadas en el contexto satisfagan las condiciones establecidas por las
propiedades de un PTS.
|
|
Produced by Haddock version 0.8 |