public String shortForm(String uri) { // System.out.println("Shortform for " + uri); return shortForm( uri, true ); }
/** * */ public QNameProvider() { uriToPrefix = new Hashtable(); prefixToUri = new Hashtable(); // initialize it with standard stuff setMapping( "owl", OWL ); setMapping( "rdf", RDF ); setMapping( "rdfs", RDFS ); setMapping( "xsd", XSD ); setMapping( "dc", DC ); // setMapping("foaf", FOAF); }
public String longForm(String qname) { String[] str = qname.split( ":" ); return getURI( str[0] ) + str[1]; }
public static int findNameStartIndex(String str) { char[] strChars = str.toCharArray(); int nameStartIndex = -1; boolean foundNameChar = false; for( int strIndex = strChars.length - 1; strIndex >= 0; strIndex-- ) { char letter = strChars[strIndex]; if( isNameStartChar( letter ) ) { nameStartIndex = strIndex; foundNameChar = true; } else if( foundNameChar && !isNameChar( letter ) ) { break; } } return nameStartIndex; }
public String shortForm(String uri, boolean default_to_uri) { String[] bpn = splitURI( uri ); String base, possible_prefix, prefix, name; String qname; + possible_prefix.substring( 1, possible_prefix.length() ); prefix = getPrefix( base ); if( prefix == null ) { while( !setMapping( prefix, base ) ) { prefix = possible_prefix + mod; mod++;
public String toString() { QNameProvider qnames = new QNameProvider(); String str; if( name == null ) str = qnames.shortForm( getPrimitiveType().getName().toString() ) + " " + values; else str = qnames.shortForm( name.toString() ); return str; } }
String[] bpn = new String[3]; nameStart = findLastNameIndex( uriString ); if( nameStart < 0 ) { base = uriString.substring( 0, nameStart ); prefixStart = findNameStartIndex( base ); if( prefixStart < 0 ) { prefixEnd = findNextNonNameIndex( base, prefixStart + 1 ); prefix = uriString.substring( prefixStart, prefixEnd );
static public QNameProvider makeQNameProvider(PrefixMapping mapping) { QNameProvider qnames = new QNameProvider(); Iterator<Map.Entry<String, String>> entries = mapping.getNsPrefixMap().entrySet().iterator(); while( entries.hasNext() ) { Map.Entry<String, String> entry = entries.next(); String prefix = entry.getKey(); String uri = entry.getValue(); qnames.setMapping( prefix, uri ); } return qnames; } }
public static int findNextNonNameIndex(String str, int startIndex) { char[] strChars = str.toCharArray(); int nameIndex = startIndex; for( nameIndex = startIndex; nameIndex < strChars.length; nameIndex++ ) { char letter = strChars[nameIndex]; if( !isNameChar( letter ) ) { break; } } return nameIndex; }
public static boolean isNameChar(char ch) { return (isNameStartChar( ch ) || Character.isDigit( ch ) || ch == '.' || ch == '-'); }
public String shortForm(String uri, boolean default_to_uri) { String[] bpn = splitURI( uri ); String base, possible_prefix, prefix, name; String qname; + possible_prefix.substring( 1, possible_prefix.length() ); prefix = getPrefix( base ); if( prefix == null ) { while( !setMapping( prefix, base ) ) { prefix = possible_prefix + mod; mod++;
public String toString() { QNameProvider qnames = new QNameProvider(); String str; if( isDerived() ) str = qnames.shortForm( getPrimitiveType().getName().toString() ) + " " + (negated?"not":"") + values; else str = qnames.shortForm( name.toString() ); return str; } }
String[] bpn = new String[3]; nameStart = findLastNameIndex( uriString ); if( nameStart < 0 ) { base = uriString.substring( 0, nameStart ); prefixStart = findNameStartIndex( base ); if( prefixStart < 0 ) { prefixEnd = findNextNonNameIndex( base, prefixStart + 1 ); prefix = uriString.substring( prefixStart, prefixEnd );
public static int findNameStartIndex(String str) { char[] strChars = str.toCharArray(); int nameStartIndex = -1; boolean foundNameChar = false; for( int strIndex = strChars.length - 1; strIndex >= 0; strIndex-- ) { char letter = strChars[strIndex]; if( isNameStartChar( letter ) ) { nameStartIndex = strIndex; foundNameChar = true; } else if( foundNameChar && !isNameChar( letter ) ) { break; } } return nameStartIndex; }
public static int findLastNameIndex(String str) { char[] strChars = str.toCharArray(); int nameIndex = -1; for( int strIndex = strChars.length - 1; strIndex >= 0; strIndex-- ) { char letter = strChars[strIndex]; if( isNameChar( letter ) ) { nameIndex = strIndex; } else { break; } } return nameIndex; }
public static boolean isNameChar(char ch) { return (isNameStartChar( ch ) || Character.isDigit( ch ) || ch == '.' || ch == '-'); }
public String shortForm(String uri) { // System.out.println("Shortform for " + uri); return shortForm( uri, true ); }
/** * */ public QNameProvider() { uriToPrefix = new Hashtable(); prefixToUri = new Hashtable(); // initialize it with standard stuff setMapping( "owl", OWL ); setMapping( "rdf", RDF ); setMapping( "rdfs", RDFS ); setMapping( "xsd", XSD ); setMapping( "dc", DC ); // setMapping("foaf", FOAF); }
public static int findNextNonNameIndex(String str, int startIndex) { char[] strChars = str.toCharArray(); int nameIndex = startIndex; for( nameIndex = startIndex; nameIndex < strChars.length; nameIndex++ ) { char letter = strChars[nameIndex]; if( !isNameChar( letter ) ) { break; } } return nameIndex; }
public String longForm(String qname) { String[] str = qname.split( ":" ); return getURI( str[0] ) + str[1]; }