spark - amd64

Documentation

Binaries

sparkmake

compile units

includes

b~sparkmake.adb

b~sparkmake.ads

contextmanager.ads

fatal.ads

s-stalib.ads

s-exctab.ads

sp_expected_symbols-get_expected_symbols.adb

sp_expected_symbols.ads

sp_expected_symbols.adb

sp_productions.ads

sp_symbols.ads

sp_relations-sp_left_corner.adb

sp_relations-sp_terminal_like.adb

sp_relations.adb

sp_relations.ads

sp_symbols.ads

a-convec.adb

a-convec.ads

heap_storage.adb

heap_storage.ads

a-iteint.ads

a-tags.ads

a-stream.ads

s-stopoo.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stalib.ads

s-stposu.ads

a-except.ads

s-secsta.ads

s-stratt.ads

seqalgebra.adb

seqalgebra.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

spark-ada-strings-maps.adb

spark-ada-strings-maps.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps-not_spark.adb

spark-ada-strings-maps-not_spark.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps.ads

s-secsta.ads

spark-ada-strings-not_spark.adb

a-string.ads

spark-ada-strings.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded.adb

spark-ada-strings-unbounded.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings.ads

a-string.ads

s-secsta.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings.ads

a-string.ads

spark-ada-strings-not_spark.ads

s-secsta.ads

e_strings.adb

e_strings.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark_io.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark-ada-strings.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings-unbounded.ads

a-chahan.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings-maps.ads

commandline.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

a-except.ads

s-stalib.ads

s-string.ads

s-os_lib.ads

g-comlin.ads

g-dirope.ads

s-regexp.ads

commandline.ads

e_strings-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

e_strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

filesystem.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

filesystem.ads

s-secsta.ads

a-except.ads

s-stalib.ads

s-os_lib.ads

a-comlin.ads

g-dirope.ads

e_strings-not_spark.ads

g-io_aux.ads

spark-ada-strings-unbounded-not_spark.ads

a-convec.adb

a-convec.ads

cell_storage.adb

cell_storage.ads

a-iteint.ads

sp_symbols.ads

a-tags.ads

a-stream.ads

s-stopoo.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stalib.ads

s-stposu.ads

a-except.ads

s-secsta.ads

s-stratt.ads

clists.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

clists.ads

cstacks.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

cstacks.ads

error_types.ads

lextokenmanager.ads

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

g-dyntab.adb

error_io.adb

g-dyntab.ads

error_io.ads

error_types.ads

lextokenmanager.ads

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stopoo.ads

s-pooglo.ads

spark_io.ads

s-memory.ads

maths-valuetostring.adb

maths.adb

maths-parsestring.adb

maths-literaltovalue.adb

maths.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

a-except.ads

s-stalib.ads

lextokenmanager.ads

s-bitops.ads

screenecho.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

s-secsta.ads

screenecho.ads

a-except.ads

commandlinehandler.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

commandlinehandler.ads

commandlinedata.ads

s-secsta.ads

spark_io.ads

a-except.ads

s-stalib.ads

a-comlin.ads

screenecho.ads

filesystem.ads

a-chahan.ads

spark_xml.adb

spark_xml.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

s-imgint.ads

adjustfdl_rws.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

adjustfdl_rws.ads

sparklex.ads

stringlist.adb

stringlist.ads

e_strings.ads

a-strunb.ads

s-finroo.ads

a-finali.ads

a-tags.ads

s-atocou.ads

s-finmas.ads

s-stopoo.ads

s-secsta.ads

s-stposu.ads

spark_io.ads

sparkmakeerrors.ads

e_strings-not_spark.ads

s-carun8.ads

a-except.ads

sparkmakedebug.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

stringlist.ads

spark_io.ads

sparkmakedebug.ads

sparkmakecommandline.ads

structures.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

structures.ads

cstacks.ads

labels.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

labels.ads

clists.ads

pairs.ads

structures.ads

pairs.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

pairs.ads

cstacks.ads

clists.ads

structures.ads

directory_operations.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

stringlist.ads

regularexpression.ads

a-except.ads

s-stalib.ads

s-secsta.ads

g-dirope.ads

directory_operations.ads

s-os_lib.ads

e_strings-not_spark.ads

systemerrors.ads

debug.adb

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

heap_storage.ads

heap.ads

s-secsta.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

a-except.ads

s-stalib.ads

systemerrors.ads

seqalgebra.ads

a-exctra.ads

debug.ads

a-textio.ads

s-imgint.ads

s-imgboo.ads

lextokenmanager.ads

dag_io.ads

s-imenne.ads

stree.ads

g-traceb.ads

g-trasym.ads

cstacks.ads

stree.adb

stree-findlastitemindependencyrelation.adb

stree.ads

sp_symbols.ads

lextokenmanager.ads

systemerrors.ads

statistics.ads

dictionary.ads

statistics.adb

spark_io.ads

statistics.ads

systemerrors.ads

sparkmakeerrors.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

sparkmakeerrors.ads

systemerrors.ads

sparkmakedebug.ads

regularexpression.adb

regularexpression.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-regexp.ads

s-secsta.ads

e_strings-not_spark.ads

sparkmakedebug.ads

systemerrors.ads

dag_io.adb

a-tags.ads

dag_io.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

spark_io.ads

dictionary.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

a-except.ads

s-stalib.ads

maths.ads

systemerrors.ads

lextokenmanager.ads

adjustfdl_rws.ads

cstacks.ads

clists.ads

pairs.ads

s-imgint.ads

s-imenne.ads

lextokenstacks.adb

lextokenstacks.ads

systemerrors.ads

lextokenlists.adb

lextokenlists.ads

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

systemerrors.ads

s-secsta.ads

a-except.ads

s-stalib.ads

cells.adb

cell_storage.ads

sp_symbols.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cells.ads

statistics.ads

systemerrors.ads

a-except.ads

s-stalib.ads

s-secsta.ads

dictionary.ads

lextokenmanager.adb

lextokenmanager-insert_nat.adb

lextokenmanager.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

commandlinedata.ads

systemerrors.ads

s-secsta.ads

statistics.ads

a-chahan.ads

a-except.ads

s-stalib.ads

a-tiinio.adb

a-tiflio.adb

spark_io.adb

spark_io.ads

a-textio.ads

a-stream.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stopoo.ads

s-pooglo.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-stalib.ads

a-except.ads

s-secsta.ads

systemerrors.ads

a-tiinio.ads

a-tiflio.ads

a-tiinau.ads

a-tiflau.ads

s-fatgen.ads

filesystem.ads

s-stposu.ads

s-imenne.ads

heap.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

a-except.ads

s-stalib.ads

statistics.ads

systemerrors.ads

s-secsta.ads

tokenmanager.adb

tokenmanager.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

a-except.ads

s-stalib.ads

s-secsta.ads

lextokenmanager.ads

sparklex.ads

sparkmakeerrors.ads

s-imenne.ads

sp_symbols.ads

unit.adb

unit.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

stringlist.ads

a-except.ads

s-stalib.ads

spark_io.ads

sp_symbols.ads

tokenmanager.ads

s-secsta.ads

s-imenne.ads

e_strings-not_spark.ads

sparkmakedebug.ads

sparklex.ads

sparkmakeerrors.ads

units.adb

units.ads

unit.ads

e_strings.ads

a-strunb.ads

s-finroo.ads

a-finali.ads

a-tags.ads

s-atocou.ads

s-finmas.ads

s-stopoo.ads

s-stposu.ads

a-except.ads

s-stalib.ads

sparkmakeerrors.ads

unitmanager-unitstore.adb

s-htable.adb

s-htable.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

unit.ads

stringlist.ads

units.ads

s-finmas.ads

s-stopoo.ads

s-secsta.ads

a-except.ads

s-stalib.ads

unitmanager-unitstore.ads

s-imenne.ads

a-chahan.ads

e_strings-not_spark.ads

s-stposu.ads

unitmanager.adb

stringlist.ads

e_strings.ads

a-strunb.ads

s-finroo.ads

a-finali.ads

a-tags.ads

s-atocou.ads

units.ads

unit.ads

regularexpression.ads

s-secsta.ads

sparkmakeerrors.ads

a-except.ads

s-stalib.ads

spark_io.ads

unitmanager.ads

unitmanager-unitstore.ads

sparklex.ads

directory_operations.ads

version.ads

systemerrors.adb

systemerrors.ads

s-stalib.ads

screenecho.ads

a-except.ads

sparkmakecommandline.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

stringlist.ads

a-except.ads

s-stalib.ads

spark_io.ads

s-secsta.ads

sparkmakecommandline.ads

sparkmakeerrors.ads

regularexpression.ads

systemerrors.ads

directory_operations.ads

sparkmakedebug.ads

filesystem.ads

commandline.ads

xmlreport.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

xmlreport.ads

spark_xml.ads

a-except.ads

s-stalib.ads

systemerrors.ads

s-secsta.ads

filesystem.ads

a-convec.adb

a-convec.ads

dictionary-targetdata.adb

dictionary-writeoperatorrenamingdeclaration.adb

dictionary.adb

dictionary-initialize.adb

dictionary-rawdict.adb

dictionary-addwithreference.adb

dictionary-add_use_type_reference.adb

dictionary-dynamic_symbol_table.adb

dictionary-is_renamed_local.adb

dictionary-operator_is_visible.adb

dictionary-is_callable.adb

dictionary-write.adb

dictionary-add_declaration.adb

dictionary-search_for_inherited_operations.adb

dictionary-get_binary_operator_type_local.adb

dictionary-getscope.adb

dictionary-nextsymbol.adb

dictionary-lookupselecteditem.adb

dictionary-attribute_is_visible.adb

dictionary-get_scalar_attribute_type.adb

dictionary-get_scalar_attribute_value.adb

dictionary-generatesimplename.adb

dictionary-getanyprefixneeded.adb

dictionary-lookupscope.adb

dictionary-lookupitem.adb

dictionary-attribute_is_visible_but_obsolete_local.adb

dictionary-add_record_subcomponent.adb

dictionary-add_record_component.adb

dictionary-addloop.adb

dictionary-add_subprogram_parameter.adb

dictionary-add_generic_formal_parameter_local.adb

dictionary-add_renaming_declaration.adb

dictionary-addinheritsreference.adb

dictionary-get_record_component.adb

dictionary-instantiate_subprogram_parameters.adb

a-iteint.ads

lextokenmanager.ads

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

sp_symbols.ads

a-stream.ads

s-stopoo.ads

s-finmas.ads

s-stalib.ads

s-stposu.ads

s-pooglo.ads

s-secsta.ads

a-except.ads

systemerrors.ads

