Package heart.xtt

Examples of heart.xtt.Type


  @Test
  public void testEqForNotOrderedSimpleSymbolic() 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.EQ + " to symbolic "
        + value + " unless it is ordered");
View Full Code Here


  @Test
  public void testNeqForNotOrderedSimpleSymbolic() 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.NEQ
        + " to symbolic " + value + " unless it is ordered");
View Full Code Here

  @Test
  public void testEqThrowsUnsupportedException()
      throws UnsupportedOperationException, NotInTheDomainException,
      BuilderException {
    SetValue value = new SetValue();
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));
    exception.expect(UnsupportedOperationException.class);
    exception.expectMessage(getComparisonErrorMessage(LogicOperations.EQ));

    simpleNumeric.eq(value, type);
View Full Code Here

  @Test
  public void testNeqThrowsUnsupportedException()
      throws UnsupportedOperationException, NotInTheDomainException,
      BuilderException {
    SetValue value = new SetValue();
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));
    exception.expect(UnsupportedOperationException.class);
    exception.expectMessage(getComparisonErrorMessage(LogicOperations.NEQ));

    simpleNumeric.neq(value, type);
View Full Code Here

  @Test
  public void testGtThrowsUnsupportedException()
      throws UnsupportedOperationException, NotInTheDomainException,
      BuilderException {
    SetValue value = new SetValue();
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));
    exception.expect(UnsupportedOperationException.class);
    exception.expectMessage(getComparisonErrorMessage(LogicOperations.GT));

    simpleNumeric.gt(value, type);
View Full Code Here

  @Test
  public void testGteThrowsUnsupportedException()
      throws UnsupportedOperationException, NotInTheDomainException,
      BuilderException {
    SetValue value = new SetValue();
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));
    exception.expect(UnsupportedOperationException.class);
    exception.expectMessage(getComparisonErrorMessage(LogicOperations.GTE));

    simpleNumeric.gte(value, type);
View Full Code Here

  @Test
  public void testLtThrowsUnsupportedException()
      throws UnsupportedOperationException, NotInTheDomainException,
      BuilderException {
    SetValue value = new SetValue();
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));
    exception.expect(UnsupportedOperationException.class);
    exception.expectMessage(getComparisonErrorMessage(LogicOperations.LT));

    simpleNumeric.lt(value, type);
View Full Code Here

  @Test
  public void testLteThrowsUnsupportedException()
      throws UnsupportedOperationException, NotInTheDomainException,
      BuilderException {
    SetValue value = new SetValue();
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));
    exception.expect(UnsupportedOperationException.class);
    exception.expectMessage(getComparisonErrorMessage(LogicOperations.LTE));

    simpleNumeric.lte(value, type);
View Full Code Here

  @Test
  public void testAllNumericOperations() throws BuilderException,
      UnsupportedOperationException, NotInTheDomainException {
    SimpleNumeric value = new SimpleNumeric(10.0);
    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value));

    SimpleNumeric answer = (SimpleNumeric) simpleNumeric.add(value, type);
    assertEquals(NumericOperations.ADD.numericExpresion(
        simpleNumeric.getValue(), value.getValue()), answer.getValue());
View Full Code Here

    SimpleNumeric from = new SimpleNumeric(5.0);
    SimpleNumeric to = new SimpleNumeric(15.0);
    Range rangeValues = new Range(from, to);
    Range rangeValues2 = new Range(new SimpleNumeric(15.0), new SimpleNumeric(25.0));

    Type type = createTypeWithDomain(Arrays.<Value> asList(simpleNumeric,
        value, simpleSymbolic, rangeValues, notAccepted, rangeValues2));

    assertTrue(simpleNumeric.in(value, type));
    value.setValues((Arrays.asList((Value) simpleSymbolic)));
    assertTrue(simpleNumeric.in(value, type));
View Full Code Here

TOP

Related Classes of heart.xtt.Type

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.