PipalMutants.mesa 
Copyright Ó 1988 by Xerox Corporation. All rights reserved.
Bertrand Serlet February 15, 1988 9:59:17 pm PST
Barth, January 28, 1988 12:19:34 pm PST
DIRECTORY Pipal;
PipalMutants: CEDAR DEFINITIONS = BEGIN
Theory
This module defines a few mutants.
Annotation Mutant
ChangeAnnotationKeyValue: PROC [mutant: Pipal.Object, key: ATOM, value: REF];
Changes the annotation.
ChangeAnnotationChild: PROC [mutant: Pipal.Object, key: ATOM, value: REF];
Changes the annotation.
RemoveAnnotation: PROC [mutant: Pipal.Object];
Gets rid of key value.
Abut Mutant
Add: PROC [mutant: Pipal.Object, child: Pipal.Object, position: NAT ← 0];
Add child to the abut.
Delete: PROC [mutant: Pipal.Object, position: NAT ← 0];
Deletes child in the abut.
END.