Esempi in C# (CSharp) per KAOSTools.MetaModel Globally

Esempio n. 1

File: FormalSpecHelper.cs Progetto: ancailliau/KAOSTools

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

Esempio n. 2

File: FormalSpecHtmlExporter.cs Progetto: ancailliau/KAOSTools

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