/* Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1985. */ /* $Header: b2par.h,v 1.4 85/08/22 16:42:58 timo Exp $ */ /* General definitions for the parser */ /* contexts: */ #define In_share 's' #define In_ranger 'q' #define In_ref 'r' /* Expressions: */ parsetree expr(); parsetree singexpr(); bool tag_operator(); bool is_b_tag(); /* Procedure selection(); */ /* Targets: */ parsetree targ(); /* Procedure tar_trimmed_text(); */ /* Tests: */ parsetree test(); parsetree unp_test(); extern bool dya_proposition; /* Commands: */ parsetree cmd_suite(); /* Procedure suite_command(); */ bool simple_command(); bool control_command(); bool term_com(); bool is_comment(); value tail_line(); /* B units */ parsetree unit(); bool unit_keyword(); parsetree collateral(); parsetree compound(); parsetree idf(); extern literal idf_cntxt;