DBMasterPos.php

Go to the documentation of this file.

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