@@ 1606-1608 (lines=3) @@ | ||
1603 | ||
1604 | // turn list of length 1 into value type |
|
1605 | protected function flattenList($value) { |
|
1606 | if ($value[0] == "list" && count($value[2]) == 1) { |
|
1607 | return $this->flattenList($value[2][0]); |
|
1608 | } |
|
1609 | return $value; |
|
1610 | } |
|
1611 |
@@ 2955-2959 (lines=5) @@ | ||
2952 | ||
2953 | protected function stripDefault(&$value) { |
|
2954 | $def = end($value[2]); |
|
2955 | if ($def[0] == "keyword" && $def[1] == "!default") { |
|
2956 | array_pop($value[2]); |
|
2957 | $value = $this->flattenList($value); |
|
2958 | return true; |
|
2959 | } |
|
2960 | ||
2961 | if ($def[0] == "list") { |
|
2962 | return $this->stripDefault($value[2][count($value[2]) - 1]); |
|
@@ 4018-4020 (lines=3) @@ | ||
4015 | ||
4016 | // turn list of length 1 into value type |
|
4017 | protected function flattenList($value) { |
|
4018 | if ($value[0] == "list" && count($value[2]) == 1) { |
|
4019 | return $this->flattenList($value[2][0]); |
|
4020 | } |
|
4021 | return $value; |
|
4022 | } |
|
4023 | } |