php-kilo/src/Row.php

231 lines
4.5 KiB
PHP
Raw Normal View History

2019-10-24 16:57:27 -04:00
<?php declare(strict_types=1);
namespace Kilo;
/**
* @property-read int size
* @property-read int rsize
*/
class Row {
use MagicProperties;
public string $chars = '';
public string $render = '';
2019-10-25 10:28:15 -04:00
// This feels dirty...
private Editor $parent;
2019-10-24 16:57:27 -04:00
public array $hl = [];
2019-10-25 10:28:15 -04:00
public static function new(Editor $parent, string $chars): self
2019-10-24 16:57:27 -04:00
{
2019-10-25 10:28:15 -04:00
$self = new self();
$self->chars = $chars;
$self->parent = $parent;
2019-10-24 16:57:27 -04:00
2019-10-25 10:28:15 -04:00
return $self;
2019-10-24 16:57:27 -04:00
}
2019-10-25 10:28:15 -04:00
private function __construct() {}
2019-10-24 16:57:27 -04:00
public function __get(string $name)
{
switch ($name)
{
case 'size':
return strlen($this->chars);
case 'rsize':
return strlen($this->render);
default:
return NULL;
}
}
public function __toString(): string
{
return $this->chars . "\n";
}
2019-10-25 10:28:15 -04:00
public function insertChar(int $at, string $c): void
{
if ($at < 0 || $at > $this->size)
{
$at = $this->size;
}
// Safely insert into arbitrary position in the existing string
$this->chars = substr($this->chars, 0, $at) . $c . substr($this->chars, $at);
$this->update();
$this->parent->dirty++;
}
public function appendString(string $s): void
{
$this->chars .= $s;
$this->update();
$this->parent->dirty++;
}
public function deleteChar(int $at): void
{
if ($at < 0 || $at >= $this->size)
{
return;
}
$this->chars = substr_replace($this->chars, '', $at, 1);
$this->update();
$this->parent->dirty++;
}
2019-10-24 16:57:27 -04:00
public function update(): void
{
$idx = 0;
for ($i = 0; $i < $this->size; $i++)
{
if ($this->chars[$i] === "\t")
{
$this->render[$idx++] = ' ';
while ($idx % KILO_TAB_STOP !== 0)
{
$this->render[$idx++] = ' ';
}
}
else
{
$this->render[$idx++] = $this->chars[$i];
}
}
$this->updateSyntax();
}
// ------------------------------------------------------------------------
// ! Syntax Highlighting
// ------------------------------------------------------------------------
protected function updateSyntax(): void
{
$this->hl = array_fill(0, $this->rsize, Highlight::NORMAL);
$keywords1 = $this->parent->syntax->keywords1;
$keywords2 = $this->parent->syntax->keywords2;
$scs = $this->parent->syntax->singleLineCommentStart;
2019-10-24 16:57:27 -04:00
$prevSep = TRUE;
2019-10-25 11:49:04 -04:00
$inString = '';
2019-10-24 16:57:27 -04:00
$i = 0;
while ($i < $this->rsize)
{
$char = $this->render[$i];
$prevHl = ($i > 0) ? $this->hl[$i - 1] : Highlight::NORMAL;
2019-10-25 10:28:15 -04:00
if ($this->parent->syntax === NULL)
{
return;
}
// Single-line comments
if ($scs !== '' && empty($inString) && substr($this->render, $i, strlen($scs)) === $scs)// strncmp($char, $scs, strlen($scs)) === 0)
{
array_replace_range($this->hl, $i, $this->rsize - $i, Highlight::COMMENT);
break;
}
// String/Char literals
2019-10-25 11:49:04 -04:00
if ($this->parent->syntax->flags & Syntax::HIGHLIGHT_STRINGS)
{
if ($inString !== '')
{
$this->hl[$i] = Highlight::STRING;
// Check for escaped character
if ($char === '\\' && $i+1 < $this->rsize)
{
$this->hl[$i + 1] = Highlight::STRING;
$i += 2;
continue;
}
if ($char === $inString)
{
$inString = '';
}
$i++;
$prevSep = 1;
continue;
}
if ( $char === '""' || $char === '\'')
{
$inString = $char;
$this->hl[$i] = Highlight::STRING;
$i++;
continue;
}
}
// Numbers, including decimal points
2019-10-25 10:28:15 -04:00
if ($this->parent->syntax->flags & Syntax::HIGHLIGHT_NUMBERS)
2019-10-24 16:57:27 -04:00
{
2019-10-25 10:28:15 -04:00
if (
($char === '.' && $prevHl === Highlight::NUMBER) ||
(($prevSep || $prevHl === Highlight::NUMBER) && is_digit($char))
)
{
$this->hl[$i] = Highlight::NUMBER;
$i++;
$prevSep = FALSE;
continue;
}
2019-10-24 16:57:27 -04:00
}
// Keywords
if ($prevSep)
{
foreach ($keywords1 as $k)
{
$klen = strlen($k);
$nextCharOffset = $i + $klen;
$isEndOfLine = $nextCharOffset >= $this->rsize;
$nextChar = ($isEndOfLine) ? "\0" : $this->render[$nextCharOffset];
if (substr($this->render, $i, $klen) === $k && is_separator($nextChar))
{
array_replace_range($this->hl, $i, $klen, Highlight::KEYWORD1);
$i += $klen - 1;
break;
}
}
foreach ($keywords2 as $k)
{
$klen = strlen($k);
$nextCharOffset = $i + $klen;
$isEndOfLine = $nextCharOffset >= $this->rsize;
$nextChar = ($isEndOfLine) ? "\0" : $this->render[$nextCharOffset];
if (substr($this->render, $i, $klen) === $k && is_separator($nextChar))
{
array_replace_range($this->hl, $i, $klen, Highlight::KEYWORD2);
$i += $klen - 1;
break;
}
}
}
2019-10-24 16:57:27 -04:00
$prevSep = is_separator($char);
$i++;
}
}
}