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))
                          );
 }