ISSUE-79: Independance of parameters in header
Independance of parameters in header
- State:
- CLOSED
- Product:
- Profile
- Raised by:
- Daniel Peintner
- Opened on:
- 2012-04-12
- Description:
- The profile may advertise profile options in the header as xsd:decimal value.
http://www.w3.org/TR/2012/WD-exi-profile-20120410/#headerIntegration
1. The localValuePartitions parameter is encoded as the sign of the decimal value
2. The maximumNumberOfBuiltInElementGrammars parameter is represented by the first unsigned integer +1
3. The maximumNumberOfBuiltInProductions parameter is represented by the second unsigned integer +1
Currently there is no possibility to account for the use case that the localValuePartitions parameter is set while having no mentioning about the other two "undefined" parameters.
Some wg members believe that having the possibility to set a value to undefined/not-set may be useful and does not hurt compactness. One proposal is to use the following strategy for unsigned integers
0 ... unbounded (EXI 1.0 spec behavior)
1 ... undefined/not-set (e.g, use out-of-bound knowledge for this parameter)
n+2 ... where n is the actual value for this parameter - Related Actions Items:
- No related actions
- Related emails:
- AW: ISSUE-79: Independance of parameters in header [Profile] (from daniel.peintner.ext@siemens.com on 2012-04-25)
- Agenda for 25 April EXI Telecon (from tkamiya@us.fujitsu.com on 2012-04-24)
- RE: ISSUE-79: Independance of parameters in header [Profile] (from tkamiya@us.fujitsu.com on 2012-04-24)
- AW: ISSUE-79: Independance of parameters in header [Profile] (from daniel.peintner.ext@siemens.com on 2012-04-24)
- RE: ISSUE-79: Independance of parameters in header [Profile] (from tkamiya@us.fujitsu.com on 2012-04-23)
- EXI Profile Updates (from daniel.peintner.ext@siemens.com on 2012-04-12)
- ISSUE-79: Independance of parameters in header [Profile] (from sysbot+tracker@w3.org on 2012-04-12)
Related notes:
The WG found no significant use cases for justifying the change.
Takuki Kamiya, 11 Jul 2012, 18:37:40Display change log