Command query separation
Command-Query separation (CQS) states that every method should either be a command that performs an action, or a query that returns data to the caller, but not both. Methods that return a value should be referentially transparent, and posses no side effects. wikipedia.org
A trivial example of this is getters and setters: Setters are commands that perform actions (setting a value), and getters are queries that return information about the state of the program. Getters do not change the state, and setters do not return a value.
CQS can be used quite well with a Design by contract approach to programming. In design by contract, assertions on the state of the program are considered as annotations, rather than programming logic. This means that querying the state (eg assertions) should not effect the program in anyway. When using CQS, any assertion can call a "Query" method, without having to worry about modifying the systems state.
CQS can simplify the development of a program, as programmers will always know that a method that returns a value has no side effects. Programmers are free to query the state of the system at any point without concern.
CQS suits the object-oriented approach to programming, but is not limited to it; it can be implemented in a procedural language with similar effects.
Examples
A simple example of a pattern that breaks CQS:
private int x;
public int value() {
x = x + 1;
return x;
}
Obeying CQS:
private int x;
public int value() {
return x;
}
public void increment_x() {
x = x + 1;
}
