C# (CSharp) KAOSTools.MetaModel Eventually示例

示例#1

文件： FormalSpecHelper.cs 项目： ancailliau/KAOSTools

 public static MvcHtmlString ToHtmlString( Eventually expression, bool link = true)
 {
     var bound = GetTimeBound (expression.TimeBound);
     return MvcHtmlString.Create (string.Format("◊{0} {1}",
                                                bound,
                                                expression.Enclosed.ToHtmlString(link)
                                                ));
 }

示例#2

文件： FormalSpecHtmlExporter.cs 项目： ancailliau/KAOSTools

 private static string ToHtmlString(Eventually expression)
 {
     var bound = GetTimeBound (expression.TimeBound);
     return string.Format("◊{0} {1}",
                          bound,
                          ToHtmlString(expression.Enclosed)
                          );
 }