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
|
// Copyright 2014 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#ifndef SANDBOX_LINUX_BPF_DSL_BPF_DSL_IMPL_H_
#define SANDBOX_LINUX_BPF_DSL_BPF_DSL_IMPL_H_
#include "sandbox/linux/bpf_dsl/codegen.h"
#include "sandbox/sandbox_export.h"
namespace sandbox {
namespace bpf_dsl {
class PolicyCompiler;
namespace internal {
// Internal interface implemented by BoolExpr implementations.
class BoolExprImpl {
public:
BoolExprImpl(const BoolExprImpl&) = delete;
BoolExprImpl& operator=(const BoolExprImpl&) = delete;
// Compile uses |pc| to emit a CodeGen::Node that conditionally continues
// to either |then_node| or |false_node|, depending on whether the represented
// boolean expression is true or false.
virtual CodeGen::Node Compile(PolicyCompiler* pc,
CodeGen::Node then_node,
CodeGen::Node else_node) const = 0;
protected:
BoolExprImpl() {}
virtual ~BoolExprImpl() {}
};
// Internal interface implemented by ResultExpr implementations.
class ResultExprImpl {
public:
ResultExprImpl(const ResultExprImpl&) = delete;
ResultExprImpl& operator=(const ResultExprImpl&) = delete;
// Compile uses |pc| to emit a CodeGen::Node that executes the
// represented result expression.
virtual CodeGen::Node Compile(PolicyCompiler* pc) const = 0;
// HasUnsafeTraps returns whether the result expression is or recursively
// contains an unsafe trap expression.
virtual bool HasUnsafeTraps() const;
// IsAllow returns whether the result expression is an "allow" result.
virtual bool IsAllow() const;
// IsAllow returns whether the result expression is a "deny" result.
virtual bool IsDeny() const;
protected:
ResultExprImpl() {}
virtual ~ResultExprImpl() {}
};
} // namespace internal
} // namespace bpf_dsl
} // namespace sandbox
#endif // SANDBOX_LINUX_BPF_DSL_BPF_DSL_IMPL_H_
|