commandlinedata.ads

filesystem.ads

maths.ads

xmlreport.ads

lextokenstacks.ads

statistics.ads

s-stratt.ads

s-imenne.ads

screenecho.ads

commandlinehandler.ads

s-imgint.ads

commandlinedata.adb

commandlinedata.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

filesystem.ads

s-imgint.ads

xmlreport.ads

errorhandler-conversions-tostring.adb

errorhandler-errorbuffer.adb

errorhandler-justifications.adb

errorhandler-warningstatus-readwarningfile.adb

errorhandler-printline.adb

errorhandler.adb

errorhandler-conversions-tostring-warningwithposition.adb

errorhandler-conversions-tostring-warningwithposition-warningwithpositionexpl.adb

errorhandler-conversions-tostring-warningwithoutposition.adb

errorhandler-conversions-tostring-warningwithoutposition-warningwithoutpositionexpl.adb

errorhandler-conversions-tostring-noerr.adb

errorhandler-conversions-tostring-uncondflowerr.adb

errorhandler-conversions-tostring-uncondflowerr-uncondflowerrexpl.adb

errorhandler-conversions-tostring-condlflowerr.adb

errorhandler-conversions-tostring-condlflowerr-condlflowerrexpl.adb

errorhandler-conversions-tostring-unconddependency.adb

errorhandler-conversions-tostring-condldependency.adb

errorhandler-conversions-tostring-semanticerr.adb

errorhandler-conversions-tostring-depsemanticerr.adb

errorhandler-conversions-tostring-note.adb

errorhandler-conversions-tostring-note-noteexpl.adb

errorhandler-conversions-tostring-controlflowerror.adb

errorhandler-conversions-tostring-controlflowerror-controlflowerrorexpl.adb

errorhandler-conversions-tostring-ineffectivestatement.adb

errorhandler-conversions-tostring-stabilityerror.adb

errorhandler-conversions-tostring-stabilityerror-stabilityerrorexpl.adb

errorhandler-conversions-tostring-usageerror.adb

errorhandler-conversions-tostring-ineffectivestatement-ineffectivestatementexpl.adb

errorhandler-conversions-tostring-depsemanticerr-depsemanticerrexpl.adb

errorhandler-conversions-tostring-condldependency-condldependencyexpl.adb

errorhandler-conversions-tostring-unconddependency-unconddependencyexpl.adb

errorhandler-conversions-tostring-usageerror-usageerrorexpl.adb

errorhandler-conversions-tostring-appendreference.adb

errorhandler-conversions-tostring-semanticerr-semanticerrexpl.adb

errorhandler-conversions.adb

errorhandler-warningstatus.adb

errorhandler-erroraccumulator.adb

errorhandler-appendsym.adb

errorhandler-getfileline.adb

errorhandler-echoerrorentry.adb

errorhandler-printerrors.adb

errorhandler-appenderrors.adb

errorhandler.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

sp_symbols.ads

dictionary.ads

sp_expected_symbols.ads

spark_io.ads

error_types.ads

error_io.ads

a-except.ads

s-stalib.ads

s-secsta.ads

commandlinedata.ads

systemerrors.ads

filesystem.ads

xmlreport.ads

spark_xml.ads

screenecho.ads

commandlinehandler.ads

s-imenne.ads

debug.ads

sp_relations.ads

sparklex-linemanager.adb

sparklex.adb

sparklex-lex.adb

sparklex-lex-getnumber.adb

sparklex-lex-getident.adb

sparklex-lex-nextlex.adb

sparklex-lex-getstring.adb

sparklex-lex-ltintro.adb

sparklex-lex-apostintro.adb

sparklex-lex-hyphintro.adb

sparklex.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

lextokenmanager.ads

sp_symbols.ads

a-except.ads

s-stalib.ads

s-secsta.ads

systemerrors.ads

lextokenlists.ads

errorhandler.ads

a-chahan.ads

sparkmake.adb

s-secsta.ads

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

units.ads

unit.ads

stringlist.ads

sparkmakeerrors.ads

a-except.ads

s-stalib.ads

sparkmakecommandline.ads

sparkmakedebug.ads

directory_operations.ads

unitmanager.ads

screenecho.ads

g-trasym.ads

commandlinedata.ads

lextokenmanager.ads

dictionary.ads

errorhandler.ads

sparklex.ads

libraries


manual

victor

compile units

includes

b~victor.adb

b~victor.ads

fatal.ads

s-stalib.ads

s-exctab.ads

spark-ada-strings-maps.adb

spark-ada-strings-maps.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps-not_spark.adb

spark-ada-strings-maps-not_spark.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps.ads

s-secsta.ads

spark-ada-strings-not_spark.adb

a-string.ads

spark-ada-strings.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded.adb

spark-ada-strings-unbounded.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings.ads

a-string.ads

s-secsta.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings.ads

a-string.ads

spark-ada-strings-not_spark.ads

s-secsta.ads

e_strings.adb

e_strings.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark_io.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark-ada-strings.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings-unbounded.ads

a-chahan.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings-maps.ads

command_line.adb

command_line.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

s-string.ads

s-os_lib.ads

g-comlin.ads

g-dirope.ads

s-regexp.ads

a-comlin.ads

e_strings-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

e_strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

filesystem.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

filesystem.ads

s-secsta.ads

a-except.ads

s-stalib.ads

s-os_lib.ads

a-comlin.ads

g-dirope.ads

e_strings-not_spark.ads

g-io_aux.ads

spark-ada-strings-unbounded-not_spark.ads

screenecho.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

s-secsta.ads

screenecho.ads

a-except.ads

spark_xml.adb

spark_xml.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

s-imgint.ads

a-tiinio.adb

a-tiflio.adb

spark_io.adb

spark_io.ads

a-textio.ads

a-stream.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stopoo.ads

s-pooglo.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-stalib.ads

a-except.ads

s-secsta.ads

systemerrors.ads

a-tiinio.ads

a-tiflio.ads

a-tiinau.ads

a-tiflau.ads

s-fatgen.ads

filesystem.ads

s-stposu.ads

s-imenne.ads

version.ads

systemerrors.adb

systemerrors.ads

s-stalib.ads

screenecho.ads

a-except.ads

banner.adb

a-strunb.ads

s-atocou.ads

banner.ads

spark_io.ads

a-convec.adb

victor_wrapper.adb

a-convec.ads

a-iteint.ads

a-tags.ads

s-string.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

command_line.ads

s-secsta.ads

s-os_lib.ads

a-except.ads

s-stalib.ads

spark_io.ads

a-stream.ads

s-stopoo.ads

s-finmas.ads

s-stposu.ads

s-stratt.ads

victor_wrapper.ads

spark-ada-strings-unbounded-not_spark.ads

s-imgint.ads

s-addima.ads

victor.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

command_line.ads

spark_io.ads

victor_wrapper.ads

banner.ads

s-stalib.ads

xmlreport.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

xmlreport.ads

spark_xml.ads

a-except.ads

s-stalib.ads

systemerrors.ads

s-secsta.ads

filesystem.ads

commandlinedata.adb

commandlinedata.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

filesystem.ads

s-imgint.ads

xmlreport.ads

libraries


manual

sparkformat

compile units

includes

b~sparkformat.adb

b~sparkformat.ads

contextmanager.ads

fatal.ads

s-stalib.ads

s-exctab.ads

sp_expected_symbols-get_expected_symbols.adb

sp_expected_symbols.ads

sp_expected_symbols.adb

sp_productions.ads

sp_symbols.ads

sp_relations-sp_left_corner.adb

sp_relations-sp_terminal_like.adb

sp_relations.adb

sp_relations.ads

sp_symbols.ads

a-convec.adb

a-convec.ads

heap_storage.adb

heap_storage.ads

a-iteint.ads

a-tags.ads

a-stream.ads

s-stopoo.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stalib.ads

s-stposu.ads

a-except.ads

s-secsta.ads

s-stratt.ads

seqalgebra.adb

seqalgebra.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

relationalgebra.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

relationalgebra.ads

seqalgebra.ads

spark-ada-strings-maps.adb

spark-ada-strings-maps.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps-not_spark.adb

spark-ada-strings-maps-not_spark.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps.ads

s-secsta.ads

spark-ada-strings-not_spark.adb

a-string.ads

spark-ada-strings.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded.adb

spark-ada-strings-unbounded.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings.ads

a-string.ads

s-secsta.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings.ads

a-string.ads

spark-ada-strings-not_spark.ads

s-secsta.ads

e_strings.adb

e_strings.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark_io.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark-ada-strings.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings-unbounded.ads

a-chahan.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings-maps.ads

e_strings-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

e_strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

filesystem.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

filesystem.ads

s-secsta.ads

a-except.ads

s-stalib.ads

s-os_lib.ads

a-comlin.ads

g-dirope.ads

e_strings-not_spark.ads

g-io_aux.ads

spark-ada-strings-unbounded-not_spark.ads

a-convec.adb

a-convec.ads

cell_storage.adb

cell_storage.ads

a-iteint.ads

sp_symbols.ads

a-tags.ads

a-stream.ads

s-stopoo.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stalib.ads

s-stposu.ads

a-except.ads

s-secsta.ads

s-stratt.ads

clists.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

clists.ads

cstacks.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

cstacks.ads

error_types.ads

lextokenmanager.ads

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

g-dyntab.adb

error_io.adb

g-dyntab.ads

error_io.ads

error_types.ads

lextokenmanager.ads

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stopoo.ads

s-pooglo.ads

spark_io.ads

s-memory.ads

lextokenmanager-seq_algebra.adb

lextokenmanager-seq_algebra.ads

seqalgebra.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

s-secsta.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

a-textio.ads

e_strings-not_spark.ads

a-except.ads

lextokenmanager-relation_algebra.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

lextokenmanager-relation_algebra.ads

lextokenmanager-seq_algebra.ads

relationalgebra.ads

seqalgebra.ads

lextokenmanager.ads

lextokenmanager-relation_algebra-string.adb

a-tags.ads

lextokenmanager-relation_algebra-string.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

lextokenmanager-seq_algebra.ads

relationalgebra.ads

lextokenmanager-relation_algebra.ads

seqalgebra.ads

s-secsta.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

e_strings-not_spark.ads

a-textio.ads

a-except.ads

maths-valuetostring.adb

maths.adb

maths-parsestring.adb

maths-literaltovalue.adb

maths.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

a-except.ads

s-stalib.ads

lextokenmanager.ads

s-bitops.ads

screenecho.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

s-secsta.ads

screenecho.ads

a-except.ads

commandlinehandler.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

commandlinehandler.ads

commandlinedata.ads

