<!DOCTYPE html
  PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<!--
Copyright (c) 2006 UGS Corp.

All Rights Reserved.

This software and related documentation are proprietary to UGS Corp.
-->
<html>
   <head>
      <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
      <title>Create a Checker from an Existing Checker</title>
      <script language="javaScript">
        abridged="false";
        displayConditions=new Array();
      </script>
      <link type="text/css" href="../css/main_styles.css" rel="stylesheet">
   </head>
   <body class="bodydocs" onload="top.pageLoader()" bgcolor="#FFFFFF">
      <div class="title_topic4" id="xps10_pagetitle">Create a Checker from an Existing Checker</div>
      <hr noshade="true"><a name="ndxgenid_checkmate132"></a><a name="ndxgenid_checkmate133"></a><table cellspacing="4" align="center">
         <tbody>
            <tr valign="top">
               <td bgcolor="#f7f7f7" colspan="1" rowspan="1" valign="top">
                  <p class="para_td"> <a class="links" href="javascript:void(0)" onclick="top.openFile('checkmate/create_checkers_ovw.html');return(false);">Overview</a></p>
               </td>
               <td bgcolor="#f7f7f7" colspan="1" rowspan="1" valign="top">
                  <p class="para_td"> <a class="links" href="javascript:void(0)" onclick="top.openFile('checkmate/overview_author_tasks.html');return(false);">How To</a></p>
               </td>
               <td bgcolor="#f7f7f7" colspan="1" rowspan="1" valign="top">
                  <p class="para_td"> <a class="links" href="javascript:void(0)" onclick="top.openFile('checkmate/create_ck_options.html');return(false);">Options</a></p>
               </td>
               <td bgcolor="#f7f7f7" colspan="1" rowspan="1" valign="top">
                  <p class="para_td"> <a class="links" href="javascript:void(0)" onclick="top.openFile('checkmate/concept.html');return(false);">Related Topics</a></p>
               </td>
            </tr>
         </tbody>
      </table><br><ol type="1" start="1">
         <li>
            <p class="para_item">Choose <b class="uiTerm">Analysis</b>&rarr; <b class="uiTerm">Check-Mate</b>&rarr; <b class="uiTerm">Author Checks</b>&rarr; <b class="uiTerm">Create/Edit Checker</b>.
            </p>
         </li>
         <li>
            <p class="para_item">Click <img align="bottom" src="graphics/browse.gif" border="0"> <b class="uiTerm"> Browse</b>.
            </p>
         </li>
         <li>
            <p class="para_item">Scroll through the<b class="uiTerm"> Checker</b> dialogs <b class="uiTerm">Categories</b> list to locate the category you want.
            </p>
         </li>
         <li>
            <p class="para_item">Click the plus sign of a category to expand it and view the individual checkers.</p>
         </li>
         <li>
            <p class="para_item">Click a checker and <b class="uiTerm">OK</b> the <b class="uiTerm">Checker</b> dialog.
            </p>
         </li>
         <li>
            <p class="para_item">To have data from this checker written to the part file, select the <b class="uiTerm">Save Log in Part</b> check box.
            </p>
         </li>
         <li>
            <p class="para_item">In the <b class="uiTerm">Display Name</b> text box, enter a unique name. Otherwise, the displayed name is duplicated from the existing checker.
            </p>
         </li>
         <li>
            <p class="para_item">To have the rule inactive by default when included in a profile, select the <b class="uiTerm">Function Disabled</b> check box.
            </p>
         </li>
         <li>
            <p class="para_item">Click  <img align="bottom" src="graphics/doc_ico.gif" border="0"> <b class="uiTerm">Documentation</b> to modify the checker's description.
            </p>
         </li>
         <li>
            <p class="para_item">Click <img align="bottom" src="graphics/customize_ico.gif" border="0"> <b class="uiTerm">Customize Checker</b> to select or clear <b class="uiTerm">User Parameters</b>.
            </p>
         </li>
         <li>
            <p class="para_item">To modify any of the checker's attributes, select the attribute from the <b class="uiTerm">Attributes</b> List box, then click <img align="bottom" src="graphics/edit_attribute.gif" border="0"> Edit Attribute.
            </p>
         </li>
         <li>
            <p class="para_item">To add a new attribute, click <img align="bottom" src="graphics/new_attribute_ico.gif" border="0"> <b class="uiTerm"> New Attribute</b>  .
            </p>
         </li>
         <li>
            <p class="para_item">To modify the existing checker function or add additional checkers, enter the function call in the <b class="uiTerm">Checker Function</b> text box.
            </p>
         </li>
         <li>
            <p class="para_item">Click <b class="uiTerm">Save Checker As</b> and enter a new and unique DFA file name.
            </p>
         </li>
      </ol>
   </body>
</html>