C# (CSharp) KAOSTools.MetaModel Next примеры использования

Пример #1

Файл: FormalSpecHelper.cs Проект: ancailliau/KAOSTools

 public static MvcHtmlString ToHtmlString( Next expression, bool link = true)
 {
     return MvcHtmlString.Create (string.Format("○ {0}",
                                                Embed(expression, expression.Enclosed, expression.Enclosed.ToHtmlString(link))
                                                ));
 }

Пример #2

Файл: FormalSpecHtmlExporter.cs Проект: ancailliau/KAOSTools

 private static string ToHtmlString(Next expression)
 {
     return string.Format("○ {0}",
                          Parenthesize(expression, expression.Enclosed, ToHtmlString(expression.Enclosed))
                          );
 }