Eiffeldoc: JSON

Point of view

All features

class JSON_TRUE

Summary

Overview

Creation features

Features

accept (visitor: VISITOR)

Accept to be visited by the visitor.
is_equal (other: JSON_TRUE): BOOLEAN

Is other attached to an object considered equal to current object?
out_in_tagged_out_memory

Append terse printable representation of current object in tagged_out_memory.

{}

accept (visitor: VISITOR)

effective procedure

Accept to be visited by the visitor.

require

is_equal (other: JSON_TRUE): BOOLEAN

effective function

Is other attached to an object considered equal to current object?

require

ensure

commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)

out_in_tagged_out_memory

effective procedure

Append terse printable representation of current object in tagged_out_memory.

require

ensure

still_locked: tagged_out_locked
not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))