/usr/share/php/Horde/Date/Parser/Result.php is in php-horde-date-parser 2.0.6-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 | <?php
class Horde_Date_Parser_Result
{
public $span;
public $tokens = array();
public function __construct($span, $tokens)
{
$this->span = $span;
$this->tokens = $tokens;
}
/**
* Guess a specific time within the given span
*/
public function guess()
{
if (! $this->span instanceof Horde_Date_Span) {
return null;
}
if ($this->span->width() > 1) {
return $this->span->begin->add($this->span->width() / 2);
} else {
return $this->span->begin;
}
}
public function taggedText()
{
$taggedTokens = array_values(array_filter($this->tokens, function ($t) { return $t->tagged(); }));
return implode(' ', array_map(function ($t) { return $t->word; }, $taggedTokens));
}
public function untaggedText()
{
$untaggedTokens = array_values(array_filter($this->tokens, function ($t) { return ! $t->tagged(); }));
return implode(' ', array_map(function ($t) { return $t->word; }, $untaggedTokens));
}
}
|