DBPrimaryPos.php

Go to the documentation of this file.

<?php
 
namespace Wikimedia\Rdbms;
 
interface DBPrimaryPos {
    public function asOfTime();
 
    public function hasReached( DBPrimaryPos $pos );
 
    public function __toString();
 
    public static function newFromArray( array $data );
 
    public function toArray(): array;
 
}