s-secsta.ads

spark_io.ads

a-except.ads

s-stalib.ads

a-comlin.ads

screenecho.ads

filesystem.ads

a-chahan.ads

spark_xml.adb

spark_xml.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

s-imgint.ads

sparkformatcommandlinedata.adb

sparkformatcommandlinedata.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

sparkformatcommandlinehandler.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

commandlinehandler.ads

s-secsta.ads

a-except.ads

s-stalib.ads

filesystem.ads

screenecho.ads

adjustfdl_rws.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

adjustfdl_rws.ads

sparklex.ads

sparkprogram.adb

sparkprogram-reformatter-simplelex.adb

sparkprogram-reformatter.adb

sparkprogram-iteration.adb

sparkprogram-annotations.adb

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

seqalgebra.ads

lextokenmanager-seq_algebra.ads

a-convec.ads

heap_storage.ads

heap.ads

lextokenmanager-relation_algebra.ads

lextokenmanager-relation_algebra-string.ads

sp_symbols.ads

s-secsta.ads

a-except.ads

s-stalib.ads

sparkprogram.ads

sparklex.ads

a-chahan.ads

structures.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

structures.ads

cstacks.ads

labels.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

labels.ads

clists.ads

pairs.ads

structures.ads

pairs.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

pairs.ads

cstacks.ads

clists.ads

structures.ads

debug.adb

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

heap_storage.ads

heap.ads

s-secsta.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

a-except.ads

s-stalib.ads

systemerrors.ads

seqalgebra.ads

a-exctra.ads

debug.ads

a-textio.ads

s-imgint.ads

s-imgboo.ads

lextokenmanager.ads

dag_io.ads

s-imenne.ads

stree.ads

g-traceb.ads

g-trasym.ads

cstacks.ads

stree.adb

stree-findlastitemindependencyrelation.adb

stree.ads

sp_symbols.ads

lextokenmanager.ads

systemerrors.ads

statistics.ads

dictionary.ads

statistics.adb

spark_io.ads

statistics.ads

systemerrors.ads

dag_io.adb

a-tags.ads

dag_io.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

spark_io.ads

dictionary.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

a-except.ads

s-stalib.ads

maths.ads

systemerrors.ads

lextokenmanager.ads

adjustfdl_rws.ads

cstacks.ads

clists.ads

pairs.ads

s-imgint.ads

s-imenne.ads

lextokenstacks.adb

lextokenstacks.ads

systemerrors.ads

lextokenlists.adb

lextokenlists.ads

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

systemerrors.ads

s-secsta.ads

a-except.ads

s-stalib.ads

cells.adb

cell_storage.ads

sp_symbols.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cells.ads

statistics.ads

systemerrors.ads

a-except.ads

s-stalib.ads

s-secsta.ads

dictionary.ads

lextokenmanager.adb

lextokenmanager-insert_nat.adb

lextokenmanager.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

commandlinedata.ads

systemerrors.ads

s-secsta.ads

statistics.ads

a-chahan.ads

a-except.ads

s-stalib.ads

a-tiinio.adb

a-tiflio.adb

spark_io.adb

spark_io.ads

a-textio.ads

a-stream.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stopoo.ads

s-pooglo.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-stalib.ads

a-except.ads

s-secsta.ads

systemerrors.ads

a-tiinio.ads

a-tiflio.ads

a-tiinau.ads

a-tiflau.ads

s-fatgen.ads

filesystem.ads

s-stposu.ads

s-imenne.ads

heap.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

a-except.ads

s-stalib.ads

statistics.ads

systemerrors.ads

s-secsta.ads

version.ads

systemerrors.adb

systemerrors.ads

s-stalib.ads

screenecho.ads

a-except.ads

xmlreport.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

xmlreport.ads

spark_xml.ads

a-except.ads

s-stalib.ads

systemerrors.ads

s-secsta.ads

filesystem.ads

a-convec.adb

a-convec.ads

dictionary-targetdata.adb

dictionary-writeoperatorrenamingdeclaration.adb

dictionary.adb

dictionary-initialize.adb

dictionary-rawdict.adb

dictionary-addwithreference.adb

dictionary-add_use_type_reference.adb

dictionary-dynamic_symbol_table.adb

dictionary-is_renamed_local.adb

dictionary-operator_is_visible.adb

dictionary-is_callable.adb

dictionary-write.adb

dictionary-add_declaration.adb

dictionary-search_for_inherited_operations.adb

dictionary-get_binary_operator_type_local.adb

dictionary-getscope.adb

dictionary-nextsymbol.adb

dictionary-lookupselecteditem.adb

dictionary-attribute_is_visible.adb

dictionary-get_scalar_attribute_type.adb

dictionary-get_scalar_attribute_value.adb

dictionary-generatesimplename.adb

dictionary-getanyprefixneeded.adb

dictionary-lookupscope.adb

dictionary-lookupitem.adb

dictionary-attribute_is_visible_but_obsolete_local.adb

dictionary-add_record_subcomponent.adb

dictionary-add_record_component.adb

dictionary-addloop.adb

dictionary-add_subprogram_parameter.adb

dictionary-add_generic_formal_parameter_local.adb

dictionary-add_renaming_declaration.adb

dictionary-addinheritsreference.adb

dictionary-get_record_component.adb

dictionary-instantiate_subprogram_parameters.adb

a-iteint.ads

lextokenmanager.ads

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

sp_symbols.ads

a-stream.ads

s-stopoo.ads

s-finmas.ads

s-stalib.ads

s-stposu.ads

s-pooglo.ads

s-secsta.ads

a-except.ads

systemerrors.ads

commandlinedata.ads

filesystem.ads

maths.ads

xmlreport.ads

lextokenstacks.ads

statistics.ads

s-stratt.ads

s-imenne.ads

screenecho.ads

commandlinehandler.ads

s-imgint.ads

commandlinedata.adb

commandlinedata.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

filesystem.ads

s-imgint.ads

xmlreport.ads

errorhandler-conversions-tostring.adb

errorhandler-errorbuffer.adb

errorhandler-justifications.adb

errorhandler-warningstatus-readwarningfile.adb

errorhandler-printline.adb

errorhandler.adb

errorhandler-conversions-tostring-warningwithposition.adb

errorhandler-conversions-tostring-warningwithposition-warningwithpositionexpl.adb

errorhandler-conversions-tostring-warningwithoutposition.adb

errorhandler-conversions-tostring-warningwithoutposition-warningwithoutpositionexpl.adb

errorhandler-conversions-tostring-noerr.adb

errorhandler-conversions-tostring-uncondflowerr.adb

errorhandler-conversions-tostring-uncondflowerr-uncondflowerrexpl.adb

errorhandler-conversions-tostring-condlflowerr.adb

errorhandler-conversions-tostring-condlflowerr-condlflowerrexpl.adb

errorhandler-conversions-tostring-unconddependency.adb

errorhandler-conversions-tostring-condldependency.adb

errorhandler-conversions-tostring-semanticerr.adb

errorhandler-conversions-tostring-depsemanticerr.adb

errorhandler-conversions-tostring-note.adb

errorhandler-conversions-tostring-note-noteexpl.adb

errorhandler-conversions-tostring-controlflowerror.adb

errorhandler-conversions-tostring-controlflowerror-controlflowerrorexpl.adb

errorhandler-conversions-tostring-ineffectivestatement.adb

errorhandler-conversions-tostring-stabilityerror.adb

errorhandler-conversions-tostring-stabilityerror-stabilityerrorexpl.adb

errorhandler-conversions-tostring-usageerror.adb

errorhandler-conversions-tostring-ineffectivestatement-ineffectivestatementexpl.adb

errorhandler-conversions-tostring-depsemanticerr-depsemanticerrexpl.adb

errorhandler-conversions-tostring-condldependency-condldependencyexpl.adb

errorhandler-conversions-tostring-unconddependency-unconddependencyexpl.adb

errorhandler-conversions-tostring-usageerror-usageerrorexpl.adb

errorhandler-conversions-tostring-appendreference.adb

errorhandler-conversions-tostring-semanticerr-semanticerrexpl.adb

errorhandler-conversions.adb

errorhandler-warningstatus.adb

errorhandler-erroraccumulator.adb

errorhandler-appendsym.adb

errorhandler-getfileline.adb

errorhandler-echoerrorentry.adb

errorhandler-printerrors.adb

errorhandler-appenderrors.adb

errorhandler.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

sp_symbols.ads

dictionary.ads

sp_expected_symbols.ads

spark_io.ads

error_types.ads

error_io.ads

a-except.ads

s-stalib.ads

s-secsta.ads

commandlinedata.ads

systemerrors.ads

filesystem.ads

xmlreport.ads

spark_xml.ads

screenecho.ads

commandlinehandler.ads

s-imenne.ads

debug.ads

sp_relations.ads

sparklex-linemanager.adb

sparklex.adb

sparklex-lex.adb

sparklex-lex-getnumber.adb

sparklex-lex-getident.adb

sparklex-lex-nextlex.adb

sparklex-lex-getstring.adb

sparklex-lex-ltintro.adb

sparklex-lex-apostintro.adb

sparklex-lex-hyphintro.adb

sparklex.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

lextokenmanager.ads

sp_symbols.ads

a-except.ads

s-stalib.ads

s-secsta.ads

systemerrors.ads

lextokenlists.ads

errorhandler.ads

a-chahan.ads

sparkformat.adb

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

sparkprogram.ads

screenecho.ads

g-trasym.ads

a-comlin.ads

commandlinedata.ads

dictionary.ads

sparkformatcommandlinedata.ads

sparkformatcommandlinehandler.ads

errorhandler.ads

sparklex.ads

libraries


manual

wrap_utility

compile units

includes

b~wrap_utility.adb

b~wrap_utility.ads

fatal.ads

s-stalib.ads

s-exctab.ads

spark-ada-strings-maps.adb

spark-ada-strings-maps.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps-not_spark.adb

spark-ada-strings-maps-not_spark.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps.ads

s-secsta.ads

spark-ada-strings-not_spark.adb

a-string.ads

spark-ada-strings.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded.adb

spark-ada-strings-unbounded.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings.ads

a-string.ads

s-secsta.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings.ads

a-string.ads

spark-ada-strings-not_spark.ads

s-secsta.ads

e_strings.adb

e_strings.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark_io.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark-ada-strings.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings-unbounded.ads

a-chahan.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings-maps.ads

e_strings-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

e_strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

filesystem.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

filesystem.ads

s-secsta.ads

a-except.ads

s-stalib.ads

s-os_lib.ads

a-comlin.ads

g-dirope.ads

e_strings-not_spark.ads

