Méthode |
Description |
|
CreateDependencyGraph ( ILNode node ) : void |
Creates the "ExpressionToInfer" instances (=nodes in dependency graph) We are using a dependency graph to ensure that expressions are analyzed in the correct order. |
|
CreateNullableType ( TypeReference type ) : GenericInstanceType |
|
|
DoInferTypeForExpression ( ILExpression expr, TypeReference expectedType, bool forceInferChildren = false ) : TypeReference |
|
|
FindNestedAssignments ( ILExpression expr, ExpressionToInfer parent ) : void |
|
|
GetNullableTypeArgument ( TypeReference type ) : TypeReference |
|
|
HandleConversion ( int targetBitSize, bool targetSigned, ILExpression arg, TypeReference expectedType, TypeReference targetType ) : TypeReference |
|
|
IdentifySingleLoadVariables ( ) : void |
|
|
InferArgumentsInAddition ( ILExpression expr, bool isSigned, TypeReference expectedType ) : TypeReference |
|
|
InferArgumentsInBinaryOperator ( ILExpression expr, bool isSigned, TypeReference expectedType ) : TypeReference |
|
|
InferArgumentsInSubtraction ( ILExpression expr, bool isSigned, TypeReference expectedType ) : TypeReference |
|
|
InferBinaryArguments ( ILExpression left, ILExpression right, TypeReference expectedType, bool forceInferChildren = false, TypeReference leftPreferred = null, TypeReference rightPreferred = null ) : TypeReference |
|
|
InferTypeForExpression ( ILExpression expr, TypeReference expectedType, bool forceInferChildren = false ) : TypeReference |
Infers the C# type of expr. |
|
IsArrayPointerOrReference ( TypeReference type ) : bool |
|
|
IsNullableType ( TypeReference type ) : bool |
|
|
IsSigned ( TypeReference type ) : bool? |
|
|
MakeRefIfValueType ( TypeReference type, ILExpressionPrefix constrainedPrefix ) : TypeReference |
Wraps 'type' in a ByReferenceType if it is a value type. If a constrained prefix is specified, returns the constrained type wrapped in a ByReferenceType. |
|
NumericPromotion ( TypeReference type ) : TypeReference |
Promotes primitive types smaller than int32 to int32. Always promotes to signed int32. |
|
OperandFitsInType ( TypeReference type, int num ) : bool |
|
|
RunInference ( ) : void |
|
|
RunInference ( ILExpression expr ) : void |
|
|
TypeWithMoreInformation ( TypeReference leftPreferred, TypeReference rightPreferred ) : TypeReference |
|
|
UnpackModifiers ( TypeReference type ) : TypeReference |
|
|
UnpackPointer ( TypeReference pointerOrManagedReference ) : TypeReference |
|
|