More comprehensive example using a method to statically analyze control loop structures

For the sake of this text, let's represent if else if as

if 1
else if 1
else 0
or
if 1
else if 1
else
. Remember that this is a case of (I)[2].

Following this scheme, let's say we have a code:

if 1
else if 1
else
for 1
if 1
else if
else 1

We can see that this can be best classified as ((I))2 where it is comprised of (I)[2], F, (I)[2].

Hosted by www.Geocities.ws

1