viewablexprstr(3) [debian man page]

VIEWABLEXPRSTR(3)						   ABL FUNCTIONS						 VIEWABLEXPRSTR(3)

NAME

       viewablexprstr - displays an expression in a str.

ORIGIN

       This  software  belongs	to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
       Paris, France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr

SYNOPSYS

       #include "abl101.h"
       char *viewablexprstr( Expr, Mode )
	 chain_list *Expr;
	 int	     Mode;

PARAMETERS

       Expr		   Expression to display.

       Mode		   The notation type.

DESCRIPTION

       viewablexprstr displays Expr in a string, with the notation specified by Mode.  The following notation types are available  ABL_VIEW_INFIX,
       ABL_VIEW_PREFIX, ABL_VIEW_POSTFIX or ABL_VIEW_VHDL.

RETURN VALUE

       viewablexprstr returns a pointer to the string where the expression has been displayed in. This string MUSTN'T be freed.

EXAMPLE

       #include "abl101.h"
	 chain_list *Expr;
	 char	    *String;
	 Expr = createabloper( ABL_OR );
	 addablhexpr( Expr, createablatom( "a" ) );
	 addablhexpr( Expr, createablatom( "b" ) );
	 /* displays (a or b) */
	 String = viewablexprstr( Expr, ABL_VIEW_VHDL );
	 printf( String );

SEE ALSO

       abl(1), viewablexprfile(3), viewablexpr(3).

BUG REPORT

       This tool is under development at the ASIM department of the LIP6 laboratory.
       We need your feedback to improve documentation and tools.

ASIM
/LIP6							  October 1, 1997						 VIEWABLEXPRSTR(3)

Check Out this Related Man Page

VIEWABLEXPRFILE(3)						   ABL FUNCTIONS						VIEWABLEXPRFILE(3)

NAME

       viewablexprfile - displays an expression in a file.

ORIGIN

       This  software  belongs	to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
       Paris, France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr

SYNOPSYS

       #include "abl101.h"
       void viewablexprfile( AblFile, Expr, Mode )
	 FILE	    *AblFile;
	 chain_list *Expr;
	 int	     Mode;

PARAMETERS

       AblFile		   The target file.

       Expr		   Expression to display.

       Mode		   The notation type.

DESCRIPTION

       viewablexprfile displays Expr in the file AblFile with the notation  specified  by  Mode.   The	following  notation  types  are  available
       ABL_VIEW_INFIX, ABL_VIEW_PREFIX, ABL_VIEW_POSTFIX or ABL_VIEW_VHDL.

RETURN VALUE

       viewablexprfile returns nothing.

EXAMPLE

       #include "abl101.h"
	 chain_list *Expr;
	 Expr = createabloper( ABL_OR );
	 addablhexpr( Expr, createablatom( "a" ) );
	 addablhexpr( Expr, createablatom( "b" ) );
	 /* displays (a or b) */
	 viewablexprfile( stderr, Expr, ABL_VIEW_VHDL );

SEE ALSO

       abl(1), viewablexprstr(3), viewablexpr(3).

BUG REPORT

       This tool is under development at the ASIM department of the LIP6 laboratory.
       We need your feedback to improve documentation and tools.

ASIM
/LIP6							  October 1, 1997						VIEWABLEXPRFILE(3)

Linux and UNIX Man Pages

viewablexprstr(3) [debian man page]

Check Out this Related Man Page