Annotations Member List

This is the complete list of members for Annotations, including all inherited members.

_constants	Annotations	private
_cpp_flags	Annotations	private
_enum_properties	Annotations	private
_errors	Annotations	private
_filename	Annotations	private
_globals	Annotations	private
_init	Annotations	private
_open_input_file()	Annotations	private
_procedures	Annotations	private
_set_properties	Annotations	private
Adapt_precision	Annotations	static
Adapt_Precision enum name	Annotations
Adapt_uses_uba	Annotations	static
Adaptivity	Annotations	static
Adaptor_statistics	Annotations	static
add_enum_property(enumPropertyAnn *property)	Annotations
add_globals(structuretree_list *structures)	Annotations
add_one_global(const std::string &varname, bool is_io)	Annotations
add_procedure(procedureAnn *new_procedure)	Annotations
add_set_property(setPropertyAnn *set_property)	Annotations
Aggressive_pruning	Annotations	static
Analysis_time	Annotations	static
Annotations(std::string &filename, str_list *cpp_flags)	Annotations
clear()	Annotations
clear_properties()	Annotations
constants_property() const	Annotations	inline
Current	Annotations	static
debug	Annotations	static
Diagnostic	Annotations	static
Disabled_properties	Annotations	static
Enabled_properties	Annotations	static
enum_properties() const	Annotations	inline
Error(int where, const std::string &msg)	Annotations
Error_oriented_adaptivity	Annotations	static
errors() const	Annotations	inline
FICI enum value	Annotations
FICS enum value	Annotations
filename()	Annotations	inline
Flow_insensitive_properties	Annotations	static
FSCI enum value	Annotations
FSCS enum value	Annotations
globals() const	Annotations	inline
init() const	Annotations	inline
lookup_enum_property(const std::string &name)	Annotations
lookup_global(const std::string &name)	Annotations
lookup_procedure(const std::string &name)	Annotations
lookup_property(const std::string &name)	Annotations
lookup_set_property(const std::string &name)	Annotations
new_global(const std::string &varname, bool is_external, bool is_io)	Annotations	private
Num_enabled_properties	Annotations	static
old_add_globals(parserid_list *vars)	Annotations	private
operator<<(std::ostream &o, const Annotations &anns)	Annotations	friend
print(std::ostream &o) const	Annotations
procedures() const	Annotations	inline
Prune_context_sensitive	Annotations	static
Pruned_procedures	Annotations	static
Quiet_reports	Annotations	static
Record_tested_objects	Annotations	static
set_properties() const	Annotations	inline
Show_actions	Annotations	static
Show_adaptivity	Annotations	static
Show_reports	Annotations	static
Skip_traces	Annotations	static
Start_brk	Annotations	static
UNIFY enum value	Annotations
Verbose_pointers	Annotations	static
Verbose_properties	Annotations	static
Warning(int where, const std::string &msg)	Annotations
~Annotations()	Annotations