cs_cfg_edge_set.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.
 */

#ifndef CS_CFG_EDGE_SET_HPP
#define CS_CFG_EDGE_SET_HPP

#include "cs_set.hpp"
#include "cs_cfg_edge_fwd.hpp"
#include "cs_point_decl.hpp"
#include "cs_cfg_edge_set.h"

#ifndef SWIG
namespace cs{
    inline cs_result cs_cfg_edge_set_iter_first_pair(
        const cs_const_cfg_edge_set &l_cfg_edge_set, 
        cs_cfg_edge* edge, 
        cs_cfg_edge_set_iter* cfg_edge_set_iter)
    {
        return cs_cfg_edge_set_iter_first(&l_cfg_edge_set,
                                          &edge->sv,
                                          &edge->lbl,
                                          cfg_edge_set_iter);
    }
    
    inline cs_result cs_cfg_edge_set_iter_next_pair(
        cs_cfg_edge* edge, 
        cs_cfg_edge_set_iter* cfg_edge_set_iter)
    {
        return cs_cfg_edge_set_iter_next(&edge->sv,
                                         &edge->lbl,
                                         cfg_edge_set_iter);
    }
}
#endif


#define CS_SET_IMPL_ID(name) cs_cfg_edge_ ## name
#define CS_SET_IMPL_KEY cfg_edge
#define CS_SET_IMPL_FIRST cs_cfg_edge_set_iter_first_pair
#define CS_SET_IMPL_NEXT cs_cfg_edge_set_iter_next_pair
#define CS_SET_IMPL_MUTABLE 1
#include "cs_set_impl.hpp"

namespace cs{
    template<>
    class cglue<cfg_edge_set>
    {
        cglue();
        friend class point;
    CS_CXX_API_CGLUE_ACCESS_MODIFIER:
        typedef cs_cfg_edge_set ctype;
        typedef cfg_edge_set type;
        static type wrap(const ctype &c, bool frozen)
        { return type(c, frozen); }
        static ctype unwrap(const type &c)
        { return c.unwrap(); }
    };

    template<>
    class set_mixin<cfg_edge_set>{
    protected:
        set_mixin(){}
    };
}

#endif /* CS_CFG_EDGE_SET_HPP */