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; i<child.length; i++ ) buildSubstitutables( head, child[i], 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; i<child.length; i++ ) buildSubstitutables( head, child[i], 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; i<child.length; i++ ) buildSubstitutables( head, child[i], 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; i<child.length; i++ ) buildSubstitutables( head, child[i], 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; i<child.length; i++ ) buildSubstitutables( head, child[i], substitutables ); } }