UnaExp

Base class for unary operators

https://dlang.org/spec/expression.html#unary-expression

extern (C++) abstract

class UnaExp : Expression {

Expression e1;

Expression incompatibleTypes();

void setNoderefOperand();

}

Members

Functions

incompatibleTypes Expression incompatibleTypes(): The type for a unary expression is incompatible. Print error message.
setNoderefOperand void setNoderefOperand(): Mark the operand as will never be dereferenced, which is useful info for @safe checks. Do before semantic() on operands rewrites them.

Inherited Members

From Expression

size size_t size()
deinitialize void deinitialize(): Deinitializes the global state of the compiler.
copy Expression copy(): Does *not* do a deep copy.
combine Expression combine(Expression e1, Expression e2): Combine e1 and e2 by CommaExp if both are not NULL.
extractLast Expression extractLast(Expression e, Expression e0): If 'e' is a tree of commas, returns the rightmost expression by stripping off it from the tree. The remained part of the tree is returned via e0. Otherwise 'e' is directly returned and e0 is set to NULL.
isLvalue bool isLvalue(): Return !=0 if expression is an lvalue.
toLvalue Expression toLvalue(Scope* sc, Expression e): Give error if we're not an lvalue. If we can, convert expression to be an lvalue.
resolveLoc Expression resolveLoc(Loc loc, Scope* sc): Resolve __FILE__, __LINE__, __MODULE__, __FUNCTION__, __PRETTY_FUNCTION__, __FILE_FULL_PATH__ to loc.
checkType bool checkType(): Check that the expression has a valid type. If not, generates an error "... has no type".
checkValue bool checkValue(): Check that the expression has a valid value. If not, generates an error "... has no value".
checkPurity bool checkPurity(Scope* sc, FuncDeclaration f): Calling function f. Check the purity, i.e. if we're in a pure function we can only call other pure functions. Returns true if error occurs.
checkOverriddenDtor void checkOverriddenDtor(Scope* sc, FuncDeclaration f, bool function(DtorDeclaration) check, string checkName): Checks whether f is a generated DtorDeclaration that hides a user-defined one which passes check while f doesn't (e.g. when the user defined dtor is pure but the generated dtor is not). In that case the method will identify and print all members causing the attribute missmatch.
checkPurity bool checkPurity(Scope* sc, VarDeclaration v): Accessing variable v. Check for purity and safety violations. Returns true if error occurs.
checkSafety bool checkSafety(Scope* sc, FuncDeclaration f): Calling function f. Check the safety, i.e. if we're in a @safe function we can only call @safe or @trusted functions. Returns true if error occurs.
checkNogc bool checkNogc(Scope* sc, FuncDeclaration f): Calling function f. Check the @nogc-ness, i.e. if we're in a @nogc function we can only call other @nogc functions. Returns true if error occurs.
checkPostblit bool checkPostblit(Scope* sc, Type t): Check that the postblit is callable if t is an array of structs. Returns true if error happens.
checkReadModifyWrite bool checkReadModifyWrite(EXP rmwOp, Expression ex): Check whether the expression allows RMW operations, error with rmw operator diagnostic if not. ex is the RHS expression, or NULL if ++/-- is used (for diagnostics) Returns true if error occurs.
addressOf Expression addressOf(): Take address of expression.
deref Expression deref(): If this is a reference, dereference it.
isIdentical bool isIdentical(Expression e): Identical, not just equal. I.e. NaNs with different bit patterns are not identical
toBool Optional!bool toBool(): Statically evaluate this expression to a bool if possible

UnaExp

Members

Functions

Inherited Members

From Expression

Meta

Source