create_deprecated_headers.HeaderSummary Class Reference

Public Member Functions
	__init__ (self, int n_processed_hpps, List[str] bad_hpps)
bool	were_all_hpps_processed (self)
str	__repr__ (self)

Public Attributes
	n_processed_hpps
	bad_hpps

Detailed Description

Definition at line 113 of file create_deprecated_headers.py.

Constructor & Destructor Documentation

__init__()

create_deprecated_headers.HeaderSummary.__init__	(		self,
		int	n_processed_hpps,
		List[str]	bad_hpps
	)

Definition at line 114 of file create_deprecated_headers.py.

Member Function Documentation

__repr__()

str create_deprecated_headers.HeaderSummary.__repr__

(

self

)

Definition at line 121 of file create_deprecated_headers.py.

were_all_hpps_processed()

bool create_deprecated_headers.HeaderSummary.were_all_hpps_processed

(

self

)

Definition at line 118 of file create_deprecated_headers.py.

Member Data Documentation

bad_hpps

create_deprecated_headers.HeaderSummary.bad_hpps

Definition at line 116 of file create_deprecated_headers.py.

n_processed_hpps

create_deprecated_headers.HeaderSummary.n_processed_hpps

Definition at line 115 of file create_deprecated_headers.py.

---

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

• moveit/scripts/create_deprecated_headers.py