pyk.ktool.kprint module

class KAstInput(value)

Bases: Enum

An enumeration.

BINARY = 'binary'

JSON = 'json'

KAST = 'kast'

KORE = 'kore'

PROGRAM = 'program'

RULE = 'rule'

class KAstOutput(value)

Bases: Enum

An enumeration.

BINARY = 'binary'

JSON = 'json'

KAST = 'kast'

KORE = 'kore'

LATEX = 'latex'

NONE = 'none'

PRETTY = 'pretty'

PROGRAM = 'program'

class KPrint(definition_dir: Path, use_directory: Path | None = None, bug_report: BugReport | None = None, extra_unparsing_modules: Iterable[KFlatModule] = (), patch_symbol_table: Callable[[SymbolTable], None] | None = None)

Bases: object

property all_rules: dict[str, str]

col).

Parsed from allRules.txt in the kompiled definition directory. Keyed by the first 12 hex characters of each rule’s SHA-256 hash.

Type:

Map from 12-char rule hash prefix to source location (file

Type:

line

backend: str

property definition: KDefinition

definition_dir: Path

property definition_hash: str

kast_to_kore(kast: KInner, sort: KSort | None = None, *, force_kast: bool = False) → Pattern

kore_to_kast(kore: Pattern) → KInner

kore_to_pretty(pattern: Pattern, *, pyk_print: bool = False) → str

main_module: str

parse_token(ktoken: KToken, *, as_rule: bool = False) → KInner

pretty_print(kast: KAst, *, in_module: str | None = None, unalias: bool = True, sort_collections: bool = False) → str

use_directory: Path | None

gen_glr_parser(parser_file: str | Path, *, command: str | None = None, definition_dir: str | Path | None = None, module: str | None = None, sort: str | None = None, temp_dir: str | Path | None = None) → Path