[CanBeNull] object Test() => null;
void UseTest() {
var p = Test();
var s = p.ToString(); // Warning: Possible 'System.NullReferenceException'
}
[NotNull] object Foo() {
return null; // Warning: Possible 'null' assignment
}
[StringFormatMethod("message")]
void ShowError(string message, params object[] args) { /* do something */ }
void Foo() {
ShowError("Failed: {0}"); // Warning: Non-existing argument in format string
}
void Foo(string param) {
if (param == null)
throw new ArgumentNullException("par"); // Warning: Cannot resolve symbol
}
public class Foo : INotifyPropertyChanged {
public event PropertyChangedEventHandler PropertyChanged;
[NotifyPropertyChangedInvocator]
protected virtual void NotifyChanged(string propertyName) { ... }
string _name;
public string Name {
get { return _name; }
set { _name = value; NotifyChanged("LastName"); /* Warning */ }
}
}
Examples of generated notifications:
Function Definition Table syntax:
[ContractAnnotation("=> halt")]
public void TerminationMethod()
[ContractAnnotation("halt <= condition: false")]
public void Assert(bool condition, string text) // regular assertion method
[ContractAnnotation("s:null => true")]
public bool IsNullOrEmpty(string s) // string.IsNullOrEmpty()
// A method that returns null if the parameter is null,
// and not null if the parameter is not null
[ContractAnnotation("null => null; notnull => notnull")]
public object Transform(object data)
[ContractAnnotation("s:null=>false; =>true,result:notnull; =>false, result:null")]
public bool TryParse(string s, out Person result)
[LocalizationRequiredAttribute(true)]
class Foo {
string str = "my string"; // Warning: Localizable string
}
[CannotApplyEqualityOperator]
class NoEquality { }
class UsesNoEquality {
void Test() {
var ca1 = new NoEquality();
var ca2 = new NoEquality();
if (ca1 != null) { // OK
bool condition = ca1 == ca2; // Warning
}
}
}
[BaseTypeRequired(typeof(IComponent)] // Specify requirement
class ComponentAttribute : Attribute { }
[Component] // ComponentAttribute requires implementing IComponent interface
class MyComponent : IComponent { }
[Pure] int Multiply(int x, int y) => x * y;
void M() {
Multiply(123, 42); // Waring: Return value of pure method is not used
}
class Foo {
[ProvidesContext] IBarService _barService = ...;
void ProcessNode(INode node) {
DoSomething(node, node.GetGlobalServices().Bar);
// ^ Warning: use value of '_barService' field
}
}
using (en = syncSet.GetEnumerator()) {
while (en.MoveNext()) {
if (some_condition(en.Current))
syncSet.Remove(en.Current);
}
}
//suppose property.Value != 1
property.Value = 1;
property.Value = 1;
will fire only one event with value 1.
EmptyList{T}.InstanceList
because each time you enumerate empty array, new Array.SZArrayEnumerator class instance is being created.
MethodImplOptions.AggressiveInlining value in 4.5 framework. This value is just swallowed in lower frameworks
namespace Foo {
class Outer<T1>
{
internal class Inner<T2> {}
}
}
using (new FirstChanceExceptionInterceptor.ThreadLocalDebugInfo(your_diagnostic_information))
{
you_arbitrary_code
}
logger.Trace($"{DoSmthSlow()}");
will be compiled into
var handler = new JetLogTraceInterpolatedStringHandler(logger, out var isEnabled);
if (isEnabled)
handler.Append(DoSmthSlow());
logger.Trace(ref handler);
logger.Verbose($"{DoSmthSlow()}");
will be compiled into
var handler = new JetLogVerboseInterpolatedStringHandler(logger, out var isEnabled);
if (isEnabled)
handler.Append(DoSmthSlow());
logger.Verbose(ref handler);
logger.Verbose(ex, $"{DoSmthSlow()}");
will be compiled into
var handler = new JetLogVerboseInterpolatedStringHandler(logger, out var isEnabled);
if (isEnabled)
handler.Append(DoSmthSlow());
logger.Verbose(ex, ref handler);
logger.Info($"{DoSmthSlow()}");
will be compiled into
var handler = new JetLogInfoInterpolatedStringHandler(logger, out var isEnabled);
if (isEnabled)
handler.Append(DoSmthSlow());
logger.Info(ref handler);
logger.Info(ex, $"{DoSmthSlow()}");
will be compiled into
var handler = new JetLogInfoInterpolatedStringHandler(logger, out var isEnabled);
if (isEnabled)
handler.Append(DoSmthSlow());
logger.Info(ex, ref handler);
logger.Warn($"{DoSmthSlow()}");
will be compiled into
var handler = new JetLogWarnInterpolatedStringHandler(logger, out var isEnabled);
if (isEnabled)
handler.Append(DoSmthSlow());
logger.Warn(ref handler);
logger.Error($"{DoSmthSlow()}");
will be compiled into
var handler = new JetLogErrorInterpolatedStringHandler(logger, out var isEnabled);
if (isEnabled)
handler.Append(DoSmthSlow());
logger.Error(ref handler);
logger.Error(ex, $"{DoSmthSlow()}");
will be compiled into
var handler = new JetLogErrorInterpolatedStringHandler(logger, out var isEnabled);
if (isEnabled)
handler.Append(DoSmthSlow());
logger.Error(ex, ref handler);
if (logger.IsTraceEnabled())
logger.Trace($"some messages with {HeavyComputation()}"")
Usage:
logger.WhenTrace()?.Log($"some messages with {HeavyComputation()}")
if (logger.IsVerboseEnabled())
logger.Verbose($"some messages with {HeavyComputation()}"")
Usage:
logger.WhenVerbose()?.Log($"some messages with {HeavyComputation()}")
if (logger.IsTraceEnabled())
logger.Trace($"value: {HeavyComputation()}"")
New code:
logger.Trace()?.Log($"value: {HeavyComputation()}")
using (val cookie = lifetime.ExecuteIfAliveCookie()) {
if (cookie.Succeed) {
// you can rely lifetime's resources are alive here (the same as body of Lifetime.Execute, Lifetime.TryExecute).
} else {
// lifetime is not alive, return (as TryExecute) or throw OCE (as Execute)
}
}
obj is LifetimeDefinition returns corresponding obj is LifetimeDefinition previously wrapped by