Public Types | |
typedef std::deque< vhdRequiredServiceInterfaceRef > | _RequiredInterfaces |
typedef std::set< std::string > | _StringSet |
Public Attributes | |
vhtBool | _configUnderConstructionFlag |
vhtBool | _configuredFlag |
std::string | _serviceClassName |
std::string | _serviceName |
_RequiredInterfaces | _requiredInterfaces |
_StringSet | _controlledPropertyTypes |
_StringSet | _observedPropertyTypes |
_StringSet | _publishedEventTypes |
_StringSet | _receivedEventTypes |
std::string | _warpClockName |
typedef std::deque<vhdRequiredServiceInterfaceRef> vhdServiceConfigProperty::_Impl::_RequiredInterfaces |
typedef std::set<std::string> vhdServiceConfigProperty::_Impl::_StringSet |
std::string vhdServiceConfigProperty::_Impl::_serviceName |
std::string vhdServiceConfigProperty::_Impl::_warpClockName |