From ba138a3746b3077ebe5b7356b5b49f21cfc30438 Mon Sep 17 00:00:00 2001
From: Kalle Sommer Nielsen <kalle@php.net>
Date: Mon, 23 Jul 2018 17:38:26 +0200
Subject: =?UTF-8?q?Removed=20the=20generated-tests=20library,=20this=20is?=
 =?UTF-8?q?=20a=20left=20Z=C3=B6e's=20phpruntests=20repository=20it=20seem?=
 =?UTF-8?q?s=20and=20never=20fully=20implemented.=20The=20only=20times=20t?=
 =?UTF-8?q?his=20part=20of=20the=20code=20has=20been=20touched=20throughou?=
 =?UTF-8?q?t=20the=20years=20has=20been=20minor=20PRs=20and=20entire=20php?=
 =?UTF-8?q?-src=20grep=20commits.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

If anything this belongs to the phpruntests.git repository.
---
 .../src/setup/gtCommandLineOptions.php             | 98 ----------------------
 1 file changed, 98 deletions(-)
 delete mode 100644 scripts/dev/generate-phpt/src/setup/gtCommandLineOptions.php

(limited to 'scripts/dev/generate-phpt/src/setup/gtCommandLineOptions.php')

diff --git a/scripts/dev/generate-phpt/src/setup/gtCommandLineOptions.php b/scripts/dev/generate-phpt/src/setup/gtCommandLineOptions.php
deleted file mode 100644
index 0e4d878bab..0000000000
--- a/scripts/dev/generate-phpt/src/setup/gtCommandLineOptions.php
+++ /dev/null
@@ -1,98 +0,0 @@
-<?php
-
-/**
- * Parse command line options
- *
- */
-class gtCommandLineOptions {
-
-  protected $shortOptions = array(
-    'b',
-    'e',
-    'v',
-    'h',
-  );
-
-  protected $shortOptionsWithArgs = array(
-    'c',
-    'm',
-    'f',
-    'i',
-    's',
-    'x',
-    'k',
-  );
-  
-  protected $options;
-
-  protected function isShortOption($arg)
-  {
-    return (substr($arg, 0, 1) == '-') && (substr($arg, 1, 1) != '-');
-  }
-
-  public function isValidOptionArg($array, $index) {
-    if (!isset($array[$index]))
-    {
-      return false;
-    }
-    return substr($array[$index], 0, 1) != '-';
-  }
-
-
-  public function parse($argv)
-  {
-    if(count($argv) < 2) {
-      throw new gtMissingOptionsException('Command line options are required');
-    }
-    
-    for ($i=1; $i<count($argv); $i++) {
-
-      if ($this->isShortOption($argv[$i])) {
-        $option = substr($argv[$i], 1);
-      } else {
-        throw new gtUnknownOptionException('Unrecognised command line option ' . $argv[$i]);
-      }
-
-      if (!in_array($option, array_merge($this->shortOptions, $this->shortOptionsWithArgs)))
-      {
-        throw new gtUnknownOptionException('Unknown option ' . $argv[$i]);
-      }
-
-      if (in_array($option, $this->shortOptions)) {
-        $this->options[$option] = true;
-        continue;
-      }
-
-      if (!$this->isValidOptionArg($argv, $i + 1))
-      {
-        throw new gtMissingArgumentException('Missing argument for command line option ' . $argv[$i]);
-      }
-
-      $i++;
-      $this->options[$option] = $argv[$i];
-    }
-  }
-  
- /**
-   *
-   */
-  public function getOption($option)
-  {
-    if (!isset($this->options[$option])) {
-      return false;
-    }
-    return $this->options[$option];
-  }
-
-
-  /**
-   * Check whether an option exists
-   */
-  public function hasOption($option)
-  {
-    return isset($this->options[$option]);
-  }
-
-
-}
-?>
\ No newline at end of file
-- 
cgit v1.2.1