stage4/generate_c/plc.h
author Mario de Sousa <msousa@fe.up.pt>
Mon, 11 Jun 2012 18:48:58 +0100
changeset 580 b6350d9f204d
parent 70 e1f0ebd2d9ec
permissions -rwxr-xr-x
Code for debugging const_value annotations in abstract syntax tree.
/*
 * (c) 2000 Jiri Baum
 *          Mario de Sousa
 *
 * Offered to the public under the terms of the GNU General Public License
 * as published by the Free Software Foundation; either version 2 of the
 * License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General
 * Public License for more details.
 *
 * This code is made available on the understanding that it will not be
 * used in safety-critical situations without a full and competent review.
 */


#ifndef __PLC_H
#define __PLC_H

#include <stdio.h>  /* required for declaration of FILE */

#ifdef __cplusplus
extern "C" {
#endif


#include "types.h"
#include "log/log.h"
#include "conffile/conffile.h"
#include "cmm/cmm.h"
#include "gmm/gmm.h"
#include "synch/synch.h"
#include "period/period.h"
#include "state/state.h"
#include "rt/rt.h"


#define PLC_PT_NAME_MAX_LEN CMM_NAME_MAX_LEN

/*** GENERAL ***/
int plc_init(char const *module_name, int argc, char **argv);
int plc_done(void);

/*** SYNCHING ***/
int plc_scan_beg(void);
int plc_scan_end(void);

/* memory must be de-allocated with free() */
const char *plc_module_name(void);

/*
 * UTIL functions;
 */
int plc_print_usage(FILE *output);
/* prints the command line arguments the plc_init() function accepts */

/* not to be used by general plc modules. This function is used by the
 * plc_shutdown() function.
 */
int plc_init_try(char const *module_name, int argc, char **argv);


/* plc command line options leader */
#define CLO_LEADER "--PLC"

/* plc command line options */
#define CLO_plc_id             CLO_LEADER "plc_id="
#define CLO_loc_local          CLO_LEADER "local"
#define CLO_loc_isolate        CLO_LEADER "isolate"
#define CLO_loc_shared         CLO_LEADER "shared"
#define CLO_privmap_key        CLO_LEADER "local_map_key="
#define CLO_log_level          CLO_LEADER "debug="
#define CLO_log_file           CLO_LEADER "logfile="
#define CLO_config_file        CLO_LEADER "conf="
#define CLO_module_name        CLO_LEADER "module="
#define CLO_force_init         CLO_LEADER "force-init"


#ifdef __cplusplus
}
#endif

#endif /* __PLC_H */