ilang::smt::func_def_t Struct Reference

a function More...

#include <smt_ast.h>

Inheritance diagram for ilang::smt::func_def_t:

Public Member Functions
virtual std::string	toString () const override
	output to string

Static Public Member Functions
static void	ParseFromString (str_iterator &, func_def_t &)
	parse from file, but will not return but use a reference

Public Attributes
std::string	func_name
	func name
std::string	func_module
	func_module
std::string	args_text
	the initial args text, will be replaced by state_var_vec
std::vector< arg_t >	args
	arguments
var_type	ret_type
	its return type
std::string	func_body
	its content – will be replaced
std::string	extra_comment
	extra comment (optional)

Detailed Description

a function

---

The documentation for this struct was generated from the following file:

• smt_ast.h