color_table.e

   1 deferred class COLOR_TABLE
   2 feature
   3     black : COLOR is
   4     once
   5         !!Result.make(0, 0, 0)
   6     end
   7
   8     grey : COLOR is
   9     once
  10         !!Result.make(127, 127, 127)
  11     end
  12
  13     white : COLOR is
  14     once
  15         !!Result.make(255, 255, 255)
  16     end
  17
  18     darkred : COLOR is
  19     once
  20         !!Result.make(127, 0, 0)
  21     end
  22
  23     red : COLOR is
  24     once
  25         !!Result.make(255, 0, 0)
  26     end
  27
  28     cyan : COLOR is
  29     once
  30         !!Result.make(0, 255, 255)
  31     end
  32
  33     yellow : COLOR is
  34     once
  35         !!Result.make(255, 255, 0)
  36     end
  37
  38     purple : COLOR is
  39     once
  40         !!Result.make(255, 0, 255)
  41     end
  42
  43     blue : COLOR is
  44     once
  45         !!Result.make(0, 0, 255)
  46     end
  47
  48     green : COLOR is
  49     once
  50         !!Result.make(0, 255, 0)
  51     end
  52
  53     darkgreen : COLOR is
  54     once
  55         !!Result.make(0, 127, 0)
  56     end
  57
  58     darkpurple : COLOR is
  59     once
  60         !!Result.make(127, 0, 127)
  61     end
  62 end