protected override void Check()
{
var i = new int[1];
i[0] = 33;
var c = new C[2];
c[0] = new C();
c[1] = new C();
var m = new Model();
m.AddRootComponents(c);
m.Seal();
{
CtlFormula actual = c[0].F == i[0];
var expected = new StateFormula(
new BinaryExpression(BinaryOperator.Equals,
new FieldExpression(c[0].Metadata.Fields[0]),
new IntegerLiteralExpression(33)));
Check(actual, expected);
}
{
CtlFormula actual = c[0].State == c[1].State;
var expected = new StateFormula(
new BinaryExpression(BinaryOperator.Equals,
new FieldExpression(c[0].Metadata.StateMachine.StateField),
new FieldExpression(c[1].Metadata.StateMachine.StateField)));
Check(actual, expected);
}
{
var actual = Ctl.IsOccurring<C.Failure>(c[1]);
var expected = new FaultOccurrenceFormula(c[1].Metadata.Faults[0]);
Check(actual, expected);
}
}
/// <summary>
/// Visits an element of type <see cref="FaultOccurrenceFormula" />.
/// </summary>
/// <param name="formula">The <see cref="FaultOccurrenceFormula" /> instance that should be visited.</param>
protected internal virtual void VisitFaultOccurrenceFormula(FaultOccurrenceFormula formula)
{
DefaultVisit(formula);
}
