class CODE_OPTIONS < $GET_OPTIONS

****	This is an options handler for things with back-ends. Don't put things that are specific to the ICSI `cs' compiler (e.g. CGEN) here; this is meant to be usable for other back-ends. Modify CS_OPTIONS for such things instead.

---

Flattened version is here

---

Ancestors

$GET_OPTIONS

GET_OPTIONS

CS_COMPONENT

Descendants

CS_OPTIONS

---

Public

Readable Attributes

attr

arith_in, bounds_in, void_in, when_in, return_in:FSET{STR};

arith_out, bounds_out, void_out, when_out, return_out:FSET{STR};

attr

attr

attr

bounds_all, void_all, when_all, return_all:BOOL;

arith_in, bounds_in, void_in, when_in, return_in:FSET{STR};

arith_out, bounds_out, void_out, when_out, return_out:FSET{STR};

attr destroy_chk, psather_chk, stats, psather_stats, psather_trace:BOOL;

attr

attr

attr

attr

attr

attr

attr

attr

attr

attr destroy_chk, psather_chk, stats, psather_stats, psather_trace:BOOL;

attr destroy_chk, psather_chk, stats, psather_stats, psather_trace:BOOL;

attr destroy_chk, psather_chk, stats, psather_stats, psather_trace:BOOL;

bounds_all, void_all, when_all, return_all:BOOL;

arith_in, bounds_in, void_in, when_in, return_in:FSET{STR};

arith_out, bounds_out, void_out, when_out, return_out:FSET{STR};

attr destroy_chk, psather_chk, stats, psather_stats, psather_trace:BOOL;

bounds_all, void_all, when_all, return_all:BOOL;

arith_in, bounds_in, void_in, when_in, return_in:FSET{STR};

arith_out, bounds_out, void_out, when_out, return_out:FSET{STR};

bounds_all, void_all, when_all, return_all:BOOL;

arith_in, bounds_in, void_in, when_in, return_in:FSET{STR};

arith_out, bounds_out, void_out, when_out, return_out:FSET{STR};

Writable Attributes

attr

arith_in, bounds_in, void_in, when_in, return_in:FSET{STR};

arith_out, bounds_out, void_out, when_out, return_out:FSET{STR};

attr

attr

attr

bounds_all, void_all, when_all, return_all:BOOL;

arith_in, bounds_in, void_in, when_in, return_in:FSET{STR};

arith_out, bounds_out, void_out, when_out, return_out:FSET{STR};

attr destroy_chk, psather_chk, stats, psather_stats, psather_trace:BOOL;

attr

attr

attr

attr

attr

attr

attr

attr

attr

attr destroy_chk, psather_chk, stats, psather_stats, psather_trace:BOOL;

attr destroy_chk, psather_chk, stats, psather_stats, psather_trace:BOOL;

attr destroy_chk, psather_chk, stats, psather_stats, psather_trace:BOOL;

bounds_all, void_all, when_all, return_all:BOOL;

arith_in, bounds_in, void_in, when_in, return_in:FSET{STR};

arith_out, bounds_out, void_out, when_out, return_out:FSET{STR};

attr destroy_chk, psather_chk, stats, psather_stats, psather_trace:BOOL;

bounds_all, void_all, when_all, return_all:BOOL;

arith_in, bounds_in, void_in, when_in, return_in:FSET{STR};

arith_out, bounds_out, void_out, when_out, return_out:FSET{STR};

bounds_all, void_all, when_all, return_all:BOOL;

arith_in, bounds_in, void_in, when_in, return_in:FSET{STR};

arith_out, bounds_out, void_out, when_out, return_out:FSET{STR};

Features

arith_chk(n:STR):BOOL

assert_chk(n:STR):BOOL

bounds_chk(n:STR):BOOL

create(p:PROG):SAME

invariant_chk(n:STR):BOOL

post_chk(n:STR):BOOL

pre_chk(n:STR):BOOL

return_chk(n:STR):BOOL

str:STR

void_chk(n:STR):BOOL

when_chk(n:STR):BOOL

---

Private

handle_other_options(s:STR)

---