C# (CSharp) KAOSTools.MetaModel Equivalenceの例

コード例 #1

ファイル: FormalSpecHelper.cs プロジェクト: ancailliau/KAOSTools

 public static MvcHtmlString ToHtmlString( Equivalence expression, bool link = true)
 {
     return MvcHtmlString.Create (string.Format("{0} ↔ {1}",
                                                Embed(expression, expression.Left, expression.Left.ToHtmlString(link)),
                                                Embed(expression, expression.Right, expression.Right.ToHtmlString(link))
                                                ));
 }

コード例 #2

ファイル: FormalSpecHtmlExporter.cs プロジェクト: ancailliau/KAOSTools

 private static string ToHtmlString(Equivalence expression)
 {
     return string.Format("{0} ↔ {1}",
                          Parenthesize(expression, expression.Left, ToHtmlString(expression.Left)),
                          Parenthesize(expression, expression.Right, ToHtmlString(expression.Right))
                          );
 }