cs_xform_query_result_decls.hpp

Go to the documentation of this file.

/*
 *      Copyright (c) 2023, an unpublished work by CodeSecure, Inc.
 *                      ALL RIGHTS RESERVED
 *
 *      Copyright (c) 2013-2023, an unpublished work by GrammaTech, Inc.
 *                      ALL RIGHTS RESERVED
 *
 *      This software is furnished under a license and may be used and
 *      copied only in accordance with the terms of such license and the
 *      inclusion of the above copyright notice.  This software or any
 *      other copies thereof may not be provided or otherwise made
 *      available to any other person.  Title to and ownership of the
 *      software is retained by CodeSecure, Inc.
 */
 static const xform_query_result IMPOSSIBLE;


 static const xform_query_result REDUNDANT;


 static const xform_query_result REDUNDANT_SUSPECT;


 static const xform_query_result OK;


 static const xform_query_result LHS_UNMODIFIED;


 static const xform_query_result RHS_UNMODIFIED;