appserver-io / doppelgaenger

            // Does this property even exist? If not, throw an exception

            if (!isset($this->' . ReservedKeywords::ATTRIBUTE_STORAGE . '[$name])) {';

        if ($hasParents) {

            $code .= 'return parent::__set($name, $value);';

        } else {

            $code .= 'if (property_exists($this, $name)) {' .

                ReservedKeywords::FAILURE_VARIABLE . '[] = "accessing $name in an invalid way";' .

                Placeholders::ENFORCEMENT . 'InvalidArgumentException' . Placeholders::PLACEHOLDER_CLOSE .

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

                return false;

                } else {' .

                ReservedKeywords::FAILURE_VARIABLE . '[] = "accessing $name as it does not exist";' .

                Placeholders::ENFORCEMENT . 'MissingPropertyException' . Placeholders::PLACEHOLDER_CLOSE .

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

                return false;

                }';

        }

        $code .= '}

        // Check if the invariant holds

            // Does this property even exist? If not, throw an exception

            if (!isset($this->' . ReservedKeywords::ATTRIBUTE_STORAGE . '[$name])) {';

        if ($hasParents) {

            $code .= 'return parent::__get($name);';

        } else {

            $code .= 'if (property_exists($this, $name)) {' .

                ReservedKeywords::FAILURE_VARIABLE . '[] = "accessing $name in an invalid way";' .

                Placeholders::ENFORCEMENT . 'InvalidArgumentException' . Placeholders::PLACEHOLDER_CLOSE .

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

                return false;

                } else {' .

                ReservedKeywords::FAILURE_VARIABLE . '[] = "accessing $name as it does not exist";' .

                Placeholders::ENFORCEMENT . 'MissingPropertyException' . Placeholders::PLACEHOLDER_CLOSE .

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

                return false;

                }';

        }

        $code .= '}