Module System

Provides definitions related to the namespace System.

Import path

import semmle.code.csharp.frameworks.System

Imports

csharp

The default C# QL library.

Predicates

getInvokedDisposeMethod

Gets the dispose method that will be invoked on a value x of type t when x.Dipsose() is called.

getInvokedEqualsMethod

Gets the equals method that will be invoked on a value x of type t when x.Equals(object) is called.

implementsDispose

Whether the type t defines a dispose method.

implementsEquals

Whether the type t defines an equals method.

Classes

DisposeBoolMethod

A method with the signature void Dispose(bool).

DisposeMethod

A method that implements void IDisposable.Dispose().

EqualsMethod

A method that overrides bool object.Equals(object).

GetHashCodeMethod

A method that overrides int object.GetHashCode().

IEquatableEqualsMethod

A method that implements bool IEquatable<T>.Equals(T).

SystemActionDelegateType

The System.Action delegate type.

SystemActionTDelegateType

The System.Action<T1, ..., Tn> delegate type.

SystemArrayClass

System.Array class.

SystemAttributeClass

System.Attribute class.

SystemBooleanStruct

The System.Boolean structure.

SystemClass

A class in the System namespace.

SystemConvertClass

The System.Convert class.

SystemDelegateClass

System.Delegate class.

SystemDelegateType

A delegate type in the System namespace.

SystemDivideByZeroExceptionClass

The System.DivideByZeroException class.

SystemEnumClass

The System.Enum class.

SystemExceptionClass

The System.Exception class.

SystemFuncDelegateType

The System.Func<T1, ..., Tn, TResult> delegate type.

SystemGuid

System.Guid struct.

SystemIComparableInterface

The System.IComparable interface.

SystemIComparableTInterface

The System.IComparable<T> interface.

SystemIDisposableInterface

The System.IDisposable interface.

SystemIEquatableTInterface

The System.IEquatable<T> interface.

SystemIFormatProviderInterface

The System.IFormatProvider interface.

SystemInt32Struct

The System.Int32 structure.

SystemIntPtrType

The System.IntPtr type.

SystemInterface

An interface in the System namespace.

SystemInvalidCastExceptionClass

The System.InvalidCastException class.

SystemLazyClass

The System.Lazy<T> class.

SystemNamespace

The System namespace.

SystemNotImplementedExceptionClass

The System.NotImplementedException class.

SystemNullReferenceExceptionClass

The System.NullReferenceException class.

SystemObjectClass

The System.Object class.

SystemOutOfMemoryExceptionClass

The System.OutOfMemoryException class.

SystemOverflowExceptionClass

The System.OverflowException class.

SystemPredicateDelegateType

The System.Predicate<T> delegate type.

SystemStringClass

The System.String class.

SystemStruct

A struct in the System namespace.

SystemTypeClass

The System.Type class

SystemUnboundGenericClass

An unbound generic class in the System namespace.

SystemUnboundGenericDelegateType

An unbound generic delegate type in the System namespace.

SystemUnboundGenericInterface

An unbound generic interface in the System namespace.

SystemUriClass

The System.Uri class.

SystemValueTypeClass

The System.ValueType class.

ToStringMethod

A ToString() method.