Concepts.hpp

Go to the documentation of this file.

//
// Created by Matthew McCall on 10/20/24.
//
 
#ifndef OASIS_CONCEPTS_HPP
#define OASIS_CONCEPTS_HPP
 
namespace Oasis {
class Expression;
enum class ExpressionType;
 
template <typename T>
concept IExpression = (requires(T, const Expression& other) {
    {
        T::GetStaticCategory()
    } -> std::same_as<uint32_t>;
    {
        T::GetStaticType()
    } -> std::same_as<ExpressionType>;
} && std::derived_from<T, Expression>) || std::is_same_v<T, Expression>;
 
template <template <IExpression, IExpression> class DerivedT, IExpression MostSigOpT, IExpression LeastSigOpT>
class BinaryExpression;
 
template <template <IExpression> class DerivedT, IExpression OpT>
class UnaryExpression;
 
template <typename T, typename... U>
concept IsAnyOf = (std::same_as<T, U> || ...);
 
template <typename Derived>
concept DerivedFromBinaryExpression = requires(Derived& d) {
    []<template <IExpression, IExpression> typename D, IExpression T, IExpression U>(BinaryExpression<D, T, U>&) {}(d);
};
 
template <typename Derived>
concept DerivedFromUnaryExpression = requires(Derived& d) {
    []<template <IExpression> typename D, IExpression T>(UnaryExpression<D, T>&) {}(d);
};
 
}
 
#endif // OASIS_CONCEPTS_HPP