// This file is generated by WOK (CPPExt). // Please do not edit this file; modify original file instead. // The copyright and license terms as defined for the original file apply to // this header file considered to be the "object code" form of the original source. #ifndef _Dynamic_IntegerParameter_HeaderFile #define _Dynamic_IntegerParameter_HeaderFile #ifndef _Standard_HeaderFile #include #endif #ifndef _Standard_DefineHandle_HeaderFile #include #endif #ifndef _Handle_Dynamic_IntegerParameter_HeaderFile #include #endif #ifndef _Standard_Integer_HeaderFile #include #endif #ifndef _Dynamic_Parameter_HeaderFile #include #endif #ifndef _Standard_CString_HeaderFile #include #endif #ifndef _Standard_OStream_HeaderFile #include #endif //! This class describes a parameter with an integer
//! as its value.
class Dynamic_IntegerParameter : public Dynamic_Parameter { public: //! Creates an IntegerParameter with as
//! identifier.
Standard_EXPORT Dynamic_IntegerParameter(const Standard_CString aparameter); //! Creates an IntegerParameter with as
//! identifier and as initial value.
Standard_EXPORT Dynamic_IntegerParameter(const Standard_CString aparameter,const Standard_Integer avalue); //! Returns the integer value .
Standard_EXPORT Standard_Integer Value() const; //! Sets the field with the integer value
Standard_EXPORT void Value(const Standard_Integer avalue) ; //! Useful for debugging.
Standard_EXPORT virtual void Dump(Standard_OStream& astream) const; DEFINE_STANDARD_RTTI(Dynamic_IntegerParameter) protected: private: Standard_Integer thevalue; }; // other Inline functions and methods (like "C++: function call" methods) #endif