C# (CSharp) Declaration.AddAttribute Examples

Example #1

File: CivlUtil.cs Project: shaobo-he/boogie

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

Example #2

File: CivlUtil.cs Project: omaragb/tlp182

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