psl_grammar.y
Grammar (for Yacc and Bison) of PSL specification input language
psl_input.l
Lexical analyzer for the PSL specification input language
psl_conv.c
Algorithms and conversions on PslNode structure
pslExpr.c
Implementation of the PSL parser interface

psl_grammar.y

Grammar (for Yacc and Bison) of PSL specification input language

By: Roberto Cavada

See Alsopsl_input.l


psl_input.l

Lexical analyzer for the PSL specification input language

By: Roberto Cavada

See Alsopsl_grammar.y


psl_conv.c

Algorithms and conversions on PslNode structure

By: Fabio Barbon, Roberto Cavada, Simone Semprini

See Alsopsl_conv.h


pslExpr.c

Implementation of the PSL parser interface

By: Roberto Cavada, Marco Roveri

See AlsopslExpr.h

psl_expr_print_klass()
required
psl_expr_is_boolean()
Returns 1 if the given node is boolean compatible type, 0 otherwise
psl_expr_check_klass()
returns 0 if the given psl expr is not compatible with the given klass
psl_expr_base_num_to_val()
Converts from base to number: TO BE IMPLEMENTED
psl_expr_require_klass()
Checks that given expression is compatible with the given required syntactic class

Last updated on 2009/03/04 13h:34