Project

General

Profile

Revision f9f06e7d src/parsers/parser_lustre.mly

View differences:

src/parsers/parser_lustre.mly
202 202
				  nodei_prototype = $13;
203 203
				  nodei_in_lib = $14;})
204 204
     in
205
     (*add_imported_node $3 nd;*) [nd] } 
206
| CONTRACT node_ident LPAR vdecl_list SCOL_opt RPAR RETURNS LPAR vdecl_list SCOL_opt RPAR SCOL_opt LET contract TEL 
207
    {let nd = mktop_decl true (ImportedNode
208
				 {nodei_id = $2;
209
				  nodei_type = Types.new_var ();
210
				  nodei_clock = Clocks.new_var true;
211
				  nodei_inputs = List.rev $4;
212
				  nodei_outputs = List.rev $9;
213
				  nodei_stateless = false (* By default we assume contracts as stateful *);
214
				  nodei_spec = Some $14;
215
				  nodei_prototype = None;
216
				  nodei_in_lib = [];})
217
     in
205 218
     (*add_imported_node $3 nd;*) [nd] }
206 219

  
207 220
prototype_opt:
......
350 363
	  mk_contract_mode $2 r e (get_loc())) $7 }	
351 364
| IMPORT IDENT LPAR tuple_expr RPAR RETURNS LPAR tuple_expr RPAR SCOL contract
352 365
    { merge_contracts (mk_contract_import $2  $4  $8 (get_loc())) $11 }
353
	
354 366

  
355 367
mode_content:
356 368
{ [], [] }

Also available in: Unified diff