g-io_aux.ads

spark-ada-strings-unbounded-not_spark.ads

screenecho.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

s-secsta.ads

screenecho.ads

a-except.ads

spark_xml.adb

spark_xml.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

s-imgint.ads

a-tiinio.adb

a-tiflio.adb

spark_io.adb

spark_io.ads

a-textio.ads

a-stream.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stopoo.ads

s-pooglo.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-stalib.ads

a-except.ads

s-secsta.ads

systemerrors.ads

a-tiinio.ads

a-tiflio.ads

a-tiinau.ads

a-tiflau.ads

s-fatgen.ads

filesystem.ads

s-stposu.ads

s-imenne.ads

systemerrors.adb

systemerrors.ads

s-stalib.ads

screenecho.ads

a-except.ads

wraps.adb

spark_io.ads

s-secsta.ads

s-os_lib.ads

g-io_aux.ads

s-imenne.ads

a-comlin.ads

s-imgint.ads

wrap_utility.adb

a-comlin.ads

wraps.ads

xmlreport.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

xmlreport.ads

spark_xml.ads

a-except.ads

s-stalib.ads

systemerrors.ads

s-secsta.ads

filesystem.ads

commandlinedata.adb

commandlinedata.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

filesystem.ads

s-imgint.ads

xmlreport.ads

libraries


manual

vct

compile units

includes

unassigned

node.cc

unassigned

node-utils.cc

lex.yy.cc

lexer.ll

parser.yy

unassigned

pdriver.cc

parser.yy

unassigned

box.cc

unassigned

formatter.cc

unassigned

pprinter.cc

unassigned

typesort.cc

unassigned

utility.cc

unassigned

bignum.cc

unassigned

context.cc

unassigned

normalisation.cc

processor.cc

arith.cc

qfol-to-fol.cc

translation.cc

elim-bit-type.cc

elim-enums.cc

elim-arrays-records.cc

refine-types.cc

unassigned

main.cc

unassigned

smt-driver.cc

unassigned

rule-filter.cc

unassigned

smtlib-driver.cc

unassigned

smtlib2-driver.cc

unassigned

isab-driver.cc

unassigned

parser.yy

parser.tab.cc

libraries


manual

sparksimp

compile units

includes

b~sparksimp.adb

b~sparksimp.ads

new_expect.c

log_files.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

log_files.ads

spark-expect.adb

s-regpat.ads

spark-expect.ads

s-string.ads

s-os_lib.ads

s-stalib.ads

a-tags.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stopoo.ads

s-secsta.ads

a-except.ads

g-io.ads

s-exctab.ads

a-tifiio.adb

utility.adb

a-tags.ads

a-stream.ads

s-ficobl.ads

s-crtl.ads

a-ststio.ads

a-textio.ads

s-stalib.ads

s-secsta.ads

utility.ads

a-tifiio.ads

a-tiinio.ads

s-arit64.ads

s-exnlli.ads

a-except.ads

a-tigeau.ads

s-fatgen.ads

a-chahan.ads

version.ads

cmd.adb

s-string.ads

s-os_lib.ads

g-comlin.ads

g-dirope.ads

a-tags.ads

s-finroo.ads

a-finali.ads

s-regexp.ads

s-secsta.ads

cmd.ads

s-valint.ads

a-textio.ads

work_manager.adb

g-hesorg.adb

g-table.adb

work_manager.ads

s-os_lib.ads

g-table.ads

a-string.ads

a-strmap.ads

g-hesorg.ads

utility.ads

s-imgint.ads

s-memory.ads

s-secsta.ads

a-strfix.ads

a-textio.ads

s-imglli.ads

sparksimp.adb

workers.ads

spark-expect.ads

log_files.ads

s-string.ads

s-os_lib.ads

s-secsta.ads

g-dirope.ads

work_manager.ads

a-tags.ads

s-regpat.ads

a-textio.ads

a-stream.ads

s-ficobl.ads

s-crtl.ads

a-except.ads

s-stalib.ads

utility.ads

g-io_aux.ads

s-imgint.ads

a-reatim.ads

g-trasym.ads

cmd.ads

wrap.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

wrap.ads

workers.adb

workers.ads

s-string.ads

spark-expect.ads

s-os_lib.ads

work_manager.ads

a-tags.ads

s-regpat.ads

a-textio.ads

a-stream.ads

s-ficobl.ads

s-crtl.ads

log_files.ads

s-secsta.ads

a-string.ads

a-strmap.ads

s-finroo.ads

a-finali.ads

s-stopoo.ads

utility.ads

s-stposu.ads

s-finmas.ads

s-imenne.ads

g-dirope.ads

a-reatim.ads

a-strfix.ads

wrap.ads

s-imgint.ads

libraries


manual

pogs

compile units

includes

b~pogs.adb

b~pogs.ads

fatal.ads

s-stalib.ads

s-exctab.ads

heap.adb

heap.ads

pogs_exceptions.ads

s-stalib.ads

s-exctab.ads

spark-ada-strings-maps.adb

spark-ada-strings-maps.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps-not_spark.adb

spark-ada-strings-maps-not_spark.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps.ads

s-secsta.ads

spark-ada-strings-not_spark.adb

a-string.ads

spark-ada-strings.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded.adb

spark-ada-strings-unbounded.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings.ads

a-string.ads

s-secsta.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings.ads

a-string.ads

spark-ada-strings-not_spark.ads

s-secsta.ads

spark_calendar.adb

spark_calendar.ads

a-calend.ads

e_strings.adb

e_strings.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark_io.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark-ada-strings.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings-unbounded.ads

a-chahan.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings-maps.ads

date_time.adb

date_time.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

a-except.ads

e_strings-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

e_strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

fileheap.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

heap.ads

heapindex.ads

filedetails.ads

fatalerrors.ads

a-except.ads

s-stalib.ads

fileheap.ads

filesystem.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

filesystem.ads

s-secsta.ads

a-except.ads

s-stalib.ads

s-os_lib.ads

a-comlin.ads

g-dirope.ads

e_strings-not_spark.ads

g-io_aux.ads

spark-ada-strings-unbounded-not_spark.ads

findfiles.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

filedetails.ads

fatalerrors.ads

fileheap.ads

osdirectory.ads

findfiles.ads

s-stalib.ads

fatalerrors.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

a-except.ads

s-stalib.ads

spark_io.ads

fatalerrors.ads

commandline.ads

osfiling.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

fatalerrors.ads

a-except.ads

s-stalib.ads

s-secsta.ads

osfiling.ads

e_strings-not_spark.ads

g-dirope.ads

s-os_lib.ads

g-io_aux.ads

commandline.adb

commandline.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

oscommandline.ads

a-except.ads

s-stalib.ads

s-secsta.ads

osfiling.ads

oscommandline.adb

oscommandline.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

e_strings-not_spark.ads

s-os_lib.ads

osfiling.ads

a-comlin.ads

filedetails.adb

filedetails.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

osfiling.ads

osdirectory.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

g-dirope.ads

filedetails.ads

fatalerrors.ads

s-secsta.ads

a-except.ads

s-stalib.ads

e_strings-not_spark.ads

osfiling.ads

fileheap.ads

osdirectory.ads

pathformatter.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

pathformatter.ads

screenecho.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

s-secsta.ads

screenecho.ads

a-except.ads

slg_parser.adb

slg_parser.ads

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

spark_xml.adb

spark_xml.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

s-imgint.ads

a-tiinio.adb

a-tiflio.adb

spark_io.adb

spark_io.ads

a-textio.ads

a-stream.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stopoo.ads

s-pooglo.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-stalib.ads

a-except.ads

s-secsta.ads

systemerrors.ads

a-tiinio.ads

a-tiflio.ads

a-tiinau.ads

a-tiflau.ads

s-fatgen.ads

filesystem.ads

s-stposu.ads

s-imenne.ads

vcdetails.adb

vcdetails.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

vcheap.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

vcdetails.ads

heap.ads

heapindex.ads

fatalerrors.ads

a-except.ads

s-stalib.ads

s-secsta.ads

vcheap.ads

total.adb

spark_io.ads

vcdetails.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

fatalerrors.ads

s-secsta.ads

a-except.ads

s-stalib.ads

banner.ads

total.ads

vcheap.ads

heap.ads

vcs-analysereviewfile.adb

vcs.adb

vcs-analysevcfile.adb

vcs-analyse_dpc_file.adb

vcs-analyseprooflogfile.adb

vcs-analysesimplogfile.adb

vcs-writevcinfo.adb

vcs-analyse_riposte_summary_file.adb

vcs-analysevictoredvcfile.adb

vcs-printvcreport.adb

vcs-processnewrangeline.adb

vcs-analysesimplifiedvcfile.adb

vcs-analysevictorlogfile.adb

vcs-analyse_summary_dp_file.adb

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

vcdetails.ads

a-except.ads

s-stalib.ads

s-secsta.ads

fatalerrors.ads

date_time.ads

spark_calendar.ads

slg_parser.ads

vcs.ads

a-chahan.ads

vcheap.ads

pathformatter.ads

heap.ads

osfiling.ads

total.ads

toppackage.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

filedetails.ads

fatalerrors.ads

s-stalib.ads

vcheap.ads

commandline.ads

banner.ads

findfiles.ads

fileheap.ads

heap.ads

vcs.ads

total.ads

version.ads

systemerrors.adb

systemerrors.ads

s-stalib.ads

screenecho.ads

a-except.ads

banner.adb

banner-copyright.adb

banner-get_version.adb

banner-datetime.adb

banner.ads

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

a-calend.ads

s-arit64.ads

s-exnint.ads

pogs.adb

spark_io.ads

a-except.ads

s-stalib.ads

s-secsta.ads

g-trasym.ads

toppackage.ads

xmlreport.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

xmlreport.ads

spark_xml.ads

a-except.ads

s-stalib.ads

systemerrors.ads

s-secsta.ads

filesystem.ads

commandlinedata.adb

commandlinedata.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

filesystem.ads

s-imgint.ads

xmlreport.ads

libraries


manual

sparklalr

compile units

includes

b~sparklalr.adb

b~sparklalr.ads

spark-ada-command_line.adb

spark-ada-command_line.ads

a-comlin.ads

spark-ada-strings.ads

spark-ada-strings-maps.adb

spark-ada-strings-maps.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps-not_spark.adb

spark-ada-strings-maps-not_spark.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps.ads

s-secsta.ads

spark-ada-strings-not_spark.adb

a-string.ads

spark-ada-strings.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded.adb

spark-ada-strings-unbounded.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings.ads

a-string.ads

s-secsta.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-not_spark.ads

spark-ada-command_line-unbounded_string.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

