1 using System.Globalization;
5 partial class Environment
7 internal static string GetResourceString (string key)
10 case "AssertionFailed":
11 return "Assertion failed.";
12 case "AssumptionFailed":
13 return "Assumption failed.";
14 case "InvariantFailed":
15 return "Invariant failed.";
16 case "PostconditionFailed":
17 return "Postcondition failed.";
18 case "PostconditionOnExceptionFailed":
19 return "Postcondition failed after throwing an exception.";
20 case "PreconditionFailed":
21 return "Precondition failed.";
27 internal static string GetResourceString (string key, CultureInfo culture)
32 internal static string GetResourceString (string key, params object[] values)
35 case "AssertionFailed_Cnd":
36 key = "Assertion failed: {0}";
38 case "AssumptionFailed_Cnd":
39 key = "Assumption failed: {0}";
41 case "InvariantFailed_Cnd":
42 key = "Invariant failed: {0}";
44 case "PostconditionFailed_Cnd":
45 key = "Postcondition failed: {0}";
47 case "PostconditionOnExceptionFailed_Cnd":
48 key = "Postcondition failed after throwing an exception: {0}";
50 case "PreconditionFailed_Cnd":
51 key = "Precondition failed: {0}";
55 return string.Format (CultureInfo.InvariantCulture, key, values);