codehawkc
Contents:
CodeHawk-C File Organization
chc package
Subpackages
chc.api package
chc.app package
chc.cmdline package
chc.invariants package
chc.jsoninterface package
Submodules
chc.jsoninterface.JSONResult module
chc.jsoninterface.JSONSchema module
chc.linker package
chc.proof package
chc.reporting package
chc.source package
chc.util package
codehawkc
»
chc package
»
chc.jsoninterface package
»
chc.jsoninterface.JSONSchema module
View page source
chc.jsoninterface.JSONSchema module
Schema to describe json data.
class
chc.jsoninterface.JSONSchema.
JSONSchema
(
name
:
str
,
base_schema
:
Dict
[
str
,
Any
]
,
defs
:
Dict
[
str
,
Dict
[
str
,
Any
]
]
=
{}
)
[source]
Bases:
object
property
base_schema
:
Dict
[
str
,
Any
]
property
defs
:
Dict
[
str
,
Dict
[
str
,
Any
]
]
property
name
:
str
set_defs
(
defs
:
Dict
[
str
,
Dict
[
str
,
Any
]
]
)
→
None
[source]
to_json
(
)
→
Tuple
[
Dict
[
str
,
Any
]
,
Dict
[
str
,
Any
]
]
[source]