1 files changed, 0 insertions, 95 deletions
diff --git a/Jennisys/Jennisys/Ast.fs b/Jennisys/Jennisys/Ast.fs
deleted file mode 100644
index d355023a..00000000
--- a/Jennisys/Jennisys/Ast.fs
+++ /dev/null
@@ -1,95 +0,0 @@
-//  ####################################################################
-///   The AST of a Jennisy program
-///
-///   author: Rustan Leino (leino@microsoft.com)
-///   author: Aleksandar Milicevic (t-alekm@microsoft.com)
-//  ####################################################################
-
-namespace Ast
-
-open System
-open System.Numerics
-
-type Type =
-  | IntType
-  | BoolType
-  | SetType of Type (* type parameter *)
-  | SeqType of Type (* type parameter *)
-  | NamedType of string * string list (* type parameters *)  
-  | InstantiatedType of string * Type list (* type parameters *)
-
-type VarDecl =
-  | Var of string * Type option * (* isOld *) bool 
-
-(* 
-   the difference between IdLiteral and VarLiteral is that the VarLiteral is more specific, 
-   it always referes to a local variable (either method parameter or quantification variable)  
-
-   ObjLiteral is a concrete object, so if two ObjLiterals have different names, 
-   they are different objects (as opposed to IdLiterals and VarLiterals, which can alias).
- *)
-type Expr =
-  | IntLiteral of int
-  | BoolLiteral of bool
-  | BoxLiteral of string
-  | VarLiteral of string  
-  | IdLiteral of string 
-  | ObjLiteral of string 
-  | Star
-  | Dot of Expr * string
-  | UnaryExpr of string * Expr
-  | OldExpr of Expr
-  | LCIntervalExpr of Expr
-  | BinaryExpr of int * string * Expr * Expr
-  | IteExpr of (* cond *) Expr * (* thenExpr *) Expr * (* elseExpr *) Expr
-  | SelectExpr of Expr * Expr
-  | UpdateExpr of Expr * Expr * Expr
-  | SequenceExpr of Expr list
-  | SeqLength of Expr
-  | SetExpr of Expr list //TODO: maybe this should really be a set instead of a list
-  | ForallExpr of VarDecl list * Expr
-  | MethodCall of (* receiver *) Expr * (* component name *) string * (* method name *) string * (* actual parameters *) Expr list
-  | MethodOutSelect of (* method *) Expr * (* out param name *) string
-  | VarDeclExpr of (* var list *) VarDecl list * (* declareAlso *) bool
-  | AssertExpr of Expr
-  | AssumeExpr of Expr
-
-type Const = 
-  | IntConst   of int
-  | BoolConst  of bool
-  | BoxConst   of string
-  | SetConst   of Set<Const>
-  | SeqConst   of Const list
-  | NullConst
-  | NoneConst
-  | ThisConst  of (* loc id *) string * Type option
-  | VarConst   of string
-  | NewObj     of (* loc id *) string * Type option
-  | Unresolved of (* loc id *) string 
-
-type Stmt =
-  | Block of Stmt list
-  | ExprStmt of Expr
-  | Assign of Expr * Expr
-
-type Signature =
-  | Sig of (* ins *) VarDecl list * (* outs *) VarDecl list
-
-type Member =
-  | Field of VarDecl
-  | Method of (* name *) string * Signature * (* pre *) Expr * (* post *) Expr * (* isConstructor *) bool
-  | Invariant of Expr list
-
-type TopLevelDecl =
-  | Interface of string * string list * Member list
-  | DataModel of string * string list * VarDecl list * (* frame *) Expr list * (* invariant *) Expr
-  | Code of string * string list
-
-type SyntacticProgram =
-  | SProgram of TopLevelDecl list
-
-type Component =
-  | Component of (*interface*)TopLevelDecl * (*datamodel*)TopLevelDecl * (*code*)TopLevelDecl
-
-type Program =
-  | Program of Component list