Procedure pattern Generally, a pattern used to model action sequences. A procedure pattern which computes and returns a value. Such patterns always have an exit part. A pattern that is predefined within the BETA language. Examples are integer, real, boolean, and char.
Imperatives appear in the do-part of an object.
Kinds of imperatives include evaluations , reference assignments , dynamic object creation , and control structures . Evaluation imperative An imperative that can cause state changes and may produce a value when executed. An imperative used to change the value of a dynamic reference. An imperative used to change the pattern denoted by a pattern variable. Multiple assignment An evaluation imperative that causes several assignments.