-void check_duplicate_symbols(Class *c);
-void check_duplicate_overrides(Class *c);
-void check_bad_symbols(Class *c);
-void check_duplicate_signals_args(Class *c);
-void check_public_new(Class *c);
-void check_vararg(Class *c);
-void check_firstarg(Class *c);
-void check_nonvoidempty(Class *c);
-void check_signal_args(Class *c);
-void check_argument_types(Class *c);
-void check_func_arg_checks(Class *c);
+void check_duplicate_symbols (Class *c);
+void check_duplicate_overrides (Class *c);
+void check_bad_symbols (Class *c);
+void check_duplicate_signals_args (Class *c);
+void check_public_new (Class *c);
+void check_vararg (Class *c);
+void check_firstarg (Class *c);
+void check_nonvoidempty (Class *c);
+void check_signal_args (Class *c);
+void check_argument_types (Class *c);
+void check_property_types (Class *c);
+void check_func_arg_checks (Class *c);