public void PowerOperatorThrows()
{
Operator op = new PowerOperator().Power;
MeVariable[] arr = { new MeString("test"), new MeNumber(10) };
Assert.IsFalse(op.CanExecute(arr));
TestUtils.CustomExceptionTest(() => op.Execute(arr), typeof(MeContextException));
}
public void Visit(PowerOperator op)
{
op.LeftOperand.Accept(this);
op.RightOperand.Accept(this);
var temp = _stack.Pop();
_stack.Push(Math.Pow(_stack.Pop(), temp));
}
void ShouldReturnExpression1RaisedToPowerOfExpression2()
{
var expression1 = Create <NumberLiteral>();
var expression2 = Create <NumberLiteral>();
var expectedResult = Math.Pow(expression1.Result, expression2.Result);
var addition = new PowerOperator(expression1, expression2);
addition.Result.Should().Be(expectedResult);
}
public void PowerOperatorCanSubtract()
{
Operator op = new PowerOperator().Power;
MeVariable[] arr = { new MeNumber(10), new MeNumber(2) };
Assert.IsTrue(op.CanExecute(arr));
const float expected = 100.0f;
float result = op.Execute(arr).Get <float>();
Assert.AreEqual(expected, result);
}
public IParseNode Parse(TokenWalker walker)
{
var result = _factorParser.Parse(walker);
while (walker.NextIs <PowerToken>())
{
var lexem = walker.Pop();
result = new PowerOperator(result, _factorParser.Parse(walker), lexem.Position);
}
return(result);
}
private static ExpTreeNode GetAsExpressionTree(this ParseTreeNode parsedNode, ExpTreeNode parentExpNode)
{
//The current node is a variable / value token. Create a value node and return it back
if (!parsedNode.ChildNodes.Any())
{
switch (parsedNode.Term.Name)
{
case "variable":
{
var varName = parsedNode.FindTokenAndGetValue <string>();
return(new VariableValue(varName, parentExpNode));
}
case "boolean":
return(new LiteralValue(parsedNode.FindTokenAndGetValue <bool>(), parentExpNode));
case "integer":
case "decimal":
return(new LiteralValue(parsedNode.FindTokenAndGetValue <double>(), parentExpNode));
case "SingleQuoteString":
case "DoubleQuoteString":
return(new LiteralValue(parsedNode.FindTokenAndGetValue <string>(), parentExpNode));
default:
throw parsedNode.GetException($"Invalid token type '{parsedNode.Term.Name}' in expression");
}
}
// Look on the next node down
else if (parsedNode.ChildNodes.Count == 1)
{
return(GetAsExpressionTree(parsedNode.ChildNodes[0], parentExpNode));
}
//Ignore parenthesis, the middle non-terminal is what we want
// Look on the next node down
else if (parsedNode.ChildNodes.Count == 3 && parsedNode.ChildNodes[0]?.Token?.Text == "(")
{
return(GetAsExpressionTree(parsedNode.ChildNodes[1], parentExpNode));
}
//Binary operator
else if (parsedNode.ChildNodes.Count == 3)
{
BinaryOperatorBase binaryOp;
var opStr = parsedNode.ChildNodes[1].FindToken().ValueString;
switch (opStr)
{
// Math
case "+":
binaryOp = new AdditionOperator(parentExpNode);
break;
case "-":
binaryOp = new SubtractionOperator(parentExpNode);
break;
case "*":
binaryOp = new MultiplacationOperator(parentExpNode);
break;
case "/":
binaryOp = new DivisionOperator(parentExpNode);
break;
case "%":
binaryOp = new ModulusOperator(parentExpNode);
break;
case "^":
binaryOp = new PowerOperator(parentExpNode);
break;
// Bool
case "~==":
binaryOp = new LooseEqualsOperator(parentExpNode);
break;
case "~!=":
binaryOp = new LooseNotEqualsOperator(parentExpNode);
break;
case "==":
binaryOp = new EqualsOperator(parentExpNode);
break;
case "!=":
binaryOp = new NotEqualsOperator(parentExpNode);
break;
case "like":
binaryOp = new LikeOperator(parentExpNode);
break;
case "match":
binaryOp = new MatchOperator(parentExpNode);
break;
case ">":
binaryOp = new GreaterThanOperator(parentExpNode);
break;
case ">=":
binaryOp = new GreaterThanOrEqualOperator(parentExpNode);
break;
case "<":
binaryOp = new LessThanOperator(parentExpNode);
break;
case "<=":
binaryOp = new LessThanOrEqualOperator(parentExpNode);
break;
case "&&":
binaryOp = new AndOperator(parentExpNode);
break;
case "||":
binaryOp = new OrOperator(parentExpNode);
break;
default:
throw parsedNode.ChildNodes[1].GetException($"Unrecognized operator '{opStr}'");
}
binaryOp.LeftOperand = GetAsExpressionTree(parsedNode.ChildNodes[0], binaryOp);
binaryOp.RightOperand = GetAsExpressionTree(parsedNode.ChildNodes[2], binaryOp);
//Optimize
if (binaryOp.LeftOperand is LiteralValue && binaryOp.RightOperand is LiteralValue)
{
return(new LiteralValue(binaryOp.Eval(), parentExpNode));
}
return(binaryOp);
}
// Unary operator
else if (parsedNode.ChildNodes.Count == 2)
{
var opVal = parsedNode.ChildNodes[0].FindToken().Value;
UnaryOperatorBase unaryOp;
if (parsedNode.ChildNodes[0].FindToken().Value is TypeCode convertType)
{
unaryOp = new TypeConversionOperator(convertType, parentExpNode);
}
else
{
var opStr = opVal.ToString();
switch (opStr)
{
case "!":
unaryOp = new NotOperator(parentExpNode);
break;
//Property Checking
case "lengthof":
unaryOp = new LengthOperator(parentExpNode);
break;
case "typeof":
unaryOp = new TypeOperator(parentExpNode);
break;
default:
unaryOp = new GenericUnaryMathFunctionOperator(opStr, parentExpNode);
break;
}
}
unaryOp.Operand = GetAsExpressionTree(parsedNode.ChildNodes[1], unaryOp);
//Optimize
if (unaryOp.Operand is LiteralValue)
{
return(new LiteralValue(unaryOp.Eval(), parentExpNode));
}
return(unaryOp);
}
else
{
throw parsedNode.GetException($"Invalid number of tokens ({parsedNode.ChildNodes.Count})");
}
}
public void Visit(PowerOperator op)
{
Visit((BinaryOperator)op);
}
public void ModelInfoTest()
{
const string modelName = "test model";
var builder = new ModelInfo.ModelBuilder(modelName);
const string constraintName = "test constraint";
const string constraintPredicateName = "constraint predicate";
var constraintExpression = new EqualToOperator(Two, Two);
var constraintPredicate = new BooleanExpressionTree(constraintPredicateName, constraintExpression);
var constraint = new ConstraintInfo(constraintName, constraintPredicate);
builder.AddConstraint(constraint);
/*
* const string eventName = "test event";
* const string eventPredicateName = "event predicate";
* var eventExpression = new GreaterThanOperator(Three, Two);
* var eventPredicate = new BooleanExpressionTree(eventPredicateName, eventExpression);
* int eventCount = 0;
* var testEvent = new EventInfo(eventName, eventPredicate, () => { eventCount++; });
* builder.AddEvent(testEvent);
*/
const string expressionName = "test expression";
var expression = new AddOperator(Three, Two);
var expressionTree = new NumericExpressionTree(expressionName, expression);
builder.AddExpression(expressionTree);
const string localeName = "test locale";
var locale = new LocaleInfo(localeName);
builder.AddLocale(locale);
const string observableName = "test observable";
const string observableExpressionName = "observable expression";
var rootOperator = new PowerOperator(Two, Three);
var observableExpressionTree = new NumericExpressionTree(observableExpressionName, rootOperator);
var observable = new ObservableInfo(observableName, observableExpressionTree);
builder.AddObservable(observable);
const string parameterName = "test parameter";
var parameter = new ParameterInfo(parameterName, 3.14159265f);
builder.AddParameter(parameter);
const string predicateName = "test predicate";
var predicateExpression = new LessThanOperator(Two, Three);
var predicate = new BooleanExpressionTree(predicateName, predicateExpression);
builder.AddPredicate(predicate);
const string speciesName = "reactant";
var reactant = new SpeciesDescription(speciesName, 2012, locale);
builder.AddSpecies(reactant);
const string reactionName = "test reaction";
var rBuilder = new ReactionInfo.ReactionBuilder(reactionName);
rBuilder.AddReactant(reactant);
var rateExpression = new MultiplyOperator(Ten, new SymbolReference(speciesName));
var reactionRate = new NumericExpressionTree(null, rateExpression);
rBuilder.SetRate(reactionRate);
var reaction = rBuilder.Reaction;
builder.AddReaction(reaction);
var modelInfo = builder.Model;
Console.WriteLine("ModelInfoTests: checking model name...");
Expect(modelInfo.Name == modelName);
Console.WriteLine("ModelInfoTests: checking constraint count (1)...");
Expect(modelInfo.Constraints.Count() == 1);
Console.WriteLine("ModelInfoTests: checking constraint...");
Expect(modelInfo.Constraints.First() == constraint);
/*
* Console.WriteLine("ModelInfoTests: checking event count (1)...");
* Expect(modelInfo.Events.Count() == 1);
* Console.WriteLine("ModelInfoTests: checking event...");
* Expect(modelInfo.Events.First() == testEvent);
*/
Console.WriteLine("ModelInfoTests: checking expression count (3)...");
Expect(modelInfo.Expressions.Count() == 3);
Console.WriteLine("ModelInfoTests: checking expressions...");
var expressions = modelInfo.Expressions.Where(net => net.Name == expressionName).ToList();
Expect(expressions.Count == 1);
Expect(expressions[0] == expressionTree);
Console.WriteLine("ModelInfoTests: checking locale count (1)...");
Expect(modelInfo.Locales.Count() == 1);
Console.WriteLine("ModelInfoTests: checking locale...");
Expect(modelInfo.Locales.First() == locale);
Console.WriteLine("ModelInfoTests: checking observable count (1)...");
Expect(modelInfo.Observables.Count() == 1);
Console.WriteLine("ModelInfoTests: checking observable...");
Expect(modelInfo.Observables.First() == observable);
Console.WriteLine("ModelInfoTests: checking parameter count (1)...");
Expect(modelInfo.Parameters.Count() == 1);
Console.WriteLine("ModelInfoTests: checking parameter...");
Expect(modelInfo.Parameters.First() == parameter);
/*
* Console.WriteLine("ModelInfoTests: checking predicate count (3)...");
* Expect(modelInfo.Predicates.Count() == 3);
*/
Console.WriteLine("ModelInfoTests: checking predicate count (2)...");
Expect(modelInfo.Predicates.Count() == 2);
Console.WriteLine("ModelInfoTests: checking predicate...");
var predicates = modelInfo.Predicates.Where(pi => pi.Name == predicateName).ToList();
Expect(predicates.Count == 1);
Expect(predicates[0] == predicate);
Console.WriteLine("ModelInfoTests: checking reaction count (1)...");
Expect(modelInfo.Reactions.Count() == 1);
Console.WriteLine("ModelInfoTests: checking reaction...");
Expect(modelInfo.Reactions.First() == reaction);
Console.WriteLine("ModelInfoTests: checking species count (1)...");
Expect(modelInfo.Species.Count() == 1);
Console.WriteLine("ModelInfoTests: checking species...");
Expect(modelInfo.Species.First() == reactant);
}
