Classes
class	AST
	This is the base class for the representation of programs as Abstract Syntax Trees. More...

class	ASTInfo
	This class stores all the function known for the current framework. More...

class	ASTLoader
	This class may be used for loading AST from an external file using the Heptane format (see doc/ directory for more details). More...

class	ASTProcessor
	This is a specialization of the processor class dedicated to AST processing. More...

class	BlockAST
	This class represents the leafs of the AST. More...

class	CallAST
	This class is a specialized block AST ended by a function call. More...

class	DoWhileAST
	Representation of C do{ ... More...

class	ForAST
	Representation of C language FOR loop. More...

class	FunAST
	This class represents functions in the AST representation. More...

class	FunProcessor
	This is a specialization of the processor class dedicated to function processing. More...

class	IfAST
	AST for representing selections. More...

class	SeqAST
	This AST represents sequences. More...

class	WhileAST
	Representation of an iteration with test at start of the loop. More...

Typedefs
typedef enum otawa::ast::ast_kind_t	ast_kind_t

Enumerations
enum	ast_kind_t { AST_Undef, AST_Nop, AST_Block, AST_Call, AST_Seq, AST_If, AST_While, AST_DoWhile, AST_For }

Functions
p::feature	FEATURE ("otawa::ast::FEATURE", new Maker< ASTLoader >())
	This feature ensures that the AST structure of the binary has been loaded. More...

Identifier< String >	PATH ("otawa::ast::PATH","")
	This identifier may be passed for specifying the path a file for loading the AST. More...

Identifier< ASTInfo * >	INFO ("otawa::ast::INFO", 0)
	Identifier of the property storing the AST information on the framework object. More...

Identifier< FunAST * >	FUN ("otawa::ast::FUN", 0)
	A property with this identifier is put on each instruction, start of an AST function. More...

Variables
Identifier< String >	PATH
	This identifier may be passed for specifying the path a file for loading the AST. More...

p::feature	FEATURE
	This feature ensures that the AST structure of the binary has been loaded. More...

Identifier< FunAST * >	FUN
	A property with this identifier is put on each instruction, start of an AST function. More...

Identifier< ASTInfo * >	INFO
	Identifier of the property storing the AST information on the framework object. More...

Typedef Documentation

Enumeration Type Documentation