C# Class Boo.Lang.Compiler.TypeSystem.GenericConstructionChecker

Checks a generic construction for several kinds of errors.

Public Methods

Method	Description
GenericConstructionChecker ( TypeSystemServices tss, Node constructionNode, IType typeArguments, CompilerErrorCollection errorCollection ) : System
IncorrectGenerity ( IEntity definition ) : bool	Checks if the number of generic parameters on a specified definition does not match the number of supplied type arguments.
NotGenericDefinition ( IEntity entity ) : bool	Checks if a specified entity is not a generic definition.
ViolatesParameterConstraints ( IEntity definition ) : bool	Checks if the given type arguments violate any constraints declared on the type parameters of a specified generic definition.
ViolatesParameterConstraints ( IGenericParameter parameter, IType argument ) : bool	Checks if a specified type argument violates the constraints declared on a specified type paramter.

Method	Description
HasDefaultConstructor ( IType argument ) : bool	Checks whether a given type has a default (parameterless) consructor.

public GenericConstructionChecker ( TypeSystemServices tss, Node constructionNode, IType typeArguments, CompilerErrorCollection errorCollection ) : System
tss	TypeSystemServices
constructionNode	Node
typeArguments	IType
errorCollection	CompilerErrorCollection
return	System

Checks if the number of generic parameters on a specified definition does not match the number of supplied type arguments.

public IncorrectGenerity ( IEntity definition ) : bool
definition	IEntity
return	bool

Checks if a specified entity is not a generic definition.

public NotGenericDefinition ( IEntity entity ) : bool
entity	IEntity
return	bool

Checks if the given type arguments violate any constraints declared on the type parameters of a specified generic definition.

public ViolatesParameterConstraints ( IEntity definition ) : bool
definition	IEntity
return	bool

Checks if a specified type argument violates the constraints declared on a specified type paramter.

public ViolatesParameterConstraints ( IGenericParameter parameter, IType argument ) : bool
parameter	IGenericParameter
argument	IType
return	bool