2020-03-02 20:47:43 +00:00
|
|
|
// Copyright 2020 The Tint Authors.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
// you may not use this file except in compliance with the License.
|
|
|
|
// You may obtain a copy of the License at
|
|
|
|
//
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
//
|
|
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
// See the License for the specific language governing permissions and
|
|
|
|
// limitations under the License.
|
|
|
|
|
|
|
|
#include "src/ast/if_statement.h"
|
|
|
|
|
|
|
|
#include "src/ast/else_statement.h"
|
2020-12-01 18:04:17 +00:00
|
|
|
#include "src/ast/module.h"
|
2021-01-21 16:20:40 +00:00
|
|
|
#include "src/clone_context.h"
|
2020-03-02 20:47:43 +00:00
|
|
|
|
2020-12-02 18:19:28 +00:00
|
|
|
TINT_INSTANTIATE_CLASS_ID(tint::ast::IfStatement);
|
|
|
|
|
2020-03-02 20:47:43 +00:00
|
|
|
namespace tint {
|
|
|
|
namespace ast {
|
|
|
|
|
2020-07-27 15:25:00 +00:00
|
|
|
IfStatement::IfStatement(const Source& source,
|
2020-11-16 16:31:07 +00:00
|
|
|
Expression* condition,
|
2020-12-07 20:11:24 +00:00
|
|
|
BlockStatement* body,
|
|
|
|
ElseStatementList else_stmts)
|
|
|
|
: Base(source),
|
|
|
|
condition_(condition),
|
|
|
|
body_(body),
|
|
|
|
else_statements_(std::move(else_stmts)) {}
|
2020-03-02 20:47:43 +00:00
|
|
|
|
2020-04-09 18:52:06 +00:00
|
|
|
IfStatement::IfStatement(IfStatement&&) = default;
|
|
|
|
|
2020-03-02 20:47:43 +00:00
|
|
|
IfStatement::~IfStatement() = default;
|
|
|
|
|
2020-12-01 18:04:17 +00:00
|
|
|
IfStatement* IfStatement::Clone(CloneContext* ctx) const {
|
|
|
|
auto* cloned = ctx->mod->create<IfStatement>(
|
2020-12-07 20:11:24 +00:00
|
|
|
ctx->Clone(source()), ctx->Clone(condition_), ctx->Clone(body_),
|
|
|
|
ctx->Clone(else_statements_));
|
2020-12-01 18:04:17 +00:00
|
|
|
return cloned;
|
|
|
|
}
|
|
|
|
|
2020-03-02 20:47:43 +00:00
|
|
|
bool IfStatement::IsValid() const {
|
2020-07-27 15:25:00 +00:00
|
|
|
if (condition_ == nullptr || !condition_->IsValid()) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
if (body_ == nullptr || !body_->IsValid()) {
|
2020-03-02 20:47:43 +00:00
|
|
|
return false;
|
2020-03-16 13:39:44 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
bool found_else = false;
|
2020-11-16 16:31:07 +00:00
|
|
|
for (auto* el : else_statements_) {
|
2020-03-16 13:39:44 +00:00
|
|
|
// Else statement must be last
|
|
|
|
if (found_else)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
if (el == nullptr || !el->IsValid())
|
|
|
|
return false;
|
|
|
|
|
|
|
|
if (el->condition() == nullptr)
|
|
|
|
found_else = true;
|
|
|
|
}
|
|
|
|
|
2020-03-02 20:47:43 +00:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
void IfStatement::to_str(std::ostream& out, size_t indent) const {
|
|
|
|
make_indent(out, indent);
|
|
|
|
out << "If{" << std::endl;
|
2020-03-16 13:39:44 +00:00
|
|
|
|
|
|
|
// Open if conditional
|
|
|
|
make_indent(out, indent + 2);
|
|
|
|
out << "(" << std::endl;
|
|
|
|
|
|
|
|
condition_->to_str(out, indent + 4);
|
|
|
|
|
|
|
|
// Close if conditional
|
|
|
|
make_indent(out, indent + 2);
|
|
|
|
out << ")" << std::endl;
|
|
|
|
|
|
|
|
// Open if body
|
2020-03-02 20:47:43 +00:00
|
|
|
make_indent(out, indent + 2);
|
|
|
|
out << "{" << std::endl;
|
|
|
|
|
2020-07-27 15:25:00 +00:00
|
|
|
if (body_ != nullptr) {
|
2020-11-16 16:31:07 +00:00
|
|
|
for (auto* stmt : *body_) {
|
2020-07-27 15:25:00 +00:00
|
|
|
stmt->to_str(out, indent + 4);
|
|
|
|
}
|
|
|
|
}
|
2020-03-02 20:47:43 +00:00
|
|
|
|
2020-03-16 13:39:44 +00:00
|
|
|
// Close the if body
|
2020-03-02 20:47:43 +00:00
|
|
|
make_indent(out, indent + 2);
|
|
|
|
out << "}" << std::endl;
|
|
|
|
|
2020-03-16 13:39:44 +00:00
|
|
|
// Close the If
|
|
|
|
make_indent(out, indent);
|
|
|
|
out << "}" << std::endl;
|
|
|
|
|
2020-11-16 16:31:07 +00:00
|
|
|
for (auto* e : else_statements_) {
|
2020-03-16 13:39:44 +00:00
|
|
|
e->to_str(out, indent);
|
2020-03-02 20:47:43 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace ast
|
|
|
|
} // namespace tint
|