Annotation

rascal-0.40.17

Synopsis

Assign to an annotation. This feature is deprecated.

Description

The value V of Assignable is determined and should be of a type that has an annotation Name. A new value V' is created that is a copy of V but with the value of annotation Name replaced by the value of Exp. V' is assigned to Assignable. See Annotation.

Examples

Examples have been removed since this feature is deprecated.