Difference between revisions of "Generalized Software Style Guide"

From RoboJackets Wiki
Jump to navigation Jump to search
(Created page with "== General == What they do isn’t already done by a function that they don’t know about Any simple optimization is done == Comments == Things do what their comments say...")
 
 
(14 intermediate revisions by one other user not shown)
Line 1: Line 1:
== General ==
+
[[Category: Software]]
 +
== Style ==
  
What they do isn’t already done by a function that they don’t know about
+
Overall, things should be pleasant to look at. If things are hard to read, it's more likely there will be bugs.
Any simple optimization is done
+
If you can't read it at a glance, it's bad and should be redone so it's clear.
 +
 
 +
Keep line lengths in check. Don't feel forced to keep it 80 chars wide, but don't go crazy since people put code side by side a lot. 120 chars max.
 +
 
 +
=== Variable / Class Names ===
 +
 
 +
Variable and class names should be fully descriptive of what they represent. If a glance at the name can't fully describe the functionality of the code, it should be changed. It's better to have long names rather than unreadable shortened version.
 +
 
 +
Good
 +
<nowiki>ballPos
 +
robotBallVec
 +
robotRadius
 +
velXCovariance</nowiki>
 +
 
 +
Bad
 +
<nowiki>pt1
 +
pt2
 +
r1
 +
r2</nowiki>
 +
 
 +
=== Aligning Code ===
 +
 
 +
Align code along good boundaries so it's clean to read. Some examples are below.
 +
 
 +
<nowiki>CameraFrame(RJ::Time tCapture,
 +
            int cameraID,
 +
            std::vector<CameraBall> cameraBalls,
 +
            std::vector<CameraRobot> cameraRobotsYellow,
 +
            std::vector<CameraRobot> cameraRobotsBlue)
 +
            : tCapture(tCapture), cameraID(cameraID),
 +
              cameraBalls(cameraBalls),
 +
              cameraRobotsYellow(cameraRobotsYellow),
 +
              cameraRobotsBlue(cameraRobotsBlue) {}</nowiki>
 +
 
 +
<nowiki>Q_k << dt3, dt2,  0,  0,
 +
      dt2, dt1,  0,  0,
 +
        0,  0, dt3, dt2,
 +
        0,  0, dt2, dt1;</nowiki>
 +
 
 +
<nowiki>ball_init_covariance  = new ConfigDouble(cfg, "VisionFilter/Ball/init_covariance",  100);
 +
ball_process_noise    = new ConfigDouble(cfg, "VisionFilter/Ball/process_noise",    0.1);
 +
ball_observation_noise = new ConfigDouble(cfg, "VisionFilter/Ball/observation_noise", 2.0);</nowiki>
 +
 
 +
=== Includes ===
 +
 
 +
Includes should be grouped into a specific order separated by white-space.
 +
# Standard C++/Python libraries
 +
# Project Libraries / External Includes
 +
# Project / Module Headers
 +
 
 +
Within each group, the includes should be in ABC order.
 +
 
 +
Only include what is needed inside a header file. Everything else that may be needed should be included within a .cpp file.
 +
 
 +
<nowiki>#include <vector>
 +
 
 +
#include <Configuration.hpp>
 +
#include <Geometry2d/Point.hpp>
 +
 
 +
#include "KalmanBall.hpp"
 +
#include "vision/robot/WorldRobot.hpp"</nowiki>
 +
 
 +
=== Constructor Initialization ===
 +
 
 +
Initialize variables in the same order they are defined in the header.
 +
 
 +
<nowiki>RJ::Time lastUpdateTime;
 +
RJ::Time lastPredictTime;
 +
 
 +
// Keeps track of this for kick detection stuff
 +
boost::circular_buffer<CameraBall> previousMeasurements;
 +
 
 +
KalmanFilter2D filter;
 +
 
 +
int health;
 +
 
 +
unsigned int cameraID;
 +
 
 +
// Max time in seconds that a filter can not be updated before it is removed
 +
static ConfigDouble* max_time_outside_vision;
 +
 
 +
...
 +
 
 +
