Re: [CZT-Users] Loading specs with uses of variables before their declaration

[Tim M. <tm...@un...>]

Hi Pablo,

The TypeCheckUtils class contains an overloaded static methods called 
"typecheck". The one you want is:

   typecheck(Term term, SectionManager sectInfo, boolean useBeforeDecl)

Set useBeforeDecl to "true" if you want to enable the use of variables 
before declaration. There are several other "typecheck" methods in the 
same class that also do this, but which offer several other properties 
as well.

Regards,
Tim

Pablo Rodriguez Monetti wrote:
> Hi Czt'ers,
> 
> I would like to know if there is any way to load, through the CZT API, Z 
> specifications that have uses of variables before their declaration. 
> With "load" I mean parse the specifications as well as typeckeck them. 
> The desired behaviour would be like the the one provided by the -d 
> (dependency analysis) feature of fuzz.
> 
> Cheers,
> 
> Pablo Rodríguez Monetti
> 
> 
> ------------------------------------------------------------------------
> 
> ------------------------------------------------------------------------------
> 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> CZT-Users mailing list
> CZT...@li...
> https://lists.sourceforge.net/lists/listinfo/czt-users