LRDE Tiger Compiler  1.34a $Id: 7fef12e1f5fa43449d667a0eec1d837c40fc1202 $
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
desugar::tasks Namespace Reference

Tasks of the desugar module. More...

Functions

void desugar ()
void raw_desugar ()
void bound_checks_add ()
void raw_bound_checks_add ()
 TASK_GROUP ("Desugaring and bound-checking")
 BOOLEAN_TASK_DECLARE ("desugar-for","desugar `for' loops", desugar_for_p,"")
 Enable translation of `for' loops into `while' loops.
 BOOLEAN_TASK_DECLARE ("desugar-string-cmp","desugar string comparisons", desugar_string_cmp_p,"")
 Enable string comparison desugaring.
 DISJUNCTIVE_TASK_DECLARE ("desugared","Default the removal of syntactic sugar ""from the AST to Tiger (without overloading)","desugar")
 TASK_DECLARE ("desugar","desugar the AST", desugar,"types-compute rename")
 Remove syntactic sugar from the Ast.
 TASK_DECLARE ("raw-desugar","desugar the AST without recomputing ""bindings nor types", raw_desugar,"typed rename")
 TASK_DECLARE ("bound-checks-add","add dynamic bound checks", bound_checks_add,"types-compute rename")
 Enable emission of dynamic array bound checking code.
 TASK_DECLARE ("raw-bound-checks-add","add bound-checking to the AST without recomputing ""bindings nor types", raw_bound_checks_add,"typed rename")

Detailed Description

Tasks of the desugar module.

Function Documentation

desugar::tasks::BOOLEAN_TASK_DECLARE ( "desugar-for"  ,
"desugar `for' loops"  ,
desugar_for_p  ,
""   
)

Enable translation of `for' loops into `while' loops.

desugar::tasks::BOOLEAN_TASK_DECLARE ( "desugar-string-cmp"  ,
"desugar string comparisons"  ,
desugar_string_cmp_p  ,
""   
)

Enable string comparison desugaring.

void desugar::tasks::bound_checks_add ( )
void desugar::tasks::desugar ( )
desugar::tasks::DISJUNCTIVE_TASK_DECLARE ( "desugared"  ,
"Default the removal of syntactic sugar ""from the AST to Tiger (without overloading)"  ,
"desugar"   
)

Default the removal of syntactic sugar from the AST to Tiger (without overloading).

void desugar::tasks::raw_bound_checks_add ( )
void desugar::tasks::raw_desugar ( )
desugar::tasks::TASK_DECLARE ( "desugar"  ,
"desugar the AST"  ,
desugar  ,
"types-compute rename"   
)

Remove syntactic sugar from the Ast.

desugar::tasks::TASK_DECLARE ( "raw-desugar"  ,
"desugar the AST without recomputing ""bindings nor types"  ,
raw_desugar  ,
"typed rename"   
)

Remove syntactic sugar from the AST without recomputing bindings nor types.

desugar::tasks::TASK_DECLARE ( "bound-checks-add"  ,
"add dynamic bound checks"  ,
bound_checks_add  ,
"types-compute rename"   
)

Enable emission of dynamic array bound checking code.

desugar::tasks::TASK_DECLARE ( "raw-bound-checks-add"  ,
"add bound-checking to the AST without recomputing ""bindings nor types"  ,
raw_bound_checks_add  ,
"typed rename"   
)

Enable emission of dynamic array bound checking code without recomputing bindings nor types.

desugar::tasks::TASK_GROUP ( "Desugaring and bound-checking"  )