skia2/include/sksl/DSLStatement.h
Ethan Nicholas 549c6b8739 Added Poison values to SkSL to improve DSL error handling
This also tightens up the rules around releasing DSL objects.

Bug: skia:12133
Change-Id: I11a6d8fbcec58374f7b5ed5ced1c5c112e2b7cc7
Reviewed-on: https://skia-review.googlesource.com/c/skia/+/421323
Reviewed-by: Brian Osman <brianosman@google.com>
Commit-Queue: Ethan Nicholas <ethannicholas@google.com>
2021-06-28 19:15:16 +00:00

112 lines
2.6 KiB
C++

/*
* Copyright 2021 Google LLC.
*
* Use of this source code is governed by a BSD-style license that can be
* found in the LICENSE file.
*/
#ifndef SKSL_DSL_STATEMENT
#define SKSL_DSL_STATEMENT
#include "include/core/SkString.h"
#include "include/core/SkTypes.h"
#include "include/private/SkSLStatement.h"
#include "include/sksl/DSLErrorHandling.h"
#include <memory>
class GrGLSLShaderBuilder;
namespace SkSL {
class Expression;
class Statement;
namespace dsl {
class DSLBlock;
class DSLExpression;
class DSLPossibleExpression;
class DSLPossibleStatement;
class DSLVar;
class DSLStatement {
public:
DSLStatement();
DSLStatement(DSLExpression expr);
DSLStatement(DSLPossibleExpression expr, PositionInfo pos = PositionInfo());
DSLStatement(DSLPossibleStatement stmt, PositionInfo pos = PositionInfo());
DSLStatement(DSLBlock block);
DSLStatement(DSLStatement&&) = default;
~DSLStatement();
DSLStatement& operator=(DSLStatement&& other) = default;
bool valid() { return fStatement != nullptr; }
std::unique_ptr<SkSL::Statement> release() {
SkASSERT(this->valid());
return std::move(fStatement);
}
private:
DSLStatement(std::unique_ptr<SkSL::Statement> stmt);
DSLStatement(std::unique_ptr<SkSL::Expression> expr);
std::unique_ptr<SkSL::Statement> releaseIfValid() {
return std::move(fStatement);
}
std::unique_ptr<SkSL::Statement> fStatement;
friend class DSLBlock;
friend class DSLCore;
friend class DSLExpression;
friend class DSLPossibleStatement;
friend class DSLWriter;
friend DSLStatement operator,(DSLStatement left, DSLStatement right);
};
/**
* Represents a Statement which may have failed and/or have pending errors to report. Converting a
* PossibleStatement into a Statement requires PositionInfo so that any pending errors can be
* reported at the correct position.
*
* PossibleStatement is used instead of Statement in situations where it is not possible to capture
* the PositionInfo at the time of Statement construction.
*/
class DSLPossibleStatement {
public:
DSLPossibleStatement(std::unique_ptr<SkSL::Statement> stmt);
DSLPossibleStatement(DSLPossibleStatement&& other) = default;
~DSLPossibleStatement();
bool valid() { return fStatement != nullptr; }
std::unique_ptr<SkSL::Statement> release() {
return DSLStatement(std::move(*this)).release();
}
private:
std::unique_ptr<SkSL::Statement> fStatement;
friend class DSLStatement;
};
DSLStatement operator,(DSLStatement left, DSLStatement right);
} // namespace dsl
} // namespace SkSL
#endif