#include <plugin.h>
Data Fields | |
int | _enabled |
int(* | axioms )(Statement **axioms, void *private_data) |
Function that should return initial axioms needed for the plugin. | |
int(* | cleanup )(void **private_data) |
Ask plugin to clean up its data. | |
const char * | description |
plugin description | |
int(* | dump )(FILE *stream, void *private_data) |
Ask plugin to dump its state. | |
int(* | get_functions )(PluginFunc **funcs, int *count) |
Returns function list, exported by this plugin. | |
const char * | id |
plugin node id | |
unsigned int | magic |
const char * | name |
plugin name | |
int(* | post_init )(ModelStorageEnv *env, void *private_data) |
Optional function calld after initializing of env. | |
int | prio |
Plugin priority of execution For user-level plugins priority range from 0 to 10000 should be used. | |
void * | private_data |
int(* | restore )(unsigned int magic, FILE *stream, void **private_data) |
Ask plugin to restore its state. | |
const char * | vendor |
plugin vendor | |
const char * | version |
plugin version | |
int | vital |
If non-zero, the plugin is threated as unpluggable. |
This struct should be filled by plugin and returned in plug_initialize() function.
|
|
|
Function that should return initial axioms needed for the plugin. Called once just after plugin initialization. |
|
Ask plugin to clean up its data. Called before plugin unloading. |
|
plugin description
|
|
Ask plugin to dump its state.
|
|
Returns function list, exported by this plugin.
|
|
plugin node id
|
|
|
|
plugin name
|
|
Optional function calld after initializing of env.
|
|
Plugin priority of execution For user-level plugins priority range from 0 to 10000 should be used. priorities with values < 0 and > 10000 are system. |
|
|
|
Ask plugin to restore its state. Plugin must check for correct magic before restoring. Returns zero if magic not coincide, negative for error and positive for success; |
|
plugin vendor
|
|
plugin version
|
|
If non-zero, the plugin is threated as unpluggable.
|