StructLiteralExp

sd( e1, e2, e3, ... )

extern (C++) final

class StructLiteralExp : Expression {

StructDeclaration sd;

Expressions* elements;

Type stype;

bool useStaticInit;

Symbol* sym;

OwnedBy ownedByCtfe;

StructLiteralExp origin;

StructLiteralExp inlinecopy;

int stageflags;

Expression getField(Type type, uint offset);

int getFieldIndex(Type type, uint offset);

}

Members

Functions

getField Expression getField(Type type, uint offset): Gets expression at offset of type. Returns NULL if not found.
getFieldIndex int getFieldIndex(Type type, uint offset): Get index of field. Returns -1 if not found.

Variables

elements Expressions* elements;: parallels sd.fields[] with null entries for fields to skip
inlinecopy StructLiteralExp inlinecopy;: those fields need to prevent a infinite recursion when one field of struct initialized with 'this' pointer.
origin StructLiteralExp origin;: pointer to the origin instance of the expression. once a new expression is created, origin is set to 'this'. anytime when an expression copy is created, 'origin' pointer is set to 'origin' pointer value of the original expression.
sd StructDeclaration sd;: which aggregate this is for
stageflags int stageflags;: anytime when recursive function is calling, 'stageflags' marks with bit flag of current stage and unmarks before return from this function. 'inlinecopy' uses similar 'stageflags' and from multiple evaluation 'doInline' (with infinite recursion) of this expression.
stype Type stype;: final type of result (can be different from sd's type)
sym Symbol* sym;: back end symbol to initialize with literal
useStaticInit bool useStaticInit;: if this is true, use the StructDeclaration's init symbol

Inherited Members

From Expression

copy Expression copy(): Does *not* do a deep copy.
semantic Expression semantic(Scope* sc): Semantically analyze Expression. Determine types, fold constants, etc.
trySemantic Expression trySemantic(Scope* sc): Try to run semantic routines. If they fail, return NULL.
printAST void printAST(int indent = 0): Print AST data structure in a nice format.
combine Expression combine(Expression e1, Expression e2): Combine e1 and e2 by CommaExp if both are not NULL.
extractLast Expression extractLast(Expression e, Expression* pe0): If 'e' is a tree of commas, returns the leftmost expression by stripping off it from the tree. The remained part of the tree is returned via *pe0. Otherwise 'e' is directly returned and *pe0 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__ 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.
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(TOK rmwOp, Expression ex = null): 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.
checkModifiable int checkModifiable(Scope* sc, int flag = 0): Parameters: sc: scope flag: 1: do not issue error message for invalid modification
toBoolean Expression toBoolean(Scope* sc): If expression can be tested for true or false, returns the modified expression. Otherwise returns ErrorExp.
addDtorHook Expression addDtorHook(Scope* sc): Destructors are attached to VarDeclarations. Hence, if expression returns a temp that needs a destructor, make sure and create a VarDeclaration for that temp.
addressOf Expression addressOf(): Take address of expression.
deref Expression deref(): If this is a reference, dereference it.
isBool bool isBool(bool result): Does this expression statically evaluate to a boolean 'result' (true or false)?

StructLiteralExp

Members

Functions

Variables

Inherited Members

From Expression

Meta

Source