Class Opcode::MayWriteSideEffectOpcode

An opcode that may overwrite some, all, or none of an existing set of memory locations. Modeled as a read of the original contents, plus a “may” write of the new contents.

Direct supertypes

Indirect supertypes

Known direct subtypes

Inherited predicates