|
|
unix and linux commands - unix shell scripting
Bell-LaPadula model - original papers
12-18-2008
|
|
ADDLOMODEL(3) MBK LOGICAL FUNCTIONS ADDLOMODEL(3) NAME
addlomodel - create a tempotary logical model and add it to a list ORIGIN
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in Paris, France. Web : http://asim.lip6.fr/recherche/alliance/ E-mail : alliance-users@asim.lip6.fr SYNOPSYS
#include "mlo.h" lofig_list *addlomodel(model, name) lofig_list *model; char *name; PARAMETERS
model Pointer to the head of a model list name Name of the model to be created DESCRIPTION
addlomodel creates a new lofig_list element and adds it to the front of the list pointed to by model, and becomes itself the list head. The addlomodel function is mosty used to create a temporary list of lofig in order to represent the "in file" instances' models. In fact, all the file format used with mbk have the notion of models local to files, so they are not figure, but are temporarly used to create instance connectors, for example. For details on the structure, see lofig(3). RETURN VALUE
addlomodel returns a pointer to the new head of model list. ERROR
"*** mbk error *** addlomodel impossible : model name already exists" The model, not the figure, is already present in the model list pointed to by model, and since a model should be unique, this can't be. EXAMPLE
#include "mut.h" #include "mlo.h" void add_model(name) char *name; { MODEL = addlomodel(MODEL, name); } SEE ALSO
mbk(1), lofig(3), getlomodel(3), freelomodel(3). BUG REPORT
This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools. ASIM
/LIP6 October 1, 1997 ADDLOMODEL(3)