1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
|
/*
* 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_STATEMENT
#define SKSL_STATEMENT
#include "include/private/SkSLIRNode.h"
#include "include/private/SkSLSymbol.h"
namespace SkSL {
/**
* Abstract supertype of all statements.
*/
class Statement : public IRNode {
public:
enum Kind {
kBlock = (int) Symbol::Kind::kLast + 1,
kBreak,
kContinue,
kDiscard,
kDo,
kExpression,
kFor,
kIf,
kInlineMarker,
kNop,
kReturn,
kSwitch,
kSwitchCase,
kVarDeclaration,
kFirst = kBlock,
kLast = kVarDeclaration,
};
Statement(int line, Kind kind)
: INHERITED(line, (int) kind) {
SkASSERT(kind >= Kind::kFirst && kind <= Kind::kLast);
}
Kind kind() const {
return (Kind) fKind;
}
/**
* Use is<T> to check the type of a statement.
* e.g. replace `s.kind() == Statement::Kind::kReturn` with `s.is<ReturnStatement>()`.
*/
template <typename T>
bool is() const {
return this->fKind == T::kStatementKind;
}
/**
* Use as<T> to downcast statements.
* e.g. replace `(ReturnStatement&) s` with `s.as<ReturnStatement>()`.
*/
template <typename T>
const T& as() const {
SkASSERT(this->is<T>());
return static_cast<const T&>(*this);
}
template <typename T>
T& as() {
SkASSERT(this->is<T>());
return static_cast<T&>(*this);
}
virtual bool isEmpty() const {
return false;
}
virtual std::unique_ptr<Statement> clone() const = 0;
private:
using INHERITED = IRNode;
};
} // namespace SkSL
#endif
|
