cs_symbol_set_decl.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_SYMBOL_SET_DECL_HPP
#define CS_SYMBOL_SET_DECL_HPP

#include "cs_set.hpp"
#include "cs_symbol_set_fwd.hpp"
#include "cs_symbol_fwd.hpp"
#include "cs_types.hpp"

#define CS_SET_IMPL_ID(name) cs_abs_loc_ ## name
#define CS_SET_IMPL_KEY symbol
#define CS_SET_IMPL_MUTABLE 2
#include "cs_set_impl.hpp"

namespace cs{

  template<> class set_mixin<mutable_set<symbol> >
  {
        cs_abs_loc_set unwrap() const
        { return cglue<symbol_set>::unwrap(*static_cast<const symbol_set*>(this)); }
    protected:
        set_mixin(){}
    public:

        point_set used_points() const;
        point_set killed_points() const;
        point_set cond_killed_points() const;
        point_set may_killed_points() const;
    };
}

#endif /* CS_SYMBOL_SET_DECL_HPP */