ac = $ac;
parent::__construct ( $encoding );
}
public function paintHeader($test_name) {
parent::paintHeader ( $test_name );
?>
Max memory usage: $max_mem bytes";
}
parent::paintFooter ( $test_name );
}
protected function getCss() {
$css = parent::getCss ();
$css .= '
#select {position:absolute;top:0.2em;right:0.2em;}
';
return $css;
}
public function getTestList() {
// hacky; depends on a specific implementation of paintPass, etc.
$list = parent::getTestList ();
$testcase = $list [1];
if (class_exists ( $testcase, false ))
$file = str_replace ( '_', '/', $testcase ) . '.php';
else
$file = $testcase;
$list [1] = '' . $testcase . '';
return $list;
}
}
// vim: et sw=4 sts=4