#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.
|
1.4.4