Class DefAttCompatibilityChecker

    • Field Detail

      • defaultedAttributes

        private final java.util.Map defaultedAttributes
      • contextDependentTypeChecker

        private ExpressionWalker contextDependentTypeChecker
        checks if the expression contains context-dependent datatypes. If so, it reports an error and throws an Abort exception.
      • CERR_DEFVALUE_NAME_IS_NOT_SIMPLE

        public static final java.lang.String CERR_DEFVALUE_NAME_IS_NOT_SIMPLE
        See Also:
        Constant Field Values
      • CERR_DEFVALUE_INVALID

        public static final java.lang.String CERR_DEFVALUE_INVALID
        See Also:
        Constant Field Values
      • CERR_DEFVALUE_NOT_OPTIONAL

        public static final java.lang.String CERR_DEFVALUE_NOT_OPTIONAL
        See Also:
        Constant Field Values
      • CERR_DEFVALUE_REPEATABLE

        public static final java.lang.String CERR_DEFVALUE_REPEATABLE
        See Also:
        Constant Field Values
      • CERR_DEFVALUE_COMPLEX_ELEMENTNAME

        public static final java.lang.String CERR_DEFVALUE_COMPLEX_ELEMENTNAME
        See Also:
        Constant Field Values
      • CERR_DEFVALUE_DIFFERENT_VALUES

        public static final java.lang.String CERR_DEFVALUE_DIFFERENT_VALUES
        See Also:
        Constant Field Values
      • CERR_DEFVALUE_CONTEXT_DEPENDENT_TYPE

        public static final java.lang.String CERR_DEFVALUE_CONTEXT_DEPENDENT_TYPE
        See Also:
        Constant Field Values
      • CERR_DEFVALUE_COMPETING_ELEMENTS

        public static final java.lang.String CERR_DEFVALUE_COMPETING_ELEMENTS
        See Also:
        Constant Field Values
    • Constructor Detail

      • DefAttCompatibilityChecker

        DefAttCompatibilityChecker​(RELAXNGCompReader _reader,
                                   java.util.Map _defaultedAttributes)
    • Method Detail

      • isEpsilon

        private boolean isEpsilon​(Expression exp)
        returns true if the exp is equivalent to <empty/> after the simplification.
      • test

        public void test()
        tests the compatibility with the default attribute feature.