Fix include cleaner warnings in public headers

sisinflab-swot · Aug 24, 2024 · 0a4740f · 0a4740f
1 parent fe5fd4f
commit 0a4740f
Show file tree

Hide file tree

Showing 116 changed files with 478 additions and 77 deletions.
diff --git a/.clang-tidy b/.clang-tidy
@@ -7,6 +7,7 @@ Checks: >
   misc-header-include-cycle,
   misc-include-cleaner,
   performance-*,
+  -performance-enum-size,
   portability-*
 CheckOptions:
   misc-include-cleaner.IgnoreHeaders: sys/_types/_size_t\.h
diff --git a/include/cowl_annot_assert_axiom.h b/include/cowl_annot_assert_axiom.h
@@ -13,7 +13,11 @@
 #ifndef COWL_ANNOT_ASSERT_AXIOM_H
 #define COWL_ANNOT_ASSERT_AXIOM_H
 
-#include "cowl_object.h"
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_annot_prop.h b/include/cowl_annot_prop.h
@@ -13,7 +13,12 @@
 #ifndef COWL_ANNOT_PROP_H
 #define COWL_ANNOT_PROP_H
 
+#include "cowl_attrs.h"
 #include "cowl_entity.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
+#include "ulib.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_annot_prop_domain_axiom.h b/include/cowl_annot_prop_domain_axiom.h
@@ -13,13 +13,17 @@
 #ifndef COWL_ANNOT_PROP_DOMAIN_AXIOM_H
 #define COWL_ANNOT_PROP_DOMAIN_AXIOM_H
 
-#include "cowl_object.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 
 /// @cond
 cowl_struct_decl(CowlAnnotProp);
 cowl_struct_decl(CowlIRI);
