appserver-io / doppelgaenger

        $conditionCounter = 0;

        $invariantIterator = $assertionLists->getIterator();

        for ($i = 0; $i < $invariantIterator->count(); $i++) {

            // Create the inner loop for the different assertions

            if ($invariantIterator->current()->count() !== 0) {

                $assertionIterator = $invariantIterator->current()->getIterator();

                // collect all assertion code for assertions of this instance

                for ($j = 0; $j < $assertionIterator->count(); $j++) {

                    // Code to catch failed assertions

                    $code .= $assertionIterator->current()->toCode();

                    $assertionIterator->next();

                    $conditionCounter++;

                }

                // generate the check for assertions results

                if ($conditionCounter > 0) {

                    $code .= 'if (!empty(' . ReservedKeywords::FAILURE_VARIABLE . ') || !empty(' . ReservedKeywords::UNWRAPPED_FAILURE_VARIABLE . ')) {

                        ' . Placeholders::ENFORCEMENT . 'invariant' . Placeholders::PLACEHOLDER_CLOSE . '

                    }';

                }

            }

            // increment the outer loop

            $invariantIterator->next();

        }

        $code .= '}

            \AppserverIo\Doppelgaenger\ContractContext::close();

        // We need a counter to check how much conditions we got

        $conditionCounter = 0;

        $listIterator = $assertionLists->getIterator();

        for ($i = 0; $i < $listIterator->count(); $i++) {

            // Create the inner loop for the different assertions

            $assertionIterator = $listIterator->current()->getIterator();

            // Only act if we got actual entries

            if ($assertionIterator->count() === 0) {

                // increment the outer loop

                $listIterator->next();

                continue;

            }

            // collect all assertion code for assertions of this instance

            for ($j = 0; $j < $assertionIterator->count(); $j++) {

                // Code to catch failed assertions

                $code .=  $assertionIterator->current()->toCode();

                $assertionIterator->next();

                $conditionCounter++;

            }

            // generate the check for assertions results

            if ($conditionCounter > 0) {

                $code .= '    if (!empty(' . ReservedKeywords::FAILURE_VARIABLE . ') || !empty(' . ReservedKeywords::UNWRAPPED_FAILURE_VARIABLE . ')) {

                    ' . Placeholders::ENFORCEMENT . $functionName . 'postcondition' . Placeholders::PLACEHOLDER_CLOSE . '

                }

            ';

            }

            // increment the outer loop

            $listIterator->next();

        }

        // Closing bracket for contract depth check

        $code .= '}

        // We need a counter to check how much conditions we got

        $conditionCounter = 0;

        $listIterator = $assertionLists->getIterator();

        for ($i = 0; $i < $listIterator->count(); $i++) {

            // Create the inner loop for the different assertions

            $assertionIterator = $listIterator->current()->getIterator();

            // Only act if we got actual entries

            if ($assertionIterator->count() === 0) {

                // increment the outer loop

                $listIterator->next();

                continue;

            }

            // create a wrap around assuring that inherited conditions get or-combined

            $code .= '

                if (' . ReservedKeywords::PASSED_ASSERTION_FLAG . ' === false) {

                    ';

            // iterate through the conditions for this certain instance

            for ($j = 0; $j < $assertionIterator->count(); $j++) {

                $conditionCounter++;

                // Code to catch failed assertions

                $code .= $assertionIterator->current()->toCode();

                $assertionIterator->next();

            }

            // close the or-combined wrap

            $code .= '    if (empty(' . ReservedKeywords::FAILURE_VARIABLE . ') && empty(' . ReservedKeywords::UNWRAPPED_FAILURE_VARIABLE . ')) {

                        ' . ReservedKeywords::PASSED_ASSERTION_FLAG . ' = true;

                    }

                }

                ';

            // increment the outer loop

            $listIterator->next();

        }

        // Preconditions need or-ed conditions so we make sure only one condition list gets checked

        $code .= 'if (' . ReservedKeywords::PASSED_ASSERTION_FLAG . ' === false){