a-comlin.ads

spark-ada-strings-unbounded.ads

spark-ada-command_line-unbounded_string.ads

spark-ada-strings-unbounded-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings.ads

a-string.ads

spark-ada-strings-not_spark.ads

s-secsta.ads

command_line_options.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

s-secsta.ads

command_line_options.ads

a-except.ads

spark-ada-command_line.ads

spark-ada-command_line-unbounded_string.ads

spark-ada-strings-unbounded.ads

s-stalib.ads

fatal.ads

spark-ada-text_io.ads

fatal.adb

fatal.ads

s-stalib.ads

spark-ada-text_io.ads

a-except.ads

s-exctab.ads

spark-ada-text_io-not_spark.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

spark-ada-text_io-not_spark.ads

spark-ada-text_io.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

spark-ada-text_io.ads

s-crtl.ads

s-stalib.ads

a-except.ads

s-secsta.ads

spark-ada-text_io-not_spark.ads

spark-ada-text_io-unbounded_string.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

s-secsta.ads

a-except.ads

s-stalib.ads

spark-ada-text_io-unbounded_string.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-text_io-not_spark.ads

spark-ada-strings-unbounded.ads

spark_ada_integer_text_io.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

spark_ada_integer_text_io.ads

spark-ada-text_io-not_spark.ads

a-tiinio.ads

sparklalr_char_class.adb

sparklalr_char_class.ads

sparklalr_common.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_common.ads

spark_ada_integer_text_io.ads

sparklalr_error.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_char_class.ads

sparklalr_error.ads

spark_ada_integer_text_io.ads

sparklalr_common.ads

sparklalr_memory.adb

sparklalr_memory.ads

sparklalr_level.adb

sparklalr_level.ads

sparklalr_symbol.ads

symbols_dump.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_common.ads

s-secsta.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

symbols_dump.ads

sparklalr_level.ads

sparklalr_error.ads

spark_ada_integer_text_io.ads

spark-ada-strings-unbounded.ads

spark-ada-text_io-unbounded_string.ads

command_line_options.ads

a-except.ads

spark-ada-command_line.ads

sparklalr_memory-dump.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_symbol.ads

sparklalr_input.ads

sparklalr_common.ads

sparklalr_memory.ads

s-secsta.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

sparklalr_memory-dump.ads

command_line_options.ads

spark_ada_integer_text_io.ads

spark-ada-strings-unbounded.ads

spark-ada-text_io-unbounded_string.ads

a-except.ads

spark-ada-command_line.ads

symbols_dump.ads

sparklalr_error.ads

sparklalr_goto.ads

sparklalr_parser.ads

sparklalr_input.adb

sparklalr_input.ads

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_symbol.ads

sparklalr_common.ads

s-secsta.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

sparklalr_char_class.ads

sparklalr_level.ads

sparklalr_error.ads

spark-ada-strings-unbounded.ads

spark-ada-text_io-unbounded_string.ads

command_line_options.ads

a-except.ads

spark-ada-command_line.ads

fatal.ads

s-carun8.ads

sparklalr_memory.ads

spark_ada_integer_text_io.ads

sparklalr_patab.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_patab.ads

spark_ada_integer_text_io.ads

sparklalr_parser.ads

sparklalr_memory.ads

symbols_dump.ads

sparklalr_goto.ads

command_line_options.ads

sparklalr_common.ads

sparklalr_parser.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_common.ads

sparklalr_goto.ads

sparklalr_parser.ads

command_line_options.ads

spark_ada_integer_text_io.ads

symbols_dump.ads

sparklalr_memory.ads

sparklalr_memory-left_corner.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_memory.ads

sparklalr_common.ads

symbols_dump.ads

sparklalr_memory-dump.ads

sparklalr_memory-left_corner.ads

sparklalr_goto.adb

sparklalr_goto.ads

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_common.ads

spark_ada_integer_text_io.ads

symbols_dump.ads

sparklalr_memory.ads

command_line_options.ads

sparklalr_error.ads

sparklalr_conflict.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_common.ads

sparklalr_conflict.ads

spark_ada_integer_text_io.ads

sparklalr_level.ads

sparklalr_parser.ads

sparklalr_memory-dump.ads

command_line_options.ads

symbols_dump.ads

sparklalr_memory.ads

sparklalr_patab.ads

ees_sym.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_memory-dump.ads

sparklalr_parser.ads

ees_sym.ads

sparklalr_memory.ads

sparklalr.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

sparklalr_symbol.ads

s-crtl.ads

spark-ada-text_io.ads

sparklalr_input.ads

s-secsta.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

sparklalr_common.ads

sparklalr_goto.ads

symbols_dump.ads

sparklalr_memory.ads

sparklalr_conflict.ads

sparklalr_parser.ads

sparklalr_patab.ads

sparklalr_memory-dump.ads

command_line_options.ads

spark-ada-strings-unbounded.ads

spark-ada-text_io-unbounded_string.ads

a-except.ads

spark-ada-command_line.ads

spark_ada_integer_text_io.ads

sparklalr_error.ads

sparklalr_memory-left_corner.ads

ees_sym.ads

libraries


manual

spark

compile units

includes

b~examiner.adb

b~examiner.ads

contextmanager.ads

fatal.ads

s-stalib.ads

s-exctab.ads

simplelists.adb

simplelists.ads

sp_expected_symbols-get_expected_symbols.adb

sp_expected_symbols.ads

sp_expected_symbols.adb

sp_productions.ads

sp_symbols.ads

sp_parser_actions-spa.adb

sp_parser_actions-scan_action_table.adb

sp_symbols.ads

sp_parser_actions.ads

sp_parser_actions.adb

sp_parser_goto-sp_goto.adb

sp_parser_goto-scan_goto_table.adb

sp_parser_goto.adb

sp_parser_goto.ads

sp_symbols.ads

sp_relations-sp_left_corner.adb

sp_relations-sp_terminal_like.adb

sp_relations.adb

sp_relations.ads

sp_symbols.ads

a-convec.adb

a-convec.ads

heap_storage.adb

heap_storage.ads

a-iteint.ads

a-tags.ads

a-stream.ads

s-stopoo.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stalib.ads

s-stposu.ads

a-except.ads

s-secsta.ads

s-stratt.ads

seqalgebra.adb

seqalgebra.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

relationalgebra.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

relationalgebra.ads

seqalgebra.ads

spark-ada-strings-maps.adb

spark-ada-strings-maps.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps-not_spark.adb

spark-ada-strings-maps-not_spark.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps.ads

s-secsta.ads

spark-ada-strings-not_spark.adb

a-string.ads

spark-ada-strings.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded.adb

spark-ada-strings-unbounded.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings.ads

a-string.ads

s-secsta.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings.ads

a-string.ads

spark-ada-strings-not_spark.ads

s-secsta.ads

e_strings.adb

e_strings.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark_io.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark-ada-strings.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings-unbounded.ads

a-chahan.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings-maps.ads

date_time.adb

date_time.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

a-except.ads

e_strings-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

e_strings-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

filesystem.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

filesystem.ads

s-secsta.ads

a-except.ads

s-stalib.ads

s-os_lib.ads

a-comlin.ads

g-dirope.ads

e_strings-not_spark.ads

g-io_aux.ads

spark-ada-strings-unbounded-not_spark.ads

a-convec.adb

a-convec.ads

cell_storage.adb

cell_storage.ads

a-iteint.ads

sp_symbols.ads

a-tags.ads

a-stream.ads

s-stopoo.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stalib.ads

s-stposu.ads

a-except.ads

s-secsta.ads

s-stratt.ads

clists.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

clists.ads

cstacks.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

cstacks.ads

error_types.ads

lextokenmanager.ads

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

g-dyntab.adb

error_io.adb

g-dyntab.ads

error_io.ads

error_types.ads

lextokenmanager.ads

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stopoo.ads

s-pooglo.ads

spark_io.ads

s-memory.ads

a-cohama.adb

a-chtgop.adb

indexmanager-cache.SHADOW.adb

a-cohata.ads

a-chtgke.adb

a-cohama.ads

a-iteint.ads

lextokenlists.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

indexmanager.ads

a-stream.ads

s-stopoo.ads

s-finmas.ads

s-stalib.ads

s-stposu.ads

s-secsta.ads

spark_io.ads

contextmanager.ads

lextokenmanager.ads

a-chtgop.ads

a-uncdea.ads

a-chtgke.ads

indexmanager-cache.ads

a-except.ads

e_strings-not_spark.ads

indexmanager-index_table_p.ads

a-coprnu.ads

s-stratt.ads

s-imenne.ads

a-shcain.ads

lextokenmanager-seq_algebra.adb

lextokenmanager-seq_algebra.ads

seqalgebra.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

s-secsta.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

a-textio.ads

e_strings-not_spark.ads

a-except.ads

lextokenmanager-relation_algebra.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

lextokenmanager-relation_algebra.ads

lextokenmanager-seq_algebra.ads

relationalgebra.ads

seqalgebra.ads

lextokenmanager.ads

lextokenmanager-relation_algebra-string.adb

a-tags.ads

lextokenmanager-relation_algebra-string.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

lextokenmanager-seq_algebra.ads

relationalgebra.ads

lextokenmanager-relation_algebra.ads

seqalgebra.ads

s-secsta.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

e_strings-not_spark.ads

a-textio.ads

a-except.ads

lists.adb

lists.ads

lextokenmanager.ads

dictionary.ads

maths-valuetostring.adb

maths.adb

maths-parsestring.adb

maths-literaltovalue.adb

maths.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

a-except.ads

s-stalib.ads

lextokenmanager.ads

s-bitops.ads

completecheck.adb

completecheck.ads

maths.ads

s-bitops.ads

screenecho.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

s-secsta.ads

screenecho.ads

a-except.ads

commandlinehandler.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

commandlinehandler.ads

commandlinedata.ads

s-secsta.ads

spark_io.ads

a-except.ads

s-stalib.ads

a-comlin.ads

screenecho.ads

filesystem.ads

a-chahan.ads

spark_xml.adb

spark_xml.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

s-imgint.ads

adjustfdl_rws.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

adjustfdl_rws.ads

sparklex.ads

pile.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

pile.ads

dictionary.ads

s-imgint.ads

debug.ads

relationalgebra-debug.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

relationalgebra-debug.ads

relationalgebra.ads

dictionary.ads

a-textio.ads

debug.ads

s-imgint.ads

sli-io.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-textio.ads

a-stream.ads

s-ficobl.ads

sli-io.ads

s-crtl.ads

s-secsta.ads

e_strings-not_spark.ads

a-tiinio.ads

sprint.adb

