-
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 12h:51