GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
JSON_ANY_CODEC
+
Point of view
All features
ANY
JSON_HANDLER
All features
deferred class JSON_ANY_CODEC
Summary
top
Direct parents
Insert list:
JSON_HANDLER
Known children
Inherit list:
JSON_CODEC
Overview
top
Features
{
JSON_HANDLER
}
create_array
:
JSON_DATA
add_to_array
(array:
JSON_DATA
, value:
JSON_DATA
)
finalize_array
(array:
JSON_DATA
)
array is fully read, if a codec needs to do some cleanup this feature can be redefined
create_object
:
JSON_DATA
add_to_object
(object:
JSON_DATA
, key:
JSON_DATA
, value:
JSON_DATA
)
finalize_object
(object:
JSON_DATA
)
object is fully read, if a codec needs to do some cleanup this feature can be redefined
create_string
(string:
JSON_STRING
):
JSON_DATA
create_number
(number:
JSON_NUMBER
):
JSON_DATA
true_value
:
JSON_DATA
false_value
:
JSON_DATA
null_value
:
JSON_DATA
create_array
:
JSON_DATA
deferred function
{
JSON_HANDLER
}
top
add_to_array
(array:
JSON_DATA
, value:
JSON_DATA
)
deferred procedure
{
JSON_HANDLER
}
top
require
array /= Void
value /= Void
finalize_array
(array:
JSON_DATA
)
effective procedure
{
JSON_HANDLER
}
top
array is fully read, if a codec needs to do some cleanup this feature can be redefined
require
array /= Void
create_object
:
JSON_DATA
deferred function
{
JSON_HANDLER
}
top
add_to_object
(object:
JSON_DATA
, key:
JSON_DATA
, value:
JSON_DATA
)
deferred procedure
{
JSON_HANDLER
}
top
require
object /= Void
key /= Void
value /= Void
finalize_object
(object:
JSON_DATA
)
effective procedure
{
JSON_HANDLER
}
top
object is fully read, if a codec needs to do some cleanup this feature can be redefined
require
object /= Void
create_string
(string:
JSON_STRING
):
JSON_DATA
deferred function
{
JSON_HANDLER
}
top
ensure
Result /= Void
create_number
(number:
JSON_NUMBER
):
JSON_DATA
deferred function
{
JSON_HANDLER
}
top
ensure
Result /= Void
true_value
:
JSON_DATA
deferred function
{
JSON_HANDLER
}
top
ensure
Result /= Void
false_value
:
JSON_DATA
deferred function
{
JSON_HANDLER
}
top
ensure
Result /= Void
null_value
:
JSON_DATA
deferred function
{
JSON_HANDLER
}
top
ensure
Result /= Void