home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
XML_REPOSITORY_LAYOUT
XML_REPOSITORY_IMPL
INTERNALS_HANDLER
All features
class XML_REPOSITORY_LAYOUT
Summary
top
Direct parents
insert list:
INTERNALS_HANDLER
Overview
top
creation features
make
features
type
:
STRING
capacity
:
INTEGER_32
for native arrays only
ref
:
STRING
name
:
STRING
value
:
STRING
layouts
:
DICTIONARY
[XML_REPOSITORY_LAYOUT,
STRING
]
solve
(a_solver:
FUNCTION
[
TUPLE 1
[
STRING
],
INTERNALS
]):
INTERNALS
internals
(a_solver:
FUNCTION
[
TUPLE 1
[
STRING
],
INTERNALS
]):
INTERNALS
a_value is used for expanded attributes to directly set the object
node
:
STRING
The XML node.
is_clear
:
BOOLEAN
clear
set
(a_node:
STRING
)
set_type
(a_type:
STRING
)
set_capacity
(a_capacity:
INTEGER_32
)
set_ref
(a_ref:
STRING
)
set_name
(a_name:
STRING
)
set_value
(a_value:
STRING
)
add_layout
(a_layout: XML_REPOSITORY_LAYOUT)
make
node_memory
:
STRING
type_memory
:
STRING
ref_memory
:
STRING
name_memory
:
STRING
value_memory
:
STRING
valid_generating_type_for_internals
(type:
STRING
):
BOOLEAN
internals_from_generating_type
(type:
STRING
):
INTERNALS
valid_generating_type_for_native_array_internals
(type:
STRING
):
BOOLEAN
native_array_internals_from_generating_type
(type:
STRING
, capacity:
INTEGER_32
):
INTERNALS
type
:
STRING
attribute
top
capacity
:
INTEGER_32
attribute
top
for native arrays only
ref
:
STRING
attribute
top
name
:
STRING
attribute
top
value
:
STRING
attribute
top
layouts
:
DICTIONARY
[XML_REPOSITORY_LAYOUT,
STRING
]
attribute
top
solve
(a_solver:
FUNCTION
[
TUPLE 1
[
STRING
],
INTERNALS
]):
INTERNALS
top
internals
(a_solver:
FUNCTION
[
TUPLE 1
[
STRING
],
INTERNALS
]):
INTERNALS
top
a_value is used for expanded attributes to directly set the object
node
:
STRING
attribute
top
The XML node.
I don't want to create 20 classes for such a simple thing.
is_clear
:
BOOLEAN
top
clear
top
ensure
is_clear
set
(a_node:
STRING
)
top
require
is_clear
ensure
not
is_clear
node
.is_equal(a_node)
set_type
(a_type:
STRING
)
top
require
not
is_clear
type
= Void
a_type /= Void
ensure
type
.is_equal(a_type)
set_capacity
(a_capacity:
INTEGER_32
)
top
ensure
capacity
= a_capacity
set_ref
(a_ref:
STRING
)
top
require
not
is_clear
ref
= Void
a_ref /= Void
ensure
ref
.is_equal(a_ref)
set_name
(a_name:
STRING
)
top
require
not
is_clear
name
= Void
a_name /= Void
ensure
name
.is_equal(a_name)
set_value
(a_value:
STRING
)
top
require
not
is_clear
value
= Void
a_value /= Void
ensure
value
.is_equal(a_value)
add_layout
(a_layout: XML_REPOSITORY_LAYOUT)
top
require
not
is_clear
a_layout.
name
/= Void
ensure
layouts
.at(a_layout.
name
) = a_layout
make
top
ensure
is_clear
node_memory
:
STRING
attribute
top
type_memory
:
STRING
attribute
top
ref_memory
:
STRING
attribute
top
name_memory
:
STRING
attribute
top
value_memory
:
STRING
attribute
top
valid_generating_type_for_internals
(type:
STRING
):
BOOLEAN
top
require
type /= Void
ensure
Result implies not type.has_prefix("NATIVE_ARRAY")
internals_from_generating_type
(type:
STRING
):
INTERNALS
top
require
valid_generating_type_for_internals
(type)
ensure
Result /= Void
Result.object_can_be_modified
valid_generating_type_for_native_array_internals
(type:
STRING
):
BOOLEAN
top
require
type /= Void
ensure
Result implies type.has_prefix("NATIVE_ARRAY")
native_array_internals_from_generating_type
(type:
STRING
, capacity:
INTEGER_32
):
INTERNALS
top
require
valid_generating_type_for_native_array_internals
(type)
ensure
Result /= Void
Result.object_can_be_modified