s-secsta.ads

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

sprint.ads

s-imenne.ads

stree.ads

lextokenmanager.ads

a-except.ads

sp_symbols.ads

structures.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

structures.ads

cstacks.ads

labels.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

labels.ads

clists.ads

pairs.ads

structures.ads

pairs.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

pairs.ads

cstacks.ads

clists.ads

structures.ads

symbol_set.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

symbol_set.ads

seqalgebra.ads

dictionary.ads

requiredunits.adb

lextokenlists.ads

a-strunb.ads

s-atocou.ads

spark_io.ads

contextmanager.ads

systemerrors.ads

sp_symbols.ads

requiredunits.ads

stree.ads

reflist.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

componentmanager.ads

reflist.ads

seqalgebra.ads

systemerrors.ads

sp_symbols.ads

stree.ads

dictionary.ads

debug.adb

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

heap_storage.ads

heap.ads

s-secsta.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

a-except.ads

s-stalib.ads

systemerrors.ads

seqalgebra.ads

a-exctra.ads

debug.ads

a-textio.ads

s-imgint.ads

s-imgboo.ads

lextokenmanager.ads

dag_io.ads

s-imenne.ads

stree.ads

g-traceb.ads

g-trasym.ads

cstacks.ads

stree.adb

stree-findlastitemindependencyrelation.adb

stree.ads

sp_symbols.ads

lextokenmanager.ads

systemerrors.ads

statistics.ads

dictionary.ads

stmtstack.adb

stmtstack.ads

systemerrors.ads

debug.ads

s-imenne.ads

s-imgint.ads

statistics.adb

spark_io.ads

statistics.ads

systemerrors.ads

graph.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

graph.ads

sp_symbols.ads

cells.ads

spark_io.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

dictionary.ads

systemerrors.ads

s-secsta.ads

a-except.ads

s-stalib.ads

labels.ads

clists.ads

dag_io.ads

s-imgint.ads

s-imenne.ads

e_strings-not_spark.ads

lextokenmanager.ads

pairs.ads

structures.ads

declarations.ads

debug.ads

dag_io.adb

a-tags.ads

dag_io.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

spark_io.ads

dictionary.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

a-except.ads

s-stalib.ads

maths.ads

systemerrors.ads

lextokenmanager.ads

adjustfdl_rws.ads

cstacks.ads

clists.ads

pairs.ads

labels.ads

s-imgint.ads

s-imenne.ads

lextokenstacks.adb

lextokenstacks.ads

systemerrors.ads

indexmanager.adb

lextokenlists.ads

contextmanager.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

indexmanager.ads

s-secsta.ads

filesystem.ads

a-except.ads

s-stalib.ads

lextokenmanager.ads

systemerrors.ads

indexmanager-index_table_p.ads

indexmanager-cache.ads

lextokenlists.adb

lextokenlists.ads

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

systemerrors.ads

s-secsta.ads

a-except.ads

s-stalib.ads

componentmanager.adb

componentmanager.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

lextokenmanager.ads

componenterrors.ads

statistics.ads

systemerrors.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-secsta.ads

spark_io.ads

dictionary.ads

seqalgebra.ads

debug.ads

a-except.ads

componenterrors.adb

lextokenmanager.ads

componenterrors.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

statistics.ads

systemerrors.ads

seqalgebra.ads

cells-utility-list.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

systemerrors.ads

cells-utility-list.ads

cells-utility.ads

cells-utility.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

dictionary.ads

cells-utility.ads

systemerrors.ads

cells.adb

cell_storage.ads

sp_symbols.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cells.ads

statistics.ads

systemerrors.ads

a-except.ads

s-stalib.ads

s-secsta.ads

dictionary.ads

lextokenmanager.adb

lextokenmanager-insert_nat.adb

lextokenmanager.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

commandlinedata.ads

systemerrors.ads

s-secsta.ads

statistics.ads

a-chahan.ads

a-except.ads

s-stalib.ads

a-tiinio.adb

a-tiflio.adb

spark_io.adb

spark_io.ads

a-textio.ads

a-stream.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

s-finroo.ads

a-finali.ads

s-finmas.ads

s-stopoo.ads

s-pooglo.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

s-stalib.ads

a-except.ads

s-secsta.ads

systemerrors.ads

a-tiinio.ads

a-tiflio.ads

a-tiinau.ads

a-tiflau.ads

s-fatgen.ads

filesystem.ads

s-stposu.ads

s-imenne.ads

heap.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

a-except.ads

s-stalib.ads

statistics.ads

systemerrors.ads

s-secsta.ads

version.ads

systemerrors.adb

systemerrors.ads

s-stalib.ads

screenecho.ads

a-except.ads

file_utils.adb

s-secsta.ads

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

a-calend.ads

file_utils.ads

s-exnint.ads

screenecho.ads

s-arit64.ads

xmlreport.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

xmlreport.ads

spark_xml.ads

a-except.ads

s-stalib.ads

systemerrors.ads

s-secsta.ads

filesystem.ads

a-convec.adb

a-convec.ads

dictionary-targetdata.adb

dictionary-writeoperatorrenamingdeclaration.adb

dictionary.adb

dictionary-initialize.adb

dictionary-rawdict.adb

dictionary-addwithreference.adb

dictionary-add_use_type_reference.adb

dictionary-dynamic_symbol_table.adb

dictionary-is_renamed_local.adb

dictionary-operator_is_visible.adb

dictionary-is_callable.adb

dictionary-write.adb

dictionary-add_declaration.adb

dictionary-search_for_inherited_operations.adb

dictionary-get_binary_operator_type_local.adb

dictionary-getscope.adb

dictionary-nextsymbol.adb

dictionary-lookupselecteditem.adb

dictionary-attribute_is_visible.adb

dictionary-get_scalar_attribute_type.adb

dictionary-get_scalar_attribute_value.adb

dictionary-generatesimplename.adb

dictionary-getanyprefixneeded.adb

dictionary-lookupscope.adb

dictionary-lookupitem.adb

dictionary-attribute_is_visible_but_obsolete_local.adb

dictionary-add_record_subcomponent.adb

dictionary-add_record_component.adb

dictionary-addloop.adb

dictionary-add_subprogram_parameter.adb

dictionary-add_generic_formal_parameter_local.adb

dictionary-add_renaming_declaration.adb

dictionary-addinheritsreference.adb

dictionary-get_record_component.adb

dictionary-instantiate_subprogram_parameters.adb

a-iteint.ads

lextokenmanager.ads

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

sp_symbols.ads

a-stream.ads

s-stopoo.ads

s-finmas.ads

s-stalib.ads

s-stposu.ads

s-pooglo.ads

s-secsta.ads

a-except.ads

systemerrors.ads

commandlinedata.ads

filesystem.ads

maths.ads

xmlreport.ads

lextokenstacks.ads

statistics.ads

s-stratt.ads

s-imenne.ads

screenecho.ads

commandlinehandler.ads

s-imgint.ads

commandlinedata.adb

commandlinedata.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

filesystem.ads

s-imgint.ads

xmlreport.ads

errorhandler-conversions-tostring.adb

errorhandler-errorbuffer.adb

errorhandler-justifications.adb

errorhandler-warningstatus-readwarningfile.adb

errorhandler-printline.adb

errorhandler.adb

errorhandler-conversions-tostring-warningwithposition.adb

errorhandler-conversions-tostring-warningwithposition-warningwithpositionexpl.adb

errorhandler-conversions-tostring-warningwithoutposition.adb

errorhandler-conversions-tostring-warningwithoutposition-warningwithoutpositionexpl.adb

errorhandler-conversions-tostring-noerr.adb

errorhandler-conversions-tostring-uncondflowerr.adb

errorhandler-conversions-tostring-uncondflowerr-uncondflowerrexpl.adb

errorhandler-conversions-tostring-condlflowerr.adb

errorhandler-conversions-tostring-condlflowerr-condlflowerrexpl.adb

errorhandler-conversions-tostring-unconddependency.adb

errorhandler-conversions-tostring-condldependency.adb

errorhandler-conversions-tostring-semanticerr.adb

errorhandler-conversions-tostring-depsemanticerr.adb

errorhandler-conversions-tostring-note.adb

errorhandler-conversions-tostring-note-noteexpl.adb

errorhandler-conversions-tostring-controlflowerror.adb

errorhandler-conversions-tostring-controlflowerror-controlflowerrorexpl.adb

errorhandler-conversions-tostring-ineffectivestatement.adb

errorhandler-conversions-tostring-stabilityerror.adb

errorhandler-conversions-tostring-stabilityerror-stabilityerrorexpl.adb

errorhandler-conversions-tostring-usageerror.adb

errorhandler-conversions-tostring-ineffectivestatement-ineffectivestatementexpl.adb

errorhandler-conversions-tostring-depsemanticerr-depsemanticerrexpl.adb

errorhandler-conversions-tostring-condldependency-condldependencyexpl.adb

errorhandler-conversions-tostring-unconddependency-unconddependencyexpl.adb

errorhandler-conversions-tostring-usageerror-usageerrorexpl.adb

errorhandler-conversions-tostring-appendreference.adb

errorhandler-conversions-tostring-semanticerr-semanticerrexpl.adb

errorhandler-conversions.adb

errorhandler-warningstatus.adb

errorhandler-erroraccumulator.adb

errorhandler-appendsym.adb

errorhandler-getfileline.adb

errorhandler-echoerrorentry.adb

errorhandler-printerrors.adb

errorhandler-appenderrors.adb

errorhandler.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

sp_symbols.ads

dictionary.ads

sp_expected_symbols.ads

spark_io.ads

error_types.ads

error_io.ads

a-except.ads

s-stalib.ads

s-secsta.ads

commandlinedata.ads

systemerrors.ads

filesystem.ads

xmlreport.ads

spark_xml.ads

screenecho.ads

commandlinehandler.ads

s-imenne.ads

debug.ads

sp_relations.ads

vcg-producevcs.adb

vcg.adb

dictionary.ads

lextokenmanager.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

cell_storage.ads

sp_symbols.ads

cells.ads

spark_io.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenlists.ads

declarations.ads

graph.ads

file_utils.ads

s-secsta.ads

a-except.ads

s-stalib.ads

systemerrors.ads

vcg.ads

screenecho.ads

pile.ads

errorhandler.ads

stree.ads

dag.ads

debug.ads

filesystem.ads

commandlinedata.ads

flowanalyser-flowanalyse.adb

flowanalyser-flowanalysepartition.adb

flowanalyser-flowanalyse-analyserelations-checkexpressions.adb

flowanalyser-flowanalyse-analyserelations-checkusages.adb

