@@ 115-129 (lines=15) @@ | ||
112 | $this->class_whitespace = $class_whitespace; |
|
113 | } |
|
114 | ||
115 | function next() { |
|
116 | if (count($this->tokens) == 0) { |
|
117 | $new_token = $this->scan($new_value); |
|
118 | } else { |
|
119 | $entry = array_shift($this->tokens); |
|
120 | list($new_token, $new_value) = each($entry); |
|
121 | } |
|
122 | if (isset($this->token_ahead)) { |
|
123 | $this->token = $this->token_ahead; |
|
124 | $this->token_value = $this->token_ahead_value; |
|
125 | } |
|
126 | $this->token_ahead = $new_token; |
|
127 | $this->token_ahead_value = $new_value; |
|
128 | return $this->token; |
|
129 | } |
|
130 | ||
131 | ||
132 | function scan(&$value) { |
@@ 283-297 (lines=15) @@ | ||
280 | $this->class_whitespace = $class_whitespace; |
|
281 | } |
|
282 | ||
283 | public function next() { |
|
284 | if (count($this->tokens) == 0) { |
|
285 | $new_token = $this->scan($new_value); |
|
286 | } else { |
|
287 | $elem = array_shift($this->tokens); |
|
288 | list($new_token, $new_value) = each($elem); |
|
289 | } |
|
290 | if (isset($this->token_ahead)) { |
|
291 | $this->token = $this->token_ahead; |
|
292 | $this->token_value = $this->token_ahead_value; |
|
293 | } |
|
294 | $this->token_ahead = $new_token; |
|
295 | $this->token_ahead_value = $new_value; |
|
296 | return $this->token; |
|
297 | } |
|
298 | ||
299 | public function scan(&$value) { |
|
300 | $YYCURSOR = &$this->YYCURSOR; |
@@ 34-48 (lines=15) @@ | ||
31 | $this->class_whitespace = $class_whitespace; |
|
32 | } |
|
33 | ||
34 | function next() { |
|
35 | if (count($this->tokens) == 0) { |
|
36 | $new_token = $this->scan($new_value); |
|
37 | } else { |
|
38 | list($new_token, $new_value) = each(array_shift($this->tokens)); |
|
39 | } |
|
40 | if (isset($this->token_ahead)) { |
|
41 | $this->token = $this->token_ahead; |
|
42 | $this->token_value = $this->token_ahead_value; |
|
43 | } |
|
44 | $this->token_ahead = $new_token; |
|
45 | $this->token_ahead_value = $new_value; |
|
46 | return $this->token; |
|
47 | ||
48 | } |
|
49 | ||
50 | ||
51 | function scan(&$value) { |