HeaderParserBase.php

Go to the documentation of this file.

<?php
 
namespace MediaWiki\Rest\HeaderParser;
 
class HeaderParserBase {
    protected $input;
 
    protected $pos;
 
    protected $inputLength;
 
    protected function setInput( $input ) {
        $this->input = $input;
        $this->pos = 0;
        $this->inputLength = strlen( $input );
    }
 
    protected function consumeString( $s ) {
        if ( $this->pos >= $this->inputLength ) {
            $this->error( "Expected \"$s\" but got end of string" );
        }
        if ( substr_compare( $this->input, $s, $this->pos, strlen( $s ) ) === 0 ) {
            $this->pos += strlen( $s );
        } else {
            $this->error( "Expected \"$s\"" );
        }
    }
 
    protected function skipWhitespace() {
        $this->pos += strspn( $this->input, " \t", $this->pos );
    }
 
    protected function error( $message ) {
        throw new HeaderParserError( "$message at {$this->pos}" );
    }
 
    protected function consumeFixedDigits( $numDigits ) {
        $digits = substr( $this->input, $this->pos, $numDigits );
        if ( strlen( $digits ) !== $numDigits || !preg_match( '/^[0-9]*$/', $digits ) ) {
            $this->error( "expected $numDigits digits" );
        }
        $this->pos += $numDigits;
        return $digits;
    }
 
    protected function assertEnd() {
        if ( $this->pos !== $this->inputLength ) {
            $this->error( "trailing characters" );
        }
    }
}