Otawa  0.10
features.h
Go to the documentation of this file.
1 /*
2  * ast module features
3  *
4  * This file is part of OTAWA
5  * Copyright (c) 2013, IRIT UPS.
6  *
7  * OTAWA is free software; you can redistribute it and/or modify
8  * it under the terms of the GNU General Public License as published by
9  * the Free Software Foundation; either version 2 of the License, or
10  * (at your option) any later version.
11  *
12  * OTAWA is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with OTAWA; if not, write to the Free Software
19  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
20  */
21 #ifndef OTAWA_AST_FEATURES_H_
22 #define OTAWA_AST_FEATURES_H_
23 
24 #include "AST.h"
25 
26 namespace otawa { namespace ast {
27 
28 extern Identifier<String> PATH;
29 extern p::feature FEATURE;
30 extern Identifier<FunAST *> FUN;
31 extern Identifier<ASTInfo *> INFO;
32 
33 } } // otawa::ast
34 
35 #endif /* OTAWA_AST_FEATURES_H_ */
otawa::ast::PATH
Identifier< String > PATH
This identifier may be passed for specifying the path a file for loading the AST. ...
otawa::ast::FUN
Identifier< FunAST * > FUN
A property with this identifier is put on each instruction, start of an AST function.
otawa::ast::INFO
Identifier< ASTInfo * > INFO
Identifier of the property storing the AST information on the framework object.
otawa::ast::FEATURE
p::feature FEATURE
This feature ensures that the AST structure of the binary has been loaded.