Package org.jetbrains.mps.annotations

Annotation Type ImmutableReturn

@Retention(SOURCE)
@Target(METHOD)
public @interface ImmutableReturn

Marks methods which return value can not be changed. If an interface method bears this annotation then all the subclasses must have this method return-immutable as well.