C# (CSharp) Declaration.AddAttributeの例

コード例 #1

ファイル: CivlUtil.cs プロジェクト: shaobo-he/boogie

 public static void AddInlineAttribute(Declaration decl)
 {
     decl.AddAttribute("inline", Expr.Literal(1));
 }

コード例 #2

ファイル: CivlUtil.cs プロジェクト: omaragb/tlp182

 public static void AddInlineAttribute(Declaration decl)
 {
     decl.AddAttribute("inline", new LiteralExpr(Token.NoToken, Microsoft.Basetypes.BigNum.FromInt(1)));
 }