Policies/Kdepim Coding Style
Under Construction |
---|
This is a new page, currently under construction! |
Purpose of this document
This document describes the recommended coding style for kdepim and akonadi. Nobody is forced to use this style, but to have consistent formatting of the source code files it is strongly recommended to make use of it.
In short: Kdepim and akonadi coding style follows the Kdelibs coding style.
The rules for kdepim and akonadi
- don't use any <TAB>s
- Trim the lines
- Only single empty lines should be used
- The first line, the last line(s) may not be empty
- Use one space after each keyword, but not after a cast
- no "one line" if-statement
Migration
As discussed at the KDEPIM meeting, Berlin, 3 March 2013, all the files of KDEPIM will be reviewed to follow the coding style. This will be done over a long time, directory after directory, for each of the rules defined above. For each rule, one can find one or two script(s).
Check the objects
As a first approach, not any object may have binary change after applying one of the rules. To check this, one uses the Check-the-Objects.sh. Download the script: Media:Check-the-Objects.sh.gz
The script can be used with one of the commands:
- save
- test
- clean
An example:
cd <some_kdepim_directory> mkdir build cd build ccmake ../ make
Scanning dependencies of target gpgmepp [ 0%] Building CXX object gpgme++/CMakeFiles/gpgmepp.dir/gpgmepp_automoc.cpp.o [ 0%] Building CXX object gpgme++/CMakeFiles/gpgmepp.dir/exception.cpp.o [ 0%] Building CXX object gpgme++/CMakeFiles/gpgmepp.dir/context.cpp.o ...
Check-the-Objects.sh save
The script makes a copy of all the objects and a "time stamp":
save the object ./kholidays/tests/CMakeFiles/testzodiac.dir/testzodiac.cpp.o save the object ./kholidays/tests/CMakeFiles/testzodiac.dir/testzodiac_automoc.cpp.o ... all objects are saved
Now, one makes somes change(s) on the source(s) and:
make
Depending on the Makefile, some objects will be compiled again:
Scanning dependencies of target akonadi-kde [ 17%] Building CXX object akonadi/CMakeFiles/akonadi-kde.dir/entitytreeview.cpp.o [ 17%] Building CXX object akonadi/CMakeFiles/akonadi-kde.dir/itemfetchjob.cpp.o [ 17%] Building CXX object akonadi/CMakeFiles/akonadi-kde.dir/statisticsproxymodel.cpp.o ... Scanning dependencies of target akonadi-kmime [ 56%] Building CXX object akonadi/kmime/CMakeFiles/akonadi-kmime.dir/standardmailactionmanager.cpp.o
Check-the-Objects.sh test
The script finds all the new objects, makes a comparision with the saved version:
test the object ./akonadi/CMakeFiles/akonadi-kde.dir/statisticsproxymodel.cpp.o test the object ./akonadi/CMakeFiles/akonadi-kde.dir/entitytreeview.cpp.o test the object ./akonadi/CMakeFiles/akonadi-kde.dir/itemfetchjob.cpp.o test the object ./akonadi/kmime/CMakeFiles/akonadi-kmime.dir/standardmailactionmanager.cpp.o all tests are OK
Check the assembler files
If we add or remove some lines, the debug informations included in the object file will be change also.
This is the case with the test/change of "Only single empty lines should be used", "First line, last line(s) may not be empty" and some more test/change below (adding some blocks with { and }).
For this reason it is no more possible to compare the objects. We have to compare the assembler files. This works pretty well for the version with CMAKE_BUILD_TYPE set to release. For the version with CMAKE_BUILD_TYPE set to debug, we must remove all the debug informations before the comparision could take place.
Generate the assembler files
To generate the assembler files, we only need to modify the build.make in every folder.
The script Prepare-build_make_files.sh works on the all directory, finds the line with the compiler command, duplicates the line, add a -S option and changes the name of the output to somename.s. After a new make command, we can save all the assembler files with the script Check-the-assembler_code.sh. Download the script: Media:Prepare-build_make_files.sh.gz
Remove the debug informations
The biggest part of the debug informations beginns with the directive line
- .Ldebug_info0
We drop all the next lines.
We drop also the lines with the directive .loc They contain an information about the source line (here 123) we need later to drop the lines
- movl $123, %edx
- movl $123, %ecx
The lines with
- .string "/home/guy-kde/projects/kdepimlibs/akonadi/agentbase.cpp:454"
will be also removed.
The script to check the assembler files can be used in the same way as the one above (Check-the-Objects.sh). To check this, one uses the Check-the-assembler_code.sh. Download the script: Media:Check-the-assembler_code.sh.gz
The script can be used with one of the commands:
- save
- test
- clean
The scripts
The first script is to check a single file or a complete directory for all .h and .cpp files.
If present, the second script makes the changes for a single file or a complete directory for all .h and .cpp files. For some complicated situations, the script makes no change.
One can use the scripts for own work.It is recommanded to use them in this order.
don't use any <TAB>s
- coding-style-check-Tabs.sh
- coding-style-change-Tabs.sh
Download the scripts: Media:Tabs.tar.gz
The output of the check script is:
check the file /home/guy-kde/projects/kdepimlibs/ktnef/ktnefparser.cpp 1->308: Tab at 16: stream_ >> i; // i <- attribute type & name 2->311: Tab at 16: stream_ >> i; // i <- data length 3->326: Tab at 22: case attATTACHMENT: // try to get attachment info 4->367: Tab at 16: stream_ >> u; // u <- checksum a b c d
This shows:
- the name of the file which is under test.
- the number of occurence(a), the line number(b), the position found(c) and the line itself(d).
The change script:
- makes a substitution of any <TAB> with eight spaces,
- The change works for the complete source, even within comments and strings,
- That might be too much and changes the vertical alignment of the code.
Trim the lines
- coding-style-check-Trim.sh
- coding-style-change-Trim.sh
Download the scripts: Media:Trim.tar.gz
The output of the check script is:
check the file /home/guy-kde/Software/coding-style-check/trim.cpp 1->51: Space(s) at end of line (28): QVariant m_matchData;
This shows:
- the name of the file which is under test.
- the number of occurence, the line number, the position found and the line itself.
The change script:
- remove all trailing space(s).
Only single empty lines should be used
Refer to http://techbase.kde.org/Policies/Kdelibs_Coding_Style#Whitespace
- coding-style-check-Twice.sh
- coding-style-change-Twice.sh
Download the scripts: Media:Twice.tar.gz
The output of the check script is:
check the file /home/guy-kde/projects/kdepimlibs/syndication/rss2/enclosure.cpp 1->25: next empty line found 2->26: next empty line found 3->30: next empty line found
This shows:
- the name of the file which is under test.
- the number of occurrences and the line numbers.
The change script:
- removes all the next empty line(s).
First line, last line(s) may not be empty
Some of the sources have a first empty lines, some have one or more empty last line(s).
- coding-style-check-First-Last.sh
- coding-style-change-First-Last.sh
Download the scripts: Media:First.tar.gz
The output of the check script is:
check the file /home/guy-kde/Software/coding-style-check/trim.cpp The first line is empty The last line is empty
The change script:
- removes the first line if empty, all the last empty line(s).
put the comments away
The comments might contain some keyword. It is very difficult to avoid the confusion with the very simple awk-scripts. We prefer to change all the comments with the same number of empty lines.
- Comments.awk
Download the scripts: Media:Comments.tar.gz
change the strings
It is very difficult to parse the strings correctly, so we prefer to change them to an empty string.
- Strings.awk
Download the scripts: Media:Strings.tar.gz
After the use of the last two awk-scripts (Comments.awk and Strings.awk), we go on with the next check.
no "one line" if-statement
Refer to http://techbase.kde.org/Policies/Kdelibs_Coding_Style#Braces
The following code:
if ( a > b ) c = 123;
is correct, but we prefer the block:
if ( a > b ) { c = 123; }
which is easier to read, to modify.
It is also possible to put a breakpoint at the line in the block.
As the awk-script is too simple to recognize all the if-statements, we get some false alarm and we can't make the changes automatically.
- coding-style-check-One-Line-If.sh
Download the scripts: Media:One-Line-If.tar.gz
The output of the check script is:
check the file /home/guy-kde/Software/coding-style-check/if-example.cpp 1->25: one-line-if found
Pedantic
Looking over the git-history, one can find some "pedantic" changes. These are changes to make a better code. The most of them are at the use of macro, where it is not necessary to have a ; at the end ofthe command. The script make a check over all these: AKTEST_MAIN;MAKE_CMD_ROW;Q_DECLARE_FLAGS;Q_PRIVATE_SLOT;Q_DECLARE_METATYPE;Q_DECLARE_OPERATORS_FOR_FLAGS;Q_DE CLARE_PRIVATE;Q_DECLARE_PUBLIC;Q_DISABLE_COPY;K_GLOBAL_STATIC;Q_IMPORT_PLUGIN;Q_PROPERTY;Q_UNUSED;QTEST_KDEMAIN;QTEST_MAIN
- coding-style-check-Pedantic.sh
Download the scripts: Media:Pedantic.tar.gz
Public
We prefer having a space before the keyword public at the definition of a new class:
class DbException : public Akonadi::Exception { ... };
- coding-style-check-Public.sh
- coding-style-change-Public.sh
Download the scripts: Media:Public.tar.gz
#include directive
Refer to http://techbase.kde.org/Policies/Kdelibs_Coding_Style#Qt_Includes
We prefer no space at the beginning of the directive. Some (not many) files need to be corrected to unify to all the other files.
// some files use this # include <A/b> // we prefer, to unify the coding style #include <A/b>
- coding-style-check-Space-Include.sh
Download the scripts: Media:Space-Include.tar.gz
enum without any type
Instead of having an untyped enum such as:
enum { aElement= 123 }
we prefer a #define directive:
#define aElement 123
Download the scripts: Media:Enum.tar.gz
enum without empty element
The most compilers do not complain such a code:
enum mytype { aElement, bElement, }
The last element is empty. We prefer a "pedantic" code such as:
enum mytype { aElement, bElement }
- coding-style-check-Enum-Pedantic.sh
The output of the check script is:
check the file /home/guy-kde/Software/coding-style-check/enum-example.cpp enum with ,} found at 3-> bElement, 4-> }
Download the scripts: Media:Enum-Pedantic.tar.gz
Some more space(s)
The declaration S *D; declares D as a pointer to the type determined by decl-specifier-seq S.
The most compilers do not make any difference for such lines of code:
int *a; int* b; int * c
We prefer the first one, without a space beetwen the star and the name of the variable:
int *a;
The same rule may be use for:
myFunction( int &a, int& b, int & c) { // some lines }
We prefer:
myFunction( int &a, int &b, int &c)
The awk-script checks also the occurences of:
- &,
- & >
- * >
- ( ) and ( ) empty function call
- [ and ] index of an array
- enum { untyped enum
- coding-style-check-NO_space_before_Star.sh
The script gives informations about the found line(s).
Member initialization in a class
This example shows the indentation we prefer:
class myClass { // some lines public: myClass( int i ) : r( a ) , b( i ) , i( i ) , j( this->i ) { }
- coding-style-check-Default.sh
But the script produces a false alarm with the code:
if ( <expression> ) ? a : b;
Parenthesis
We prefer function definition and function call with a space after the opening brace and before the closing brace. The same is expected beetwen the braces of a if, for, do, while, foreach statements. But not for the SLOT and SIGNAL macros. The use of two braces (( and )) will be also signaled as a missing space.
- coding-style-check-Parenthesis.sh
The changes must bedone manually.
Switch statement
This example shows the indentation we prefer:
switch ( a ) { case one: // some lines break; case two: // some lines break; default: // some lines break; }
- coding-style-check-Switch.sh
Use one space after each keyword, but not after a cast
Refer to http://techbase.kde.org/Policies/Kdelibs_Coding_Style#Whitespace
For most of the keywords, it is not necessary to make a test. Because the sources have been already compiled. For example this code never appear in a source:
inta; floatb;
Some of the keywords are alone in the statement, such as break and continue. No test is necessary.
The only tests we have to do are the ones where a keyword is (or can be) followed by a sign ( { [ :
These are: alignas decltype alignof noexcept typeid asm static_assert switch if catch while for sizeof new Q_FOREACH do try enum union Q_FOREVER bool char char16_t char32_t double float int long wchar_t signed unsigned short
For only one keyword:
- coding-style-check-SpaceAfterKeyword.sh
- coding-style-change-SpaceAfterKeyword.sh
For all keywords above:
- coding-style-check-SpaceAfter.sh
- coding-style-change-SpaceAfter.sh
The output of the check script is:
check the file /home/guy-kde/projects/kdepimlibs/akonadi/contact/contactstreemodel.cpp 1->98: if( at 10: if( contact.realName().isEmpty() ) { 2->99: if( at 12: if( contact.preferredEmail().isEmpty() ) {
The change script:
- puts a space after the keyword.