Top

Svstmt-compile.lisp

Svjumpstate

This is a product type introduced by defprod.

Fields

constraints — constraintlist: Constraints collected
breakcond — svex: Condition under which we have hit an unmerged break
breakst — svstate: Current symbolic execution state, assuming we've hit a break
continuecond — svex: Condition under which we have hit a continue
continuest — svstate: Current symbolic execution state, assuming we've hit a continue
returncond — svex: Condition under which we have hit a return
returnst — svstate: Current symbolic execution state, assuming we've hit a return

Subtopics

Svjumpstate-fix: Fixing function for svjumpstate structures.
Svjumpstate-p: Recognizer for svjumpstate structures.
Make-svjumpstate: Basic constructor macro for svjumpstate structures.
Svjumpstate-equiv: Basic equivalence relation for svjumpstate structures.
Svjumpstate->constraints: Get the constraints field from a svjumpstate.
Change-svjumpstate: Modifying constructor for svjumpstate structures.
Svjumpstate->returnst: Get the returnst field from a svjumpstate.
Svjumpstate->returncond: Get the returncond field from a svjumpstate.
Svjumpstate->continuest: Get the continuest field from a svjumpstate.
Svjumpstate->continuecond: Get the continuecond field from a svjumpstate.
Svjumpstate->breakcond: Get the breakcond field from a svjumpstate.
Svjumpstate->breakst: Get the breakst field from a svjumpstate.