+ unique(keep_symbols);
+}
+
+
+BuildInfo::LanguageStandard::LanguageStandard(const string &std)
+{
+ string::size_type num = string::npos;
+ for(string::size_type i=0; (num==string::npos && i<std.size()); ++i)
+ if(isdigit(static_cast<unsigned char>(std[i])))
+ num = i;
+ type = std.substr(0, num);
+ year = lexical_cast<unsigned>(std.substr(num));
+ year += (year<70 ? 2000 : 1900);
+}
+
+string BuildInfo::LanguageStandard::str() const
+{
+ return format("%s%02d", type, year%100);