Package heart.xtt

Examples of heart.xtt.Type$Builder

226
227
228
229
230
231
232
233
234
235
236
    Range value = new Range(new Range(new SimpleNumeric(4.0), new SimpleNumeric(8.0)));   
    SetValue value2 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(6.0)));
    Range value3 = new Range(new Range(new SimpleNumeric(15.0), new SimpleNumeric(20.0)));
    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(12.0)));
   
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2, value3, value4));
   
    assertTrue(range.sim(value, type));
    assertTrue(range.sim(value2, type));
    assertFalse(range.notsim(value, type));
    assertFalse(range.notsim(value2, type));
View Full Code Here
244
245
246
247
248
249
250
251
252
253
254
  public void testSupsetAndSubsetLogic() throws BuilderException, UnsupportedOperationException, NotInTheDomainException, RangeFormatException{
    Range value = new Range(new Range(new SimpleNumeric(4.0), new SimpleNumeric(18.0)));   
    SetValue value2 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(6.0)));
    Range value3 = new Range(new Range(new SimpleNumeric(6.0), new SimpleNumeric(9.0)));
    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(5.0), new SimpleNumeric(10.0)));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2, value3, value4));
   
    assertFalse(range.supset(value, type));
    assertTrue(range.subset(value, type));
    assertTrue(range.supset(value3, type));
    assertFalse(range.subset(value3, type));
View Full Code Here
265
266
267
268
269
270
271
272
273
274
275
    Range value3 = new Range(new SimpleNumeric(6.0), new SimpleNumeric(9.0));
    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(2.0), new SimpleNumeric(18.0)));
    Range value5 = new Range(new SimpleNumeric(4.0), new SimpleNumeric(8.0));
    Range expected = new Range(new SimpleNumeric(5.0), new SimpleNumeric(8.0));
    Range value6 = new Range(new SimpleNumeric(14.0), new SimpleNumeric(18.0));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2,
        value3, value4, value5));
   
    SetValue result = (SetValue) range.intersect(value, type);
    assertTrue(result.values.get(0).eq(range, type));
    result = (SetValue) range.intersect(value3, type);
View Full Code Here
292
293
294
295
296
297
298
299
300
301
302
    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(2.0), new SimpleNumeric(18.0)));
    Range value5 = new Range(new SimpleNumeric(2.0), new SimpleNumeric(8.0));   
    Range expected = new Range(new SimpleNumeric(2.0), new SimpleNumeric(10.0));
    SetValue value6 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(4.0),
        new SimpleNumeric(8.0), value4, value));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2,
        value3, value4, value5, value6));
   
    SetValue result = (SetValue) range.union(value, type);
    assertTrue(result.values.get(0).eq(value, type));
    result = (SetValue) range.union(value3, type);
View Full Code Here
321
322
323
324
325
326
327
328
329
330
331
    SetValue value2 = new SetValue();
    SetValue value3 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(5.0),new SimpleNumeric(10.0)));
    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(3.0),new SimpleNumeric(8.0)));
    SetValue value5 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(7.0),new SimpleNumeric(18.0)));
    SetValue value6 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(7.0),new SimpleSymbolic("value9",9)));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2,
        value3, value4, value5, value6, new SimpleSymbolic("value9",9)));
   
    SetValue result = (SetValue) range.union(value, type);   
    assertTrue(result.values.get(0).eq(new Range(new SimpleNumeric(5.0), true, new SimpleNumeric(10.0),true), type));   
   
View Full Code Here
355
356
357
358
359
360
361
362
363
364
365
    Range value4 = new Range(new SimpleNumeric(3.0), new SimpleNumeric(15.0));
    Range value5 = new Range(new SimpleNumeric(1.0), new SimpleNumeric(4.0));
    Range value6 = new Range(new SimpleNumeric(1.0), new SimpleNumeric(5.0));
    Range value7 = new Range(new SimpleNumeric(10.0), new SimpleNumeric(15.0));
    Range value8 = new Range(new SimpleNumeric(5.0), new SimpleNumeric(10.0));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value,
        value2, value3, value4, value5));
   
    SetValue result = (SetValue) range.union(value, type);
    assertTrue(result.values.get(0).eq(range, type));
   
