mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Ivan Krysak
40 lines
973 B
C++
40 lines
973 B
C++
#pragma once
|
|
|
|
//
|
|
// This file is distributed under the MIT License. See LICENSE.md for details.
|
|
//
|
|
|
|
#include "revng/EarlyFunctionAnalysis/ControlFlowGraphCache.h"
|
|
#include "revng/Support/MetaAddress.h"
|
|
#include "revng/Support/MetaAddress/YAMLTraits.h"
|
|
#include "revng/Support/YAMLTraits.h"
|
|
#include "revng/TupleTree/TupleTree.h"
|
|
|
|
/* TUPLE-TREE-YAML
|
|
name: DecoratedFunction
|
|
doc: A decorated function meant to be used for EFA tests
|
|
type: struct
|
|
fields:
|
|
- name: Entry
|
|
type: MetaAddress
|
|
- name: Name
|
|
type: string
|
|
- name: ControlFlowGraph
|
|
type: efa::ControlFlowGraph
|
|
- name: Attributes
|
|
sequence:
|
|
type: MutableSet
|
|
elementType: model::FunctionAttribute::Values
|
|
key:
|
|
- Entry
|
|
TUPLE-TREE-YAML */
|
|
|
|
#include "Generated/Early/DecoratedFunction.h"
|
|
|
|
class revng::DecoratedFunction : public revng::generated::DecoratedFunction {
|
|
public:
|
|
using revng::generated::DecoratedFunction::DecoratedFunction;
|
|
};
|
|
|
|
#include "Generated/Late/DecoratedFunction.h"
|