[/] [trunk/] [src/] [uppaal/] [expression.sml] -
Diff 55 ⟶ 62
Diff between revs
55
and
62
| Rev 55 |
Rev 62 |
|---|
| Line 1... |
Line 1... |
(* $Id: expression.sml 55 2008-07-25 01:42:07Z tbourke $
|
(* $Id: expression.sml 62 2008-08-20 11:20:33Z tbourke $
|
|
*
|
|
* Copyright (c) 2008 Timothy Bourke (University of NSW and NICTA)
|
|
* All rights reserved.
|
|
*
|
|
* This program is free software; you can redistribute it and/or modify it
|
|
* under the terms of the "BSD License" which is distributed with the
|
|
* software in the file LICENSE.
|
|
*
|
|
* This program is distributed in the hope that it will be useful, but
|
|
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the BSD
|
|
* License for more details.
|
*
|
*
|
* 20070614 T. Bourke
|
|
*
|
*
|
* Based on Uppaal Timed Automata Parser Library documentation
|
* Based on Uppaal Timed Automata Parser Library documentation
|
* http://www.cs.auc.dk/~behrmann/utap/syntax.html 20070424
|
* http://www.cs.auc.dk/~behrmann/utap/syntax.html 20070424
|
*
|
*
|
* Adapted from `Modern compiler implementation in ML', Appel 1998.
|
* Adapted from `Modern compiler implementation in ML', Appel 1998.
|
*
|
|
*)
|
*)
|
|
|
(* TODO:
|
(* TODO:
|
* * Conditionals on LHS of assignments
|
* * Conditionals on LHS of assignments
|
*)
|
*)
|
*)
|
*)
|