View Full Code Here
396
397
398
399
400
401
402
403
404
405
406
    Range value2 = new Range(new SimpleNumeric(6.0), new SimpleNumeric(8.0)); 
    Range value3 = new Range(new SimpleNumeric(3.0), new SimpleNumeric(8.0));
    Range value4 = new Range(new SimpleNumeric(7.0), new SimpleNumeric(12.0));
    Range value5 = new Range(new SimpleNumeric(2.0), new SimpleNumeric(5.0));   
    Range value6 = new Range(new SimpleNumeric(10.0), new SimpleNumeric(12.0));   
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2,
        value3, value4, value5, value6,new SimpleSymbolic("value5", 5), new SimpleSymbolic("value10",10)));
   
    SetValue result = (SetValue) range.except(value, type);
    assertTrue(result.values.get(0).eq(new Range(new SimpleNumeric(4.0), true, new SimpleNumeric(5.0),false), type));
    assertTrue(result.values.get(1).eq(new Range(new SimpleNumeric(10.0), false, new SimpleNumeric(18.0),true), type));
View Full Code Here
430
431
432
433
434
435
436
437
438
439
440
    SimpleNumeric value = new SimpleNumeric(7.0);
    SimpleNumeric value2 = new  SimpleNumeric(3.0);
    SimpleNumeric value3 = new SimpleNumeric(12.0);
    SimpleNumeric value4 = new  SimpleNumeric(5.0);
    SimpleNumeric value5 = new SimpleNumeric(10.0);
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2, value3,
        value4, value5));
   
    SetValue result = (SetValue) range.except(value, type);   
    assertTrue(result.values.get(0).eq(new Range(new SimpleNumeric(5.0), true, new SimpleNumeric(7.0),false), type));
    assertTrue(result.values.get(1).eq(new Range(new SimpleNumeric(7.0), false, new SimpleNumeric(10.0),true), type));
View Full Code Here
461
462
463
464
465
466
467
468
469
470
471
    SetValue value2 = new SetValue();
    SetValue value3 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(5.0),new SimpleNumeric(10.0)));
    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(3.0),new SimpleNumeric(8.0)));
    SetValue value5 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(7.0),new SimpleNumeric(18.0)));
    SetValue value6 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(7.0),new SimpleSymbolic("value9",9)));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2,
        value3, value4, value5, value6, new SimpleSymbolic("value9",9)));
   
    SetValue result = (SetValue) range.except(value, type);
    assertTrue(result.values.get(0).eq(new Range(new SimpleNumeric(5.0), true, new SimpleNumeric(7.0),false), type));
    assertTrue(result.values.get(1).eq(new Range(new SimpleNumeric(7.0), false, new SimpleNumeric(9.0),false), type));
View Full Code Here
498
499
500
501
502
503
504
505
506
507
508
    SimpleSymbolic value = new SimpleSymbolic("value7",7);
    SimpleSymbolic value2 = new  SimpleSymbolic("value3",3);
    SimpleSymbolic value3 = new SimpleSymbolic("value12",12);
    SimpleSymbolic value4 = new  SimpleSymbolic("value5",5);
    SimpleSymbolic value5 = new SimpleSymbolic("value10",10);
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2, value3,
        value4, value5));
   
    //Czy Range(Numeric,Numeric) można porównywać do Symbolic i vice versa?
 
    SetValue result = (SetValue) range.except(value, type);       
View Full Code Here
TOP

Related Classes of heart.xtt.Type$Builder

  • ch.grengine.code.groovy.DefaultGroovyCompilerFactory
  • ch.grengine.source.DefaultSourceFactory
  • co.cask.tigon.sql.internal.DefaultGDATField
  • com.asakusafw.utils.java.model.syntax.Expression
  • com.asakusafw.utils.java.model.syntax.ModelFactory
  • com.asakusafw.utils.java.model.util.ImportBuilder
  • com.asakusafw.utils.java.model.util.TypeBuilder
  • com.basho.riak.client.api.cap.Quorum
  • com.basho.riak.client.cap.Quorum
  • com.fasterxml.jackson.databind.JsonNode
    • 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.