com.sun.xml.xsom.impl.ImplUtil Maven / Gradle / Ivy
/*
* Copyright (c) 1997, 2022 Oracle and/or its affiliates. All rights reserved.
*
* This program and the accompanying materials are made available under the
* terms of the Eclipse Distribution License v. 1.0, which is available at
* http://www.eclipse.org/org/documents/edl-v10.php.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
package com.sun.xml.xsom.impl;
import com.sun.xml.xsom.XSComplexType;
import com.sun.xml.xsom.XSType;
import java.util.ArrayList;
import java.util.HashSet;
import java.util.Iterator;
import java.util.List;
import java.util.Set;
/**
*
*
* @author
* Kohsuke Kawaguchi ([email protected])
*/
class ImplUtil {
private static XSType[] listDirectSubstitutables( XSType _this ) {
List r = new ArrayList<>();
// TODO: handle @block
Iterator itr = ((SchemaImpl)_this.getOwnerSchema()).parent.iterateTypes();
while( itr.hasNext() ) {
XSType t = itr.next();
if( t.getBaseType()==_this )
r.add(t);
}
return r.toArray(new XSType[0]);
}
public static XSType[] listSubstitutables( XSType _this ) {
Set substitables = new HashSet<>();
buildSubstitutables( _this, substitables );
return substitables.toArray(new XSType[0]);
}
public static void buildSubstitutables( XSType _this, Set substitutables ) {
if( _this.isLocal() ) return;
buildSubstitutables( _this, _this, substitutables );
}
private static void buildSubstitutables( XSType head, XSType _this, Set substitutables ) {
if(!isSubstitutable(head,_this))
return; // no derived type of _this can substitute head.
if(substitutables.add(_this)) {
XSType[] child = listDirectSubstitutables(_this);
for( int i=0; iValidation Rule: Schema-Validity Assessment (Element) 1.2.1.2.4
*/
private static boolean isSubstitutable( XSType _base, XSType derived ) {
// too ugly to the point that it's almost unbearable.
// I mean, it's not even transitive. Thus we end up calling this method
// for each candidate
if( _base.isComplexType() ) {
XSComplexType base = _base.asComplexType();
for( ; base!=derived; derived=derived.getBaseType() ) {
if( base.isSubstitutionProhibited( derived.getDerivationMethod() ) )
return false; // Type Derivation OK (Complex)-1
}
return true;
} else {
// simple type don't have any @block
return true;
}
}
}