Package statechum.analysis.learning.rpnicore.LabelRepresentation

Examples of statechum.analysis.learning.rpnicore.LabelRepresentation.Label

116
117
118
119
120
121
122
123
124
125
126
    lbls.parseLabel(INITMEM+" "+LabelRepresentation.XM_DATA.PRE.name()+" varDecl2");
    lbls.parseLabel(INITMEM+" "+LabelRepresentation.XM_DATA.POST.name()+" memory0");
    lbls.parseLabel(INITMEM+" "+LabelRepresentation.XM_DATA.POST.name()+" memory1");
    lbls.parseLabel(INITMEM+" "+LabelRepresentation.XM_DATA.POST.name()+" memory2");
    Assert.assertEquals(1,lbls.labelMap.size());
    Label l = lbls.labelMap.entrySet().iterator().next().getValue();
    Assert.assertEquals(INITMEM,lbls.labelMap.entrySet().iterator().next().getKey());
    Assert.assertEquals(INITMEM,l.getName());
    Assert.assertEquals("memory0\nmemory1\nmemory2",l.post);
    Assert.assertEquals("varDecl\nvarDecl2",l.pre);
  }
View Full Code Here
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
    lbls.parseLabel("A"+" "+LabelRepresentation.XM_DATA.POST.name()+"     details of postcondition     of A     ");
    lbls.parseLabel("B"+" "+LabelRepresentation.XM_DATA.PRE.name()+" value of precondition of B ");
    Assert.assertEquals(3,lbls.labelMap.size());

    {
      Label l = lbls.labelMap.get(INITMEM);
      Assert.assertEquals(INITMEM,l.getName());
      Assert.assertNull(l.post);
      Assert.assertEquals("varDecl",l.pre);
    }

    {
      Label l = lbls.labelMap.get("A");
      Assert.assertEquals("A",l.getName());
      Assert.assertNull(l.pre);
      Assert.assertEquals("postA and more\ndetails of postcondition of A",l.post);
    }

    {
      Label l = lbls.labelMap.get("B");
      Assert.assertEquals("B",l.getName());
      Assert.assertNull(l.post);
      Assert.assertEquals("value of precondition of B",l.pre);
    }
  }
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
    lbls.parseLabel(INITMEM+" "+LabelRepresentation.OP_DATA.PRE.name()+" varDecl2");
    lbls.parseLabel(INITMEM+" "+LabelRepresentation.OP_DATA.POST.name()+" memory0");
    lbls.parseLabel(INITMEM+" "+LabelRepresentation.OP_DATA.POST.name()+" memory1");
    lbls.parseLabel(INITMEM+" "+LabelRepresentation.OP_DATA.POST.name()+" memory2");
    Assert.assertEquals(1,lbls.labelMapConstructionOfOperations.size());
    Label l = lbls.labelMapConstructionOfOperations.entrySet().iterator().next().getValue();
    Assert.assertEquals(INITMEM,lbls.labelMapConstructionOfOperations.entrySet().iterator().next().getKey());
    Assert.assertEquals(INITMEM,l.getName());
    Assert.assertEquals("memory0\nmemory1\nmemory2",l.post.text);
    Assert.assertEquals("varDecl\nvarDecl2",l.pre.text);
  }
View Full Code Here
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
    lbls.parseLabel("A"+" "+LabelRepresentation.OP_DATA.POST.name()+"     details of postcondition     of A     ");
    lbls.parseLabel("B"+" "+LabelRepresentation.OP_DATA.PRE.name()+" value of precondition of B ");
    Assert.assertEquals(3,lbls.labelMapConstructionOfOperations.size());

    {
      Label l = lbls.labelMapConstructionOfOperations.get(INITMEM);
      Assert.assertEquals(INITMEM,l.getName());
      Assert.assertNull(l.post.text);
      Assert.assertEquals("varDecl",l.pre.text);
    }

    {
      Label l = lbls.labelMapConstructionOfOperations.get("A");
      Assert.assertEquals("A",l.getName());
      Assert.assertNull(l.pre.text);
      Assert.assertEquals("postA and more\ndetails of postcondition of A",l.post.text);
    }

    {
      Label l = lbls.labelMapConstructionOfOperations.get("B");
      Assert.assertEquals("B",l.getName());
      Assert.assertNull(l.post.text);
      Assert.assertEquals("value of precondition of B",l.pre.text);
    }
  }
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.rpnicore.LabelRepresentation.Label

  • statechum.analysis.learning.rpnicore.TestSmtLabelRepresentation
    • 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.