3
// Author: Sebastian Voecking <sebastian.voecking@uni-muenster.de>
5
define('kTypeOrca', 0);
6
define('kTypeOrcaRoot', 1);
7
define('kTypeCrun', 2);
8
define('kTypeHeader', 3);
9
define('kTypePlot', 4);
10
define('kTypeCustom', 5);
11
define('kTypePreview', 6);
12
define('kTypeXml', 7);
14
define('kHardwareUw', 0);
15
define('kHardwareIpe3', 1);
16
define('kHardwareIpe4', 2);
17
define('kHardwareInvalid', 3);
19
define("kSystemMainSpec", 0);
20
define("kSystemPreSpec", 1);
21
define("kSystemFPD", 2);
22
define("kSystemMonSpec", 3);
23
define("kSystemMyon", 4);
24
define("kSystemInvalid", 5);
28
private static $gTypeNames = array(
30
kTypeOrcaRoot => 'orcaroot',
32
kTypeHeader => 'header',
34
kTypeCustom => 'custom',
35
kTypePreview => 'preview',
38
private static $gHardwareNames = array(
40
kHardwareIpe3 => 'ipe3',
41
kHardwareIpe4 => 'ipe4',
42
kHardwareInvalid => 'invalid');
44
private static $gSystemNames = array(
45
kSystemMainSpec => 'kms',
46
kSystemPreSpec => 'kps',
48
kSystemMonSpec => 'mos',
50
kSystemInvalid => 'xxx');
52
static function FileTypeName($value)
54
if (array_key_exists($value, self::$gTypeNames)) {
55
return self::$gTypeNames[$value];
58
throw new ADEIException("Unknown file type $value");
62
static function FileTypeValue($type) {
63
$value = array_search($type, self::$gTypeNames);
64
if ($value !== FALSE) {
68
throw new ADEIException("Unknown file type '$type'");
72
static function HardwareName($value)
74
if (array_key_exists($value, self::$gHardwareNames)) {
75
return self::$gHardwareNames[$value];
78
throw new ADEIException("Unknown hardware $value");
82
static function HardwareValue($type) {
83
$value = array_search($type, self::$gHardwareNames);
84
if ($value !== FALSE) {
88
throw new ADEIException("Unknown hardware '$type'");
92
static function OrcaSystemName($value)
94
if (array_key_exists($value, self::$gSystemNames)) {
95
return self::$gSystemNames[$value];
98
throw new ADEIException("Unknown Orca system $value");
102
static function OrcaSystemValue($type) {
103
$value = array_search($type, self::$gSystemNames);
104
if ($value !== FALSE) {
108
throw new ADEIException("Unknown Orca system '$type'");