Exemplos de KAOSTools.MetaModel Globally em C# (CSharp)

Exemplo n.º 1

Arquivo: FormalSpecHelper.cs Projeto: 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)
                                                ));
 }

Exemplo n.º 2

Arquivo: FormalSpecHtmlExporter.cs Projeto: ancailliau/KAOSTools

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