摘要：
这篇博客开始介绍VCC的用法，先用简单的例子介绍VCC的基本语法，当然面对更复杂的程序时，VCC也是将他简化然后分析的。 1.Assertion#include int main() { int x,y,z; if (x 中定义了#define _(...) /∗nothing∗/一个类... 阅读全文
posted @ 2015-12-02 15:09
阳光是金色的
阅读(862)
评论(0)
推荐(0)
摘要：
最近在学校跟着老师参与了一个代码验证的工作，需要使用Microsoft Research（微软学术）开发的VCC工具，是开源的，托管在Codeplex上。这东西英语资料极其少，中文资料基本没有。我只能看官方给的英文文档。因此，我也就有了心思写几篇简单的博客，也包括文档的一些翻译。留个纪念也好。 ... 阅读全文
posted @ 2015-10-26 23:31
阳光是金色的
阅读(2311)
评论(0)
推荐(0)
摘要：
最近开始尝试把WP8.1 Runtime的项目升级成Win10 UWP，我用的方法没什么技巧性，就是直接复制文件和代码到新建的UWP项目。结果是后台代码未经修改，全部正常运行。但是UI控件的布局有些偏移，需要微调。这和“Win10 UWP架构是8.1 Runtime的超集”的说法吻合，所以大家也... 阅读全文
posted @ 2015-09-04 19:13
阳光是金色的
阅读(2522)
评论(5)
推荐(4)
摘要：
ApplicationBar（以下简称AppBar）是WP应用相当常见的控件，也很方便。常见的做法是pivot或者panorama的页面切换的时候，AppBar跟随切换对应的按钮或者不显示按钮，如下图。这个方法比较简单，网上很容易找到资料，不过我还是简要的说一下。首先要在页面资源里添加需要的App... 阅读全文
posted @ 2015-02-12 16:55
阳光是金色的
阅读(855)
评论(4)
推荐(3)
摘要：
很多时候我们需要在启动程序的时候根据状态改变初始导航页面，比如程序在启动的时候判断用户是否登录，如果未登录则跳转到LoginPage.xaml否则跳转到MainPage界面。这时候就要分析程序的启动和导航的过程。程序的启动是App.xamlcs负责的。App类的构造器，里面就是一个App的初始化流程... 阅读全文
posted @ 2014-12-08 11:28
阳光是金色的
阅读(1413)
评论(8)
推荐(1)
摘要：
之前WP7时代可以用API获得WP手机的型号如lumia510，但是到了WP8后用APi只能获得硬件版本号了如RM-822，这种型号可以让我们更详细的了解具体的硬件版本，比如国行和港行，设备版本号不一样（但是我不记得了╮(╯-╰)╭），一个支持4G，一个不支持，但是型号都是Lumia920，这或许是... 阅读全文
posted @ 2014-10-25 10:44
阳光是金色的
阅读(1147)
评论(0)
推荐(1)
摘要：
panorama（全景）控件非常具有WinPhone特色，但是那个巨大的标题许多时候会让人觉得违和。怎么修改它呢？ 最开始想到的是加一个FontSize，结果毫无影响。╮(╯-╰)╭ 寻思一下，我想起了... 阅读全文
posted @ 2014-10-25 01:22
阳光是金色的
阅读(334)
评论(0)
推荐(1)
浙公网安备 33010602011771号