annotate sema/VC.d @ 150:6c5a3c0bb4fb

Make switch work again Also added locations to statements (only filled out for switch) Added a verification pass Removed some comments
author Anders Halager <halager@gmail.com>
date Mon, 21 Jul 2008 20:35:03 +0200
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
1 module sema.VC;
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
2
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
3 import basic.Message;
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
4
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
5 /**
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
6 VC is short for verification context.
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
7
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
8 This class holds various things that are neccesary to verify validity
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
9 of the AST.
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
10 **/
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
11 class VC
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
12 {
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
13 MessageHandler msg;
6c5a3c0bb4fb Make switch work again
Anders Halager <halager@gmail.com>
parents:
diff changeset
14 }