GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
ABSTRACT_BACKTRACKING_POOL
+
Point of view
All features
ANY
All features
deferred class ABSTRACT_BACKTRACKING_POOL [X_ ->
ABSTRACT_BACKTRACKING_POOLABLE
]
Summary
top
Pools for the
ABSTRACT_BACKTRACKING
Direct parents
Insert list:
ANY
Known children
Inherit list:
ABSTRACT_BACKTRACKING_POOL_OF_CUT_POINT
,
BACKTRACKING_POOL_OF_ALTERNATIVE
,
BACKTRACKING_POOL_OF_ALTERNATIVE_LIST
,
BACKTRACKING_POOL_OF_SEQUENCE
,
BACKTRACKING_POOL_OF_SEQUENCE_LIST
Overview
top
Features
{
ANY
}
get_instance
: X_
Returns an instance from the current pool.
get_fresh_instance
: X_
Returns a freshly created instance.
release_instance
(inst: X_)
Records the instance 'inst' into the current pool.
clear
Removes all recorded instances from the current pool.
{}
pool_of_instances
: WEAK_REFERENCE[X_]
Head of the recorded instances
make
creation
get_instance
: X_
effective function
{
ANY
}
top
Returns an instance from the current pool.
ensure
result_not_void:
Result /= Void
get_fresh_instance
: X_
deferred function
{
ANY
}
top
Returns a freshly created instance.
release_instance
(inst: X_)
effective procedure
{
ANY
}
top
Records the instance 'inst' into the current pool.
ensure
instance_on_top:
pool_of_instances
.item = inst
previous_top_chained:
inst.pool_link = old
pool_of_instances
.item
clear
effective procedure
{
ANY
}
top
Removes all recorded instances from the current pool.
pool_of_instances
: WEAK_REFERENCE[X_]
writable attribute
{}
top
Head of the recorded instances
make
effective procedure
{}
top
creation