Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
  * Copyright (c) 2006 Henri Sivonen
  * Permission is hereby granted, free of charge, to any person obtaining a 
  * copy of this software and associated documentation files (the "Software"), 
  * to deal in the Software without restriction, including without limitation 
  * the rights to use, copy, modify, merge, publish, distribute, sublicense, 
  * and/or sell copies of the Software, and to permit persons to whom the 
  * Software is furnished to do so, subject to the following conditions:
 * The above copyright notice and this permission notice shall be included in 
 * all copies or substantial portions of the Software.
package org.whattf.datatype;
This datatype shall accept any string that consists of one or more characters and contains at least one character that is not a whitespace character.

The ID-type of this datatype is IDREFS.

public final class Idrefs extends AbstractDatatype {

The singleton instance.
    public static final Idrefs THE_INSTANCE = new Idrefs();
Package-private constructor
    private Idrefs() {

Checks that the value is a proper list of HTML5 ids.

    public void checkValid(CharSequence literalthrows DatatypeException {
        for (int i = 0; i < literal.length(); i++) {
            char c = literal.charAt(i);
            if (!isWhitespace(c)) {
        throw newDatatypeException("An IDREFS value must contain at least one non-whitespace character.");
    public String getName() {
        return "id references";
New to GrepCode? Check out our FAQ X