diff options
| author |  Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-06-19 15:18:22 -0700 |
|---|---|---|
| committer | Unknown <t-alekm@A3479878.redmond.corp.microsoft.com> | 2011-06-19 15:18:22 -0700 |
| commit | 89705178e7fdb3a4b40a1e5a54ceed639c578def (patch) | |
| tree | 40d5fdc5b447f774d4b3e5c9c272054808c74d4c /Jennisys/Ast.fs | |
| parent | 77118b068aa0ef03921d4bd7636a4967e2139e36 (diff) | |
- changed the grammar to allow for arbitrary post-condition expressions
in public classes
- added some utility AST constructor methods for AND, OR, and some other AST
types
- played with generating the Valid() function
- added a List example with Jennisys
Diffstat (limited to 'Jennisys/Ast.fs')
| -rw-r--r-- | Jennisys/Ast.fs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Jennisys/Ast.fs b/Jennisys/Ast.fs index fa2db0d9..b6e04d3f 100644 --- a/Jennisys/Ast.fs +++ b/Jennisys/Ast.fs @@ -1,4 +1,5 @@ namespace Ast
+
open System
open System.Numerics
@@ -32,8 +33,9 @@ type Signature = type Member =
| Field of VarDecl
- | Constructor of string * Signature * Expr * Stmt list
- | Method of string * Signature * Expr * Stmt list
+ | Constructor of string * Signature * Expr * Expr
+ | Method of string * Signature * Expr * Expr
+ | Invariant of Expr list
type TopLevelDecl =
| Class of string * string list * Member list
|