When writing assertions it is annoying to write a string that basically mirrors what the code your testing says. For example:

Debug.Assert(input != null, "input != null");

Similar statements appear when unit testing with tools like NUnit.

With Linq it is now possible to avoid this by using expression trees. The basic idea is to take a boolean assertion function as an expression tree so that we can call ToString() to get the message for the assert.

void Assert<T>(T obj, Expression<Func<T, bool>> test)
{
  System.Diagnostics.Debug.Assert(test.Compile().Invoke(obj), test.ToString());
}

This is then called like:

Assert(input, i => i != null);

Given this idea, we can play with the syntax a bit. Using an extension method:

static class Exts
{
    public static void MustSatisfy<T>(this T obj, Expression<Func<T, bool>> test)
    {
        Debug.Assert(test.Compile().Invoke(obj), test.ToString());
    }
}

We then have:

input.MustSatisfy(i => i != null)

Another syntax option would be something like:

Assert.That(foo).Satisfies(
  i => i > 0,
  i => i < 100);

Where we are now passing an array of assertions (using a params arg in the Satisfies method).

Wednesday, September 05, 2007 11:46:23 AM (GMT Standard Time, UTC+00:00)      Comments [3]  .net | c# | linq | programming | syntaxTracked by:
http://blastpr.com/wiki/js/pages/wellbutrin/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/paxil/index.html [Pingback]
http://blastpr.com/wiki/js/pages/celebrex/index.html [Pingback]
http://blastpr.com/wiki/js/pages/coumadin/index.html [Pingback]
http://blastpr.com/wiki/js/pages/celexa/index.html [Pingback]
http://blastpr.com/wiki/js/pages/claritin/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/prozac/index.html [Pingback]
http://blastpr.com/wiki/js/pages/viagra/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/synthroid/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/lexapro/index.html [Pingback]
http://blastpr.com/wiki/js/pages/ultram/index.html [Pingback]
http://blastpr.com/wiki/js/pages/clomid/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/wellbutrin/index.html [Pingback]
http://blastpr.com/wiki/js/pages/tramadol/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/lipitor/index.html [Pingback]
http://blastpr.com/wiki/js/pages/lipitor/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/nexium/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/celexa/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/celebrex/index.html [Pingback]
http://blastpr.com/wiki/js/pages/lexapro/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/cymbalta/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/cialis/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/clomid/index.html [Pingback]
http://blastpr.com/wiki/js/pages/nexium/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/prilosec/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/coumadin/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/hoodia/index.html [Pingback]
http://blastpr.com/wiki/js/pages/rainbow-brite/index.html [Pingback]
http://blastpr.com/wiki/js/pages/cialis/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/viagra/index.html [Pingback]
http://blastpr.com/wiki/js/pages/soma/index.html [Pingback]
http://blastpr.com/wiki/js/pages/zoloft/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/melatonin/index.html [Pingback]
http://morningside.edu/mics/_notes/pages/accutane/index.html [Pingback]
http://slaterjohn.com/downloads/2col/51579700/index.html [Pingback]
http://split-dalmatia.com/split-dalmatia.com/images/docs/34320152/index.html [Pingback]
http://swellhead.netswellhead.net/docs/84545083/index.html [Pingback]
http://ipsilon.hr/ipsilon.hr/cms/4/lib/docs/24066563/index.html [Pingback]
http://discussgod.com/cpstyles/docs/73291253/index.html [Pingback]
http://promocija.com.hr/promocija.com.hr/includes/js/docs/37348396/index.html [Pingback]
http://martinrozon.com/images/photos/docs/61904307/index.html [Pingback]
http://coolioness.com/attachments/docs/83777724/index.html [Pingback]
http://legambitdufou.org/Library/docs/15090396/index.html [Pingback]
http://islands-croatia.comislands-croatia.com/includes/js/docs/87090382/index.ht... [Pingback]
http://thebix.com/includes/compat/docs/29852280/index.html [Pingback]
http://witze-humor.de/templates/images/docs/83157240/index.html [Pingback]
http://martinrozon.com/images/photos/docs/56637999/index.html [Pingback]
http://thebix.com/includes/compat/docs/44694113/index.html [Pingback]
http://seo4u.at/images/docs/76783685/index.html [Pingback]
http://realestate.hr/templates/css/docs/28593877/index.html [Pingback]
http://lecouac.org/ecrire/lang/docs/25282359/index.html [Pingback]
http://ncdtnanotechportal.info/generator/docs/87198700/index.html [Pingback]
http://allfreefilms.com/wp-includes/js/46226552/index.html [Pingback]
http://vladan.strigo.net/wp-includes/js/docs/09763218/index.html [Pingback]
http://blog.netmedia.hr/wp-includes/js/docs/44378735/index.html [Pingback]
http://thejohnslater.com/pix/img/docs/41914710/index.html [Pingback]
http://martinrozon.com/images/photos/docs/82037625/index.html [Pingback]
http://coolioness.com/attachments/docs/03698289/index.html [Pingback]
http://pddownloads.com/docs/66275653/index.html [Pingback]
http://add2rss.com/img/design/docs/45658867/index.html [Pingback]
http://split-dalmatia.com/split-dalmatia.com/images/docs/73811526/index.html [Pingback]
http://thebix.com/includes/compat/docs/51589391/index.html [Pingback]
http://islands-croatia.comislands-croatia.com/includes/js/docs/54089144/index.ht... [Pingback]
http://add2rss.com/img/design/docs/90861918/index.html [Pingback]
http://swellhead.netswellhead.net/docs/92808772/index.html [Pingback]
http://add2rss.com/img/design/docs/73396176/index.html [Pingback]
http://vladan.strigo.net/wp-includes/js/docs/25746442/index.html [Pingback]
http://entartistes.ca/images/images/docs/81367526/index.html [Pingback]
http://discussgod.com/cpstyles/docs/90092602/index.html [Pingback]
http://islands-croatia.comislands-croatia.com/includes/js/docs/60974094/index.ht... [Pingback]
http://coolioness.com/attachments/docs/75395149/index.html [Pingback]
http://discussgod.com/cpstyles/docs/25383456/index.html [Pingback]
http://lecouac.org/ecrire/lang/docs/49649526/index.html [Pingback]
http://pddownloads.com/docs/15972574/index.html [Pingback]
http://entartistes.ca/images/images/docs/28212733/index.html [Pingback]
http://thebix.com/includes/compat/docs/15870923/index.html [Pingback]
http://promocija.com.hr/promocija.com.hr/includes/js/docs/70471394/index.html [Pingback]
http://legambitdufou.org/Library/docs/28049195/index.html [Pingback]
http://discussgod.com/cpstyles/docs/43932298/index.html [Pingback]
http://swellhead.netswellhead.net/docs/42306518/index.html [Pingback]
http://abaffy.net/i/img/viagra/ [Pingback]
http://easytravelcanada.info/js/pages/5/effexor/ [Pingback]
http://sevainc.com/bad_denise/img/11/tramadol/ [Pingback]
http://easytravelcanada.info/js/pages/12/viagra/ [Pingback]
http://sevainc.com/bad_denise/img/7/melatonin/ [Pingback]
http://easytravelcanada.info/js/pages/4/cymbalta/ [Pingback]
abaffy.org/la/img/viagra/ [Pingback]
http://simplecanada.info/js/pages/13912893/ [Pingback]
http://easytravelcanada.info/js/pages/8/paxil/ [Pingback]
http://adventure-traveling.com/images/img/cialis/ [Pingback]
http://easytravelcanada.info/js/pages/9/prozac/ [Pingback]
http://sevainc.com/bad_denise/img/3/clomid/ [Pingback]
http://easytravelcanada.info/js/pages/2/celexa/ [Pingback]
http://sevainc.com/bad_denise/img/2/cialis/ [Pingback]
http://easymexico.info/images/img/cialis/ [Pingback]
http://easytravelcanada.info/js/pages/3/claritin/ [Pingback]
http://easytravelcanada.info/js/pages/6/lexapro/ [Pingback]
http://easytravelcanada.info/js/pages/5/hoodia/ [Pingback]
http://sevainc.com/bad_denise/img/9/rainbow-brite/ [Pingback]
http://sevainc.com/bad_denise/img/6/lipitor/ [Pingback]
http://easytravelcanada.info/js/pages/10/soma/ [Pingback]
http://sevainc.com/bad_denise/img/10/soma/ [Pingback]
http://sevainc.com/bad_denise/img/3/claritin/ [Pingback]
http://easytravelcanada.info/js/pages/7/nexium/ [Pingback]
http://easytravelcanada.info/js/pages/11/tramadol/ [Pingback]
http://easytravelcanada.info/js/pages/4/coumadin/ [Pingback]
http://birds.sk/img/cialis/ [Pingback]
http://sevainc.com/bad_denise/img/4/cymbalta/ [Pingback]
http://easycanada.info/js/pages/viagra/ [Pingback]
http://inatelevizia.sk/ad/img/cialis/ [Pingback]
http://sevainc.com/bad_denise/img/12/viagra/ [Pingback]
http://abaffydesign.com/la/img/viagra/ [Pingback]
http://simpletravelcanada.info/js/pages/27277365/ [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/53348735/celebrities-sexy-pictures.... [Pingback]
http://odin.net/images/pages/35694472/baby-got-back-by-throwdown.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/32162341/free-trial-xxx-incest-site.... [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/53348735/denise-davies-anal.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/32162341/straight-guys-fuck-gays-for... [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/black-gay-video-produtions.... [Pingback]
http://odin.net/images/pages/35694472/blondes-and-blacks-xxx.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/32162341/index.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/32162341/free-hardcore-heterosexual-... [Pingback]
http://cidesi.com/images/metro/metro2/pages/32162341/sex-toys-oregon.html [Pingback]
http://odin.net/images/pages/52807681/ymca-baby-sitting-classes.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/nude-fortysomethings.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/marriage-sex-life.html [Pingback]
http://odin.net/images/pages/52807681/rainbow-coalition-gay.html [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/35807953/xxx-asian-anal-milf-free.h... [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/53348735/granny-movie-thumbs.html [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/53348735/what-is-the-mature-ripened... [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/35807953/underwater-girl-nude.html [Pingback]
http://odin.net/images/pages/35694472/gay-justin-berfield.html [Pingback]
http://odin.net/images/pages/35694472/jenny-maccarthy-nude.html [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/53348735/free-mature-bbw-porn.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/32162341/free-xxx-3some-pictures-tee... [Pingback]
http://odin.net/images/pages/52807681/life-teen-mass-balboa.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/erotic-comic-archives.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/cheerleader-erotic-stories.... [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/53348735/ghanaian-girls.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/animal-sex-bondage.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/oops-babes.html [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/53348735/barbue-girl.html [Pingback]
http://odin.net/images/pages/52807681/britney-no-panties-pics.html [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/35807953/undergroung-teen.html [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/53348735/virgin-vagina-pic.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/foot-fetish-video-s.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/preview-girls-gone-wild-cli... [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/35807953/anime-preteen-sex.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/fuck-bitches-get-money-lyri... [Pingback]
http://odin.net/images/pages/52807681/herrin-il-xxx.html [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/53348735/adult-bib.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/dylan-scott-xxx.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/99493954/adult-free-gay-porn.html [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/53348735/jacqueline-teen-model-is-n... [Pingback]
http://odin.net/images/pages/35694472/small-tit-teens-tgp.html [Pingback]
http://odin.net/images/pages/52807681/teen-fashion.html [Pingback]
http://odin.net/images/pages/52807681/sex-and-deviltry.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/32162341/teen-trends-courtney-doll.h... [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/53348735/free-xxx-video-pics.html [Pingback]
http://odin.net/images/pages/52807681/lulla-smith-moses-baby-ensemble.html [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/35807953/taylor-hayes-free-pics.htm... [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/35807953/teenage-girl-nude.html [Pingback]
http://gatewayplayhouse.com/photos/cai/pages/35807953/my-little-girl-song.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/32162341/hentai-spider-man.html [Pingback]
http://cidesi.com/images/metro/metro2/pages/32162341/old-film-girl-in-love-with-... [Pingback]
http://cidesi.com/images/metro/metro2/pages/32162341/gay-zoo.html [Pingback]
http://odin.net/images/pages/52807681/chimpanzee-sex.html [Pingback]
http://www.signalprocessingsociety.org/community/forum/buy-tramadol-online.html [Pingback]
http://www.signalprocessingsociety.org/community/forum/buy-phentermine-online.ht... [Pingback]
http://www.signalprocessingsociety.org/community/forum/buy-cialis-online.html [Pingback]
http://www.signalprocessingsociety.org/community/forum/buy-soma-online.html [Pingback]
http://www.signalprocessingsociety.org/community/forum/buy-viagra-online.html [Pingback]