jena-arq/src/main/java/org/apache/jena/riot/out/TurtleValidate.java

/*
 * Licensed to the Apache Software Foundation (ASF) under one
 * or more contributor license agreements.  See the NOTICE file
 * distributed with this work for additional information
 * regarding copyright ownership.  The ASF licenses this file
 * to you under the Apache License, Version 2.0 (the
 * "License"); you may not use this file except in compliance
 * with the License.  You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package org.apache.jena.riot.out;

import java.text.CharacterIterator;
import java.text.StringCharacterIterator;

import org.apache.jena.riot.RiotException;


/** Validation of Turtle terms */
public class TurtleValidate
{
    // Not SPARQL, where internal (not first or last) dots in the local part are legal.
    // Checks of prefixed names
    // These tests must agree, or be more restrictive, than the parser. 
    protected static boolean checkValidPrefixedName(String ns, String local)
    {
        return checkValidPrefixPart(ns) && checkValidNamePart(local);
    }
    
    /* http://www.w3.org/TeamSubmission/turtle/#sec-grammar-grammar
     * [27]    qname           ::=     prefixName? ':' name?
     * [30]    nameStartChar   ::=     [A-Z] | "_" | [a-z] | [#x00C0-#x00D6] | [#x00D8-#x00F6] | [#x00F8-#x02FF] | [#x0370-#x037D] | [#x037F-#x1FFF] | [#x200C-#x200D] | [#x2070-#x218F] | [#x2C00-#x2FEF] | [#x3001-#xD7FF] | [#xF900-#xFDCF] | [#xFDF0-#xFFFD] | [#x10000-#xEFFFF]
     * [31]    nameChar        ::=     nameStartChar | '-' | [0-9] | #x00B7 | [#x0300-#x036F] | [#x203F-#x2040]
     * [32]    name            ::=     nameStartChar nameChar*
     * [33]    prefixName      ::=     ( nameStartChar - '_' ) nameChar*
     */
    
    protected static boolean checkValidPrefixPart(String s)
    {
        if ( s.length() == 0 )
            return true;
        CharacterIterator cIter = new StringCharacterIterator(s);
        char ch = cIter.first();
        if ( ! checkNameStartChar(ch) )
            return false;
        if ( ch == '_' )    // Can't start with _ (bnodes labels handled separately) 
            return false;
        return checkNameTail(cIter);
    }

  private static boolean checkValidPrefixName(String prefixedName)
  {
      // Split it to get the parts.
      int i = prefixedName.indexOf(':');
      if ( i < 0 )
          throw new RiotException("Broken short form -- "+prefixedName);
      String p = prefixedName.substring(0,i);
      String x = prefixedName.substring(i+1); 
      // Check legality
      if ( checkValidPrefixedName(p, x) )
          return true;
      return false;
  }
    
    protected static boolean checkValidNamePart(String s)
    {
        if ( s.length() == 0 )
            return true; 
        CharacterIterator cIter = new StringCharacterIterator(s);
        char ch = cIter.first();
        if ( ! checkNameStartChar(ch) )
            return false;
        return checkNameTail(cIter);
    }
    
//  private static boolean checkValidLocalname(String localname)
//  {
//      if ( localname.length() == 0 )
//          return true;
//      
//      for ( int idx = 0; idx < localname.length(); idx++ )
//      {
//          char ch = localname.charAt(idx);
//          if ( ! validPNameChar(ch) )
//              return false;
//      }
//      
//      // Test start and end - at least one character in the name.
//      
//      if ( localname.endsWith(".") )
//          return false;
//      if ( localname.startsWith(".") )
//          return false;
//      
//      return true;
//  }
//  
//  private static boolean validPNameChar(char ch)
//  {
//      if ( Character.isLetterOrDigit(ch) ) return true;
//      if ( ch == '.' )    return true;
//      if ( ch == '-' )    return true;
//      if ( ch == '_' )    return true;
//      return false;
//  }

    
    private static boolean checkNameTail(CharacterIterator cIter)
    {
        // Assumes cIter.first already called but nothing else.
        // Skip first char.
        char ch = cIter.next();
        for (; ch != java.text.CharacterIterator.DONE; ch = cIter.next() )
        {
            if ( ! checkNameChar(ch) )
                return false;
        } 
        return true;
    }

    protected static boolean checkNameStartChar(char ch)
    {
        if ( Character.isLetter(ch) )
            return true;
        if ( ch == '_' )
            return true;
        return false;
    }

    // Dotted parts for SPARQL?
    protected static boolean checkNameChar(char ch)
    {
        if ( Character.isLetterOrDigit(ch) )
            return true;
        if ( ch == '_' )
            return true;
        if ( ch == '-' )
            return true;
        return false;
    }

    
    

}