chc.cmdline.juliet.JulietTestFileRef module

`chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef`(...)
`chc.cmdline.juliet.JulietTestFileRef.JulietPpo`(...)	Primary proof obligation.
`chc.cmdline.juliet.JulietTestFileRef.JulietSafeControl`(...)
`chc.cmdline.juliet.JulietTestFileRef.JulietViolation`(...)

Juliet scoring reference for a juliet test set file.

class chc.cmdline.juliet.JulietTestFileRef.JulietPpo(testfileref: chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef, test: str, line: int, d: Dict[str, Any])[source]

Bases: object

Primary proof obligation.

property expctxt: str

has_cfg_ctxt() → bool[source]

has_exp_ctxt() → bool[source]

has_pred_arg() → bool[source]

has_reference_type() → bool[source]

has_target_type() → bool[source]

has_variable_deref() → bool[source]

has_variable_names() → bool[source]

has_variable_names_plus() → bool[source]

property is_safe_control: bool

property is_violation: bool

property line: int

matches_exp_ctxt(ppo: CFunctionPO) → bool[source]

matches_pred_arg(ppo: CFunctionPO) → bool[source]

matches_reference_type(ppo: CFunctionPO) → bool[source]

matches_target_type(ppo: CFunctionPO) → bool[source]

matches_variable_deref(ppo: CFunctionPO) → bool[source]

matches_variable_names(ppo: CFunctionPO) → bool[source]

matches_variable_names_plus(ppo: CFunctionPO) → bool[source]

property predarg: List[str]

property predicate: str

property reference_type: str

property targettype: str

property test: str

property testfileref: chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef

property variable_derefs: List[str]

property variable_names: List[str]

property variable_names_plus: List[str]

class chc.cmdline.juliet.JulietTestFileRef.JulietSafeControl(testfileref: chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef, test: str, line: int, d: Dict[str, Any])[source]

Bases: chc.cmdline.juliet.JulietTestFileRef.JulietPpo

property is_violation: bool

class chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef(testref: JulietTestRef, test: str, d: Dict[str, Dict[str, List[str]]])[source]

Bases: object

expand(m: str) → List[Dict[str, Any]][source]

get_safe_controls() → List[chc.cmdline.juliet.JulietTestFileRef.JulietSafeControl][source]

get_violations() → List[chc.cmdline.juliet.JulietTestFileRef.JulietViolation][source]

iter(f: Callable[[int, chc.cmdline.juliet.JulietTestFileRef.JulietPpo], None]) → None[source]

iter_safe_controls(f: Callable[[int, chc.cmdline.juliet.JulietTestFileRef.JulietPpo], None]) → None[source]

iter_violations(f: Callable[[int, chc.cmdline.juliet.JulietTestFileRef.JulietPpo], None]) → None[source]

property safe_controls: Dict[int, List[chc.cmdline.juliet.JulietTestFileRef.JulietSafeControl]]

property test: str

property testref: JulietTestRef

property violations: Dict[int, List[chc.cmdline.juliet.JulietTestFileRef.JulietViolation]]

class chc.cmdline.juliet.JulietTestFileRef.JulietViolation(testfileref: chc.cmdline.juliet.JulietTestFileRef.JulietTestFileRef, test: str, line: int, d: Dict[str, Any])[source]

Bases: chc.cmdline.juliet.JulietTestFileRef.JulietPpo

property is_violation: bool