Function EXP_context

src/gpre/exp.cpp:227–255

//

gpre_ctx* EXP_context(gpre_req* request, gpre_sym* initial_symbol)
{
	// Use the token (context name) to make up a symbol
	// block.  Then check for the keyword IN.  If it's
	// missing, either complain or punt, depending on the
	// error flag.  In either case, be sure to get rid of
	// the symbol.  If things look kosher, continue.

	gpre_sym* symbol = initial_symbol;
	if (!symbol)
	{
		symbol = PAR_symbol(SYM_context);
		if (!MSC_match(KW_IN))
		{
			MSC_free(symbol);
			CPR_s_error("IN");
		}
	}

	symbol->sym_type = SYM_context;

	gpre_rel* relation = EXP_relation();
	gpre_ctx* context = MSC_context(request);
	context->ctx_symbol = symbol;
	context->ctx_relation = relation;
	symbol->sym_object = context;

	return context;
}


//____________________________________________________________