Package com._1c.g5.v8.dt.ql.typesystem

Interface ITypesComparator

All Known Implementing Classes:

QlTypesComparator

public interface ITypesComparator

Comparator of type. Using in ITypeSystem

Method Summary

Modifier and Type	Method	Description
boolean	compare(TypeDescription expectedType, List<TypeDescription> allExpectedCastingType, TypeDescription getType)	This function compare expected and got type of expression
boolean	compare(TypeDescription expectedType, List<TypeDescription> allExpectedCastingType, TypeDescriptionSource getType)	This function compare expected and got type of expression
boolean	equalType(TypeDescription typeF, TypeDescription typeS)	Check types for equal
boolean	isArbitraryType(TypeDescription type)	Check type for it is 'Arbitrary' type

Method Detail

compare

boolean compare(TypeDescription expectedType,
                List<TypeDescription> allExpectedCastingType,
                TypeDescription getType)

This function compare expected and got type of expression

Parameters:

expectedType - expected type of expression in the point of calling this function

allExpectedCastingType - all types for exprectedType which it can be replaced

getType - got type of expression in the point of calling this function

Returns:

true, if getType equals or can be casting to exprectedType

compare

boolean compare(TypeDescription expectedType,
                List<TypeDescription> allExpectedCastingType,
                TypeDescriptionSource getType)

This function compare expected and got type of expression

Parameters:

expectedType - expected type of expression in the point of calling this function

allExpectedCastingType - all types for exprectedType which it can be replaced

getType - got type of expression in the point of calling this function

Returns:

true, if getType equals or can be casting to exprectedType

isArbitraryType

boolean isArbitraryType(TypeDescription type)

Check type for it is 'Arbitrary' type

Parameters:

type - checking type

Returns:

true, if type is arbitrary i.e it equals for all type

equalType

boolean equalType(TypeDescription typeF,
                  TypeDescription typeS)

Check types for equal

Parameters:

typeF - - comparing type

typeS - - comparing type

Returns:

true, if typeF equal typeS