appserver-io / doppelgaenger

        // Invariant is not needed in private or static functions.

        // Also make sure that there is none in front of the constructor check

        if ($functionDefinition->getVisibility() !== 'private' &&

            !$functionDefinition->isStatic() && $functionDefinition->getName() !== '__construct'

        ) {

            $code .= Placeholders::INVARIANT_CALL_START . '

            ';

        }

        $code .= Placeholders::PRECONDITION . $functionDefinition->getName() . Placeholders::PLACEHOLDER_CLOSE . '

            ' . Placeholders::OLD_SETUP . $functionDefinition->getName() . Placeholders::PLACEHOLDER_CLOSE. '

        $code .= '    ' . Placeholders::POSTCONDITION . $functionDefinition->getName() . Placeholders::PLACEHOLDER_CLOSE;

        // Invariant is not needed in private or static functions

        if ($functionDefinition->getVisibility() !== 'private' && !$functionDefinition->isStatic()) {

            $code .= '

            ' . Placeholders::INVARIANT_CALL_END . '

            ';

        }

        // close of the contract context

        $code .= 'if (' . ReservedKeywords::CONTRACT_CONTEXT . ') {