- switch (space) {
- case Default: break; // do nothing
- case Single:
- return "\\begin{singlespace}";
- case Onehalf:
- return "\\begin{onehalfspace}";
- case Double:
- return "\\begin{doublespace}";
- case Other:
- {
- ostringstream ost;
- ost << "\\begin{spacing}{"
- << getValueAsString() << '}';
- return ost.str();
- }
- }
- return string();
+ static char const * const env_names[]
+ = { "SingleSpace", "OnehalfSpace", "DoubleSpace", "Spacing", ""};
+ string const name = env_names[space];
+
+ return useSetSpace ? name : support::ascii_lowercase(name);
+}
+
+}
+
+string const Spacing::writeEnvirBegin(bool useSetSpace) const
+{
+ string const name = envName(space, useSetSpace);
+ if (space == Other)
+ return "\\begin{" + name + "}{" + getValueAsString() + '}';
+ else
+ return name.empty() ? string() : "\\begin{" + name + '}';