MediaWiki REL1_35
|
Protected Member Functions | |
assertEnd () | |
If the position is not at the end of the input string, raise an error, complaining of trailing characters. | |
consumeFixedDigits ( $numDigits) | |
Consume a specified number of digits, or throw an exception. | |
consumeString ( $s) | |
Consume a specified string, or throw an exception. | |
error ( $message) | |
Throw an exception to indicate a parse error. | |
setInput ( $input) | |
Set the input, and derived convenience properties. | |
skipWhitespace () | |
Skip whitespace at the input position (OWS) | |
Protected Attributes | |
string | $input |
The input string being processed. | |
int | $inputLength |
The length of $input. | |
int | $pos |
The position within $input. | |
Definition at line 8 of file HeaderParserBase.php.
|
protected |
If the position is not at the end of the input string, raise an error, complaining of trailing characters.
HeaderParserError |
Definition at line 91 of file HeaderParserBase.php.
References MediaWiki\Rest\HeaderParser\HeaderParserBase\error().
Referenced by MediaWiki\Rest\HeaderParser\HttpDate\execute(), MediaWiki\Rest\HeaderParser\IfNoneMatch\parseETag(), and MediaWiki\Rest\HeaderParser\IfNoneMatch\parseHeader().
|
protected |
Consume a specified number of digits, or throw an exception.
int | $numDigits |
HeaderParserError |
Definition at line 76 of file HeaderParserBase.php.
References MediaWiki\Rest\HeaderParser\HeaderParserBase\error().
Referenced by MediaWiki\Rest\HeaderParser\HttpDate\consumeDate2(), MediaWiki\Rest\HeaderParser\HttpDate\consumeDate3(), MediaWiki\Rest\HeaderParser\HttpDate\consumeDay(), MediaWiki\Rest\HeaderParser\HttpDate\consumeTimeOfDay(), and MediaWiki\Rest\HeaderParser\HttpDate\consumeYear().
|
protected |
Consume a specified string, or throw an exception.
string | $s |
HeaderParserError |
Definition at line 41 of file HeaderParserBase.php.
References $s, and MediaWiki\Rest\HeaderParser\HeaderParserBase\error().
Referenced by MediaWiki\Rest\HeaderParser\HttpDate\consumeAsctimeDate(), MediaWiki\Rest\HeaderParser\HttpDate\consumeDate1(), MediaWiki\Rest\HeaderParser\HttpDate\consumeDate2(), MediaWiki\Rest\HeaderParser\HttpDate\consumeDate3(), MediaWiki\Rest\HeaderParser\HttpDate\consumeFixdate(), MediaWiki\Rest\HeaderParser\HttpDate\consumeRfc850Date(), MediaWiki\Rest\HeaderParser\IfNoneMatch\consumeTag(), MediaWiki\Rest\HeaderParser\IfNoneMatch\consumeTagList(), and MediaWiki\Rest\HeaderParser\HttpDate\consumeTimeOfDay().
|
protected |
Throw an exception to indicate a parse error.
string | $message |
HeaderParserError |
Definition at line 65 of file HeaderParserBase.php.
Referenced by MediaWiki\Rest\HeaderParser\HeaderParserBase\assertEnd(), MediaWiki\Rest\HeaderParser\HttpDate\consumeDayName(), MediaWiki\Rest\HeaderParser\HttpDate\consumeDayNameLong(), MediaWiki\Rest\HeaderParser\HeaderParserBase\consumeFixedDigits(), MediaWiki\Rest\HeaderParser\HttpDate\consumeMonth(), MediaWiki\Rest\HeaderParser\HeaderParserBase\consumeString(), and MediaWiki\Rest\HeaderParser\IfNoneMatch\consumeTag().
|
protected |
Set the input, and derived convenience properties.
string | $input |
Definition at line 29 of file HeaderParserBase.php.
References MediaWiki\Rest\HeaderParser\HeaderParserBase\$input.
Referenced by MediaWiki\Rest\HeaderParser\HttpDate\__construct(), MediaWiki\Rest\HeaderParser\IfNoneMatch\parseETag(), and MediaWiki\Rest\HeaderParser\IfNoneMatch\parseHeader().
|
protected |
Skip whitespace at the input position (OWS)
Definition at line 55 of file HeaderParserBase.php.
Referenced by MediaWiki\Rest\HeaderParser\IfNoneMatch\consumeTagList().
|
protected |
The input string being processed.
Definition at line 12 of file HeaderParserBase.php.
Referenced by MediaWiki\Rest\HeaderParser\HttpDate\__construct(), and MediaWiki\Rest\HeaderParser\HeaderParserBase\setInput().
|
protected |
The length of $input.
Definition at line 22 of file HeaderParserBase.php.
|
protected |
The position within $input.
Definition at line 17 of file HeaderParserBase.php.