Workbench / Patterns

PAT-0420 - Undeclared Side Effect

A structural condition where an operation modifies regions outside its declared target scope without a declared propagation or side-effect rule.

Primary Lenses

Secondary Lenses

Primary Issue Matches

No primary issue matches.

Supporting Issue Matches

No supporting issue matches.

Ontology Metadata

Code
PAT-0420
Version
PAT-0420@undefined
Ontology release
0.1.0
Updated

History

View full ontology changelog