/* Stablishes a precondition to the operation */ // Preconditions: variable i in memory /* Establishes a post condition to the operation */ // Post conditions: variable i incremented by one /* Defines the method */ // Method: /* Defines step one */ // 1: fetch i from memory into register /* Defines step two */ // 2: increase register value by 1 /* Defines step three */ // 3: write value of register into memory i++;

// There's some indentation missing up there... Perhaps a \\ would do the trick.

// While you were writing this comment your torch went out; you were eaten by a grue.

// Returns value of variable i from step 1. But really, this should all be in Doxygen format instead.

Yeah, comments which are separate from the real programming language and only interpreted by humans feel sometimes superflucious. But for precise programming they are somewhat needed. Minor nitpick: the specification would be with the definition of the increment function, not with an invocation ;)