pyk.ktool.kprint module

class KAstInput(value)[source]

Bases: Enum

An enumeration.

BINARY = 'binary'

JSON = 'json'

KAST = 'kast'

KORE = 'kore'

PROGRAM = 'program'

RULE = 'rule'

class KAstOutput(value)[source]

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)[source]

Bases: object

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[source]

kore_to_kast(kore: Pattern) → KInner[source]

kore_to_pretty(pattern: Pattern) → str[source]

main_module: str

parse_token(ktoken: KToken, *, as_rule: bool = False) → KInner[source]

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

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[source]