Java Reference
In-Depth Information
if (...)
{ System.out.println(x); }
Conventions for indenting an if-else statement
Our convention is a simple extension of if-statement convention, e.g.:
if (...) {
} else {
Indenting assertions
An assertion is a relation about variables that is enclosed in braces { and } and
written as a comment. It appears at the same level of indentation as the statement
that precedes or follow it. Its appearance in a program asserts that it is true when
execution reaches the position where it occurs. This is illustrated in the follow-
ing program segment, which has a precondition and a postcondition:
// { x = A and y=B (for some values A and B) }
int t= x;
x= y;
y= t;
// { x = B and y = A }
Indenting loops
Our conventions are similar to those for an if-statement:
// invariant: …
while (...) {
// invariant: …
for (i= 0; i != n; i= i + 1) {
System.out.println( " " + (i * i));
Convention for loop invariants
A loop invariant is a relation whose truth is maintained by execution of the
repetend of the loop (under the condition that the loop invariant is initially true).
Search WWH ::

Custom Search