SkSLTernaryExpression.h

Go to the documentation of this file.

/*
 * Copyright 2016 Google Inc.
 *
 * Use of this source code is governed by a BSD-style license that can be
 * found in the LICENSE file.
 */
 
#ifndef SKSL_TERNARYEXPRESSION
#define SKSL_TERNARYEXPRESSION
 
#include "include/core/SkTypes.h"
#include "src/sksl/SkSLPosition.h"
#include "src/sksl/ir/SkSLExpression.h"
#include "src/sksl/ir/SkSLIRNode.h"
#include "src/sksl/ir/SkSLType.h"
 
#include <cstdint>
#include <memory>
#include <string>
#include <utility>
 
namespace SkSL {
 
class Context;
enum class OperatorPrecedence : uint8_t;
 
/**
 * A ternary expression (test ? ifTrue : ifFalse).
 */
class TernaryExpression final : public Expression {
public:
    inline static constexpr Kind kIRNodeKind = Kind::kTernary;
 
    TernaryExpression(Position pos, std::unique_ptr<Expression> test,
            std::unique_ptr<Expression> ifTrue, std::unique_ptr<Expression> ifFalse)
        : INHERITED(pos, kIRNodeKind, &ifTrue->type())
        , fTest(std::move(test))
        , fIfTrue(std::move(ifTrue))
        , fIfFalse(std::move(ifFalse)) {
        SkASSERT(this->ifTrue()->type().matches(this->ifFalse()->type()));
    }
 
    // Creates a potentially-simplified form of the ternary. Typechecks and coerces input
    // expressions; reports errors via ErrorReporter.
    static std::unique_ptr<Expression> Convert(const Context& context,
                                               Position pos,
                                               std::unique_ptr<Expression> test,
                                               std::unique_ptr<Expression> ifTrue,
                                               std::unique_ptr<Expression> ifFalse);
 
    // Creates a potentially-simplified form of the ternary; reports errors via ASSERT.
    static std::unique_ptr<Expression> Make(const Context& context,
                                            Position pos,
                                            std::unique_ptr<Expression> test,
                                            std::unique_ptr<Expression> ifTrue,
                                            std::unique_ptr<Expression> ifFalse);
 
    std::unique_ptr<Expression>& test() {
        return fTest;
    }
 
    const std::unique_ptr<Expression>& test() const {
        return fTest;
    }
 
    std::unique_ptr<Expression>& ifTrue() {
        return fIfTrue;
    }
 
    const std::unique_ptr<Expression>& ifTrue() const {
        return fIfTrue;
    }
 
    std::unique_ptr<Expression>& ifFalse() {
        return fIfFalse;
    }
 
    const std::unique_ptr<Expression>& ifFalse() const {
        return fIfFalse;
    }
 
    std::unique_ptr<Expression> clone(Position pos) const override {
        return std::make_unique<TernaryExpression>(pos, this->test()->clone(),
                                                   this->ifTrue()->clone(),
                                                   this->ifFalse()->clone());
    }
 
    std::string description(OperatorPrecedence parentPrecedence) const override;
 
private:
    std::unique_ptr<Expression> fTest;
    std::unique_ptr<Expression> fIfTrue;
    std::unique_ptr<Expression> fIfFalse;
 
    using INHERITED = Expression;
};
 
}  // namespace SkSL
 
#endif