2$BEAUT_PATH = realpath(
".").
"/Services/COPage/syntax_highlight/php";
4require_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(