@Test public void minExclusiveFacetCon1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr = dr.applyConstrainingFacet(MIN_EXCLUSIVE.getName(), decimal("3.5")); assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1)))); assertFalse(dr.contains(Long.MIN_VALUE)); assertFalse(dr.contains(0)); assertFalse(dr.contains(decimal("3.4999"))); assertFalse(dr.contains(decimal("3.5"))); assertTrue(dr.contains(decimal("3.5001"))); assertTrue(dr.contains(Long.MAX_VALUE)); assertTrue(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1)))); }
@Test public void minInclusiveFacetCon1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr = dr.applyConstrainingFacet(MIN_INCLUSIVE.getName(), decimal("3.5")); assertFalse(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1)))); assertFalse(dr.contains(Long.MIN_VALUE)); assertFalse(dr.contains(0)); assertFalse(dr.contains(decimal("3.4999"))); assertTrue(dr.contains(decimal("3.5"))); assertTrue(dr.contains(decimal("3.5001"))); assertTrue(dr.contains(Long.MAX_VALUE)); assertTrue(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1)))); }
@Test public void maxExclusiveFacetCon1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr = dr.applyConstrainingFacet(MAX_EXCLUSIVE.getName(), decimal("3.5")); assertTrue(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1)))); assertTrue(dr.contains(Long.MIN_VALUE)); assertTrue(dr.contains(0)); assertTrue(dr.contains(decimal("3.4999"))); assertFalse(dr.contains(decimal("3.5"))); assertFalse(dr.contains(decimal("3.5001"))); assertFalse(dr.contains(Long.MAX_VALUE)); assertFalse(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1)))); }
@Test public void maxInclusiveFacetCon1() throws InvalidConstrainingFacetException { RestrictedDatatype<Number> dr = new RestrictedRealDatatype(dt, IntegerInterval.allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval.allReals()); dr = dr.applyConstrainingFacet(MAX_INCLUSIVE.getName(), decimal("3.5")); assertTrue(dr.contains(BigDecimal.valueOf(Long.MIN_VALUE).subtract(BigDecimal.valueOf(0.1)))); assertTrue(dr.contains(Long.MIN_VALUE)); assertTrue(dr.contains(0)); assertTrue(dr.contains(decimal("3.4999"))); assertTrue(dr.contains(decimal("3.5"))); assertFalse(dr.contains(decimal("3.5001"))); assertFalse(dr.contains(Long.MAX_VALUE)); assertFalse(dr.contains(BigDecimal.valueOf(Long.MAX_VALUE).add(BigDecimal.valueOf(0.1)))); }
public static ATermAppl maxExclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_EXCLUSIVE.getName(), facetValue); }
public static ATermAppl minExclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_EXCLUSIVE.getName(), facetValue); }
public static ATermAppl length(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.LENGTH.getName(), facetValue); }
public static ATermAppl maxLength(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_LENGTH.getName(), facetValue); }
public static ATermAppl maxExclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_EXCLUSIVE.getName(), facetValue); }
public static ATermAppl maxInclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_INCLUSIVE.getName(), facetValue); }
public static ATermAppl pattern(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.PATTERN.getName(), facetValue); }
public static ATermAppl length(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.LENGTH.getName(), facetValue); }
public static ATermAppl maxLength(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_LENGTH.getName(), facetValue); }
public static ATermAppl maxInclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MAX_INCLUSIVE.getName(), facetValue); }
public static ATermAppl pattern(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.PATTERN.getName(), facetValue); }
public static ATermAppl minLength(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_LENGTH.getName(), facetValue); }
public static ATermAppl minLength(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_LENGTH.getName(), facetValue); }
public static ATermAppl minExclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_EXCLUSIVE.getName(), facetValue); }
public static ATermAppl minInclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_INCLUSIVE.getName(), facetValue); }
public static ATermAppl minInclusive(final ATermAppl facetValue) { return ATermUtils.makeFacetRestriction(Facet.XSD.MIN_INCLUSIVE.getName(), facetValue); }