Sprechen Sie Java: Eine Einführung in das systematische Programmieren, 4. Auflage

1. Grundlagen

11 Documented Misconceptions

AssignmentCopiesObject

Assignment copies the object

ConditionOneOutEdge

A condition node in a control-flow graph can have a single outgoing edge

ConditionalIsSequence

If-else is equivalent to sequence of two ifs

ForIsConditional

The body of a for statement executes at most once

IfIsLoop

The body of an if statement executes repeatedly, as long as the condition holds

IfRequiresElse

Every if statement requires an else

MultiValueVariable

A variable can contain more than one value

StatementMultipleOutEdges

A non-condition node in a control-flow graph can have multiple outgoing edges

UntypedVariables

Variable declarations don't need a type

ZeroInEdges

A control-flow graph node (other than the entry node) can have zero incoming edges

ZeroOutEdges

A control-flow graph node (other than the exit node) can have zero outgoing edges