Skip to content

Commit daf6458

Browse files
committed
Improve description of context schema
1 parent 7e18265 commit daf6458

File tree

1 file changed

+15
-2
lines changed

1 file changed

+15
-2
lines changed

schemas/program/context.schema.yaml

Lines changed: 15 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,21 @@ $id: "schema:ethdebug/format/program/context"
33

44
title: ethdebug/format/program/context
55
description: |
6-
A schema for representing the information known at compile-time about the
7-
high-level language concerns at a particular point in code execution.
6+
An **ethdebug/format/program/context** object represents compile-time
7+
information about the high-level runtime execution state at a specific point
8+
in a program's bytecode.
9+
10+
This schema defines the structure for encoding compile-time knowledge about
11+
the high-level runtime state. Contexts are treated as units of information
12+
that may encompass multiple related or unrelated facts about the program's
13+
state. This may include, e.g., source mapping information (via the `"code"`
14+
property) or information about known variable allocations, etc.
15+
16+
The interpretation of a context depends on its properties and its
17+
relationship to program elements such as instructions or control flow
18+
structures. For example, a context associated with an instruction may
19+
indicate that the specified conditions hold true following the execution of
20+
that instruction.
821
922
type: object
1023

0 commit comments

Comments
 (0)