KalmanBall::KalmanBall(unsigned int cameraID, RJ::Time creationTime,
 +
                      CameraBall initMeasurement, const WorldBall& previousWorldBall)
 +
    : lastUpdateTime(creationTime), lastPredictTime(creationTime),
 +
      previousMeasurements(*VisionFilterConfig::slow_kick_detector_history_length),
 +
      health(*VisionFilterConfig::filter_health_init), cameraID(cameraID) {</nowiki>
  
 
== Comments ==
 
== Comments ==
  
 
Things do what their comments say
 
Things do what their comments say
 +
 +
=== Module Level Documentation ===
 +
 +
Modules should each have a full doc page describing the operation of the module in terms of the overall organization as well as data flow and algorithms. A person reading this should be able to fully understand a high level overview of what the algorithm is. The "why?" behind decisions should be described. Average length is a few paragraphs targeted towards people who are familiar with the topic, but not this specific algorithm.
 +
 +
[[https://github.com/RoboJackets/robocup-software/blob/master/doc/VisionFilter.md Example doc page here in markdown]].
 +
 +
=== File Level Documentation ===
 +
 +
Each file (.hpp and/or .py) should have a couple lines at the top describing the contents of the file as well as how it specifically fits in overall. The below example is a little overkill, but the general idea is shown.
 +
 +
<nowiki>/**
 +
* Uses a seperate thread to filter the vision measurements into
 +
* a smoother velocity/position estimate for both the ball and robots.
 +
*
 +
* Add vision frames directly into the filter call the fill states functions
 +
* to push the newest estimates directly into the system state.
 +
*
 +
* Note: There may be a 1 frame delay between the measurements being added
 +
* and the measurements being included in the filter estimate.
 +
*/
 +
class VisionFilter {</nowiki>
 +
 +
=== Function Level Documentation ===
 +
 +
Each function definition in a file (.hpp and/or .py) should contain a short summary of what the function does in simple terms, a list and description of each arguement, a description of the return, and any notes about the assumptions used or weird edge cases. An example with a note is shown below also.
 +
 +
<nowiki>/**
 +
* Calculates whether the given kalman ball will bounce against another robot and
 +
* the resulting velocity vector
 +
*
 +
* @param ball Kalman ball we are trying to test
 +
* @param yellowRobots Best estimation of the yellow robots states
 +
* @param blueRobots Best estimation of the yellow robots states
 +
* @param outNewVel Output of the resulting velocity vector after bounce
 +
*
 +
* @return Whether the ball bounces or not
 +
*/
 +
static bool CalcBallBounce(const KalmanBall& ball,
 +
                            const std::vector<WorldRobot>& yellowRobots,
 +
                            const std::vector<WorldRobot>& blueRobots,
 +
                            Geometry2d::Point& outNewVel);</nowiki>
 +
 +
<nowiki>/**
 +
* Predicts one time step forward
 +
*
 +
* @param currentTime Time at the current frame
 +
*
 +
* @note Call either this OR predictAndUpdate once a frame
 +
*/
 +
void predict(RJ::Time currentTime);</nowiki>
 +
 +
=== Code Block Level Documentation ===
 +
 +
Code blocks should be commented to describe their collective use. This isn't school so you don't have to comment every line, but blocks of lines should be commented if it's more than a very simple or standard operation. Someone should be able to read through the code and understand what the code does without reading other function definitions or reverse engineering the existing code. Any "funky" code should be commented to describe why it's needed. A few examples are seen below.
 +
 +
<nowiki>// Figures out if there is an intersection and what the resulting velocity should be
 +
auto findEndVel = [&ball, &outNewVel] (const std::vector<WorldRobot>& robots) {</nowiki>
 +
 +
<nowiki>// Make sure ball is intersecting next frame
 +
if (!BallInRobot(ball, robot)) {
 +
    continue;
 +
}</nowiki>
 +
 +
<nowiki>// If the ball really isn't moving, just assume no intersection
 +
// since the math will go to inf
 +
if (abs(dr) < 1e-5) {
 +
    return out;
 +
}</nowiki>
 +
 +
For complicated math, a link to a paper or wikipedia article should exist if it is based off of one. Otherwise, the math should be fully explained through words (or even better, ASCII art)
 +
 +
<nowiki>//                        _____
 +
//                      /    \
 +
//                      | Robot |
 +
//                      \_____/
 +
//                          B
 +
//                        /|\
 +
//                        / | \
 +
//                      /  |  \
 +
//                      /  |  \
 +
//                    /    D    \
 +
//                    A          C
 +
// Ball moves from A->B
 +
// Bounces off the robot
 +
// Moves from B->C
 +
// Line B<->D is the line of reflection
 +
//
 +
//
 +
// Line B<->D goes from the center of the robot through the point of intersection between the robot and the ball
 +
// Since the robot is round (with a flat mouth), any time it hits the robot, we can assume that the it will reflect as if
 +
//  it hit a flat surface</nowiki>
 +
 +
=== Configuration Variable Documentation ===
 +
 +
Each config value should have an associated comment where it describes what the config value does in words, the range of the config value, and what each edge of the range represents in IRL effects.
 +
 +
<nowiki>// Linear velocity dampen
 +
// Body is bouncing off the circular shell
 +
// Mouth is bouncing off the front mouth
 +
// 1 means 100% of the velocity is kept after collision
 +
// 0 means 0% of the velocity is kept after collision
 +
static ConfigDouble* robot_body_lin_dampen;
 +
static ConfigDouble* robot_mouth_lin_dampen;</nowiki>
  
 
== Structure ==
 
== Structure ==
  
No chances for infinite loops / errors
+
=== All new code doesn't have to be accepted ===
 +
 
 +
New features don't have to be added. This is significantly more subjective, but if the new feature does not fit with the rest of the file, it should be weighed carefully. Each file should only be responsible for a single action. Don't add stuff if it doesn't fit with the rest of the file's actions.
 +
 
 +
=== Private / Public ===
 +
 
 +
Unless something needs to be public, it should be private. In general, variables should be private unless there is a very good reason not to. If you have to make stuff public, double check that the overall architecture is not bad (It probably is).
 +
 
 +
General class format should be...
 +
<nowiki>class Foo {
 +
public:
 +
    Foo();
 +
 
 +
private:
 +
    Func();
 +
}</nowiki>
 +
 
 +
=== Pointers / References ===
 +
 
 +
Raw C pointer style should be avoided. Things such as malloc and delete should not be used if possible, there is almost always a better way. Most of the time, a smart pointer will work better in these cases as the ownership is explicit.
 +
 
 +
In functions, care should be taken to decide whether a raw pointer is correct compared to a reference. A reference allows the nullptr case to be handled automatically where as you should specifically handle the nullptr case.
 +
 
 +
Large data structures or objects should be passed around by reference to save cpu cycles spent copying the data.
 +
 
 +
=== Const ===
 +
 
 +
Any data being passed which isn't being changed should be passed as const &.
 +
 
 +
<nowiki>void Foo(const A& var)</nowiki>
 +
 
 +
Any function where you return something without editing data in the object the function belongs to, decorate the function with const.
 +
 
 +
<nowiki>A Foo() const;</nowiki>
  
 
== Unit Tests ==
 
== Unit Tests ==
  
Any testable functionality added has the corresponding unit tests
+
Any testable functionality should have a corresponding unit test. "Testable functionality" is somewhat vague, but it should be anything where the input output relationship of a function is fully defined. This should be done for any function where a significant amount of math is done.
 +
 
 +
Test's should...
 +
* Cover basic cases of no inputs or minimal inputs (if applicable)
 +
* Cover every single code path
 +
* Contain any corner cases that could be thought of
 +
* Any fixed bug should have a corresponding test that exhibited the broken behavior
 +
 
 +
Depending on a few factors, the test file should have a function for every test case or a single function for every function being tested.
 +
 
 +
Function for every test case example
 +
<nowiki>TEST(KickEvaluator, no_robots) {
 +
...
 +
}
 +
 
 +
TEST(KickEvaluator, eval_pt_to_our_goal) {
 +
...
 +
}
 +
 
 +
TEST(KickEvaluator, eval_calculation) {
 +
...
 +
}
 +
 
 +
TEST(KickEvaluator, eval_kick_at_pi_transition) {
 +
...
 +
}
 +
 
 +
TEST(KickEvaluator, check_best_point) {
 +
...
 +
}</nowiki>
 +
 
 +
Function for every function being tested (Opponent.py is a util type file with a collection of functions including "num_on_offense" and "get_closest_opponent")
 +
<nowiki>class TestOpponent(unittest.TestCase):
 +
 +
def test_num_on_offense(self):
 +
...
 +
 +
def test_get_closest_opponent(self):
 +
...</nowiki>
 +
 
 +
=== Magic Numbers ===
 +
 
 +
No magic numbers. Everything should be a variable. Depending on the scope of the magic number and how likely it is to be changed, it can either be a const variable in the function, class, or the general config (what this entails depends on the team). A short description of what the config value represents should be included as well.
 +
 
 +
=== Loops ===
 +
 
 +
While loops aren't inherently dangerous, but if you mess them up and miss an edge case, you can easily stall the program.  Extra care should be taken to make sure this never happens.
 +
 
 +
=== Don't re-implement functions ===
 +
 
 +
In general, if code feels way too complicated for the action that it does, someone most likely has already implemented this in some function somewhere. Feel free to ask older member if it already exists.
  
 +
=== Include simple optimizations ===
  
== TODO things ==
+
Don't go crazy, but switching out push_back with emplace_back when pushing to a std::vector is a smart idea. Simple things like that.
Things should look nice overall, if you can’t figure out what code is doing at a glance, it’s bad
 
Variables are named nicely. I want to be able to look at it and know what it represents
 
Includes are in a specific order. Group by stdlib, system/library, local headers, then ABC order inside each group
 
Keep line lengths in check
 
All magic numbers are config values or const’s at top of file
 
Things are initialized in the constructor in the same order they are defined in the header
 
Single responsibility principle is often lacking
 
Comments
 
Args / rets should be described for functions with notes about assumptions made
 
Classes should describe their place in the program overall
 
Doc pages should be made for entire systems describing the way all the data / classes work together
 
Blocks of code should be commented to describe things on a low level
 
Math should be fully described (ASCII art for vectors)
 
https://github.com/RoboJackets/robocup-software/blob/master/soccer/vision/ball/BallBounce.cpp#L65
 

Latest revision as of 11:55, 25 May 2020

Style

Overall, things should be pleasant to look at. If things are hard to read, it's more likely there will be bugs. If you can't read it at a glance, it's bad and should be redone so it's clear.

Keep line lengths in check. Don't feel forced to keep it 80 chars wide, but don't go crazy since people put code side by side a lot. 120 chars max.

Variable / Class Names

Variable and class names should be fully descriptive of what they represent. If a glance at the name can't fully describe the functionality of the code, it should be changed. It's better to have long names rather than unreadable shortened version.

Good

ballPos
robotBallVec
robotRadius
velXCovariance

Bad

pt1
pt2
r1
r2

Aligning Code

Align code along good boundaries so it's clean to read. Some examples are below.

CameraFrame(RJ::Time tCapture,
            int cameraID,
            std::vector<CameraBall> cameraBalls,
            std::vector<CameraRobot> cameraRobotsYellow,
            std::vector<CameraRobot> cameraRobotsBlue)
            : tCapture(tCapture), cameraID(cameraID),
              cameraBalls(cameraBalls),
              cameraRobotsYellow(cameraRobotsYellow),
              cameraRobotsBlue(cameraRobotsBlue) {}
Q_k << dt3, dt2,   0,   0,
       dt2, dt1,   0,   0,
         0,   0, dt3, dt2,
         0,   0, dt2, dt1;
ball_init_covariance   = new ConfigDouble(cfg, "VisionFilter/Ball/init_covariance",   100);
ball_process_noise     = new ConfigDouble(cfg, "VisionFilter/Ball/process_noise",     0.1);
ball_observation_noise = new ConfigDouble(cfg, "VisionFilter/Ball/observation_noise", 2.0);

Includes

Includes should be grouped into a specific order separated by white-space.

  1. Standard C++/Python libraries
  2. Project Libraries / External Includes
  3. Project / Module Headers

Within each group, the includes should be in ABC order.

Only include what is needed inside a header file. Everything else that may be needed should be included within a .cpp file.

#include <vector>

#include <Configuration.hpp>
#include <Geometry2d/Point.hpp>

#include "KalmanBall.hpp"
#include "vision/robot/WorldRobot.hpp"

Constructor Initialization

Initialize variables in the same order they are defined in the header.

RJ::Time lastUpdateTime;
RJ::Time lastPredictTime;

// Keeps track of this for kick detection stuff
boost::circular_buffer<CameraBall> previousMeasurements;

KalmanFilter2D filter;

int health;

unsigned int cameraID;

// Max time in seconds that a filter can not be updated before it is removed
static ConfigDouble* max_time_outside_vision;

...

KalmanBall::KalmanBall(unsigned int cameraID, RJ::Time creationTime,
                       CameraBall initMeasurement, const WorldBall& previousWorldBall)
    : lastUpdateTime(creationTime), lastPredictTime(creationTime),
      previousMeasurements(*VisionFilterConfig::slow_kick_detector_history_length),
      health(*VisionFilterConfig::filter_health_init), cameraID(cameraID) {

Comments

Things do what their comments say

Module Level Documentation

Modules should each have a full doc page describing the operation of the module in terms of the overall organization as well as data flow and algorithms. A person reading this should be able to fully understand a high level overview of what the algorithm is. The "why?" behind decisions should be described. Average length is a few paragraphs targeted towards people who are familiar with the topic, but not this specific algorithm.

[Example doc page here in markdown].

File Level Documentation

Each file (.hpp and/or .py) should have a couple lines at the top describing the contents of the file as well as how it specifically fits in overall. The below example is a little overkill, but the general idea is shown.

/**
 * Uses a seperate thread to filter the vision measurements into
 * a smoother velocity/position estimate for both the ball and robots.
 *
 * Add vision frames directly into the filter call the fill states functions
 * to push the newest estimates directly into the system state.
 * 
 * Note: There may be a 1 frame delay between the measurements being added
 * and the measurements being included in the filter estimate.
 */
class VisionFilter {

Function Level Documentation

Each function definition in a file (.hpp and/or .py) should contain a short summary of what the function does in simple terms, a list and description of each arguement, a description of the return, and any notes about the assumptions used or weird edge cases. An example with a note is shown below also.

/**
 * Calculates whether the given kalman ball will bounce against another robot and
 * the resulting velocity vector
 *
 * @param ball Kalman ball we are trying to test
 * @param yellowRobots Best estimation of the yellow robots states
 * @param blueRobots Best estimation of the yellow robots states
 * @param outNewVel Output of the resulting velocity vector after bounce
 *
 * @return Whether the ball bounces or not
 */
 static bool CalcBallBounce(const KalmanBall& ball,
                            const std::vector<WorldRobot>& yellowRobots,
                            const std::vector<WorldRobot>& blueRobots,
                            Geometry2d::Point& outNewVel);
/**
 * Predicts one time step forward
 *
 * @param currentTime Time at the current frame
 *
 * @note Call either this OR predictAndUpdate once a frame
 */
 void predict(RJ::Time currentTime);

Code Block Level Documentation

Code blocks should be commented to describe their collective use. This isn't school so you don't have to comment every line, but blocks of lines should be commented if it's more than a very simple or standard operation. Someone should be able to read through the code and understand what the code does without reading other function definitions or reverse engineering the existing code. Any "funky" code should be commented to describe why it's needed. A few examples are seen below.

// Figures out if there is an intersection and what the resulting velocity should be
auto findEndVel = [&ball, &outNewVel] (const std::vector<WorldRobot>& robots) {
// Make sure ball is intersecting next frame
if (!BallInRobot(ball, robot)) {
    continue;
}
// If the ball really isn't moving, just assume no intersection
// since the math will go to inf
if (abs(dr) < 1e-5) {
    return out;
}

For complicated math, a link to a paper or wikipedia article should exist if it is based off of one. Otherwise, the math should be fully explained through words (or even better, ASCII art)

//                        _____
//                       /     \
//                      | Robot |
//                       \_____/
//                          B
//                         /|\
//                        / | \
//                       /  |  \
//                      /   |   \
//                     /    D    \
//                    A           C
// Ball moves from A->B
// Bounces off the robot
// Moves from B->C
// Line B<->D is the line of reflection
//
//
// Line B<->D goes from the center of the robot through the point of intersection between the robot and the ball
// Since the robot is round (with a flat mouth), any time it hits the robot, we can assume that the it will reflect as if
//   it hit a flat surface

Configuration Variable Documentation

Each config value should have an associated comment where it describes what the config value does in words, the range of the config value, and what each edge of the range represents in IRL effects.

// Linear velocity dampen
// Body is bouncing off the circular shell
// Mouth is bouncing off the front mouth
// 1 means 100% of the velocity is kept after collision
// 0 means 0% of the velocity is kept after collision
static ConfigDouble* robot_body_lin_dampen;
static ConfigDouble* robot_mouth_lin_dampen;

Structure

All new code doesn't have to be accepted

New features don't have to be added. This is significantly more subjective, but if the new feature does not fit with the rest of the file, it should be weighed carefully. Each file should only be responsible for a single action. Don't add stuff if it doesn't fit with the rest of the file's actions.

Private / Public

Unless something needs to be public, it should be private. In general, variables should be private unless there is a very good reason not to. If you have to make stuff public, double check that the overall architecture is not bad (It probably is).

General class format should be...

class Foo {
public:
    Foo();

private:
    Func();
}

Pointers / References

Raw C pointer style should be avoided. Things such as malloc and delete should not be used if possible, there is almost always a better way. Most of the time, a smart pointer will work better in these cases as the ownership is explicit.

In functions, care should be taken to decide whether a raw pointer is correct compared to a reference. A reference allows the nullptr case to be handled automatically where as you should specifically handle the nullptr case.

Large data structures or objects should be passed around by reference to save cpu cycles spent copying the data.

Const

Any data being passed which isn't being changed should be passed as const &.

void Foo(const A& var)

Any function where you return something without editing data in the object the function belongs to, decorate the function with const.

A Foo() const;

Unit Tests

Any testable functionality should have a corresponding unit test. "Testable functionality" is somewhat vague, but it should be anything where the input output relationship of a function is fully defined. This should be done for any function where a significant amount of math is done.

Test's should...

  • Cover basic cases of no inputs or minimal inputs (if applicable)
  • Cover every single code path
  • Contain any corner cases that could be thought of
  • Any fixed bug should have a corresponding test that exhibited the broken behavior

Depending on a few factors, the test file should have a function for every test case or a single function for every function being tested.

Function for every test case example

TEST(KickEvaluator, no_robots) {
...
}

TEST(KickEvaluator, eval_pt_to_our_goal) {
...
}

TEST(KickEvaluator, eval_calculation) {
...
}

TEST(KickEvaluator, eval_kick_at_pi_transition) {
...
}

TEST(KickEvaluator, check_best_point) {
...
}

Function for every function being tested (Opponent.py is a util type file with a collection of functions including "num_on_offense" and "get_closest_opponent")

class TestOpponent(unittest.TestCase):
	
	def test_num_on_offense(self):
		...
		
	def test_get_closest_opponent(self):
		...

Magic Numbers

No magic numbers. Everything should be a variable. Depending on the scope of the magic number and how likely it is to be changed, it can either be a const variable in the function, class, or the general config (what this entails depends on the team). A short description of what the config value represents should be included as well.

Loops

While loops aren't inherently dangerous, but if you mess them up and miss an edge case, you can easily stall the program. Extra care should be taken to make sure this never happens.

Don't re-implement functions

In general, if code feels way too complicated for the action that it does, someone most likely has already implemented this in some function somewhere. Feel free to ask older member if it already exists.

Include simple optimizations

Don't go crazy, but switching out push_back with emplace_back when pushing to a std::vector is a smart idea. Simple things like that.