public override IGate Invert()
{
var sc = new StateCondition(Variable);
sc.SetPreStates(Variable.Type.GetExcluding(new int[] { StateIndex }));
var r = sc.Decompose(ConditionMode.Pre);
//Gate.TraceLabel(this, r, "invert");
return r;
}
public override ICondition Clone()
{
var c = new StateCondition(Variable);
c.StateIndexes.AddRange(StateIndexes);
c.PreWildcard = PreWildcard;
c.PostStateIndexes.AddRange(PostStateIndexes);
c.PostWildcard = PostWildcard;
c.Freeze();
return(c);
}
public override IGate Invert()
{
var sc = new StateCondition(Variable);
sc.SetPreStates(Variable.Type.GetExcluding(new int[] { StateIndex }));
var r = sc.Decompose(ConditionMode.Pre);
//Gate.TraceLabel(this, r, "invert");
return(r);
}
private ICondition ReplaceCondition(ICondition c, bool post)
{
if (c is StateCondition)
{
var sc = (StateCondition)c;
if (_transitions.Contains(sc.Variable))
{
// replace the transition condition with either its pre or post states
if(sc.IsTransition)
{
// transition condition
if (!post)
{
// replace with precondition
var rc = new StateCondition(sc);
rc.SetPreStates(sc.StateIndexes);
c = rc;
}
else
{
// replace with postcondition
var rc = new StateCondition(sc);
rc.SetPreStates(sc.PostStateIndexes);
c = rc;
}
}
}
}
return c;
}
public override ICondition Clone()
{
var c = new StateCondition(Variable);
c.StateIndexes.AddRange(StateIndexes);
c.PreWildcard = PreWildcard;
c.PostStateIndexes.AddRange(PostStateIndexes);
c.PostWildcard = PostWildcard;
c.Freeze();
return c;
}
public StateCondition(StateCondition parent)
: this(parent.Variable)
{
Parent = parent;
}
void StateCondition(out ICondition cond)
{
string varname; Variable v; StateCondition scond = null; IdList pre, post;
cond = null;
Identifier(out varname);
v = SM.GetVariable(varname);
if (la.kind == 29) {
Get();
scond = new StateCondition(v);
StateIdentifierList(out pre);
scond.SetPreStates(pre);
if (la.kind == 27) {
Get();
StateIdentifierList(out post);
scond.SetPostStates(post);
}
Expect(30);
}
cond = (ICondition)scond ?? new BooleanCondition(v);
}
public StateCondition(StateCondition parent)
: this(parent.Variable)
{
Parent = parent;
}
public void SMG_04_05_Simplyify()
{
var sm = new StateMachine();
var stype = sm.AddSimpleType("S");
stype.AddStateNames(new[] { "A", "B", "C", "D", "X" });
var v = sm.AddVariable("v", stype);
var u = sm.AddVariable("u", stype);
// A + B
var c1 = new StateCondition(v);
c1.SetPreStates(new[] { 0, 1 });
// D
var c2 = new StateCondition(v);
c2.SetPreStates(new[] { 3 });
// A
var c3 = new StateCondition(v);
c2.SetPreStates(new[] { 0 });
var c1dc = Gate.ComposeAND(Gate.Invert(c1.Decompose(ConditionMode.Pre)), Gate.Invert(c2.Decompose(ConditionMode.Pre)));
Trace("1 === {0}", c1dc);
return;
}
public void SMG_03_StateCondition()
{
TraceFlags.ShowDepencencyAnalysis = true;
var sm = new StateMachine();
var stype = new SimpleStateType("State");
stype.AddStateNames(new[] { "A", "B", "C" });
var s = sm.AddVariable("s", stype);
var t = sm.AddVariable("t", stype);
var c = new StateCondition(s);
c.SetPreStates("A,B");
c.SetPostStates("C");
var e1 = sm.AddEvent("e1");
var trigger = new Trigger(e1, c);
sm.AddTrigger(trigger);
var gc1 = new StateCondition(s);
gc1.SetPreStates("A");
// gc1.SetPostStates("C");
sm.AddGuard(gc1, GuardType.LEAVE, "g1");
var gc2 = new StateCondition(s);
gc2.SetPreStates("C");
sm.AddGuard(gc2, GuardType.ENTER, "g2");
{
var c1 = new StateCondition(t);
c1.SetPreStates("A");
var c2 = new StateCondition(s);
c2.SetPreStates("A");
}
sm.Calculate();
// sm.Dump();
var e = sm.Events.First();
Assert.AreEqual("e1", e.Name);
Assert.AreEqual(2, e.Triggers.Count);
var t1 = e.Triggers[0];
var t2 = e.Triggers[1];
Assert.AreEqual(2, t1.Guards.Count);
Assert.AreEqual(1, t2.Guards.Count);
Assert.IsTrue(t1.Guards.Any(g => g.Name == "g1"));
Assert.IsTrue(t1.Guards.Any(g => g.Name == "g2"));
Assert.IsTrue(t2.Guards.Any(g => g.Name == "g2"));
}