public ParameterConditional(Parameter compared, Parameter compareTo, WarningType warningType, string description = null) { this.compared = compared; this.compareTo = compareTo; this.warningType = warningType; this.description = description; }
private string GetWarningLocale(WarningType warningType) { switch (warningType) { case WarningType.INVALID_TARGET: return "Invalid target"; case WarningType.INVALID_PARAMETER: return "Invalid parameter"; case WarningType.INVALID_VALUE: return "Invalid parameter value"; } return "Other error "+warningType.ToString(); }
public WarningEvaluator(TimeSpan warningBefore, WarningType type) { switch (type) { case WarningType.RuneSpawn: spawnTime = RUNE_SPAWN_TIME; break; case WarningType.NeutralCreepSpawn: spawnTime = NEUTRAL_SPAWN_TIME; break; default: throw new ArgumentOutOfRangeException(nameof(type), type, null); } _warningAt = spawnTime - (int)warningBefore.TotalSeconds; }
protected void OnWarning(string message, string content, WarningType type = WarningType.Other) { if (WarningOccured != null) WarningOccured(this, new WarningArgs(message, content, type)); }
public ParameterConditional(Parameter compared, int value, WarningType warningType, string description = null) : this(compared, new Parameter(value.ToString(), value), warningType, description) { }
public ParameterConditional(Parameter compared, WarningType warningType) { this.compared = compared; this.warningType = warningType; }
private double GetScoreForWarningType(WarningType warningType) { switch (warningType) { #region All the cases ... case WarningType.ArithmeticDivisionByZero: return ScoreArithmeticDivisionByZero; case WarningType.ArithmeticDivisionOverflow: return ScoreArithmeticDivisionOverflow; case WarningType.ArithmeticMinValueNegation: return ScoreArithmeticMinValueNegation; case WarningType.ArithmeticFloatEqualityPrecisionMismatch: return ScoreArithmeticFloatEqualityPrecisionMismatch; case WarningType.ArithmeticOverflow: case WarningType.ArithmeticUnderflow: return ScoreArithmeticOverflow; case WarningType.ArrayCreation: return ScoreArrayCreation; case WarningType.ArrayLowerBound: return ScoreArrayLowerBound; case WarningType.ArrayUpperBound: return ScoreArrayUpperBound; case WarningType.ArrayPurity: return ScoreArrayPurity; case WarningType.ClousotCacheNotAvailable: return ScoreClousotCacheNotAvailable; case WarningType.ContractAssert: return ScoreContractAssert; case WarningType.ContractEnsures: return ScoreContractEnsures; case WarningType.ContractInvariant: return ScoreContractInvariant; case WarningType.ContractRequires: return ScoreContractRequires; case WarningType.EnumRange: return ScoreEnumRange; case WarningType.MissingPrecondition: return ScoreMissingPrecondition; case WarningType.MissingPreconditionInvolvingReadonly: return ScoreMissingPreconditionInvolvingReadonly; case WarningType.Suggestion: return ScoreSuggestion; case WarningType.NonnullArray: return ScoreNonnullArray; case WarningType.NonnullCall: return ScoreNonnullCall; case WarningType.NonnullField: return ScoreNonnullField; case WarningType.NonnullUnbox: return ScoreNonnullUnbox; case WarningType.UnsafeCreation: return ScoreUnsafeCreation; case WarningType.UnsafeLowerBound: return ScoreUnsafeLowerBound; case WarningType.UnsafeUpperBound: return ScoreUnsafeUpperBound; case WarningType.UnreachedCodeAfterPrecondition: return ScoreUnreachedCodeAfterPrecondition; case WarningType.FalseEnsures: return ScoreFalseEnsures; case WarningType.FalseRequires: return ScoreFalseRequires; case WarningType.TestAlwaysEvaluatingToAConstant: return ScoreTestAlwaysEvaluatingToAConstant; default: // should be unreachable #if DEBUG Contract.Assume(false); #endif return 1.0; #endregion } }
public ParameterConditional(WarningType warningType, string description) { this.warningType = warningType; this.description = description; }
public WarningArgs(string message, string content, WarningType type) { Message = message; Content = content; Type = type; }
/// <summary> /// класс предупреждения к кадру /// </summary> /// <param name="_type">тип предупреждения</param> /// <param name="_text">текст предупреждения</param> public StepMarkModel(WarningType _type,string _text ) { Type = _type.ToString("G"); Text = _text; }
public Warning(WarningType warning, string description, SmartElement element) { this.warning = warning; this.description = description; this.element = element; }
public void Mensaje(string vMensaje, WarningType type) { ScriptManager.RegisterStartupScript(this.Page, typeof(Page), "text", "infatlan.showNotification('top','center','" + vMensaje + "','" + type.ToString().ToLower() + "')", true); }
public async Task <Override> UpdateAsync(Guid id, string country, string area, DateTime searchedOn, DateTime startOn, DateTime endsOn, WarningType warningType) { var current = await _repository.GetAsync(id).ConfigureAwait(false); if (current == null) { throw new Exception("Item not found"); } var updated = new Override { Area = area, Country = country, StartsOn = startOn, EndsOn = endsOn, }; try { var item = await _repository.UpdateAsync(id, updated).ConfigureAwait(false); return(item); } catch (Exception e) { Console.WriteLine(e); throw; } }
public async Task <Override> AddAsync(string country, string area, DateTime searchedOn, DateTime startOn, DateTime endsOn, WarningType warningType) { var warning = new Override { Area = area, Country = country, StartsOn = startOn, EndsOn = endsOn, }; var item = await _repository.AddAsync(warning).ConfigureAwait(false); return(item); }
public WarningArgs(WarningType warningType) { Warning = warningType; }