diff options
author | Rustan Leino <unknown> | 2013-01-23 17:33:15 -0800 |
---|---|---|
committer | Rustan Leino <unknown> | 2013-01-23 17:33:15 -0800 |
commit | 336ca6ddd444374e9df63ce376f58e9eb7ed91b3 (patch) | |
tree | 74d172d6ea735473c41696236bd3a14a4f4959fb | |
parent | 30daf75f78b331e971ba08cf794ec006441a722b (diff) |
Let Boogie clients determine their own version string
-rw-r--r-- | Source/Core/CommandLineOptions.cs | 8 | ||||
-rw-r--r-- | Source/Core/Xml.cs | 2 |
2 files changed, 5 insertions, 5 deletions
diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs index 37c7eeae..9654f173 100644 --- a/Source/Core/CommandLineOptions.cs +++ b/Source/Core/CommandLineOptions.cs @@ -36,19 +36,19 @@ namespace Microsoft.Boogie { DescriptiveToolName = descriptiveName;
}
- public static string/*!*/ VersionNumber {
+ public virtual string/*!*/ VersionNumber {
get {
Contract.Ensures(Contract.Result<string>() != null);
return cce.NonNull(cce.NonNull(System.Diagnostics.FileVersionInfo.GetVersionInfo(System.Reflection.Assembly.GetExecutingAssembly().Location)).FileVersion);
}
}
- public static string/*!*/ VersionSuffix {
+ public virtual string/*!*/ VersionSuffix {
get {
Contract.Ensures(Contract.Result<string>() != null);
- return " version " + VersionNumber + ", Copyright (c) 2003-2012, Microsoft.";
+ return " version " + VersionNumber + ", Copyright (c) 2003-2013, Microsoft.";
}
}
- public string/*!*/ Version {
+ public virtual string/*!*/ Version {
get {
Contract.Ensures(Contract.Result<string>() != null);
return DescriptiveToolName + VersionSuffix;
diff --git a/Source/Core/Xml.cs b/Source/Core/Xml.cs index e0b909fe..b4783d28 100644 --- a/Source/Core/Xml.cs +++ b/Source/Core/Xml.cs @@ -47,7 +47,7 @@ namespace Microsoft.Boogie { wr = XmlWriter.Create(filename, settings);
wr.WriteStartDocument();
wr.WriteStartElement("boogie");
- wr.WriteAttributeString("version", CommandLineOptions.VersionNumber);
+ wr.WriteAttributeString("version", CommandLineOptions.Clo.VersionNumber);
wr.WriteAttributeString("commandLine", Environment.CommandLine);
}
cce.EndExpose();
|