pyk
Contents:
pyk
pyk package
Subpackages
pyk.cterm package
pyk.kast package
pyk.kbuild package
pyk.kcfg package
pyk.kdist package
pyk.kllvm package
pyk.konvert package
pyk.kore package
pyk.kore_exec_covr package
pyk.krepl package
pyk.ktool package
pyk.prelude package
pyk.proof package
pyk.testing package
Submodules
pyk
pyk
pyk package
pyk.kdist package
pyk.kdist.api module
View page source
pyk.kdist.api module
class
Target
[source]
Bases:
ABC
abstract
build
(
output_dir
:
Path
,
deps
:
dict
[
str
,
Path
]
,
args
:
dict
[
str
,
Any
]
,
verbose
:
bool
)
→
None
[source]
context
(
)
→
Mapping
[
str
,
str
]
[source]
deps
(
)
→
Iterable
[
str
]
[source]
final
manifest
(
)
→
dict
[
str
,
Any
]
[source]
source
(
)
→
Iterable
[
str
|
Path
]
[source]
final
class
TargetId
(
plugin_name
:
'str'
,
target_name
:
'str'
)
[source]
Bases:
object
property
full_name
:
str
static
parse
(
fqn
:
str
)
→
TargetId
[source]
plugin_name
:
str
target_name
:
str
valid_id
(
s
:
str
)
→
bool
[source]