[sc34wg3] TMCL and MAX_INT

[Lars Heuer]

Hi Lars,

[...]
> I agree with you on the conditional parameters proposal, but what  
> about the cardinality topics?

I don't find them very intuitive but acceptable. Even if the switch to
xsd:float / xsd:double has disadvantages, I find it more intuitive. I
wonder if TMCL could use a mixture of integers and, let's say,
doubles. It would be possible to specify a range with integers and
doubles. If the fractional part of a double is not zero, the TMCL
processor throws an error. This would make values like "1.23" invalid.

These examples would be valid then:

      constraint-x isa tmcl:something
          tmcl:card-min: 1.0;
          tmcl:card-max: 7 .


      constraint-y isa tmcl:something
          tmcl:card-min: 1;
          tmcl:card-max: INF .


and this would cause an error:

      constraint-err1 isa tmcl:something
          tmcl:card-min: 1.9;
          tmcl:card-max: 7 .

Best regards,
Lars
-- 
Semagia 
<http://www.semagia.com>