├── .gitignore ├── LICENSE ├── README.md ├── ada_lists ├── .gitignore ├── .kdev4 │ └── .gitignore ├── Makefile ├── README.md ├── ada_lists.gpr ├── ada_lists.kdev4 ├── lib │ └── .gitignore ├── obj │ └── .gitignore └── src │ ├── iface_lists-dynamic.adb │ ├── iface_lists-dynamic.ads │ ├── iface_lists-fixed.adb │ ├── iface_lists-fixed.ads │ ├── iface_lists-vectors.adb │ ├── iface_lists-vectors.ads │ ├── iface_lists.adb │ ├── iface_lists.ads │ ├── lists-bounded.adb │ ├── lists-bounded.ads │ ├── lists-dynamic.adb │ ├── lists-dynamic.ads │ ├── lists-fixed.adb │ ├── lists-fixed.ads │ ├── lists-vectors.adb │ ├── lists-vectors.ads │ ├── lists.adb │ └── lists.ads ├── ada_lists_tests ├── .gitignore ├── .kdev4 │ └── .gitignore ├── Makefile ├── README.md ├── ada_lists_tests.gpr ├── ada_lists_tests.kdev4 ├── bug01.gpr ├── do.sh ├── obj │ └── .gitignore └── src │ ├── base.adb │ ├── base.ads │ ├── bug01.adb │ ├── test_list_combo.adb │ ├── test_list_iface.adb │ └── test_list_iface_wrec.adb ├── list_combo ├── .gitignore ├── .kdev4 │ ├── .gitignore │ ├── list_combo.kdev4 │ └── list_iface.kdev4 ├── Makefile ├── README.md ├── list_combo.gpr ├── list_combo.kdev4 ├── obj │ ├── dbg │ │ └── .gitignore │ └── release │ │ └── .gitignore └── src │ ├── base.adb │ ├── base.ads │ ├── lists-dynamic.adb │ ├── lists-dynamic.ads │ ├── lists-fixed.adb │ ├── lists-fixed.ads │ ├── lists-vectors.adb │ ├── lists-vectors.ads │ ├── lists.adb │ ├── lists.ads │ └── test_list_combo.adb ├── list_iface ├── .gitignore ├── .kdev4 │ ├── .gitignore │ └── list_iface.kdev4 ├── Makefile ├── README.md ├── list_iface.gpr ├── list_iface.kdev4 ├── obj │ ├── dbg │ │ └── .gitignore │ └── release │ │ └── .gitignore └── src │ ├── lists-dynamic.adb │ ├── lists-dynamic.ads │ ├── lists-fixed.adb │ ├── lists-fixed.ads │ ├── lists-vectors.adb │ ├── lists-vectors.ads │ ├── lists.adb │ ├── lists.ads │ └── test_list_iface.adb ├── mixins ├── .gitignore ├── .kdev4 │ └── mixins_ada.kdev4 ├── Makefile ├── Readme.md ├── mixins.gpr ├── mixins_ada.kdev4 └── src │ ├── base_iface.adb │ ├── base_iface.ads │ ├── base_type.adb │ ├── base_type.ads │ ├── generic_mixin.adb │ ├── generic_mixin.ads │ ├── generic_mixin_compositor.adb │ ├── generic_mixin_compositor.ads │ ├── oop_mixin.adb │ ├── oop_mixin.ads │ ├── oop_mixin_compositor.adb │ ├── oop_mixin_compositor.ads │ ├── run_mixins.adb │ └── samples.adb └── separation ├── .gitignore ├── Makefile ├── Readme.md ├── obj ├── dbg │ └── .gitignore └── release │ └── .gitignore ├── separation.gpr ├── separation.kdev4 └── src ├── algorithmic.adb ├── algorithmic.ads ├── data_storage.adb ├── data_storage.ads └── test_separation.adb /.gitignore: -------------------------------------------------------------------------------- 1 | # Object file 2 | *.o 3 | 4 | # Ada Library Information 5 | *.ali 6 | 7 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/README.md -------------------------------------------------------------------------------- /ada_lists/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/.gitignore -------------------------------------------------------------------------------- /ada_lists/.kdev4/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /ada_lists/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/Makefile -------------------------------------------------------------------------------- /ada_lists/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/README.md -------------------------------------------------------------------------------- /ada_lists/ada_lists.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/ada_lists.gpr -------------------------------------------------------------------------------- /ada_lists/ada_lists.kdev4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/ada_lists.kdev4 -------------------------------------------------------------------------------- /ada_lists/lib/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /ada_lists/obj/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /ada_lists/src/iface_lists-dynamic.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/iface_lists-dynamic.adb -------------------------------------------------------------------------------- /ada_lists/src/iface_lists-dynamic.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/iface_lists-dynamic.ads -------------------------------------------------------------------------------- /ada_lists/src/iface_lists-fixed.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/iface_lists-fixed.adb -------------------------------------------------------------------------------- /ada_lists/src/iface_lists-fixed.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/iface_lists-fixed.ads -------------------------------------------------------------------------------- /ada_lists/src/iface_lists-vectors.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/iface_lists-vectors.adb -------------------------------------------------------------------------------- /ada_lists/src/iface_lists-vectors.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/iface_lists-vectors.ads -------------------------------------------------------------------------------- /ada_lists/src/iface_lists.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/iface_lists.adb -------------------------------------------------------------------------------- /ada_lists/src/iface_lists.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/iface_lists.ads -------------------------------------------------------------------------------- /ada_lists/src/lists-bounded.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/lists-bounded.adb -------------------------------------------------------------------------------- /ada_lists/src/lists-bounded.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/lists-bounded.ads -------------------------------------------------------------------------------- /ada_lists/src/lists-dynamic.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/lists-dynamic.adb -------------------------------------------------------------------------------- /ada_lists/src/lists-dynamic.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/lists-dynamic.ads -------------------------------------------------------------------------------- /ada_lists/src/lists-fixed.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/lists-fixed.adb -------------------------------------------------------------------------------- /ada_lists/src/lists-fixed.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/lists-fixed.ads -------------------------------------------------------------------------------- /ada_lists/src/lists-vectors.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/lists-vectors.adb -------------------------------------------------------------------------------- /ada_lists/src/lists-vectors.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/lists-vectors.ads -------------------------------------------------------------------------------- /ada_lists/src/lists.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/lists.adb -------------------------------------------------------------------------------- /ada_lists/src/lists.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists/src/lists.ads -------------------------------------------------------------------------------- /ada_lists_tests/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/.gitignore -------------------------------------------------------------------------------- /ada_lists_tests/.kdev4/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /ada_lists_tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/Makefile -------------------------------------------------------------------------------- /ada_lists_tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/README.md -------------------------------------------------------------------------------- /ada_lists_tests/ada_lists_tests.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/ada_lists_tests.gpr -------------------------------------------------------------------------------- /ada_lists_tests/ada_lists_tests.kdev4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/ada_lists_tests.kdev4 -------------------------------------------------------------------------------- /ada_lists_tests/bug01.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/bug01.gpr -------------------------------------------------------------------------------- /ada_lists_tests/do.sh: -------------------------------------------------------------------------------- 1 | #~/bin/bash 2 | LD_LIBRARY_PATH="../ada_lists/lib/" "./$1" 3 | -------------------------------------------------------------------------------- /ada_lists_tests/obj/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /ada_lists_tests/src/base.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/src/base.adb -------------------------------------------------------------------------------- /ada_lists_tests/src/base.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/src/base.ads -------------------------------------------------------------------------------- /ada_lists_tests/src/bug01.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/src/bug01.adb -------------------------------------------------------------------------------- /ada_lists_tests/src/test_list_combo.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/src/test_list_combo.adb -------------------------------------------------------------------------------- /ada_lists_tests/src/test_list_iface.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/src/test_list_iface.adb -------------------------------------------------------------------------------- /ada_lists_tests/src/test_list_iface_wrec.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/ada_lists_tests/src/test_list_iface_wrec.adb -------------------------------------------------------------------------------- /list_combo/.gitignore: -------------------------------------------------------------------------------- 1 | test_list_combo 2 | -------------------------------------------------------------------------------- /list_combo/.kdev4/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /list_combo/.kdev4/list_combo.kdev4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/.kdev4/list_combo.kdev4 -------------------------------------------------------------------------------- /list_combo/.kdev4/list_iface.kdev4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/.kdev4/list_iface.kdev4 -------------------------------------------------------------------------------- /list_combo/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/Makefile -------------------------------------------------------------------------------- /list_combo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/README.md -------------------------------------------------------------------------------- /list_combo/list_combo.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/list_combo.gpr -------------------------------------------------------------------------------- /list_combo/list_combo.kdev4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/list_combo.kdev4 -------------------------------------------------------------------------------- /list_combo/obj/dbg/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /list_combo/obj/release/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /list_combo/src/base.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/src/base.adb -------------------------------------------------------------------------------- /list_combo/src/base.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/src/base.ads -------------------------------------------------------------------------------- /list_combo/src/lists-dynamic.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/src/lists-dynamic.adb -------------------------------------------------------------------------------- /list_combo/src/lists-dynamic.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/src/lists-dynamic.ads -------------------------------------------------------------------------------- /list_combo/src/lists-fixed.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/src/lists-fixed.adb -------------------------------------------------------------------------------- /list_combo/src/lists-fixed.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/src/lists-fixed.ads -------------------------------------------------------------------------------- /list_combo/src/lists-vectors.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/src/lists-vectors.adb -------------------------------------------------------------------------------- /list_combo/src/lists-vectors.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/src/lists-vectors.ads -------------------------------------------------------------------------------- /list_combo/src/lists.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/src/lists.adb -------------------------------------------------------------------------------- /list_combo/src/lists.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/src/lists.ads -------------------------------------------------------------------------------- /list_combo/src/test_list_combo.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_combo/src/test_list_combo.adb -------------------------------------------------------------------------------- /list_iface/.gitignore: -------------------------------------------------------------------------------- 1 | test_list_iface 2 | -------------------------------------------------------------------------------- /list_iface/.kdev4/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /list_iface/.kdev4/list_iface.kdev4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/.kdev4/list_iface.kdev4 -------------------------------------------------------------------------------- /list_iface/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/Makefile -------------------------------------------------------------------------------- /list_iface/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/README.md -------------------------------------------------------------------------------- /list_iface/list_iface.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/list_iface.gpr -------------------------------------------------------------------------------- /list_iface/list_iface.kdev4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/list_iface.kdev4 -------------------------------------------------------------------------------- /list_iface/obj/dbg/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /list_iface/obj/release/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /list_iface/src/lists-dynamic.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/src/lists-dynamic.adb -------------------------------------------------------------------------------- /list_iface/src/lists-dynamic.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/src/lists-dynamic.ads -------------------------------------------------------------------------------- /list_iface/src/lists-fixed.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/src/lists-fixed.adb -------------------------------------------------------------------------------- /list_iface/src/lists-fixed.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/src/lists-fixed.ads -------------------------------------------------------------------------------- /list_iface/src/lists-vectors.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/src/lists-vectors.adb -------------------------------------------------------------------------------- /list_iface/src/lists-vectors.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/src/lists-vectors.ads -------------------------------------------------------------------------------- /list_iface/src/lists.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/src/lists.adb -------------------------------------------------------------------------------- /list_iface/src/lists.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/src/lists.ads -------------------------------------------------------------------------------- /list_iface/src/test_list_iface.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/list_iface/src/test_list_iface.adb -------------------------------------------------------------------------------- /mixins/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/.gitignore -------------------------------------------------------------------------------- /mixins/.kdev4/mixins_ada.kdev4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/.kdev4/mixins_ada.kdev4 -------------------------------------------------------------------------------- /mixins/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/Makefile -------------------------------------------------------------------------------- /mixins/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/Readme.md -------------------------------------------------------------------------------- /mixins/mixins.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/mixins.gpr -------------------------------------------------------------------------------- /mixins/mixins_ada.kdev4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/mixins_ada.kdev4 -------------------------------------------------------------------------------- /mixins/src/base_iface.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/base_iface.adb -------------------------------------------------------------------------------- /mixins/src/base_iface.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/base_iface.ads -------------------------------------------------------------------------------- /mixins/src/base_type.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/base_type.adb -------------------------------------------------------------------------------- /mixins/src/base_type.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/base_type.ads -------------------------------------------------------------------------------- /mixins/src/generic_mixin.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/generic_mixin.adb -------------------------------------------------------------------------------- /mixins/src/generic_mixin.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/generic_mixin.ads -------------------------------------------------------------------------------- /mixins/src/generic_mixin_compositor.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/generic_mixin_compositor.adb -------------------------------------------------------------------------------- /mixins/src/generic_mixin_compositor.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/generic_mixin_compositor.ads -------------------------------------------------------------------------------- /mixins/src/oop_mixin.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/oop_mixin.adb -------------------------------------------------------------------------------- /mixins/src/oop_mixin.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/oop_mixin.ads -------------------------------------------------------------------------------- /mixins/src/oop_mixin_compositor.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/oop_mixin_compositor.adb -------------------------------------------------------------------------------- /mixins/src/oop_mixin_compositor.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/oop_mixin_compositor.ads -------------------------------------------------------------------------------- /mixins/src/run_mixins.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/run_mixins.adb -------------------------------------------------------------------------------- /mixins/src/samples.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/mixins/src/samples.adb -------------------------------------------------------------------------------- /separation/.gitignore: -------------------------------------------------------------------------------- 1 | test_separation 2 | .kdev4/ 3 | -------------------------------------------------------------------------------- /separation/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/separation/Makefile -------------------------------------------------------------------------------- /separation/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/separation/Readme.md -------------------------------------------------------------------------------- /separation/obj/dbg/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /separation/obj/release/.gitignore: -------------------------------------------------------------------------------- 1 | * 2 | */ 3 | !.gitignore 4 | -------------------------------------------------------------------------------- /separation/separation.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/separation/separation.gpr -------------------------------------------------------------------------------- /separation/separation.kdev4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/separation/separation.kdev4 -------------------------------------------------------------------------------- /separation/src/algorithmic.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/separation/src/algorithmic.adb -------------------------------------------------------------------------------- /separation/src/algorithmic.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/separation/src/algorithmic.ads -------------------------------------------------------------------------------- /separation/src/data_storage.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/separation/src/data_storage.adb -------------------------------------------------------------------------------- /separation/src/data_storage.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/separation/src/data_storage.ads -------------------------------------------------------------------------------- /separation/src/test_separation.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/gerr135/ada_composition/HEAD/separation/src/test_separation.adb --------------------------------------------------------------------------------