expression.h

// Copyright (c) 2020-now by the Zeek Project. See LICENSE for details.
 
#pragma once
 
#include <string>
#include <utility>
 
#include <hilti/ast/forward.h>
#include <hilti/ast/node.h>
#include <hilti/ast/type.h>
 
namespace hilti {
 
class Expression : public Node {
public:
    auto isConstant() const { return type()->isConstant(); }
 
    auto isResolved(node::CycleDetector* cd = nullptr) const { return type()->type()->isResolved(cd); }
 
    virtual QualifiedType* type() const = 0;
 
protected:
    Expression(ASTContext* ctx, node::Tags node_tags, Nodes children, Meta meta)
        : Node::Node(ctx, node_tags, std::move(children), std::move(meta)) {}
 
    std::string _dump() const override;
 
    HILTI_NODE_0(Expression, override);
};
 
namespace expression {
 
inline bool areResolved(const node::Range<Expression>& exprs) {
    for ( const auto& e : exprs ) {
        if ( ! e->isResolved() )
            return false;
    }
 
    return true;
}
 
} // namespace expression
 
} // namespace hilti