/// <summary> /// Creates reference to variable and resolves to it's type /// </summary> public static RppId StaticId(RppVar rppVar) { RppId classParamInput = Id(rppVar.Name); SymbolTable symbolTable = new SymbolTable(); symbolTable.AddLocalVar(rppVar.Name, rppVar.Type.Value, rppVar); classParamInput.Analyze(symbolTable, new Diagnostic()); return classParamInput; }
public override IRppNode Analyze(SymbolTable scope, Diagnostic diagnostic) { if (InitExpr is RppEmptyExpr && IsLocalSemantic) { diagnostic.Error(102, "local variable must be initialized"); return this; } // Don't capture variables declared inside closure CanBeCaptured = scope.GetEnclosingType()?.Name != RppClosure.TempClosureTypeName; // We have 2 cases when type is omited, so we need to get it from initializing expression // and when type is specified so we need to resolve it and if there is a closure, propagate that // to init expression if (Type.IsDefined()) { Type.Resolve(scope); InitExpr = TypeInference.ReplaceUndefinedClosureTypesIfNeeded(InitExpr, Type, new List<RType>()); InitExpr = (IRppExpr) InitExpr.Analyze(scope, diagnostic); } else { InitExpr = (IRppExpr) InitExpr.Analyze(scope, diagnostic); Type = InitExpr.Type; } if (IsLocalSemantic) { scope.AddLocalVar(Name, Type.Value, this); } if (!(InitExpr is RppEmptyExpr)) { if (ImplicitCast.CanCast(InitExpr.Type.Value, Type.Value)) { InitExpr = ImplicitCast.CastIfNeeded(InitExpr, Type.Value); } else { throw SemanticExceptionFactory.TypeMismatch(Token, Type.Value.Name, InitExpr.Type.Value.Name); } } return this; }