摘要: 代码协定提供一种使用代码指定前置条件、后置条件和对象固定条件的方式。前置条件是在输入方法或属性时必须满足的要求。后置条件描述方法或属性代码退出时的预期。对象固定条件描述正常状态下的类的预期状态。代码协定包含用于标记代码的类、用于编译时分析的静态分析器和运行时分析器。代码协定的类可在System.Di... 阅读全文
posted @ 2014-11-28 12:56 杨典 阅读(123) 评论(0) 推荐(0) 编辑
摘要: Routing的作用:它首先是获取到View传过来的请求,并解析Url请求中Controller和Action以及数据,其次他将识别出来的数据传递给Controller的Action(Controller的方法)。这是Routing组件的两个重要的作用!下面我们从几个例子来讲解一下Url路由的使用。... 阅读全文
posted @ 2014-11-28 09:59 杨典 阅读(113) 评论(0) 推荐(0) 编辑