Package heart.xtt

Examples of heart.xtt.Type

253
254
255
256
257
258
259
260
261
262
263
 
  @Test
  public void testSimAndNotSimLogic() throws BuilderException, UnsupportedOperationException, NotInTheDomainException, RangeFormatException{
    Range value = new Range(new SimpleNumeric(4.0), new SimpleNumeric(2.0));
    SetValue value2 = new SetValue(Arrays.<Value> asList(new SimpleNumeric(4.0), new SimpleNumeric(2.0)));
    Type type = createTypeWithDomain(Arrays.<Value> asList(
        setValue, value, value2, new SimpleNumeric(3.0)));
   
    assertFalse(setValue.sim(value, type));
    assertFalse(setValue.sim(value2, type));
    assertTrue(setValue.notsim(value, type));
View Full Code Here
273
274
275
276
277
278
279
280
281
282
283
  @Test
  public void testIntersectLogic() throws BuilderException, UnsupportedOperationException, NotInTheDomainException, RangeFormatException{
    List<Value> expectedResult = Arrays.<Value> asList(new SimpleNumeric(4.0), new SimpleNumeric(2.0));
    Range value = new Range(new SimpleNumeric(4.0), new SimpleNumeric(2.0));
    SetValue value2 = new SetValue(expectedResult);
    Type type = createTypeWithDomain(Arrays.<Value> asList(
        setValue, value, value2, new SimpleNumeric(3.0),new SimpleNumeric(5.0)));
    setValue = new SetValue(expectedResult);
    setValue.appendValue(new SimpleNumeric(10.0));
   
    List<Value> result = ((SetValue)setValue.intersect(value2, type)).getValues();
View Full Code Here
295
296
297
298
299
300
301
302
303
304
305
  @Test
  public void testUnionLogic() throws BuilderException, UnsupportedOperationException, NotInTheDomainException, RangeFormatException{
    List<Value> values = Arrays.<Value>asList(new SimpleNumeric(4.0), new SimpleNumeric(2.0));
    Range value = new Range(new SimpleNumeric(4.0), new SimpleNumeric(2.0));
    SetValue value2 = new SetValue(values);
    Type type = createTypeWithDomain(Arrays.<Value> asList(
        setValue, value, value2,new SimpleNumeric(1.0), new SimpleNumeric(5.0)));
   
    List<Value> setValues = Arrays.<Value> asList(new SimpleNumeric(1.0), new SimpleNumeric(5.0));
    setValue = new SetValue(setValues);
    List<Value> expectedResult = new ArrayList<Value>(setValues);
View Full Code Here
323
324
325
326
327
328
329
330
331
332
333
    SimpleNumeric value6 = new SimpleNumeric(8.0);
    SetValue value5 = new SetValue(Arrays.<Value> asList(value,value3,value6));
    List<Value> setValues = Arrays.<Value> asList(value, value3,
        value4, new SimpleNumeric(3.0));
    setValue = new SetValue(setValues);
    Type type = createTypeWithDomain(Arrays.<Value> asList(
        setValue, value, value3,value4,value6,new SimpleSymbolic("val",5)));
   
    SetValue result = (SetValue) setValue.except(value, type);   
    assertFalse(result.getValues().contains(value));
    result = (SetValue) setValue.except(value3, type);
View Full Code Here
59
60
61
62
63
64
65
66
67
68
69
  @Test
  public void testAllLogicOperationsWithSimpleNumericValue()
      throws BuilderException, UnsupportedOperationException,
      NotInTheDomainException {
    SimpleNumeric value = new SimpleNumeric(10.0);
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));

    assertTrue(simpleNumeric.computeLogicalExpresion(value, type,
        LogicOperations.EQ));
    assertTrue(simpleNumeric.eq(value, type));
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
  @Test
  public void testAllLogicOperationsWithSimpleSymbolicValue()
      throws BuilderException, UnsupportedOperationException,
      NotInTheDomainException {
    SimpleSymbolic value = new SimpleSymbolic("value", 10);
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));

    assertTrue(simpleNumeric.computeLogicalExpresion(value, type,
        LogicOperations.EQ));
    assertTrue(simpleNumeric.eq(value, type));
View Full Code Here
177
178
179
180
181
182
183
184
185
186
187
  @Test
  public void testGtForNotOrderedSimpleSymbolic() throws BuilderException,
      UnsupportedOperationException, NotInTheDomainException {
    SimpleSymbolic value = new SimpleSymbolic("value");
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));
    exception.expect(UnsupportedOperationException.class);
    exception.expectMessage("Numeric " + simpleNumeric
        + " cannot be compared " + LogicOperations.GT + " to symbolic "
        + value + " unless it is ordered");
View Full Code Here
191
192
193
194
195
196
197
198
199
200
201
  @Test
  public void testGteForNotOrderedSimpleSymbolic() throws BuilderException,
      UnsupportedOperationException, NotInTheDomainException {
    SimpleSymbolic value = new SimpleSymbolic("value");
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));
    exception.expect(UnsupportedOperationException.class);
    exception.expectMessage("Numeric " + simpleNumeric
        + " cannot be compared " + LogicOperations.GTE
        + " to symbolic " + value + " unless it is ordered");
View Full Code Here
205
206
207
208
209
210
211
212
213
214
215
  @Test
  public void testLtForNotOrderedSimpleSymbolic() throws BuilderException,
      UnsupportedOperationException, NotInTheDomainException {
    SimpleSymbolic value = new SimpleSymbolic("value");
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));
    exception.expect(UnsupportedOperationException.class);
    exception.expectMessage("Numeric " + simpleNumeric
        + " cannot be compared " + LogicOperations.LT + " to symbolic "
        + value + " unless it is ordered");
View Full Code Here
219
220
221
222
223
224
225
226
227
228
229
  @Test
  public void testLteForNotOrderedSimpleSymbolic() throws BuilderException,
      UnsupportedOperationException, NotInTheDomainException {
    SimpleSymbolic value = new SimpleSymbolic("value");
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));
    exception.expect(UnsupportedOperationException.class);
    exception.expectMessage("Numeric " + simpleNumeric
        + " cannot be compared " + LogicOperations.LTE
        + " to symbolic " + value + " unless it is ordered");
View Full Code Here
TOP

Related Classes of heart.xtt.Type

  • heart.alsvfd.RangeTest
  • heart.alsvfd.SetValueTest
  • heart.alsvfd.SimpleNumericTest
  • heart.alsvfd.SimpleSymbolicTest
  • heart.exceptions.BuilderException
    • 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.