Environment.php

Go to the documentation of this file.

<?php

declare(strict_types=1);

namespace ILIAS\Setup;

interface Environment
{
    // We define some resources that will definitely be requried. We allow for
    // new identifiers, though, to be open for extensions and the future.
    public const RESOURCE_DATABASE = "resource_database";
    public const RESOURCE_ADMIN_INTERACTION = "resource_admin_interaction";
    public const RESOURCE_ILIAS_INI = "resource_ilias_ini";
    public const RESOURCE_CLIENT_INI = "resource_client_ini";
    public const RESOURCE_SETTINGS_FACTORY = "resource_settings_factory";
    public const RESOURCE_CLIENT_ID = "resource_client_id";
    public const RESOURCE_PLUGIN_ADMIN = "resource_plugin_admin";
    public const RESOURCE_COMPONENT_REPOSITORY = "resource_component_repository";
    public const RESOURCE_COMPONENT_FACTORY = "resource_component_factory";

    public function getResource(string $id);

    public function withResource(string $id, $resource): Environment;

    public function withConfigFor(string $component, $config): Environment;

    public function getConfigFor(string $component);
    public function hasConfigFor(string $component): bool;
}