Detailed Description

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_GEOM_VECT_PRECOND (checking preconditions for vectors)
    - ISEEML_CHECK_GEOM_POINT_PRECOND (checking preconditions for points)
  - 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 (checking preconditions for linear basic paths)
      - 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)