flowanalyser-flowanalyse-analyserelations-checkdependencies.adb

flowanalyser-flowanalyse-analyserelations-mergeandhandleerrors.adb

flowanalyser-ifa_stack.adb

flowanalyser-flowanalyse-analyserelations.adb

flowanalyser-flowanalyse-analyserelations-checkunused.adb

lextokenmanager.ads

componentmanager.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

reflist.ads

flowanalyser.adb

systemerrors.ads

sp_symbols.ads

dictionary.ads

seqalgebra.ads

componenterrors.ads

errorhandler.ads

flowanalyser.ads

relationalgebra.ads

stree.ads

debug.ads

relationalgebra-debug.ads

casing.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenmanager.ads

s-secsta.ads

stree.ads

sp_symbols.ads

casing.ads

errorhandler.ads

spparser.adb

lextokenmanager.ads

spark_io.ads

sp_expected_symbols.ads

sp_symbols.ads

sp_parser_actions.ads

systemerrors.ads

errorhandler.ads

spparser.ads

sp_productions.ads

stree.ads

sp_parser_goto.ads

sparklex.ads

sp_relations.ads

sparklex-linemanager.adb

sparklex.adb

sparklex-lex.adb

sparklex-lex-getnumber.adb

sparklex-lex-getident.adb

sparklex-lex-nextlex.adb

sparklex-lex-getstring.adb

sparklex-lex-ltintro.adb

sparklex-lex-apostintro.adb

sparklex-lex-hyphintro.adb

sparklex.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

spark_io.ads

lextokenmanager.ads

sp_symbols.ads

a-except.ads

s-stalib.ads

s-secsta.ads

systemerrors.ads

lextokenlists.ads

errorhandler.ads

a-chahan.ads

declarations.adb

declarations-outputdeclarations-generatedeclarations-generatesuccessors.adb

declarations-outputdeclarations-generatedeclarations.adb

declarations-outputdeclarations.adb

declarations-outputdeclarations-printdeclarations.adb

declarations-outputdeclarations-printdeclarations-printtyperules.adb

declarations-outputdeclarations-printdeclarations-printconstantrules.adb

declarations-outputdeclarations-printdeclarations-printruleheader.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

spark_io.ads

dictionary.ads

lextokenmanager.ads

declarations.ads

s-secsta.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

systemerrors.ads

lists.ads

maths.ads

heap_storage.ads

heap.ads

symbol_set.ads

pile.ads

cstacks.ads

clists.ads

pairs.ads

adjustfdl_rws.ads

errorhandler.ads

debug.ads

dag_io.ads

metafile.adb

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

metafile.ads

a-except.ads

s-stalib.ads

s-secsta.ads

systemerrors.ads

filesystem.ads

screenecho.ads

commandlinehandler.ads

errorhandler.ads

xmlreport.ads

indexmanager-index_table_p.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

indexmanager.ads

lextokenlists.ads

spark_io.ads

s-stalib.ads

s-secsta.ads

a-except.ads

lextokenmanager.ads

systemerrors.ads

xmlreport.ads

indexmanager-index_table_p.ads

filesystem.ads

errorhandler.ads

configfile.adb

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

error_io.ads

errorhandler.ads

lextokenmanager.ads

s-secsta.ads

filesystem.ads

lextokenlists.ads

dictionary.ads

maths.ads

sp_symbols.ads

sp_expected_symbols.ads

a-except.ads

s-stalib.ads

xmlreport.ads

error_types.ads

configfile.ads

casing.ads

a-chahan.ads

s-bitops.ads

screenecho.ads

sparklex.ads

examiner.adb

a-strunb.ads

s-atocou.ads

spark_io.ads

a-except.ads

s-stalib.ads

stree.ads

lextokenmanager.ads

dictionary.ads

screenecho.ads

statistics.ads

mainloop.ads

commandlinedata.ads

commandlinehandler.ads

errorhandler.ads

file_utils.ads

a-comlin.ads

g-trasym.ads

contextmanager-ops.adb

contextmanager.ads

lextokenlists.ads

spark_io.ads

sparklex.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

errorhandler.ads

error_io.ads

lextokenmanager.ads

a-except.ads

s-stalib.ads

s-secsta.ads

filesystem.ads

systemerrors.ads

stree.ads

sp_symbols.ads

indexmanager.ads

contextmanager-ops.ads

screenecho.ads

sli-xref.SHADOW.adb

g-dyntab.adb

g-hesorg.adb

g-tabsor.adb

g-table.adb

g-dyntab.ads

lextokenmanager.ads

g-table.ads

dictionary.ads

systemerrors.ads

lextokenlists.ads

contextmanager.ads

s-secsta.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

spark_io.ads

g-hesorg.ads

sli-xref.ads

s-memory.ads

contextmanager-ops.ads

filesystem.ads

sli-io.ads

sli.adb

dictionary.ads

lextokenmanager.ads

s-secsta.ads

sli-io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

spark_io.ads

systemerrors.ads

lextokenlists.ads

contextmanager.ads

stree.ads

sp_symbols.ads

sli.ads

contextmanager-ops.ads

filesystem.ads

sli-xref.ads

commandlinedata.ads

indexmanager.ads

sem-check_named_association.adb

sem-compunit-stack.adb

sem-compunit-walkstatements.adb

sem-dependency_relation-create_full_subprog_dependency.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_real.adb

sem-compunit-walkstatements-checkformutuallyexclusivebranches.adb

sem-wf_context_clause_package_body-with_clause.adb

sem-walk_expression_p-wf_positional_argument_association.adb

sem-walk_expression_p-wf_named_association_rep.adb

sem-walk_expression_p-wf_named_record_component_association.adb

sem-walk_expression_p-wf_positional_record_component_association.adb

sem-wf_pragma.adb

sem-wf_global_definition.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_task_type_declaration.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_subtype_declaration.adb

sem-compunit-wf_subprogram_body-processpartitionannotation.adb

sem-compunit-wf_task_body.adb

sem-compunit-wf_body_stub.adb

sem-walk_expression_p-wf_aggregate_choice.adb

sem-constraint_check.adb

sem-compunit-walkstatements-wf_case_choice.adb

sem-wf_basic_declarative_item-check_subtype_against_basetype_bounds.adb

sem-compunit-up_wf_package_body.adb

sem-wf_basic_declarative_item.adb

sem-wf_external_interface.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration.adb

sem-walk_expression_p-wf_relation.adb

sem-wf_renaming_declaration.adb

sem-walk_expression_p-wf_simple_expression.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_protected_type_declaration.adb

sem-compunit.adb

sem-walk_expression_p-wf_attribute_designator.adb

sem-compunit-walkstatements-wf_proc_call.adb

sem-compunit-checkembedbodies.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_variable_declaration.adb

sem-check_no_overloading_from_tagged_ops-successfully_overrides.adb

sem-check_valid_ident.adb

sem-wf_package_declaration.adb

sem-check_suspendable_property_consistency.adb

sem-wf_package_declaration-wf_package_specification-check_state_can_be_initialized.adb

sem-check_announced_types_declared.adb

sem-wf_type_mark.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_enum.adb

sem-compunit-wf_entry_body.adb

sem-wf_package_declaration-wf_package_specification.adb

sem-compunit-wf_subprogram_body.adb

sem-compunit-wf_subunit.adb

sem-compunit-walkstatements-variableupdatehistory.adb

sem-compunit-checksuspendslistaccountedfor.adb

sem-walk_expression_p-check_binary_operator-homo_impl_type_conv.adb

sem-dependency_relation-check_derives_consistency.adb

sem-dependency_relation-wf_dependency_relation.adb

sem-walk_expression_p-up_wf_aggregate_or_expression.adb

sem-wf_package_declaration-wf_package_specification-wf_anno-wf_own.adb

sem-walk_expression_p-calc_binary_operator.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_protected_type_declaration-wf_protected_op_dec.adb

sem-walk_expression_p-stack_identifier.adb

sem-check_priority_property_consistency.adb

sem-check_interrupt_property_consistency.adb

sem-wf_package_declaration-wf_package_specification-check_types_can_be_used.adb

sem-walk_expression_p-type_context_stack.adb

sem-walk_expression_p-wf_simple_expression_opt.adb

sem-walk_expression_p-wf_factor.adb

sem-subprogram_specification.adb

sem-aggregate_stack.adb

sem-walk_expression_p-up_wf_aggregate.adb

sem-dependency_relation-create_full_dependency.adb

sem-walk_expression_p-exp_stack.adb

sem-walk_expression_p-wf_positional_association.adb

sem-walk_expression_p-add_name.adb

sem-walk_expression_p-dispose_of_name_list.adb

sem-walk_expression_p-find_named_argument_association_parameter.adb

sem-walk_expression_p-wf_tilde.adb

sem-walk_expression_p-wf_percent.adb

sem-walk_expression_p-create_name_list.adb

sem-walk_expression_p-unknown_symbol_record.adb

sem-walk_expression_p-ops_are_same_and_commutative.adb

sem-walk_expression_p-null_type_record.adb

sem-walk_expression_p-null_parameter_record.adb

sem-walk_expression_p-put_exp_record.adb

sem-walk_expression_p-get_character_literal.adb

sem-walk_expression_p-get_string_literal_length.adb

sem-walk_expression_p-down_wf_name_argument_list.adb

sem-walk_expression_p-wf_aggregate_choice_rep.adb

sem-walk_expression_p-wf_record_component_selector_name.adb

sem-walk_expression_p-attribute_designator_type_from_context.adb

sem-walk_expression_p-range_constraint_type_from_context.adb

sem-walk_expression_p-simple_expression_type_from_context.adb

sem-walk_expression_p-expression_type_from_context.adb

sem-walk_expression_p-primary_type_from_context.adb

sem.adb

sem-needs_synthetic_dependency.adb

sem-unknown_type_record.adb

sem-walk_expression_p-down_wf_aggregate_or_expression.adb

sem-walk_expression_p-wf_arange.adb

sem-walk_expression_p-wf_attribute.adb

sem-walk_expression_p-wf_ancestor_part.adb

sem-assignment_check.adb

sem-unexpected_initialization.adb

sem-get_type_bounds.adb

sem-walk_expression_p-down_wf_aggregate.adb

sem-check_package_prefix.adb

sem-in_package_initialization.adb

sem-indexes_match.adb

sem-is_external_interface.adb

sem-is_enclosing_package.adb

sem-get_literal_value.adb

sem-substitute_protected_type_self_reference.adb

sem-walk_expression_p-wf_identifier.adb

sem-walk_expression_p-check_binary_operator.adb

sem-walk_expression_p-wf_term.adb

sem-walk_expression_p-up_wf_name_argument_list.adb

