DBPrimaryPos.php

Go to the documentation of this file.

<?php
 
namespace Wikimedia\Rdbms;
 
use Serializable;
 
interface DBPrimaryPos extends Serializable {
    public function asOfTime();
 
    public function hasReached( DBPrimaryPos $pos );
 
    public function channelsMatch( DBPrimaryPos $pos );
 
    public function __toString();
}
 
class_alias( DBPrimaryPos::class, 'Wikimedia\\Rdbms\\DBMasterPos' );