11 #ifndef WRENCH_SERVICEPROPERTY_H 12 #define WRENCH_SERVICEPROPERTY_H 16 #define DECLARE_PROPERTY_NAME(name) static const std::string name 18 #define SET_PROPERTY_NAME(classname, name) const std::string classname::name=#name 35 #endif //WRENCH_SERVICEPROPERTY_H Configurable properties for a Service.
Definition: ServiceProperty.h:26
Definition: TerminalOutput.cpp:15