[PPL-devel] ppl/interfaces ppl_interface_generator_common. ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2006-12-01 10:11:19

Modified files:
	interfaces     : ppl_interface_generator_common.m4 
	                 ppl_interface_generator_common_dat.m4 

Log message:
	Further modifications to the code for generating the pattern
	replacements means that we can also generate the code for the
	Pointset_Powerset<BD_Shape<int8_t> > (and similarly
	Octagonal_Shape) for the widening and extrapolation operators.
	
	One new feature introduced in the m4 code is:
	if the alternative replacement is defined to be "NONE",
	no code is generated. This caters for the case when the BD_Shape
	widening does not come with a certificate and, so, cannot be used
	for the pointset powerset certificate widening.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common.m4.diff?cvsroot=ppl&r1=1.14&r2=1.15
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_dat.m4.diff?cvsroot=ppl&r1=1.23&r2=1.24