+cowl_struct_decl(CowlVector);
 /// @endcond
 
 /**

diff --git a/include/cowl_annot_prop_range_axiom.h b/include/cowl_annot_prop_range_axiom.h
@@ -13,7 +13,10 @@
 #ifndef COWL_ANNOT_PROP_RANGE_AXIOM_H
 #define COWL_ANNOT_PROP_RANGE_AXIOM_H
 
-#include "cowl_object.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_annot_value.h b/include/cowl_annot_value.h
@@ -14,7 +14,9 @@
 #define COWL_ANNOT_VALUE_H
 
 #include "cowl_annot_value_type.h"
-#include "cowl_object.h"
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_macros.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_annotation.h b/include/cowl_annotation.h
@@ -13,7 +13,11 @@
 #ifndef COWL_ANNOTATION_H
 #define COWL_ANNOTATION_H
 
-#include "cowl_object.h"
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_anon_ind.h b/include/cowl_anon_ind.h
@@ -13,7 +13,10 @@
 #ifndef COWL_ANON_IND_H
 #define COWL_ANON_IND_H
 
-#include "cowl_primitive.h"
+#include "cowl_attrs.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
+#include "ulib.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_axiom.h b/include/cowl_axiom.h
@@ -13,8 +13,14 @@
 #ifndef COWL_AXIOM_H
 #define COWL_AXIOM_H
 
+#include "cowl_any.h"
+#include "cowl_attrs.h"
 #include "cowl_axiom_type.h"
+#include "cowl_impl.h"
+#include "cowl_iterator.h"
+#include "cowl_macros.h"
 #include "cowl_object.h"
+#include "cowl_object_type.h"
 #include "cowl_position.h"
 
 COWL_BEGIN_DECLS

diff --git a/include/cowl_axiom_filter.h b/include/cowl_axiom_filter.h
@@ -13,9 +13,15 @@
 #ifndef COWL_AXIOM_FILTER_H
 #define COWL_AXIOM_FILTER_H
 
+#include "cowl_any.h"
+#include "cowl_attrs.h"
 #include "cowl_axiom_flags.h"
+#include "cowl_axiom_type.h"
+#include "cowl_iterator.h"
+#include "cowl_object.h"
 #include "cowl_ret.h"
 #include "cowl_vector.h"
+#include "ulib.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_axiom_flags.h b/include/cowl_axiom_flags.h
@@ -13,7 +13,9 @@
 #ifndef COWL_AXIOM_FLAGS_H
 #define COWL_AXIOM_FLAGS_H
 
+#include "cowl_attrs.h"
 #include "cowl_axiom_type.h"
+#include "ulib.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_class.h b/include/cowl_class.h
@@ -13,7 +13,12 @@
 #ifndef COWL_CLASS_H
 #define COWL_CLASS_H
 
+#include "cowl_attrs.h"
 #include "cowl_entity.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
+#include "ulib.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_cls_assert_axiom.h b/include/cowl_cls_assert_axiom.h
@@ -13,7 +13,11 @@
 #ifndef COWL_CLS_ASSERT_AXIOM_H
 #define COWL_CLS_ASSERT_AXIOM_H
 
-#include "cowl_object.h"
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_cls_exp.h b/include/cowl_cls_exp.h
@@ -13,8 +13,12 @@
 #ifndef COWL_CLS_EXP_H
 #define COWL_CLS_EXP_H
 
+#include "cowl_any.h"
+#include "cowl_attrs.h"
 #include "cowl_cls_exp_type.h"
+#include "cowl_macros.h"
 #include "cowl_object.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_config.h b/include/cowl_config.h
@@ -13,9 +13,11 @@
 #ifndef COWL_CONFIG_H
 #define COWL_CONFIG_H
 
+#include "cowl_attrs.h"
 #include "cowl_error_handler.h"
 #include "cowl_import_loader.h"
 #include "cowl_reader.h"
+#include "cowl_ret.h"
 #include "cowl_writer.h"
 
 COWL_BEGIN_DECLS

diff --git a/include/cowl_data_card.h b/include/cowl_data_card.h
@@ -13,8 +13,14 @@
 #ifndef COWL_DATA_CARD_H
 #define COWL_DATA_CARD_H
 
+#include "cowl_any.h"
+#include "cowl_attrs.h"
 #include "cowl_card_type.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
 #include "cowl_object.h"
+#include "cowl_object_type.h"
+#include "ulib.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_data_compl.h b/include/cowl_data_compl.h
@@ -13,7 +13,11 @@
 #ifndef COWL_DATA_COMPL_H
 #define COWL_DATA_COMPL_H
 
-#include "cowl_object.h"
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_data_has_value.h b/include/cowl_data_has_value.h
@@ -13,7 +13,11 @@
 #ifndef COWL_DATA_HAS_VALUE_H
 #define COWL_DATA_HAS_VALUE_H
 
-#include "cowl_object.h"
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_data_one_of.h b/include/cowl_data_one_of.h
@@ -13,7 +13,10 @@
 #ifndef COWL_COWL_DATA_ONE_OF_H
 #define COWL_COWL_DATA_ONE_OF_H
 
-#include "cowl_object.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_data_prop.h b/include/cowl_data_prop.h
@@ -13,7 +13,12 @@
 #ifndef COWL_DATA_PROP_H
 #define COWL_DATA_PROP_H
 
+#include "cowl_attrs.h"
 #include "cowl_entity.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
+#include "ulib.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_data_prop_assert_axiom.h b/include/cowl_data_prop_assert_axiom.h
@@ -13,7 +13,12 @@
 #ifndef COWL_DATA_PROP_ASSERT_AXIOM_H
 #define COWL_DATA_PROP_ASSERT_AXIOM_H
 
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
 #include "cowl_object.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_data_prop_domain_axiom.h b/include/cowl_data_prop_domain_axiom.h
@@ -13,7 +13,11 @@
 #ifndef COWL_DATA_PROP_DOMAIN_AXIOM_H
 #define COWL_DATA_PROP_DOMAIN_AXIOM_H
 
-#include "cowl_object.h"
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_data_prop_exp.h b/include/cowl_data_prop_exp.h
@@ -13,7 +13,10 @@
 #ifndef COWL_DATA_PROP_EXP_H
 #define COWL_DATA_PROP_EXP_H
 
+#include "cowl_any.h"
+#include "cowl_attrs.h"
 #include "cowl_data_prop.h"
+#include "cowl_macros.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_data_prop_range_axiom.h b/include/cowl_data_prop_range_axiom.h
@@ -13,7 +13,11 @@
 #ifndef COWL_DATA_PROP_RANGE_AXIOM_H
 #define COWL_DATA_PROP_RANGE_AXIOM_H
 
-#include "cowl_object.h"
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_data_quant.h b/include/cowl_data_quant.h
@@ -13,7 +13,12 @@
 #ifndef COWL_DATA_QUANT_H
 #define COWL_DATA_QUANT_H
 
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
 #include "cowl_object.h"
+#include "cowl_object_type.h"
 #include "cowl_quant_type.h"
 
 COWL_BEGIN_DECLS

diff --git a/include/cowl_data_range.h b/include/cowl_data_range.h
@@ -13,8 +13,12 @@
 #ifndef COWL_DATA_RANGE_H
 #define COWL_DATA_RANGE_H
 
+#include "cowl_any.h"
+#include "cowl_attrs.h"
 #include "cowl_data_range_type.h"
+#include "cowl_macros.h"
 #include "cowl_object.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_datatype.h b/include/cowl_datatype.h
@@ -13,7 +13,12 @@
 #ifndef COWL_DATATYPE_H
 #define COWL_DATATYPE_H
 
+#include "cowl_attrs.h"
 #include "cowl_entity.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
+#include "ulib.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_datatype_def_axiom.h b/include/cowl_datatype_def_axiom.h
@@ -13,7 +13,11 @@
 #ifndef COWL_DATATYPE_DEF_AXIOM_H
 #define COWL_DATATYPE_DEF_AXIOM_H
 
-#include "cowl_object.h"
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_datatype_restr.h b/include/cowl_datatype_restr.h
@@ -13,7 +13,10 @@
 #ifndef COWL_DATATYPE_RESTR_H
 #define COWL_DATATYPE_RESTR_H
 
-#include "cowl_object.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_decl_axiom.h b/include/cowl_decl_axiom.h
@@ -13,7 +13,11 @@
 #ifndef COWL_DECL_AXIOM_H
 #define COWL_DECL_AXIOM_H
 
-#include "cowl_object.h"
+#include "cowl_any.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS
 

diff --git a/include/cowl_disj_union_axiom.h b/include/cowl_disj_union_axiom.h
@@ -13,7 +13,10 @@
 #ifndef COWL_DISJ_UNION_AXIOM_H
 #define COWL_DISJ_UNION_AXIOM_H
 
-#include "cowl_object.h"
+#include "cowl_attrs.h"
+#include "cowl_impl.h"
+#include "cowl_macros.h"
+#include "cowl_object_type.h"
 
 COWL_BEGIN_DECLS