ISeeML
1.0
|
Go to the source code of this file.
Definition of relations between ISeeML compilation flags.
ISeeML compilation flags are hierarchicaly defined: for example, definition of ISEEML_CHECKS
activates all ISeeML checking flags. They can be activated by adding in makefile a -D
option for the compiler. Possible flags are:
ISEEML_CHECKS
(checking everything)ISEEML_CHECK_PRECOND
(checking preconditions)ISEEML_CHECK_BASIC_PRECOND
(checking preconditions for basic objects)ISEEML_CHECK_OBJECT_PRECOND
(checking preconditions for ISeeML' objects)ISEEML_CHECK_GEOM_PRECOND
(checking preconditions for geometric module)
ISEEML_CHECK_ROB_PRECOND
(checking preconditions for robotic module)ISEEML_CHECK_CONFIG_PRECOND
(checking preconditions for configurations)ISEEML_CHECK_ORPT_CONFIG_PRECOND
(checking preconditions for standard configurations)ISEEML_CHECK_CURV_CONFIG_PRECOND
(checking preconditions for curvature configurations)ISEEML_CHECK_PATH_PRECOND
(checking preconditions for paths)ISEEML_CHECK_LIN_PATH_PRECOND
ISEEML_CHECK_COMP_PATH_PRECOND
(checking preconditions for compound paths)ISEEML_CHECK_DLIKE_PATH_PRECOND
(checking preconditions for Dubins-like paths)ISEEML_CHECK_DUBINS_PATH_PRECOND
(checking preconditions for Dubins' paths)ISEEML_CHECK_FSC_PATH_PRECOND
(checking preconditions for FSC paths)ISEEML_CHECK_POSTCOND
(checking postconditions)ISEEML_CHECK_PATH_POSTCOND
(checking postconditions for robotic paths)ISEEML_CHECK_COMP_PATH_POSTCOND
(checking postconditions for compound paths)ISEEML_CHECK_DLIKE_PATH_POSTCOND
(checking postconditions for Dubins-like paths)ISEEML_CHECK_DUBINS_PATH_POSTCOND
(checking postconditions for Dubins' paths)ISEEML_CHECK_FSC_PATH_POSTCOND
(checking postconditions for FSC paths)ISEEML_CHECK_POINTERS
(checking pointer manipulations)ISEEML_CHECK_NULL_POINTER
(checking for invalid reference)ISEEML_CHECK_ARRAY_ELEMT
(checking for incorrect array's index)