Enhanced PHP File Manager

⬆️ Go Up (..)

📊 Server Information

Server:

Apache

System:

Linux 5.14.0-427.33.1.el9_4.x86_64

PHP Version:

7.4.33

User:

infinio

Directory:

/home/infinio/public_html/moodle/lib/openspout/src/Common/Entity/Style

Free Space:

250.28 GB

🔧 Quick Actions

✏️ Editing: BorderPart.php

<?php

declare(strict_types=1);

namespace OpenSpout\Common\Entity\Style;

use OpenSpout\Writer\Exception\Border\InvalidNameException;
use OpenSpout\Writer\Exception\Border\InvalidStyleException;
use OpenSpout\Writer\Exception\Border\InvalidWidthException;

final class BorderPart
{
    public const allowedStyles = [
        Border::STYLE_NONE,
        Border::STYLE_SOLID,
        Border::STYLE_DASHED,
        Border::STYLE_DOTTED,
        Border::STYLE_DOUBLE,
    ];

public const allowedNames = [
        Border::LEFT,
        Border::RIGHT,
        Border::TOP,
        Border::BOTTOM,
    ];

public const allowedWidths = [
        Border::WIDTH_THIN,
        Border::WIDTH_MEDIUM,
        Border::WIDTH_THICK,
    ];

private readonly string $style;
    private readonly string $name;
    private readonly string $color;
    private readonly string $width;

/**
     * @param string $name  @see  BorderPart::allowedNames
     * @param string $color A RGB color code
     * @param string $width @see BorderPart::allowedWidths
     * @param string $style @see BorderPart::allowedStyles
     *
     * @throws InvalidNameException
     * @throws InvalidStyleException
     * @throws InvalidWidthException
     */
    public function __construct(
        string $name,
        string $color = Color::BLACK,
        string $width = Border::WIDTH_MEDIUM,
        string $style = Border::STYLE_SOLID
    ) {
        if (!\in_array($name, self::allowedNames, true)) {
            throw new InvalidNameException($name);
        }
        if (!\in_array($style, self::allowedStyles, true)) {
            throw new InvalidStyleException($style);
        }
        if (!\in_array($width, self::allowedWidths, true)) {
            throw new InvalidWidthException($width);
        }

$this->name = $name;
        $this->color = $color;
        $this->width = $width;
        $this->style = $style;
    }

public function getName(): string
    {
        return $this->name;
    }

public function getStyle(): string
    {
        return $this->style;
    }

public function getColor(): string
    {
        return $this->color;
    }

public function getWidth(): string
    {
        return $this->width;
    }
}

❌ Cancel

🗂️ Enhanced PHP File Manager

📊 Server Information

🔧 Quick Actions

✏️ Editing: BorderPart.php

📤 Upload File

📁 Create Folder

📄 Create File

✏️ Rename Item

🗑️ Delete Confirmation