2 $BEAUT_PATH = realpath(
".").
"/Services/COPage/syntax_highlight/php";
 
    4 require_once(
"$BEAUT_PATH/Beautifier/HFile.php");
 
   20 $this->colours          = array(
"blue");
 
   21 $this->quotecolour              = 
"blue";
 
   22 $this->blockcommentcolour       = 
"green";
 
   23 $this->linecommentcolour        = 
"green";
 
   27 $this->indent                   = array();
 
   28 $this->unindent                 = array();
 
   32 $this->stringchars              = array();
 
   33 $this->delimiters               = array();
 
   38 $this->linecommenton            = array(
"");
 
   39 $this->blockcommenton           = array(
"");
 
   40 $this->blockcommentoff          = array(
"");
 
   44 $this->keywords                 = array(
 
   70                         "CLOCK_ENABLED_BY" => 
"1", 
 
   80                         "DEMORGAN_SYNTH" => 
"1", 
 
   82                         "DISABLED_ONLY_FOR_TEST" => 
"1", 
 
  114                         "MAX_SYMBOLS" => 
"1", 
 
  115                         "MAX_FOR_PTERMS" => 
"1", 
 
  119                         "NO_COLLAPSE" => 
"1", 
 
  128                         "PART_NUMBER" => 
"1", 
 
  130                         "POLARITY_CONTROL" => 
"1", 
 
  141                         "STATE_MACHINE" => 
"1", 
 
  142                         "STATE_VALUE" => 
"1", 
 
  144                         "SYSTEM_TEST" => 
"1", 
 
  148                         "TEST_VECTORS" => 
"1", 
 
  153                         "TRUTH_TABLE" => 
"1", 
 
  160                         "XOR_POLARITY_CONTROL" => 
"1", 
 
  161                         "XOR_TO_SOP_SYNTH" => 
"1");
 
  170 $this->linkscripts      = array(