Package easysm.stores

Examples of easysm.stores.StateObserver

86
87
88
89
90
91
92
93
94
95
96
  public void Main_doGenerateStates_OneValidTable_OneState()
  {
    StateObserverInfo soInfo = new StateObserverInfo(stPino, Type.BOOLEAN, null);
    main.doAddStateObserver(soInfo);
    List<StateObserver> usedSet = ListFactory.createList(StateObserver.class);
    usedSet.add(new StateObserver(soInfo));
    main.doSelectUsedSO(usedSet);
    main.doGenerateStateTable();

    List<Row> rows = main.stateTable().rows();
    assertTrue(rows.size() == 2);
View Full Code Here
58
59
60
61
62
63
64
  {
    StateObserverInfo soInfo = new StateObserverInfo(soPine, Type.INTEGER, null);
    main.doAddStateObserver(soInfo);
    List<StateObserver> soSet = main.stateObservers().soList();
    assertTrue(soSet.size() == 2);
    assertTrue(soSet.contains(new StateObserver(soInfo)));
  }
View Full Code Here
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
  @Test
  public void Main_doUpdateStateObserver_OneValidStateObserver()
  {
    main.doAddStateObserver(new StateObserverInfo(soIffy, Type.INTEGER, null));
    List<StateObserver> soSet = main.stateObservers().soList();
    StateObserver so = null;
    for (StateObserver s : soSet) {
      if (s.name().equals(soIffy))
        so = s;
    }
    StateObserverInfo soInfo = new StateObserverInfo(soPine, Type.BOOLEAN, null);
    main.doUpdateStateObserver(so, soInfo);
    assertTrue(soSet.size() == 2);
    assertTrue(so.name().equals(soPine));
    assertTrue(so.type().equals(Type.BOOLEAN));
    assertTrue(so.invariant().equals(Expr.EMPTY));
  }
View Full Code Here
93
94
95
96
97
98
99
100
101
  @Test
  public void doDeleteStateObserver()
  {
    main.doAddStateObserver(new StateObserverInfo(soIffy, Type.INTEGER, null));
    StateObserver soToDelete = main.stateObservers().soList().get(1);
    main.doDeleteStateObserver(soToDelete);
    assertTrue(main.stateObservers().soList().size() == 1);
  }
View Full Code Here
103
104
105
106
107
108
109
110
111
  @Test
  public void doAddStateObserver_OneValidInvariant()
  {
    Expr e = new Expr("Pine");
    StateObserverInfo soInfo = new StateObserverInfo(soPine, Type.INTEGER, e);
    StateObserver so = new StateObserver(soInfo);
    main.doAddStateObserver(soInfo);
    assertTrue(so.invariant().equals(e));
  }
View Full Code Here
114
115
116
117
118
119
120
121
122
123
124
125
126
  public void doUpdateStateObserver_changeInvariant()
  {
    Expr e = new Expr("Pine");
    StateObserverInfo soInfo = new StateObserverInfo(soPine, Type.INTEGER, e);
    main.doAddStateObserver(soInfo);
    StateObserver so = new StateObserver(soInfo);
    Expr newE = new Expr("Pino");
    StateObserverInfo newSoInfo = new StateObserverInfo(soPine, Type.INTEGER, newE);
    main.doUpdateStateObserver(so, newSoInfo);
    assertTrue(so.name().equals(soPine));
    assertTrue(so.type().equals(Type.INTEGER));
    assertTrue(so.invariant().equals(newE));
  }
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
139
  public void doUpdateStateObserver_OneNullInvariant()
  {
    Expr e = new Expr("Pine");
    StateObserverInfo soInfo = new StateObserverInfo(soPine, Type.INTEGER, e);
    main.doAddStateObserver(soInfo);
    StateObserver so = new StateObserver(soInfo);
    StateObserverInfo newSoInfo = new StateObserverInfo(soPine, Type.INTEGER, Expr.EMPTY);
    main.doUpdateStateObserver(so, newSoInfo);
    assertTrue(so.name().equals(soPine));
    assertTrue(so.type().equals(Type.INTEGER));
    assertTrue(so.invariant().equals(Expr.EMPTY));
  }
View Full Code Here
TOP

Related Classes of easysm.stores.StateObserver

  • easysm.datatypes.visualization.StateObserverVis
  • StateObserversTests
  • StateTableTests
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.