// lowercase package names
package almu;

// preferably no imports, use full names

// class names begin in uppercase
class Foo extends Conditions
{
	// indent with tabs, not spaces
	
	// function and variable names begin in lowercase, no underscores, no type-describing prefixes, verbs
	// Allman indentation
	public boolean computeStuff(int x)
	{
		// always check preconditions
		precondition(x >= 0);
		
		// parentheses around boolean-separated conditionals
		// preferably only block conditional statements
		if ((x == 1) || (x == 2))
		{
			x++;
		}
		else
		{
			return false;
		}
		
		// ...
		
		// always check postconditions
		postcondition(x > 0);
	}
	
	// constants in uppercase, spaces converted to underscores
	private static final int COMPUTATION_ACCURACY = 100;
}