Class SanitizedRequired

java.lang.Object

org.ek9lang.compiler.support.SanitizedRequired

public final class SanitizedRequired
extends Object

THE reading and marking of SANITIZED_REQUIRED: the as sanitized modifier on a parameter (and, by propagation, on an expression that is one of them). Seven places read the squirrel two ways - the front end as != null, the IR prologue as TRUE_VALUE.equals - and only TRUE_VALUE is ever written, so both said the same; they now ask here (front-end rationalisation F09/B-8). The marker means "the RECEIVER cleans this parameter", so it is read wherever a call, override, assignment or text/service signature must honour it.

Method Summary

Modifier and Type	Method	Description
static boolean	isRequiredOn(ISymbol symbol)	True when the symbol is a parameter declared as sanitized, or an expression derived from one.
static void	markRequiredOn(ISymbol symbol)	Mark the symbol as one the receiver must clean.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

isRequiredOn

public static boolean isRequiredOn(ISymbol symbol)

True when the symbol is a parameter declared as sanitized, or an expression derived from one.

markRequiredOn

public static void markRequiredOn(ISymbol symbol)

Mark the symbol as one the receiver must clean.