sem-walk_expression_p-wf_attribute_designator-calc_attribute.adb

sem-illegal_unconstrained.adb

sem-walk_expression_p-wf_expression.adb

sem-walk_expression_p-wf_qualified_expression.adb

sem-walk_expression_p-wf_component_association.adb

sem-convert_tagged_actual.adb

sem-create_implicit_positive_subtype.adb

sem-create_interrupt_stream_variable.adb

sem-check_task_modifier_consistency.adb

sem-check_protected_modifier_consistency.adb

sem-check_ceiling_priority.adb

sem-check_no_overloading_from_tagged_ops.adb

sem-check_priority_range.adb

sem-wf_property_list.adb

sem-check_closing_identifier.adb

sem-add_derives_stream_effects.adb

sem-plant_constraining_type.adb

sem-add_record_sub_components.adb

sem-walk_expression_p-wf_selected_component.adb

sem-walk_expression_p-wf_primary.adb

sem-walk_expression_p-wf_primary-protected_references_by.adb

sem-wf_justification_statement.adb

sem-get_subprogram_anno_key_nodes.adb

sem-find_actual_node.adb

sem-find_previous_package.adb

sem-wf_pragma-wf_elaborate_body.adb

sem-wf_pragma-wf_attach_handler.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_record.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_known_discriminant_part.adb

sem-wf_array_type_definition.adb

sem-wf_formal_part.adb

sem-wf_formal_part-wf_param.adb

sem-wf_generic_formal_part.adb

sem-wf_entire_variable.adb

sem-wf_context_clause_package_body.adb

sem-wf_context_clause_package_body-use_clause.adb

sem-compunit-wf_package_body.adb

sem-compunit-wf_package_body-wf_refine.adb

sem-compunit-wf_package_body-wf_refine-wf_clause.adb

sem-compunit-checkpackageneedsbody.adb

sem-compunit-wf_protected_body.adb

sem-wf_context_clause.adb

sem-wf_inherit_clause.adb

sem-range_check.adb

sem-wf_argument_association.adb

sem-wf_argument_association-tagged_actual_must_be_object_check.adb

sem-walk_expression_p-wf_named_argument_association.adb

sem-walk_expression_p-walk_expression.adb

sem-walk_name.adb

sem-wf_generic_subprogram_instantiation-wf_generic_actual_part.adb

sem-wf_basic_declarative_item-wf_basic_declaration.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_integer.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_derived.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_modular.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_subtype_declaration-wf_ravenscar_subtype.adb

sem-compunit-walkstatements-wf_assign.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_type_extension.adb

sem-walk_expression_p-walk_annotation_expression.adb

sem-walk_expression_p-walk_annotation_expression-up_wf_quantifier.adb

sem-walk_expression_p-walk_annotation_expression-up_wf_store_list.adb

sem-walk_expression_p-walk_annotation_expression-up_wf_store.adb

sem-walk_expression_p-walk_annotation_expression-down_wf_store_list.adb

sem-walk_expression_p-walk_annotation_expression-down_wf_quantifier.adb

sem-walk_expression_p-walk_annotation_expression-down_wf_store.adb

sem-wf_priority_value.adb

sem-wf_basic_declarative_item-wf_basic_declaration-wf_full_type_declaration-wf_priority_pragma.adb

sem-wf_declare_annotation.adb

sem-wf_subprogram_annotation.adb

sem-wf_predicate.adb

sem-wf_subprogram_constraint.adb

sem-compunit-walkstatements-wf_loop_param.adb

sem-compunit-walkstatements-up_loop.adb

sem-compunit-walkstatements-up_case.adb

sem-compunit-walkstatements-wf_delay_until.adb

sem-compunit-walkstatements-wf_condition.adb

sem-compunit-walkstatements-wf_return.adb

sem-compunit-walkstatements-down_loop.adb

sem-compunit-walkstatements-wf_case.adb

sem-compunit-walkstatements-wf_exit.adb

sem-wf_subprogram_declaration.adb

sem-wf_generic_subprogram_instantiation.adb

sem-wf_package_declaration-get_package_declaration_key_nodes.adb

sem-wf_package_declaration-wf_package_specification-wf_anno.adb

sem-wf_package_declaration-wf_package_specification-wf_visible.adb

sem-wf_package_declaration-wf_package_specification-wf_visible-wf_deferred.adb

sem-wf_package_declaration-wf_package_specification-wf_visible-wf_private_type_declaration.adb

sem-wf_package_declaration-add_child.adb

sem-wf_package_declaration-wf_package_specification-wf_anno-wf_init_spec.adb

sem-wf_package_declaration-wf_package_specification-wf_private.adb

sem-wf_package_declaration-wf_package_specification-check_modes.adb

sem-compunit-up_wf_protected_body.adb

sem-compunit-up_wf_task_body.adb

sem-compunit-up_wf_subprogram_body.adb

sem-compunit-wf_proof_function_declaration.adb

sem-compunit-wf_use_type_clause.adb

sem-compunit-wf_machine_code_insertion.adb

sem-compunit-wf_generic_declaration.adb

sem-compunit-wf_generic_package_instantiation.adb

sem-compunit-wf_package_initialization.adb

sem-compunit-wf_proof_renaming_declaration.adb

maths.ads

completecheck.ads

lextokenmanager.ads

dictionary.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

heap_storage.ads

heap.ads

componentmanager.ads

systemerrors.ads

seqalgebra.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

commandlinedata.ads

stree.ads

sp_symbols.ads

errorhandler.ads

sem-walk_expression_p.adb

s-secsta.ads

spark_io.ads

lists.ads

a-except.ads

s-stalib.ads

lextokenmanager-seq_algebra.ads

lextokenmanager-relation_algebra-string.ads

reflist.ads

simplelists.ads

sem-dependency_relation.adb

sem.ads

contextmanager-ops.ads

relationalgebra.ads

a-textio.ads

s-imenne.ads

s-imgboo.ads

s-imgint.ads

s-bitops.ads

sli.ads

sprint.ads

debug.ads

flowanalyser.ads

vcg.ads

dag-buildgraph-modelprocedurecall.adb

dag-type_constraint.adb

dag-substitutions.adb

dag.adb

dag-buildgraph-modelassignmentstmt.adb

dag-buildgraph-incorporateconstraints.adb

dag-buildgraph.adb

dag-build_annotation_expression.adb

dag-buildexpndag-upattributedesignator.adb

dag-loopcontext.adb

dag-buildexpndag.adb

dictionary.ads

lextokenmanager.ads

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-convec.ads

cell_storage.ads

sp_symbols.ads

cells.ads

heap_storage.ads

heap.ads

s-secsta.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

systemerrors.ads

cells-utility.ads

graph.ads

stmtstack.ads

maths.ads

symbol_set.ads

seqalgebra.ads

dag.ads

cstacks.ads

structures.ads

cells-utility-list.ads

debug.ads

labels.ads

pairs.ads

stree.ads

errorhandler.ads

contextmanager-ops.ads

filesystem.ads

s-imgint.ads

commandlinedata.ads

dag_io.ads

clists.ads

sparkhtml.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

a-except.ads

s-stalib.ads

s-secsta.ads

spark_io.ads

filesystem.ads

sparkhtml.ads

a-chahan.ads

screenecho.ads

commandlinedata.ads

contextmanager-ops.ads

mainloop.adb

spark_io.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

e_strings.ads

lextokenlists.ads

contextmanager.ads

error_types.ads

s-secsta.ads

filesystem.ads

a-except.ads

s-stalib.ads

errorhandler.ads

error_io.ads

lextokenmanager.ads

xmlreport.ads

file_utils.ads

sparklex.ads

dictionary.ads

indexmanager.ads

metafile.ads

screenecho.ads

contextmanager-ops.ads

stree.ads

spparser.ads

commandlinedata.ads

s-imenne.ads

requiredunits.ads

sem.ads

casing.ads

sli.ads

sparkhtml.ads

configfile.ads

statistics.ads

libraries


manual

sparkclean

compile units

includes

b~sparkclean.adb

b~sparkclean.ads

spark-ada-command_line.adb

spark-ada-command_line.ads

a-comlin.ads

spark-ada-strings-maps.adb

spark-ada-strings-maps.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps-not_spark.adb

spark-ada-strings-maps-not_spark.ads

s-unstyp.ads

a-strmap.ads

spark-ada-strings-maps.ads

s-secsta.ads

spark-ada-strings-not_spark.adb

a-string.ads

spark-ada-strings.ads

spark-ada-strings-not_spark.ads

spark-ada-strings-unbounded.adb

spark-ada-strings-unbounded.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

a-strmap.ads

s-unstyp.ads

spark-ada-strings.ads

a-string.ads

s-secsta.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-not_spark.ads

files.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

files.ads

spark-ada-strings-unbounded.ads

spark-ada-command_line-unbounded_string.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

a-comlin.ads

spark-ada-strings-unbounded.ads

spark-ada-command_line-unbounded_string.ads

spark-ada-strings-unbounded-not_spark.adb

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

spark-ada-strings-maps-not_spark.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-strings.ads

a-string.ads

spark-ada-strings-not_spark.ads

s-secsta.ads

spark-ada-text_io-not_spark.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

spark-ada-text_io-not_spark.ads

spark-ada-text_io.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

spark-ada-text_io.ads

s-crtl.ads

s-stalib.ads

a-except.ads

s-secsta.ads

spark-ada-text_io-not_spark.ads

spark-ada-text_io-unbounded_string.adb

a-stream.ads

a-textio.ads

s-ficobl.ads

a-tags.ads

s-crtl.ads

spark-ada-text_io.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

s-secsta.ads

a-except.ads

s-stalib.ads

spark-ada-text_io-unbounded_string.ads

spark-ada-strings-unbounded-not_spark.ads

spark-ada-text_io-not_spark.ads

spark-ada-strings-unbounded.ads

command_line.adb

command_line.ads

files.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

s-secsta.ads

spark-ada-strings-unbounded.ads

a-except.ads

spark-ada-command_line-unbounded_string.ads

spark-ada-text_io-unbounded_string.ads

spark-ada-text_io.ads

spark-ada-command_line.ads

s-stalib.ads

version.ads

sparkclean.adb

s-secsta.ads

files.ads

command_line.ads

a-tags.ads

s-finroo.ads

a-finali.ads

a-strunb.ads

s-atocou.ads

g-dirope.ads

spark-ada-strings-unbounded.ads

a-except.ads

s-os_lib.ads

spark-ada-text_io.ads

spark-ada-command_line-unbounded_string.ads

spark-ada-text_io-unbounded_string.ads

spark-ada-command_line.ads

s-stalib.ads

libraries


manual