private static UnifiedExpression CreateDot2(XElement node)
{
Contract.Requires(node != null);
Contract.Requires(node.Name() == "dot2");
return(UnifiedRange.CreateNotContainingMax(
CreateExpresion(node.FirstElement()),
CreateExpresion(node.LastElement())));
}
private static UnifiedExpression CreateRange(XElement node)
{
Contract.Requires(node != null);
Contract.Requires(node.Name() == "Range");
if (node.Value.Contains("..."))
{
var numbers = node.Value.Split(
new[] { "..." }, StringSplitOptions.None);
return(UnifiedRange.CreateNotContainingMax(
UnifiedIntegerLiteral.CreateInt32(
LiteralFuzzyParser.ParseBigInteger(numbers[0])),
UnifiedIntegerLiteral.CreateInt32(
LiteralFuzzyParser.ParseBigInteger(numbers[1]))));
}
{
var numbers = node.Value.Split(
new[] { ".." }, StringSplitOptions.None);
return(UnifiedRange.Create(
UnifiedIntegerLiteral.CreateInt32(
LiteralFuzzyParser.ParseBigInteger(numbers[0])),
UnifiedIntegerLiteral.CreateInt32(
LiteralFuzzyParser.ParseBigInteger(numbers[1]))));
}
}