runtime/onert/core/src/ir/verifier/Verifier.h

   1 /*
   2  * Copyright (c) 2018 Samsung Electronics Co., Ltd. All Rights Reserved
   3  *
   4  * Licensed under the Apache License, Version 2.0 (the "License");
   5  * you may not use this file except in compliance with the License.
   6  * You may obtain a copy of the License at
   7  *
   8  *      http://www.apache.org/licenses/LICENSE-2.0
   9  *
  10  * Unless required by applicable law or agreed to in writing, software
  11  * distributed under the License is distributed on an "AS IS" BASIS,
  12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  13  * See the License for the specific language governing permissions and
  14  * limitations under the License.
  15  */
  16
  17 #ifndef __ONERT_GRAPH_VERIFIER_VERIFIER_H__
  18 #define __ONERT_GRAPH_VERIFIER_VERIFIER_H__
  19
  20 namespace onert
  21 {
  22 namespace ir
  23 {
  24 class Graph;
  25 } // namespace ir
  26 } // namespace onert
  27
  28 namespace onert
  29 {
  30 namespace ir
  31 {
  32 namespace verifier
  33 {
  34
  35 struct IVerifier
  36 {
  37   virtual ~IVerifier() = default;
  38   virtual bool verify(const Graph &graph) const noexcept = 0;
  39 };
  40
  41 } // namespace verifier
  42 } // namespace ir
  43 } // namespace onert
  44
  45 namespace onert
  46 {
  47 namespace ir
  48 {
  49 namespace verifier
  50 {
  51
  52 class DAGChecker : public IVerifier
  53 {
  54 public:
  55   bool verify(const Graph &graph) const noexcept override;
  56 };
  57
  58 class EdgeConsistencyChecker : public IVerifier
  59 {
  60 public:
  61   bool verify(const Graph &graph) const noexcept override;
  62 };
  63
  64 } // namespace verifier
  65 } // namespace ir
  66 } // namespace onert
  67
  68 #endif // __ONERT_GRAPH_VERIFIER_VERIFIER_H__