Slots

argsSource

Expr[] args

baseSource

CType? base

castForThisTypeSource

private Void castForThisType()

If the epxression is a call which returns sys::This, then we need to insert an implicit cast.

constantFoldingSource

private Void constantFolding()

If the epxression is a call, check for constant folding.

curMethodSource

MethodDef? curMethod

curTypeSource

TypeDef curType

errSigSource

private Str errSig()

exprSource

NameExpr expr

findSource

Void find()

Find the method or field with the specified name.

foundSource

CSlot? found

insertImplicitThisSource

private Void insertImplicitThis()

If the call has no explicit target, and is a instance field or method, then we need to insert an implicit this.

isStaticLiteralSource

Bool isStaticLiteral()

If this is a standalone name without a base target such as "Foo" and the name maps to a type name, then this is a type literal.

isVarSource

Bool isVar

locationSource

Location location

makeSource

new make(Compiler compiler, TypeDef curType, MethodDef? curMethod, NameExpr expr)

Construct with NameExpr (base class of CallExpr and UnknownVarExpr)

nameSource

Str name

resolveSource

Expr resolve()

Resolve into a method call or field access

resolveBaseSource

Void resolveBase()

Resolve the base type which defines the slot we are calling.

resolveToCallExprSource

private CallExpr resolveToCallExpr()

resolveToExprSource

private Void resolveToExpr()

Compute the expression type the call itself (what gets left on the stack).

resolveToFieldExprSource

private FieldExpr resolveToFieldExpr()

resultSource

Expr? result

safeToNullableSource

private Void safeToNullable()

If the epxression is a safe call using "?.", then the resulting expression type is nullable.

targetSource

Expr? target

withBlockAddSource

Void withBlockAdd()

If we failed to resolve with.expr and the with target supports an add method, then attempt to resolve as a standalone expr (no with base). If that works we assume this is syntax sugar for with.add(expr) - the CallExpr is created in ResolveExpr after the entire sub-expr has been processed.