[DAFFODIL-387] implement facet-check combining for derived simple types

• Type: Sub-task
• Status: Closed
• Priority: Minor
• Resolution: Fixed
• Fix Version/s: s7
• Assignee: Jessie Chab
• Reporter: Mike Beckerle
• Created: 24/Oct/12 20:26
• Updated: 15/Feb/13 20:30
• Resolved: 07/Feb/13 13:26

Description

When a simple type is created by deriving from another simple type, any facet checks specified on the base are inherited by the derived child and combined with locally specified ones as additional restrictions. These are narrowings unless unions of types are used. (which is a separate implementation issue)