|
# SPDX-License-Identifier: GPL-2.0-or-later
# ToolsForHomalg: Special methods and knowledge propagation tools
#
# Declarations
#
#! @Description
#! The first argument is the <A>indicator</A>.
#! It is a list of sources like in ToDoListEntry.
#! Each entry <A>SP</A> has to be a threetuple.
#! First entry of <A>SP</A> has to an object, for
#! which the second entry of <A>SP</A>, which has
#! to be the name of an attribute, must become known.
#! Once the attribute is known to the object,
#! it will be compared to the third entry of the list.
#! This can be a value, which is compared directly
#! a function, which is launched and its return value is compared,
#! or a list, consisting of a function and arguments, so the
#! return value of the function with given arguments is compared.
#! If there is no third entry in <A>SP</A>, it is only looked
#! up if the value is known. Once all entries in <A>indicator</A>
#! are processed like this, and all returned true in the comparasion,
#! a list of ToDoListEntryForEqualAttributes is installed.
#! They are installed for the two entries of the list <A>objects</A>
#! which can either be the objects itself or a list
#! containing a function and arguments, which return
#! value is used. For each entry in <A>attributes</A> such
#! an entry is installed. Such an entry can be the
#! name of an attribute, if both objects
#! in <A>objects</A> should share the value
#! between attributes with the same name, or a list
#! of two names, if the attributes do not have
#! the same name.
#! @Returns a todo list entry
#! @Arguments indicator, objects, attributes
#! @ChapterInfo ToDo-list, Blueprints
DeclareOperation( "ToDoListEntryToMaintainEqualAttributes",
[ IsList, IsList, IsList ] );
#! @Description
#! This function creates a ToDoListEntry which can
#! install several ToDoListEntries.
#! The first two arguments, <A>indicator</A> and <A>objects</A>
#! except that there will be only ToDoListEntries
#! installed between the two objects in <A>objects</A>.
#! Each entry in <A>attributes</A> can either be a string
#! which means that the attribute with the given name will be set
#! from the first to the second object in <A>objects</A>
#! once it is known.
#! The third argument <A>attributes</A> is a list of attributes
#! that will be propagated by ToDoListEntries.
#! Each entry <A>TP</A> can either be a list consisting of
#! a DescriptionOfImplication string and one of the following
#! or just one of the following lists:
#! It can be a string, which means that the Attribute
#! with the given name will be propagated from the first to
#! the second object.
#! It can be a list, consisting of two entries, where the first entry
#! is a list of sources like in ToDoListEntry
#! and the second might be a function
#! which will be launched once the first part is fulfilled.
#! It can also be a threetuple which will serve
#! as second to fourth argument of ToDoListEntry.
#! Or it can be a string, which will set the attribute named
#! like this of the first object to the one named in the second object
#! @Returns a todo list entry
#! @Arguments indicator, objects, attributes
#! @ChapterInfo ToDo-list, Blueprints
DeclareOperation( "ToDoListEntryToMaintainFollowingAttributes",
[ IsList, IsList, IsList ] );
#! @Description
#! This function allows to create more than one
#! ToDoListEntry with identical list of sources at one time.
#! First argument is a list of sources like in the other ToDoListEntry functions
#! Second argument is a list of threetuples,
#! which serve as second to fourth argument of ToDoListEntry
#! or a function, which serves as second argument for ToDoListEntry
#! or a tuple with a description string and one of the above.
#! @Returns a todo list entry
#! @Arguments source, target_list
#! @ChapterInfo ToDo-list, Blueprints
DeclareOperation( "ToDoListEntry",
[ IsList, IsList ] );
#! @Description
#! Represents the objects for which the blueprint is
#! created in the arguments
#! @ChapterInfo ToDo-list, Blueprints
DeclareGlobalVariable( "ToDoList_this_object" );
DeclareGlobalFunction( "ToDoLists_remove_this_object_recursive" );
DeclareGlobalFunction( "ToDoLists_install_blueprint_immediate_method" );
#! @Description
#! This function installs an immediate method
#! which can install ToDoListEntryToMaintainEqualAttributes.
#! First argument must be a filter, and once the filter becomes true
#! the ToDoListEntryToMaintainEqualAttributes is
#! installed with the second to fourth argument
#! as first to third.
#! In those attributes, at any point,
#! the variable ToDoList_this_object
#! can be used. When the entry is installed
#! This will be replaced with the object to which the
#! filters became known, i.e. the one which triggered the
#! immediate method.
#! @Returns nothing
#! @Arguments filter, indicator, objects, attributes
#! @ChapterInfo ToDo-list, Blueprints
DeclareOperation( "ToDoListEntryToMaintainEqualAttributesBlueprint",
[ IsObject, IsList, IsList, IsList ] );
#! @Description
#! The same as ToDoListEntryToMaintainEqualAttributesBlueprint
#! for ToDoListEntryToMaintainFollowingAttributes
#! @Returns nothing
#! @ChapterInfo ToDo-list, Blueprints
DeclareOperation( "ToDoListEntryToMaintainFollowingAttributesBlueprint",
[ IsObject, IsList, IsList, IsList ] );
#! @Description
#! The same as ToDoListEntryToMaintainEqualAttributesBlueprint
#! for ToDoListEntry
#! @Returns nothing
#! @ChapterInfo ToDo-list, Blueprints
DeclareOperation( "ToDoListEntryBlueprint",
[ IsObject, IsList, IsList ] );
DeclareAttribute( "InstallBlueprints",
IsObject );
[ Dauer der Verarbeitung: 0.32 Sekunden
(vorverarbeitet)
]
|
