41 lines
1.7 KiB
OCaml
41 lines
1.7 KiB
OCaml
|
(**************************************************************************)
|
||
|
|
(* *)
|
||
|
|
(* OCaml *)
|
||
|
|
(* *)
|
||
|
|
(* Sebastien Hinderer, projet Gallium, INRIA Paris *)
|
||
|
|
(* *)
|
||
|
|
(* Copyright 2016 Institut National de Recherche en Informatique et *)
|
||
|
|
(* en Automatique. *)
|
||
|
|
(* *)
|
||
|
|
(* All rights reserved. This file is distributed under the terms of *)
|
||
|
|
(* the GNU Lesser General Public License version 2.1, with the *)
|
||
|
|
(* special exception on linking described in the file LICENSE. *)
|
||
|
|
(* *)
|
||
|
|
(**************************************************************************)
|
||
|
|
|
||
|
|
(* Abstract Syntax Tree for the Tests Specification Language *)
|
||
|
|
|
||
|
|
type 'a located = {
|
||
|
|
node : 'a;
|
||
|
|
loc : Location.t
|
||
|
|
}
|
||
|
|
|
||
|
|
type environment_statement =
|
||
|
|
| Assignment of string located * string located (* variable = value *)
|
||
|
|
| Include of string located (* include named environemnt *)
|
||
|
|
|
||
|
|
type tsl_item =
|
||
|
|
| Environment_statement of environment_statement located
|
||
|
|
| Test of
|
||
|
|
int (* test depth *) *
|
||
|
|
string located (* test name *) *
|
||
|
|
string located list (* environment modifiers *)
|
||
|
|
|
||
|
|
type tsl_block = tsl_item list
|
||
|
|
|
||
|
|
let make ?(loc = Location.none) foo = { node = foo; loc = loc }
|
||
|
|
|
||
|
|
let make_identifier = make
|
||
|
|
let make_string = make
|
||
|
|
let make_environment_statement = make
|