/// <summary>
/// Applies the rule.
/// </summary>
/// <param name="node">The node instance to modify.</param>
/// <param name="data">Private data from CheckConsistency().</param>
public override void Apply(IBinaryOperatorExpression node, object data)
{
ILanguageConstant ExpressionConstant = NeutralLanguageConstant.NotConstant;
Debug.Assert(node.ConstantSourceList.Count == 2);
IExpression LeftConstantSource = node.ConstantSourceList[0];
Debug.Assert(LeftConstantSource == node.LeftExpression);
IExpression RightConstantSource = node.ConstantSourceList[1];
Debug.Assert(RightConstantSource == node.RightExpression);
Debug.Assert(LeftConstantSource.ExpressionConstant.IsAssigned);
ILanguageConstant LeftExpressionConstant = LeftConstantSource.ExpressionConstant.Item;
Debug.Assert(RightConstantSource.ExpressionConstant.IsAssigned);
ILanguageConstant RightExpressionConstant = RightConstantSource.ExpressionConstant.Item;
if (LeftExpressionConstant != NeutralLanguageConstant.NotConstant && RightExpressionConstant != NeutralLanguageConstant.NotConstant)
{
Debug.Assert(node.ResolvedResult.IsAssigned);
IResultType ResolvedResult = node.ResolvedResult.Item;
if (ResolvedResult.Count == 1)
{
IExpressionType ConstantType = ResolvedResult.At(0);
bool IsBooleanTypeAvailable = Expression.IsLanguageTypeAvailable(LanguageClasses.Boolean.Guid, node, out ITypeName BooleanTypeName, out ICompiledType BooleanType);
bool IsNumberTypeAvailable = Expression.IsLanguageTypeAvailable(LanguageClasses.Number.Guid, node, out ITypeName NumberTypeName, out ICompiledType NumberType);
if (IsBooleanTypeAvailable && ConstantType.ValueType == BooleanType)
{
ExpressionConstant = new BooleanLanguageConstant();
}
else if (IsNumberTypeAvailable && ConstantType.ValueType == NumberType)
{
ExpressionConstant = new NumberLanguageConstant();
}
}
}
node.ExpressionConstant.Item = ExpressionConstant;
}
/// <summary>
/// Applies the rule.
/// </summary>
/// <param name="node">The node instance to modify.</param>
/// <param name="data">Private data from CheckConsistency().</param>
public override void Apply(IUnaryOperatorExpression node, object data)
{
ILanguageConstant ExpressionConstant = NeutralLanguageConstant.NotConstant;
Debug.Assert(node.ConstantSourceList.Count == 1);
IExpression RightConstantSource = node.ConstantSourceList[0];
Debug.Assert(RightConstantSource == node.RightExpression);
Debug.Assert(RightConstantSource.ExpressionConstant.IsAssigned);
ILanguageConstant RightExpressionConstant = RightConstantSource.ExpressionConstant.Item;
if (RightExpressionConstant != NeutralLanguageConstant.NotConstant)
{
Debug.Assert(node.SelectedOverloadType.IsAssigned);
IQueryOverloadType SelectedOverloadType = node.SelectedOverloadType.Item;
if (SelectedOverloadType.ResultTable.Count == 1)
{
IParameter OverloadResult = SelectedOverloadType.ResultTable[0];
Debug.Assert(OverloadResult.ResolvedParameter.ResolvedEffectiveType.IsAssigned);
ICompiledType ResultType = OverloadResult.ResolvedParameter.ResolvedEffectiveType.Item;
if (Expression.IsLanguageTypeAvailable(LanguageClasses.Boolean.Guid, node, out ITypeName BooleanTypeName, out ICompiledType BooleanType) && ResultType == BooleanType)
{
ExpressionConstant = new BooleanLanguageConstant();
}
else if (Expression.IsLanguageTypeAvailable(LanguageClasses.Number.Guid, node, out ITypeName NumberTypeName, out ICompiledType NumberType) && ResultType == NumberType)
{
ExpressionConstant = new NumberLanguageConstant();
}
else if (Expression.IsLanguageTypeAvailable(LanguageClasses.Character.Guid, node, out ITypeName CharacterTypeName, out ICompiledType CharacterType) && ResultType == CharacterType)
{
ExpressionConstant = new CharacterLanguageConstant();
}
