|
(++) [Flx_cil_pretty] |
Concatenates two documents.
|
(+>) [Flx_util] |
reverse application
|
__thread_is_keyword [Flx_cil_machdep] |
|
A |
add [Flx_cil_inthash] |
|
addAttribute [Flx_cil_cil] |
Add an attribute.
|
addAttributes [Flx_cil_cil] |
Add a list of attributes.
|
addOffset [Flx_cil_cil] |
addOffset o1 o2 adds o1 to the end of o2 .
|
addOffsetLval [Flx_cil_cil] |
Add an offset at the end of an lvalue.
|
add_child [Flx_child] |
|
add_identifier [Flx_cil_lexerhack] |
|
add_identifier [Flx_cil_clexer] |
|
add_type [Flx_cil_lexerhack] |
|
add_type [Flx_cil_clexer] |
|
addline [Flx_cil_cprint] |
|
adjust_ts [Flx_generic] |
|
align [Flx_cil_pretty] |
Mark the current column as the current indentation level.
|
alignOf_int [Flx_cil_cil] |
The minimum alignment (in bytes) for a type.
|
all_chars [Inria_cset] |
|
all_chars_eof [Inria_cset] |
|
all_units [Flx_typing] |
|
all_units0 [Flx_typing] |
|
all_voids [Flx_typing] |
|
allowDuplication [Flx_cil_cabs2cil] |
|
anticompare [Flx_cil_util] |
|
append [Flx_dlst] |
|
append [Flx_cil_clist] |
Append two clists
|
applyFlx_cil_patch [Flx_cil_patch] |
|
args [Flx_cil_frontc] |
|
argsToList [Flx_cil_cil] |
Obtain the argument list ([] if None)
|
attributeHash [Flx_cil_cil] |
This table contains the mapping of predefined attributes to classes.
|
B |
bbind [Flx_bbind] |
|
bcat [Flx_util] |
synonym for Buffer.add_string
|
beta_reduce [Flx_beta] |
|
bin_char2int [Flx_string] |
|
binbig_int_of_string [Flx_string] |
|
bind_exes [Flx_bexe] |
|
bind_expression [Flx_lookup] |
|
bind_ifaces [Flx_bbind] |
|
bind_regdef [Flx_lookup] |
|
bind_type [Flx_lookup] |
|
binint_of_string [Flx_string] |
|
bitsOffset [Flx_cil_cil] |
Give a type of a base and an offset, returns the number of bits from the
* base address and the width (also expressed in bits) for the subobject
* denoted by the offset.
|
bitsSizeOf [Flx_cil_cil] |
The size of a type, in bits.
|
bracket_directive [Flx_preproc] |
|
break [Flx_cil_pretty] |
A document that consists of either a space or a line break.
|
bug [Flx_cil_errormsg] |
Similar to error except that its output has the form Bug: ...
|
bug [Flx_cil_cil] |
|
build_env [Flx_lookup] |
|
build_tables [Flx_symtab] |
|
build_type_constraints [Flx_tconstraint] |
|
C |
cExp [Flx_cil_formatcil] |
Constructs an expression based on the program and the list of arguments.
|
cInstr [Flx_cil_formatcil] |
Constructs an instruction based on the program and the list of arguments.
|
cLval [Flx_cil_formatcil] |
Constructs an lval based on the program and the list of arguments.
|
cStmt [Flx_cil_formatcil] |
|
cStmts [Flx_cil_formatcil] |
Constructs a list of statements
|
cType [Flx_cil_formatcil] |
Constructs a type based on the program and the list of arguments.
|
c_quote_of_string [Flx_string] |
|
cabslu [Flx_cil_cprint] |
|
cabslu [Flx_cil_cabs_helper] |
|
cal_children [Flx_bbind] |
|
cal_display [Flx_display] |
|
cal_exe_usage [Flx_call] |
|
cal_param_usage [Flx_call] |
|
call_data [Flx_call] |
|
cat [Flx_util] |
synonym for String.concat
|
catch [Flx_exceptions] |
|
catch_all [Flx_util] |
convert exception to option
|
catmap [Flx_util] |
String.concat sep (map fun lst)
|
ce [Flx_cexpr] |
|
ce_array [Flx_cexpr] |
|
ce_atom [Flx_cexpr] |
|
ce_call [Flx_cexpr] |
|
ce_cast [Flx_cexpr] |
|
ce_cond [Flx_cexpr] |
|
ce_dot [Flx_cexpr] |
|
ce_expr [Flx_cexpr] |
|
ce_infix [Flx_cexpr] |
|
ce_new [Flx_cexpr] |
|
ce_postfix [Flx_cexpr] |
|
ce_prefix [Flx_cexpr] |
|
ce_top [Flx_cexpr] |
|
chain_gotos [Flx_cflow] |
|
charConstPtrType [Flx_cil_cil] |
char const *
|
charPtrType [Flx_cil_cil] |
char *
|
charType [Flx_cil_cil] |
char
|
char_is_unsigned [Flx_cil_cil] |
Whether "char" is unsigned.
|
charset_inv [Flx_charset] |
|
charset_of_int_range [Flx_charset] |
|
charset_of_range [Flx_charset] |
|
charset_of_string [Flx_charset] |
|
charset_union [Flx_charset] |
|
checkBeforeAppend [Flx_cil_clist] |
A useful check to assert before an append.
|
checkFile [Flx_cil_check] |
|
check_key [Flx_getopt] |
|
check_key_value [Flx_getopt] |
|
check_keys [Flx_getopt] |
|
check_recursion [Flx_unify] |
check for bad recursions
|
child_use_closure [Flx_call] |
|
chr [Flx_cil_pretty] |
A document that prints a character.
|
cid_of_flxid [Flx_name] |
mangle a Felix identifier to a C one
|
cilVersion [Flx_cil_cilversion] |
|
cilVersion [Flx_cil_cil] |
This are the CIL version numbers.
|
cilVersionMajor [Flx_cil_cilversion] |
|
cilVersionMajor [Flx_cil_cil] |
|
cilVersionMinor [Flx_cil_cilversion] |
|
cilVersionMinor [Flx_cil_cil] |
|
cilVersionRev [Flx_cil_cilversion] |
|
cilVersionRevision [Flx_cil_cil] |
|
clear [Flx_cil_util.STACK] |
Discard all elements from a stack.
|
clear [Flx_cil_inthash] |
|
clearConfiguration [Flx_cil_util] |
Clear all configuration data
|
clierr [Flx_exceptions] |
|
clierr2 [Flx_exceptions] |
|
clierrn [Flx_exceptions] |
|
cmp_literal [Flx_typing] |
|
cmp_tbexpr [Flx_typing] |
|
comment [Flx_cil_formatlex] |
|
commit [Flx_cil_cprint] |
|
compFullName [Flx_cil_cil] |
Get the full name of a comp
|
compactStmts [Flx_cil_cil] |
Try to compress statements so as to get maximal basic blocks
|
compareLoc [Flx_cil_cil] |
Comparison function for locations.
|
compare_sigs [Flx_unify] |
compare type for structural/unificational ordering
|
compilation_unit [Flx_parse] |
|
complement [Inria_cset] |
|
comprint [Flx_cil_cprint] |
|
computeCFGInfo [Flx_cil_cil] |
Compute the CFG information for all statements in a fundec and return a
* list of the statements.
|
comstring [Flx_cil_cprint] |
|
concat [Flx_dlst] |
|
cons [Flx_dlst] |
|
constFold [Flx_cil_cil] |
Do constant folding on an expression.
|
constFoldBinOp [Flx_cil_cil] |
Do constant folding on a binary operation.
|
const_fold [Flx_constfld] |
|
convFile [Flx_cil_cabs2cil] |
|
copy [Flx_cil_util.STACK] |
Return a copy of the given stack.
|
copy [Flx_cil_inthash] |
|
copyCompInfo [Flx_cil_cil] |
|
copyFunction [Flx_cil_cil] |
Create a deep copy of a function.
|
copyGrowArray [Flx_cil_util] |
|
copyVarinfo [Flx_cil_cil] |
Make a shallow copy of a varinfo and assign a new identifier
|
copy_used [Flx_use] |
|
countNewLines [Flx_cil_pretty] |
Keep a running count of the taken newlines.
|
cpp_instance_name [Flx_name] |
|
cpp_ltypename [Flx_name] |
|
cpp_name [Flx_name] |
|
cpp_type_classname [Flx_name] |
|
cpp_typename [Flx_name] |
|
create [Inria_table] |
|
create [Flx_cil_util.STACK] |
|
create [Flx_cil_inthash] |
|
create_label_map [Flx_label] |
|
create_label_usage [Flx_label] |
|
csubst [Flx_csubst] |
|
curLoc [Flx_cil_cprint] |
|
current [Flx_cil_cprint] |
|
currentLoc [Flx_cil_cil] |
A reference to the current location.
|
currentPattern [Flx_cil_lexerhack] |
|
current_len [Flx_cil_cprint] |
|
D |
dExp [Flx_cil_formatcil] |
Deconstructs an expression based on the program.
|
dExp [Flx_cil_cil] |
|
dGlobal [Flx_cil_cil] |
|
dInstr [Flx_cil_formatcil] |
Deconstructs an instruction based on the program.
|
dInstr [Flx_cil_cil] |
|
dLval [Flx_cil_formatcil] |
Deconstructs an lval based on the program.
|
dType [Flx_cil_formatcil] |
Deconstructs a type based on the program.
|
d_attr [Flx_cil_cil] |
|
d_attrlist [Flx_cil_cil] |
|
d_attrparam [Flx_cil_cil] |
|
d_binop [Flx_cil_cil] |
Flx_cil_pretty-print a binary operator
|
d_block [Flx_cil_cil] |
|
d_cabsloc [Flx_cil_cabs_helper] |
|
d_const [Flx_cil_cil] |
Flx_cil_pretty-print a constant
|
d_exp [Flx_cil_cil] |
|
d_fkind [Flx_cil_cil] |
Flx_cil_pretty-print a floating-point kind
|
d_formatarg [Flx_cil_cil] |
Flx_cil_pretty-prints a format arg
|
d_global [Flx_cil_cil] |
|
d_hloc [Flx_cil_errormsg] |
|
d_ikind [Flx_cil_cil] |
Flx_cil_pretty-print an integer of a given kind
|
d_init [Flx_cil_cil] |
|
d_instr [Flx_cil_cil] |
|
d_label [Flx_cil_cil] |
|
d_list [Flx_cil_pretty] |
sm: Yet another list printer.
|
d_loc [Flx_cil_errormsg] |
|
d_loc [Flx_cil_cil] |
Flx_cil_pretty-print a location
|
d_lval [Flx_cil_cil] |
|
d_offset [Flx_cil_cil] |
|
d_plainexp [Flx_cil_cil] |
Flx_cil_pretty-print the internal representation of an expression
|
d_plaininit [Flx_cil_cil] |
Flx_cil_pretty-print the internal representation of an integer
|
d_plainlval [Flx_cil_cil] |
Flx_cil_pretty-print the internal representation of an lvalue
|
d_plaintype [Flx_cil_cil] |
Flx_cil_pretty-print the internal representation of a type
|
d_shortglobal [Flx_cil_cil] |
Flx_cil_pretty-print a short description of the global.
|
d_stmt [Flx_cil_cil] |
|
d_storage [Flx_cil_cil] |
Flx_cil_pretty-print storage-class information
|
d_thisloc [Flx_cil_cil] |
|
d_type [Flx_cil_cil] |
|
d_typsig [Flx_cil_cil] |
Print a type signature
|
debugFlag [Flx_cil_errormsg] |
If set then print debugging info
|
dec_char2int [Flx_string] |
|
decbig_int_of_string [Flx_string] |
|
decint_of_string [Flx_string] |
|
deepCopyGrowArray [Flx_cil_util] |
|
defaultCilPrinter [Flx_cil_cil] |
|
define_directive [Flx_preproc] |
|
descendants [Flx_child] |
|
desugar_program [Flx_desugar] |
|
dfwd [Flx_dlst] |
|
diff [Inria_cset] |
|
dir_rev [Flx_dlst] |
|
divert_directive [Flx_preproc] |
|
dlst_dir [Flx_dlst] |
|
dlst_fwd [Flx_dlst] |
|
dlst_lst [Flx_dlst] |
|
dlst_map [Flx_dlst] |
|
dlst_rev [Flx_dlst] |
|
dn_attr [Flx_cil_cil] |
|
dn_attrlist [Flx_cil_cil] |
|
dn_attrparam [Flx_cil_cil] |
|
dn_exp [Flx_cil_cil] |
Versions of the above pretty printers, that don't print #line directives
|
dn_global [Flx_cil_cil] |
|
dn_init [Flx_cil_cil] |
|
dn_instr [Flx_cil_cil] |
|
dn_lval [Flx_cil_cil] |
|
dn_stmt [Flx_cil_cil] |
|
dn_type [Flx_cil_cil] |
|
doCxxPP [Flx_cil_cilutil] |
|
doFlx_cil_check [Flx_cil_cilutil] |
|
doHeapify [Flx_cil_cilutil] |
|
doOneRet [Flx_cil_cilutil] |
|
doPartial [Flx_cil_cilutil] |
|
doSimpleMem [Flx_cil_cilutil] |
|
doStackGuard [Flx_cil_cilutil] |
|
do_unify [Flx_unify] |
check if the two types unify: update the
variable definitions in sym_state ??? Only
useful if type variables are global, which is
the function return type unknown variable case..
|
docAlphaTable [Flx_cil_cil] |
Split the name in preparation for newAlphaName.
|
docArray [Flx_cil_pretty] |
Formats an array.
|
docCList [Flx_cil_clist] |
A document for printing a clist (similar to docList )
|
docHash [Flx_cil_util] |
|
docList [Flx_cil_pretty] |
An alternative function for printing a list.
|
docOpt [Flx_cil_pretty] |
Prints an 'a option with None or Some
|
doubleType [Flx_cil_cil] |
double
|
dprintf [Flx_cil_pretty] |
This function provides an alternative method for constructing
doc objects.
|
drev [Flx_dlst] |
|
dropAttribute [Flx_cil_cil] |
Remove all attributes with the given name.
|
dual [Flx_unify] |
construct the dual of a type
|
dummyFile [Flx_cil_cil] |
A dummy file
|
dummyFunDec [Flx_cil_cil] |
A dummy function declaration handy when you need one as a placeholder.
|
dummyInstr [Flx_cil_cil] |
A instr to serve as a placeholder
|
dummyStmt [Flx_cil_cil] |
A statement consisting of just dummyInstr
|
dummy_sr [Flx_typing] |
|
dumpBlock [Flx_cil_cil] |
Dump a block to a file using a given indentation.
|
dumpFile [Flx_cil_cil] |
Flx_cil_pretty-print an entire file.
|
dumpGlobal [Flx_cil_cil] |
Flx_cil_pretty-print a global.
|
dumpInit [Flx_cil_cil] |
Dump an initializer to a file using a given indentation.
|
dumpStmt [Flx_cil_cil] |
Dump a statement to a file using a given indentation.
|
E |
elif_directive [Flx_preproc] |
|
else_directive [Flx_preproc] |
|
emit [Inria_table] |
|
empty [Inria_cset] |
|
empty [Flx_cil_clist] |
The empty clist
|
emptyFunction [Flx_cil_cil] |
Make an empty function
|
endif_directive [Flx_preproc] |
|
endline [Flx_cil_formatlex] |
|
env_to_array [Inria_cset] |
|
eof [Inria_cset] |
|
eol [Flx_charset] |
|
eprintf [Flx_cil_pretty] |
|
error [Flx_cil_formatlex] |
|
error [Flx_cil_errormsg] |
Prints an error message of the form Error: ... .
|
error [Flx_cil_cil] |
|
errorLoc [Flx_cil_cil] |
|
escape_char [Flx_cil_escape] |
escape various constructs in accordance with C lexical rules
|
escape_of_string [Flx_string] |
|
escape_string [Flx_cil_escape] |
|
escape_wchar [Flx_cil_escape] |
|
escape_wstring [Flx_cil_escape] |
|
eval_module_expr [Flx_lookup] |
|
existsType [Flx_cil_cil] |
Scans a type by applying the function on all elements.
|
expand_expression [Flx_macro] |
expand_expr is a special hook used to perform
constant folding and desugaring in the preprocessor
|
expand_macros [Flx_macro] |
|
explodeStringToInts [Flx_cil_cabs_helper] |
|
expr_uses [Flx_call] |
|
expression [Flx_parse] |
|
expression [Flx_cil_formatparse] |
|
F |
fastMode [Flx_cil_pretty] |
If set to true then optional breaks are taken only when the document
has exceeded the given width.
|
file [Flx_cil_cparser] |
|
filetime [Flx_filesys] |
|
filterAttributes [Flx_cil_cil] |
Retains attributes with the given name
|
filterNoCopy [Flx_cil_util] |
|
final_tailcall_opt [Flx_cflow] |
|
find [Flx_cil_inthash] |
|
findConfiguration [Flx_cil_util] |
Find a configuration elements, given a key.
|
findConfigurationBool [Flx_cil_util] |
|
findConfigurationInt [Flx_cil_util] |
Like findConfiguration but extracts the integer
|
findConfigurationList [Flx_cil_util] |
|
findConfigurationString [Flx_cil_util] |
|
findOrAdd [Flx_cil_util] |
Just another name for memoize
|
find_all [Flx_cil_inthash] |
|
find_children [Flx_child] |
|
find_file [Flx_filesys] |
|
find_file_in_path [Flx_filesys] |
|
find_label [Flx_label] |
|
find_members [Flx_gen] |
|
find_rec [Flx_cil_inthash] |
|
find_references [Flx_ogen] |
|
find_roots [Flx_use] |
|
find_split_vs [Flx_generic] |
|
find_thread_vars_with_type [Flx_ogen] |
|
find_vs [Flx_generic] |
|
finish [Flx_cil_formatlex] |
|
finish [Flx_cil_clexer] |
|
finishParsing [Flx_cil_errormsg] |
|
fix [Flx_util] |
fixpoint combinator
|
floating_of_string [Flx_string] |
|
flush [Flx_cil_cprint] |
|
flushOften [Flx_cil_pretty] |
If true the it flushes after every print
|
flx_bbool [Flx_typing] |
|
flx_bool [Flx_typing] |
|
fold [Flx_unify] |
undo an unfold
|
fold [Flx_cil_inthash] |
|
foldGlobals [Flx_cil_cil] |
Fold over all globals, including the global initializer
|
foldLeftCompound [Flx_cil_cil] |
Fold over the list of initializers in a Compound.
|
foldLeftCompoundAll [Flx_cil_cil] |
Fold over the list of initializers in a Compound, like
* Flx_cil_cil.foldLeftCompound but in the case of an array it scans even missing
* zero initializers at the end of the array
|
fold_for [Flx_cil_util] |
* An accumulating for loop.
|
fold_left [Flx_cil_clist] |
A version of fold_left that works on clists
|
follow [Flx_cil_cprint] |
|
force_new_line [Flx_cil_cprint] |
|
format_vars [Flx_gen] |
|
fprint [Flx_cil_pretty] |
Format the document to the given width and emit it to the given channel
|
fprintf [Flx_cil_pretty] |
|
fromList [Flx_cil_clist] |
Convert an ordinary list to a clist
|
full_string_of_entry_kind [Flx_print] |
|
full_string_of_entry_set [Flx_print] |
|
full_use_closure [Flx_use] |
|
funparamtype [Flx_typing] |
|
G |
gcc [Flx_cil_machdep] |
|
gccBuiltins [Flx_cil_cil] |
A list of the GCC built-in functions.
|
gccHas__builtin_va_list [Flx_cil_machdep] |
|
gen_biface_bodies [Flx_gen] |
|
gen_biface_headers [Flx_gen] |
|
gen_ctor [Flx_ctorgen] |
|
gen_elk_lexer [Flx_elkgen] |
|
gen_elk_parser [Flx_elkgen] |
|
gen_execute_methods [Flx_gen] |
|
gen_expr [Flx_egen] |
|
gen_expr' [Flx_egen] |
|
gen_extractor [Flx_mbind] |
|
gen_functions [Flx_gen] |
|
gen_match_check [Flx_mbind] |
|
gen_offset_tables [Flx_ogen] |
|
gen_prim_call [Flx_pgen] |
|
gen_type_names [Flx_tgen] |
|
gen_types [Flx_tgen] |
|
genprec [Flx_cexpr] |
|
get [Inria_table] |
|
getAlphaPrefix [Flx_cil_cil] |
|
getArgName [Flx_cil_formatlex] |
|
getCompField [Flx_cil_cil] |
Return a named fieldinfo in compinfo, or raise Not_found
|
getGlobInit [Flx_cil_cil] |
Get the global initializer and create one if it does not already exist.
|
getHPosition [Flx_cil_errormsg] |
high-level position
|
getLocation [Flx_cil_errormsg] |
|
getPosition [Flx_cil_errormsg] |
|
getReg [Flx_cil_util] |
|
get_definitionloc [Flx_cil_cabs_helper] |
|
get_display_list [Flx_display] |
|
get_felix_options [Flx_flxopt] |
|
get_globalLoc [Flx_cil_cil] |
Return the location of a global, or locUnknown
|
get_instrLoc [Flx_cil_cil] |
Return the location of an instruction
|
get_key_value [Flx_getopt] |
|
get_key_values [Flx_getopt] |
|
get_keys_values [Flx_getopt] |
|
get_label_kind [Flx_label] |
|
get_label_kind_from_index [Flx_label] |
|
get_lang [Flx_cil_lexerhack] |
|
get_operator [Flx_cil_cprint] |
|
get_pattern_vars [Flx_mbind] |
|
get_some_option_list [Flx_cil_util] |
|
get_statementloc [Flx_cil_cabs_helper] |
|
get_stmtLoc [Flx_cil_cil] |
Return the location of a statement, or locUnknown
|
get_value [Flx_cil_formatlex] |
|
get_var_ref [Flx_egen] |
|
gprintf [Flx_cil_pretty] |
|
growArray_foldl [Flx_cil_util] |
Fold left over the initialized elements of the array
|
growArray_iteri [Flx_cil_util] |
Iterate over the initialized elements of the array
|
H |
hadErrors [Flx_cil_errormsg] |
This is set whenever one of the above error functions are called.
|
handle_preprocessor [Flx_preproc] |
|
hasAttribute [Flx_cil_cil] |
True if the named attribute appears in the attribute list.
|
hasMSVC [Flx_cil_machdep] |
|
hasPrefix [Flx_cil_util] |
hasPrefix prefix str returns true with str starts with prefix
|
has_performance_counters [Flx_cil_stats] |
Flx_cil_check if we have performance counters
|
hash_copy_into [Flx_cil_util] |
Copy a hash table into another
|
hash_to_list [Flx_cil_util] |
|
hashtable_of_list [Flx_util] |
make a hashtable from an assoc list
|
heavy_inlining [Flx_inline] |
|
hex2 [Flx_string] |
|
hex4 [Flx_string] |
|
hex8 [Flx_string] |
|
hex_char2int [Flx_string] |
|
hexbig_int_of_string [Flx_string] |
|
hexint_of_string [Flx_string] |
|
I |
if_directive [Flx_preproc] |
|
ifdef_directive [Flx_preproc] |
|
ifndef_directive [Flx_preproc] |
|
ignore_merge_conflicts [Flx_cil_mergecil] |
|
include_directive [Flx_preproc] |
|
include_file [Flx_desugar] |
|
increm [Flx_cil_cil] |
Increment an expression.
|
indent [Flx_cil_pretty] |
Indents the document.
|
indent [Flx_cil_cprint] |
|
indentline [Flx_cil_cprint] |
|
infix_directive [Flx_preproc] |
|
init [Flx_cil_formatlex] |
|
init [Flx_cil_clexer] |
|
initCIL [Flx_cil_cil] |
Call this function to perform some initialization.
|
initial [Flx_cil_formatlex] |
|
initial [Flx_cil_clexer] |
|
initialize [Flx_cil_formatparse] |
|
insert [Flx_cil_pretty] |
A function that is useful with the printf -like interface
|
instantiate [Flx_inst] |
|
instr [Flx_cil_formatparse] |
|
intPtrType [Flx_cil_cil] |
int *
|
intType [Flx_cil_cil] |
int
|
int_of_unitsum [Flx_typing] |
|
int_range_list [Flx_cil_util] |
|
integer [Flx_cil_cil] |
Construct an integer of kind IInt.
|
inter [Inria_cset] |
|
interpret [Flx_cil_cparser] |
|
interval [Inria_cset] |
|
isArithmeticType [Flx_cil_cil] |
True if the argument is an arithmetic type (i.e.
|
isArrayType [Flx_cil_cil] |
True if the argument is an array type
|
isCompleteProgramRoot [Flx_cil_rmtmps] |
|
isCompleteType [Flx_cil_cil] |
Returns true if this is a complete type.
|
isConstant [Flx_cil_cil] |
True if the expression is a compile-time constant
|
isDefaultRoot [Flx_cil_rmtmps] |
|
isExportedRoot [Flx_cil_rmtmps] |
|
isExtern [Flx_cil_cabs_helper] |
|
isFunctionType [Flx_cil_cil] |
True if the argument is a function type
|
isInline [Flx_cil_cabs_helper] |
|
isInteger [Flx_cil_cil] |
True if the given expression is a (possibly cast'ed)
character or an integer constant
|
isIntegralType [Flx_cil_cil] |
True if the argument is an integral type (i.e.
|
isPointerType [Flx_cil_cil] |
True if the argument is a pointer type
|
isSigned [Flx_cil_cil] |
Returns true if and only if the given integer type is signed.
|
isStatic [Flx_cil_cabs_helper] |
|
isTypedef [Flx_cil_cabs_helper] |
|
isVoidPtrType [Flx_cil_cil] |
|
isVoidType [Flx_cil_cil] |
|
isZero [Flx_cil_cil] |
True if the given expression is a (possibly cast'ed) integer or character
constant with value zero
|
is_ancestor [Flx_child] |
|
is_child [Flx_child] |
|
is_digit [Flx_preproc] |
|
is_empty [Inria_cset] |
|
is_empty [Flx_cil_util.STACK] |
Return true if the given stack is empty, false otherwise.
|
is_in_string [Flx_preproc] |
|
is_recursive [Flx_call] |
|
is_recursive_call [Flx_call] |
|
is_some [Flx_util] |
test if option not None
|
is_unitsum [Flx_typing] |
|
is_universal [Flx_pat] |
|
is_white [Flx_preproc] |
|
iter [Inria_table] |
|
iter [Flx_cil_util.STACK] |
iter f s applies f in turn to all elements of s ,
from the element at the top of the stack to the element at the
bottom of the stack.
|
iter [Flx_cil_inthash] |
|
iter [Flx_cil_clist] |
A version of iter that works on clists
|
iterGlobals [Flx_cil_cil] |
Iterate over all globals, including the global initializer
|
iter_b0type [Flx_maps] |
|
iter_bexe [Flx_maps] |
|
iter_btype [Flx_maps] |
|
iter_tbexpr [Flx_maps] |
|
K |
keepUnused [Flx_cil_rmtmps] |
|
keys [Flx_cil_util] |
|
keywords [Flx_cil_formatlex] |
|
kinteger [Flx_cil_cil] |
Construct an integer of a given kind.
|
kinteger64 [Flx_cil_cil] |
Construct an integer of a given kind, using OCaml's int64 type.
|
L |
leftflush [Flx_cil_pretty] |
|
lenOfArray [Flx_cil_cil] |
Call to compute the array length as present in the array type, to an
* integer.
|
length [Flx_cil_util.STACK] |
Return the number of elements in a stack.
|
length [Flx_cil_clist] |
Find the length of a clist
|
libDir [Flx_cil_cilutil] |
|
lift [Flx_typing] |
|
line [Flx_cil_pretty] |
A document that consists of a mandatory newline.
|
line [Flx_cil_cprint] |
|
lineDirectiveStyle [Flx_cil_cil] |
How to print line directives
|
line_directive [Flx_preproc] |
|
line_len [Flx_cil_cprint] |
|
list_drop [Flx_cil_util] |
|
list_fold_lefti [Flx_cil_util] |
Like fold_left but pass the index into the list as well
|
list_head_default [Flx_cil_util] |
|
list_index [Flx_util] |
position in list of value
|
list_init [Flx_cil_util] |
|
list_insert_by [Flx_cil_util] |
|
list_iter3 [Flx_cil_util] |
|
list_iteri [Flx_cil_util] |
Iterate over a list passing the index as you go
|
list_last [Flx_util] |
last element of list
|
list_mapi [Flx_cil_util] |
|
list_omap [Flx_util] |
forward order map
|
list_prefix [Flx_util] |
first n elements of a list
|
list_span [Flx_cil_util] |
|
list_subst [Flx_unify] |
replace variables in the term using
the mapping in a list
|
little_endian [Flx_cil_cil] |
Whether the machine is little endian.
|
loadBinaryFile [Flx_cil_cil] |
|
loadConfiguration [Flx_cil_util] |
Load the configuration from a file
|
locUnknown [Flx_cil_errormsg] |
An unknown location for use when you need one but you don't have one
|
locUnknown [Flx_cil_cil] |
Represents a location that cannot be determined
|
log [Flx_cil_errormsg] |
Print something to logChannel
|
logCalls [Flx_cil_cilutil] |
|
logChannel [Flx_cil_errormsg] |
A channel for printing log messages
|
logWrites [Flx_cil_cilutil] |
|
longType [Flx_cil_cil] |
long
|
long_string_of_src [Flx_srcref] |
|
lookup_code_in_env [Flx_lookup] |
|
lookup_name_in_env [Flx_lookup] |
|
lookup_qn_in_env [Flx_lookup] |
|
lookup_qn_in_env2 [Flx_lookup] |
|
lookup_qn_with_sig [Flx_lookup] |
|
lookup_sn_in_env [Flx_lookup] |
|
lower [Flx_typing] |
|
lstrip [Flx_unify] |
lstrip t returns t all lvalue combinators elided
|
lu [Flx_cil_cprint] |
|
lval [Flx_cil_formatparse] |
|
M |
makeCFG [Flx_cil_cilutil] |
|
makeFormalVar [Flx_cil_cil] |
Make a formal variable for a function.
|
makeGlobalVar [Flx_cil_cil] |
Make a global variable.
|
makeLocalVar [Flx_cil_cil] |
Make a local variable and add it to a function's slocals (only if insert =
true, which is the default).
|
makeTempVar [Flx_cil_cil] |
Make a temporary variable and add it to a function's slocals.
|
makeVarinfo [Flx_cil_cil] |
Make a varinfo.
|
makeZeroInit [Flx_cil_cil] |
Make a initializer for zero-ing a data type
|
make_closures [Flx_mkcls] |
|
make_dfa [Inria_lexgen] |
|
make_params [Flx_generic] |
|
make_stack_calls [Flx_stack_calls] |
|
make_syms [Flx_flxopt] |
|
make_varmap [Flx_generic] |
|
map [Flx_cil_clist] |
Map a function over a clist.
|
mapGlobals [Flx_cil_cil] |
Map over all globals, including the global initializer and change things
in place
|
mapNoCopy [Flx_cil_util] |
|
mapNoCopy [Flx_cil_cil] |
Like map but try not to make a copy of the list
|
mapNoCopyList [Flx_cil_util] |
|
mapNoCopyList [Flx_cil_cil] |
Like map but each call can return a list.
|
map_b0type [Flx_maps] |
|
map_bexe [Flx_maps] |
|
map_btype [Flx_maps] |
|
map_expr [Flx_maps] |
|
map_flx_keywords [Flx_keywords] |
|
map_tbexpr [Flx_maps] |
|
map_type [Flx_maps] |
|
mark [Flx_cil_pretty] |
Mark the beginning of a markup section.
|
markup [Flx_cil_pretty] |
Prints a document as markup.
|
max_indent [Flx_cil_cprint] |
|
maybe_matches [Flx_unify] |
obtain the mgu of a set of type equations,
for matching parameters against arguments: allows
special subtyping for lvalues
|
maybe_specialisation [Flx_unify] |
|
maybe_unification [Flx_unify] |
obtain the mgu of a set of type equations
|
mem [Flx_cil_inthash] |
|
memoize [Flx_cil_util] |
|
memoize [Flx_cil_inthash] |
|
merge [Flx_cil_mergecil] |
Merge a number of CIL files
|
metatype [Flx_beta] |
|
minimise [Flx_unify] |
|
missingFieldDecl [Flx_cil_cabs_helper] |
|
missingFieldName [Flx_cil_cil] |
This is a constant used as the name of an unnamed bitfield.
|
mkAddrOf [Flx_cil_cil] |
Make an AddrOf.
|
mkAddrOrStartOf [Flx_cil_cil] |
Like mkAddrOf except if the type of lval is an array then it uses
StartOf.
|
mkBlock [Flx_cil_cil] |
Construct a block with no attributes, given a list of statements
|
mkCast [Flx_cil_cil] |
|
mkCastT [Flx_cil_cil] |
Construct a cast when having the old type of the expression.
|
mkCompInfo [Flx_cil_cil] |
Creates a a (potentially recursive) composite type.
|
mkEmptyStmt [Flx_cil_cil] |
Returns an empty statement (of kind Instr )
|
mkFor [Flx_cil_cil] |
Make a for loop for(start; guard; next) { ...
|
mkForIncr [Flx_cil_cil] |
Make a for loop for(i=start; i<past; i += incr) { ...
|
mkMem [Flx_cil_cil] |
Make a Mem, while optimizing AddrOf.
|
mkStmt [Flx_cil_cil] |
Construct a statement, given its kind.
|
mkStmtOneInstr [Flx_cil_cil] |
Construct a statement consisting of just one instruction
|
mkString [Flx_cil_cil] |
Make an expression that is a string constant (of pointer type)
|
mkWhile [Flx_cil_cil] |
Make a while loop.
|
mk_varmap [Flx_unify] |
make a varmap using vs and ts list
|
mone [Flx_cil_cil] |
-1
|
msvc [Flx_cil_machdep] |
|
msvcBuiltins [Flx_cil_cil] |
A list of the MSVC built-in functions.
|
msvcMode [Flx_cil_cprint] |
|
msvcMode [Flx_cil_cil] |
Whether the pretty printer should print output for the MS VC compiler.
|
N |
name_of_token [Flx_prelex] |
|
newAlphaName [Flx_cil_cil] |
Create a new name based on a given name.
|
newGrowArray [Flx_cil_util] |
newGrowArray initsz fillhow
|
newHline [Flx_cil_errormsg] |
|
new_line [Flx_cil_cprint] |
|
newline [Flx_cil_errormsg] |
|
nil [Flx_cil_pretty] |
Constructs an empty document
|
nlist [Flx_util] |
list of n integers 0 to n-1
|
noMemoize [Flx_cil_formatcil] |
If set then will not memoize the parsed patterns
|
nocil [Flx_cil_cabs2cil] |
|
normalise_type [Flx_unify] |
normalise returns count of the type variables
occuring in a type, and the type rewritten so the type variables
are systematically numbered from 0 - n-1
|
null [Flx_cil_errormsg] |
Do not actually print (i.e.
|
num [Flx_cil_pretty] |
A document that prints an integer in decimal form
|
O |
oct_char2int [Flx_string] |
|
octbig_int_of_string [Flx_string] |
|
octint_of_string [Flx_string] |
|
offset [Flx_cil_formatparse] |
|
one [Flx_cil_cil] |
1
|
out [Flx_cil_cprint] |
|
overload [Flx_overload] |
|
P |
paramtype [Flx_typing2] |
|
parse [Flx_cil_frontc] |
|
parseInt [Flx_cil_cil] |
Convert a string representing a C integer literal to an expression.
|
parse_error [Flx_cil_errormsg] |
|
parse_file [Flx_parse_ctrl] |
|
parse_line [Flx_lex] |
|
parse_option [Flx_getopt] |
|
parse_options [Flx_getopt] |
|
parse_string [Flx_parse_ctrl] |
|
parse_tokens [Flx_tok] |
|
parse_utf8 [Flx_string] |
|
partitionAttributes [Flx_cil_cil] |
Partition the attributes into classes:name attributes, function type,
and type attributes
|
peepHole1 [Flx_cil_cil] |
Similar to peepHole2 except that the optimization window consists of
one statement, not two
|
peepHole2 [Flx_cil_cil] |
A peephole optimizer that processes two adjacent statements and possibly
replaces them both.
|
pop [Flx_cil_util.STACK] |
pop s removes and returns the topmost element in stack s ,
or raises Empty if the stack is empty.
|
popContext [Flx_cil_errormsg] |
Removes the last registered context printing function
|
pop_class [Flx_cil_lexerhack] |
|
pop_context [Flx_cil_lexerhack] |
|
pop_context [Flx_cil_clexer] |
|
pre_flx_lex [Flx_lex] |
|
pre_tokens_of_filename [Flx_pretok] |
|
pre_tokens_of_lexbuf [Flx_preproc] |
|
pre_tokens_of_string [Flx_pretok] |
|
pre_tokens_of_string [Flx_preproc] |
|
prepareCFG [Flx_cil_cil] |
|
prepend [Flx_dlst] |
|
print [Flx_cil_stats] |
Print the current stats preceeded by a message
|
print [Flx_cil_cprint] |
|
printAttr [Flx_cil_cil] |
Print an attribute given a pretty printer
|
printAttrs [Flx_cil_cil] |
Print a set of attributes given a pretty printer
|
printBlock [Flx_cil_cil] |
Print a block given a pretty printer.
|
printCilAsIs [Flx_cil_cil] |
Whether to print the CIL as they are, without trying to be smart and
* print nicer code.
|
printComments [Flx_cil_cprint] |
|
printCounters [Flx_cil_cprint] |
|
printDepth [Flx_cil_pretty] |
Specifies the nesting depth of the align /unalign pairs at which
everything is replaced with ellipsis
|
printExp [Flx_cil_cil] |
Print an expression given a pretty printer
|
printFile [Flx_cil_cprint] |
|
printFlx_cil_stats [Flx_cil_cilutil] |
|
printGlobal [Flx_cil_cil] |
Print a global given a pretty printer
|
printIndent [Flx_cil_pretty] |
If false then does not indent
|
printInit [Flx_cil_cil] |
Print an initializer given a pretty printer.
|
printInstr [Flx_cil_cil] |
Print an instruction given a pretty printer
|
printLn [Flx_cil_cprint] |
|
printLnComment [Flx_cil_cprint] |
|
printLval [Flx_cil_cil] |
Print an lvalue given a pretty printer
|
printStages [Flx_cil_cilutil] |
|
printStmt [Flx_cil_cil] |
Print a statement given a pretty printer.
|
printType [Flx_cil_cil] |
Print a type given a pretty printer
|
print_CIL_Input [Flx_cil_cil] |
Whether we print something that will only be used as input to our own
* parser.
|
print_attribute [Flx_cil_cprint] |
|
print_attributes [Flx_cil_cprint] |
|
print_block [Flx_cil_cprint] |
|
print_call_report [Flx_call] |
|
print_chosen [Flx_flxopt] |
|
print_comma_exps [Flx_cil_cprint] |
|
print_commas [Flx_cil_cprint] |
|
print_decl [Flx_cil_cprint] |
|
print_def [Flx_cil_cprint] |
|
print_defs [Flx_cil_cprint] |
|
print_enum_items [Flx_cil_cprint] |
|
print_env [Flx_print] |
|
print_env_short [Flx_print] |
|
print_expression [Flx_cil_cprint] |
|
print_expression_level [Flx_cil_cprint] |
|
print_field [Flx_cil_cprint] |
|
print_field_group [Flx_cil_cprint] |
|
print_fields [Flx_cil_cprint] |
|
print_functions [Flx_print] |
|
print_init_expression [Flx_cil_cprint] |
|
print_init_name [Flx_cil_cprint] |
|
print_init_name_group [Flx_cil_cprint] |
|
print_list [Flx_cil_cprint] |
|
print_name [Flx_cil_cprint] |
|
print_name_group [Flx_cil_cprint] |
|
print_old_params [Flx_cil_cprint] |
|
print_onlytype [Flx_cil_cprint] |
|
print_options [Flx_flxopt] |
|
print_params [Flx_cil_cprint] |
|
print_pre_tokens [Flx_tok] |
|
print_single_name [Flx_cil_cprint] |
|
print_specifiers [Flx_cil_cprint] |
|
print_statement [Flx_cil_cprint] |
|
print_string [Flx_cil_cprint] |
|
print_struct_name_attr [Flx_cil_cprint] |
|
print_substatement [Flx_cil_cprint] |
|
print_tab [Flx_cil_cprint] |
|
print_tokens [Flx_tok] |
|
print_type_spec [Flx_cil_cprint] |
|
print_unescaped_string [Flx_cil_cprint] |
|
print_wstring [Flx_cil_cprint] |
|
printf [Flx_cil_pretty] |
|
process_regexp [Flx_dfa] |
|
push [Flx_cil_util.STACK] |
push x s adds the element x at the top of stack s .
|
pushContext [Flx_cil_errormsg] |
Registers a context printing function
|
pushGlobal [Flx_cil_cil] |
CIL keeps the types at the beginning of the file and the variables at the
* end of the file.
|
push_class [Flx_cil_lexerhack] |
|
push_context [Flx_cil_lexerhack] |
|
push_context [Flx_cil_clexer] |
|
py_dquote_of_string [Flx_string] |
|
py_quote_of_string [Flx_string] |
|
Q |
qualified_name_of_expr [Flx_typing] |
|
qualified_name_of_index [Flx_print] |
|
R |
real [Flx_cil_pretty] |
A document that prints a real number
|
reduce_bexe [Flx_maps] |
|
reduce_tbexpr [Flx_maps] |
|
reduce_type [Flx_maps] |
|
regen [Flx_regen] |
|
regexp_dot [Flx_charset] |
|
regexp_of_charset [Flx_charset] |
|
regexp_underscore [Flx_charset] |
|
registerAlphaName [Flx_cil_cil] |
Register a name with an alpha conversion table to ensure that when later
* we call newAlphaName we do not end up generating this one
|
registerSymbolName [Flx_cil_util] |
Register a symbol name and get the symbol for it
|
registerSymbolRange [Flx_cil_util] |
Register a number of consecutive symbol ids.
|
register_tuple [Flx_treg] |
|
register_type_nr [Flx_treg] |
|
register_type_r [Flx_treg] |
|
remove [Flx_cil_inthash] |
|
removeOffset [Flx_cil_cil] |
Remove ONE offset from the end of an offset sequence.
|
removeOffsetLval [Flx_cil_cil] |
Remove ONE offset from the end of an lvalue.
|
removeUnusedTemps [Flx_cil_rmtmps] |
|
remove_child [Flx_child] |
|
repeattime [Flx_cil_stats] |
repeattime is like time but runs the function several times until the total
running time is greater or equal to the first argument.
|
replace [Flx_cil_inthash] |
|
reset [Flx_cil_stats] |
Resets all the timings.
|
resize [Flx_cil_inthash] |
|
resolve_overload [Flx_lookup] |
|
restoreArray [Flx_cil_util] |
Given an array, produce a thunk that later restores it to its current value
|
restoreHash [Flx_cil_util] |
Given a hash table, produce a thunk that later restores it to its current value
|
restoreRef [Flx_cil_util] |
Given a ref cell, produce a thunk that later restores it to its current value
|
rev [Flx_cil_clist] |
Reverse a clist
|
roll [Flx_cil_cprint] |
|
rsexpr [Flx_srcref] |
|
rslist [Flx_srcref] |
|
rsrange [Flx_srcref] |
|
rstoken [Flx_srcref] |
|
runThunks [Flx_cil_util] |
Given a list of thunks, produce a thunk that runs them all
|
S |
s [Flx_cil_errormsg] |
Stop the execution by raising an Error.
|
saveBinaryFile [Flx_cil_cil] |
|
saveBinaryFileChannel [Flx_cil_cil] |
|
saveConfiguration [Flx_cil_util] |
Save the configuration in a file.
|
sbe [Flx_print] |
|
sbt [Flx_print] |
|
sbx [Flx_print] |
|
sc [Flx_cexpr] |
|
scan_escape [Flx_cil_formatlex] |
|
scan_hex_escape [Flx_cil_formatlex] |
|
scan_ident [Flx_cil_formatlex] |
|
scan_oct_escape [Flx_cil_formatlex] |
|
seq [Flx_cil_pretty] |
Formats a sequence.
|
setConfiguration [Flx_cil_util] |
Set a configuration element, with a key.
|
setCurrentFile [Flx_cil_errormsg] |
|
setCurrentLine [Flx_cil_errormsg] |
|
setFormals [Flx_cil_cil] |
Update the formals of a fundec and make sure that the function type
has the same information.
|
setFunctionType [Flx_cil_cil] |
Set the types of arguments and results as given by the function type
* passed as the second argument.
|
setHFile [Flx_cil_errormsg] |
|
setHLine [Flx_cil_errormsg] |
|
setLoc [Flx_cil_cprint] |
|
setMSVCMode [Flx_cil_frontc] |
|
setMaxId [Flx_cil_cil] |
|
setReg [Flx_cil_util] |
|
setTypeAttrs [Flx_cil_cil] |
|
setTypeSigAttrs [Flx_cil_cil] |
Replace the attributes of a signature (only at top level)
|
set_globals [Flx_global] |
|
set_tab [Flx_cil_cprint] |
|
set_width [Flx_cil_cprint] |
|
shape_of [Flx_pgen] |
|
short_string_of_src [Flx_srcref] |
|
showContext [Flx_cil_errormsg] |
Show the context stack to stderr
|
si [Flx_util] |
synonym for string_of_int
|
single [Flx_cil_clist] |
Create a clist containing one element
|
singleton [Inria_cset] |
|
size [Inria_table] |
|
sizeOf [Flx_cil_cil] |
|
sliceGlobal [Flx_cil_cilutil] |
|
slift [Flx_srcref] |
|
space [Flx_cil_cprint] |
|
spaces [Flx_util] |
n spaces
|
spaces [Flx_cil_cprint] |
|
special_string_of_typecode [Flx_print] |
|
splitFunctionType [Flx_cil_cil] |
Given a function type split it into return type,
* arguments, is_vararg and attributes.
|
splitFunctionTypeVI [Flx_cil_cil] |
|
sprint [Flx_cil_pretty] |
Format the document to the given width and emit it as a string
|
src_of_expr [Flx_srcref] |
|
src_of_pat [Flx_srcref] |
|
src_of_qualified_name [Flx_srcref] |
|
src_of_stmt [Flx_srcref] |
|
src_of_suffixed_name [Flx_srcref] |
|
src_of_token [Flx_prelex] |
|
startParsing [Flx_cil_errormsg] |
|
startParsingFromString [Flx_cil_errormsg] |
|
startsWith [Flx_cil_cil] |
sm: return true if the first is a prefix of the second string
|
statement [Flx_parse] |
|
stmt [Flx_cil_formatparse] |
|
stmt_list [Flx_cil_formatparse] |
|
strd [Flx_display] |
|
string_of_arguments [Flx_print] |
|
string_of_bbdcl [Flx_print] |
|
string_of_bexe [Flx_print] |
|
string_of_bigint [Flx_print] |
|
string_of_bound_expression [Flx_print] |
|
string_of_bound_expression_with_type [Flx_print] |
|
string_of_btypecode [Flx_print] |
|
string_of_cdecl_type [Flx_ctype] |
|
string_of_cexpr [Flx_cexpr] |
|
string_of_characters [Inria_cset] |
|
string_of_compilation_unit [Flx_print] |
|
string_of_ctype [Flx_ctype] |
|
string_of_dcl [Flx_print] |
|
string_of_desugared [Flx_print] |
|
string_of_entry_kind [Flx_print] |
|
string_of_entry_set [Flx_print] |
|
string_of_exe [Flx_print] |
|
string_of_expr [Flx_print] |
|
string_of_literal [Flx_print] |
|
string_of_parameters [Flx_print] |
|
string_of_pattern [Flx_print] |
|
string_of_qualified_name [Flx_print] |
|
string_of_statement [Flx_print] |
|
string_of_suffixed_name [Flx_print] |
|
string_of_symdef [Flx_print] |
|
string_of_token [Flx_prelex] |
|
string_of_tpattern [Flx_print] |
|
string_of_typecode [Flx_print] |
|
string_of_varlist [Flx_print] |
|
stringset_map [Flx_mtypes1] |
|
strip_us [Flx_preproc] |
|
symbolName [Flx_cil_util] |
Get the name of a symbol
|
syserr [Flx_exceptions] |
|
T |
tab [Flx_cil_cprint] |
|
tailable [Flx_cflow] |
|
tailit [Flx_tailit] |
|
terminate [Flx_terminate] |
terminate the top level program in case of error
|
test [Flx_cil_formatcil] |
Just a testing function
|
text [Flx_cil_pretty] |
A document that prints the given string
|
time [Flx_cil_stats] |
Time a function and associate the time with the given string.
|
toList [Flx_cil_clist] |
Convert a clist to an ordinary list
|
top [Flx_cil_util.STACK] |
top s returns the topmost element in stack s ,
or raises Empty if the stack is empty.
|
trace [Flx_cil_trace] |
|
traceActive [Flx_cil_trace] |
|
traceAddMulti [Flx_cil_trace] |
|
traceAddSys [Flx_cil_trace] |
|
traceIndent [Flx_cil_trace] |
|
traceIndentLevel [Flx_cil_trace] |
|
traceOutdent [Flx_cil_trace] |
|
traceSubsystems [Flx_cil_trace] |
|
tracei [Flx_cil_trace] |
|
traceu [Flx_cil_trace] |
|
translate [Flx_lex1] |
|
transpose [Flx_util] |
hmmm
|
trim [Inria_table] |
|
tryFinally [Flx_cil_util] |
|
tsbe [Flx_print] |
|
tsubst [Flx_unify] |
replace variables using vs and ts list to
determine mapping
|
typeAddAttributes [Flx_cil_cil] |
Add some attributes to a type
|
typeAttrs [Flx_cil_cil] |
Returns all the attributes contained in a type.
|
typeOf [Flx_cil_cil] |
Compute the type of an expression
|
typeOfLval [Flx_cil_cil] |
Compute the type of an lvalue
|
typeOfSizeOf [Flx_cil_cil] |
|
typeOffset [Flx_cil_cil] |
Compute the type of an offset from a base type
|
typeRemoveAttributes [Flx_cil_cil] |
Remove all attributes with the given names from a type.
|
typeSig [Flx_cil_cil] |
Compute a type signature
|
typeSigAttrs [Flx_cil_cil] |
Get the top-level attributes of a signature
|
typeSigWithAttrs [Flx_cil_cil] |
|
type_eq [Flx_unify] |
compare for iso-equality
|
type_match [Flx_unify] |
compare parameter with argument type,
argument may have extra lvalue in it
|
type_of_argtypes [Flx_typing] |
|
type_of_tpattern [Flx_tpat] |
|
typecode_of_expr [Flx_typing2] |
|
typecodeset_map [Flx_mtypes2] |
|
typecodeset_of_list [Flx_mtypes2] |
|
typename [Flx_cil_formatparse] |
|
typeof_list [Flx_typing2] |
|
typeof_literal [Flx_lookup] |
|
typeofindex [Flx_lookup] |
|
typeofindex_with_ts [Flx_lookup] |
|
typeoflist [Flx_typing] |
|
U |
ucs_id_ranges [Flx_id] |
|
uintPtrType [Flx_cil_cil] |
unsigned int *
|
uintType [Flx_cil_cil] |
unsigned int
|
ulongType [Flx_cil_cil] |
unsigned long
|
unalign [Flx_cil_pretty] |
Reverts to the last saved indentation level.
|
undef_directive [Flx_preproc] |
|
undivert_directive [Flx_preproc] |
|
undoAlphaChanges [Flx_cil_cil] |
Undo the changes to a table
|
unescape [Flx_string] |
|
unfold [Flx_unify] |
unfold t returns t with each fix variable
denoting t replaced with t
|
unification [Flx_unify] |
obtain the mgu of a set of type equations with specified
dependent variable set, throws Not_found if cannot unify
|
unifies [Flx_unify] |
test if two types unify
|
unimp [Flx_cil_errormsg] |
Similar to error except that its output has the form Unimplemented: ...
|
unimp [Flx_cil_cil] |
|
unindent [Flx_cil_cprint] |
|
union [Inria_cset] |
|
uniq_cat [Flx_util] |
add elements to unique list
|
uniq_list [Flx_util] |
make a list of unique elements
|
uniqueVarNames [Flx_cil_cil] |
Assign unique names to local variables.
|
unmark [Flx_cil_pretty] |
The end of a markup section
|
unravel [Flx_unravel] |
|
unrollType [Flx_cil_cil] |
Unroll a type until it exposes a non
* TNamed .
|
unrollTypeDeep [Flx_cil_cil] |
Unroll all the TNamed in a type (even under type constructors such as
* TPtr , TFun or TArray .
|
upointType [Flx_cil_cil] |
|
useConfigurationBool [Flx_cil_util] |
|
useConfigurationInt [Flx_cil_util] |
Looks for an integer configuration element, and if it is found, it uses
* the given function.
|
useConfigurationList [Flx_cil_util] |
|
useConfigurationString [Flx_cil_util] |
|
useLogicalOperators [Flx_cil_cil] |
Whether to use the logical operands LAnd and LOr.
|
use_closure [Flx_call] |
|
uses [Flx_use] |
|
uses_type [Flx_use] |
|
utf8_of_int [Flx_string] |
|
utf8_to_ucn [Flx_id] |
|
V |
valOf [Flx_cil_util] |
Get the value of an option.
|
validate_patterns [Flx_pat] |
|
valueOfDigit [Flx_cil_cabs_helper] |
|
var [Flx_cil_cil] |
Makes an lvalue out of a given variable
|
var_i_occurs [Flx_unify] |
check for a particular variable
|
var_list_occurs [Flx_unify] |
check for variables
|
var_occurs [Flx_unify] |
check for variables
|
varmap_subst [Flx_unify] |
replace variables in the term using
the mapping in the hashtable
|
verboseFlag [Flx_cil_errormsg] |
|
version [Flx_cil_cprint] |
|
version_data [Flx_version] |
|
visitCilAttributes [Flx_cil_cil] |
Visit a list of attributes
|
visitCilBlock [Flx_cil_cil] |
Visit a block
|
visitCilExpr [Flx_cil_cil] |
|
visitCilFile [Flx_cil_cil] |
Visit a file.
|
visitCilFileSameGlobals [Flx_cil_cil] |
A visitor for the whole file that does not change the globals (but maybe
* changes things inside the globals).
|
visitCilFunction [Flx_cil_cil] |
Visit a function definition
|
visitCilGlobal [Flx_cil_cil] |
Visit a global
|
visitCilInit [Flx_cil_cil] |
Visit an initializer
|
visitCilInitOffset [Flx_cil_cil] |
Visit an initializer offset
|
visitCilInstr [Flx_cil_cil] |
Visit an instruction
|
visitCilLval [Flx_cil_cil] |
Visit an lvalue
|
visitCilOffset [Flx_cil_cil] |
Visit an lvalue or recursive offset
|
visitCilStmt [Flx_cil_cil] |
Visit a statement
|
visitCilType [Flx_cil_cil] |
Visit a type
|
visitCilVarDecl [Flx_cil_cil] |
Visit a variable declaration
|
visit_cabsAttributes [Flx_cil_cabsvisit] |
|
visit_cabsBlock [Flx_cil_cabsvisit] |
|
visit_cabsDeclType [Flx_cil_cabsvisit] |
Visits a decl_type.
|
visit_cabsDefinition [Flx_cil_cabsvisit] |
|
visit_cabsExpression [Flx_cil_cabsvisit] |
|
visit_cabsFile [Flx_cil_cabsvisit] |
|
visit_cabsName [Flx_cil_cabsvisit] |
|
visit_cabsSpecifier [Flx_cil_cabsvisit] |
|
visit_cabsStatement [Flx_cil_cabsvisit] |
|
visit_cabsTypeSpecifier [Flx_cil_cabsvisit] |
|
visitorLocation [Flx_cil_cabsvisit] |
Set by the visitor to the current location
|
voidPtrType [Flx_cil_cil] |
void *
|
voidType [Flx_cil_cil] |
void
|
W |
warn [Flx_cil_errormsg] |
|
warn [Flx_cil_cil] |
|
warnContext [Flx_cil_cil] |
|
warnContextOpt [Flx_cil_cil] |
|
warnFlag [Flx_cil_errormsg] |
Set to true if you want to see all warnings.
|
warnLoc [Flx_cil_cil] |
|
warnOpt [Flx_cil_errormsg] |
|
warnOpt [Flx_cil_cil] |
|
wbtowc [Flx_cil_formatlex] |
|
wcharKind [Flx_cil_cil] |
|
wcharType [Flx_cil_cil] |
|
width [Flx_cil_cprint] |
|
withContext [Flx_cil_errormsg] |
To ensure that the context is registered and removed properly, use the
function below
|
withPrintDepth [Flx_cil_pretty] |
Invokes a thunk, with printDepth temporarily set to the specified value
|
withTimeout [Flx_cil_util] |
|
wstr_to_warray [Flx_cil_formatlex] |
|
Z |
zero [Flx_cil_cil] |
0
|