Mercurial > projects > dang

annotate sema/VC.d @ 164:ba94fd563548

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
The symbol for the constructor a "new"-exp is calling is now stored in callSym in NewExp.
author Anders Johnsen <skabet@gmail.com>
date Tue, 22 Jul 2008 16:53:47 +0200
parents 6c5a3c0bb4fb
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 }