java-defects4j-jsoup-56-documenttype

A painting is a person's account of this edit as text, recorded independently of the node mapping - a rendering often has several equally defensible answers where the mapping has one. Deletions and insertions carry no position on the opposite side in a painting, so that panel draws no caret for them.

Before…lines 1–8 unchanged (8 lines)
* A {@code <!DOCTYPE>} node.
*/
11public class DocumentType extends Node {
  public static final String PUBLIC_KEY = "PUBLIC";
  public static final String SYSTEM_KEY = "SYSTEM";
  private static final String NAME = "name";
  private static final String PUBLIC_ID = "publicId";
  private static final String SYSTEM_ID = "systemId";
  // todo: quirk mode from publicId and systemId
18
  /**
   * Create a new doctype element.
   * @param name the doctype's name
   * @param publicId the doctype's public ID
   * @param systemId the doctype's system ID
   * @param baseUri the doctype's base URI
   */
  public DocumentType(String name, String publicId, String systemId, String baseUri) {
      super(baseUri);
28
      attr(NAME, name);
      attr(PUBLIC_ID, publicId);
      attr(SYSTEM_ID, systemId);
  }
33
  /**
   * Create a new doctype element.
   * @param name the doctype's name
   * @param publicId the doctype's public ID
   * @param systemId the doctype's system ID
   * @param baseUri the doctype's base URI
   */
41
42
  @Override
  public String nodeName() {
      return "#doctype";
  }
47
…lines 48–51 unchanged (4 lines)
          accum.append("<!doctype");
      } else {
          accum.append("<!DOCTYPE");
      }
      if (has(NAME))
          accum.append(" ").append(attr(NAME));
      if (has(PUBLIC_ID))
          accum.append(" PUBLIC \"").append(attr(PUBLIC_ID)).append('"');
      if (has(SYSTEM_ID))
          accum.append(" \"").append(attr(SYSTEM_ID)).append('"');
      accum.append('>');
  }
64
  @Override
…lines 66–73 unchanged (8 lines)

After…lines 1–8 unchanged (8 lines)
* A {@code <!DOCTYPE>} node.
*/
11public class DocumentType extends Node {
  public static final String PUBLIC_KEY = "PUBLIC";
  public static final String SYSTEM_KEY = "SYSTEM";
  private static final String NAME = "name";
  private static final String PUB_SYS_KEY = "pubSysKey"; // PUBLIC or SYSTEM
  private static final String PUBLIC_ID = "publicId";
  private static final String SYSTEM_ID = "systemId";
  // todo: quirk mode from publicId and systemId
19
  /**
   * Create a new doctype element.
…lines 22–25 unchanged (4 lines)
   */
  public DocumentType(String name, String publicId, String systemId, String baseUri) {
      super(baseUri);
29
      attr(NAME, name);
      attr(PUBLIC_ID, publicId);
      if (has(PUBLIC_ID)) {
          attr(PUB_SYS_KEY, PUBLIC_KEY);
      }
      attr(SYSTEM_ID, systemId);
  }
37
  /**
   * Create a new doctype element.
   * @param name the doctype's name
   * @param publicId the doctype's public ID
   * @param systemId the doctype's system ID
   * @param baseUri the doctype's base URI
   */
  public DocumentType(String name, String pubSysKey, String publicId, String systemId, String baseUri) {
      super(baseUri);
47
      attr(NAME, name);
      if (pubSysKey != null) {
          attr(PUB_SYS_KEY, pubSysKey);
      }
      attr(PUBLIC_ID, publicId);
      attr(SYSTEM_ID, systemId);
  }
55
  @Override
  public String nodeName() {
      return "#doctype";
  }
60
…lines 61–64 unchanged (4 lines)
          accum.append("<!doctype");
      } else {
          accum.append("<!DOCTYPE");
      }
      if (has(NAME))
          accum.append(" ").append(attr(NAME));
      if (has(PUB_SYS_KEY))
          accum.append(" ").append(attr(PUB_SYS_KEY));
      if (has(PUBLIC_ID))
          accum.append(" \"").append(attr(PUBLIC_ID)).append('"');
      if (has(SYSTEM_ID))
          accum.append(" \"").append(attr(SYSTEM_ID)).append('"');
      accum.append('>');
  }
79
  @Override
…lines 81–88 unchanged (8 lines)

Before…lines 1–8 unchanged (8 lines)
* A {@code <!DOCTYPE>} node.
*/
11public class DocumentType extends Node {
  public static final String PUBLIC_KEY = "PUBLIC";
  public static final String SYSTEM_KEY = "SYSTEM";
  private static final String NAME = "name";
  private static final String PUBLIC_ID = "publicId";
  private static final String SYSTEM_ID = "systemId";
  // todo: quirk mode from publicId and systemId
18
  /**
   * Create a new doctype element.
   * @param name the doctype's name
   * @param publicId the doctype's public ID
   * @param systemId the doctype's system ID
   * @param baseUri the doctype's base URI
   */
  public DocumentType(String name, String publicId, String systemId, String baseUri) {
      super(baseUri);
28
      attr(NAME, name);
      attr(PUBLIC_ID, publicId);
      attr(SYSTEM_ID, systemId);
  }
33
  /**
   * Create a new doctype element.
   * @param name the doctype's name
   * @param publicId the doctype's public ID
   * @param systemId the doctype's system ID
   * @param baseUri the doctype's base URI
   */
41
42
  @Override
  public String nodeName() {
      return "#doctype";
  }
47
…lines 48–51 unchanged (4 lines)
          accum.append("<!doctype");
      } else {
          accum.append("<!DOCTYPE");
      }
      if (has(NAME))
          accum.append(" ").append(attr(NAME));
      if (has(PUBLIC_ID))
          accum.append(" PUBLIC \"").append(attr(PUBLIC_ID)).append('"');
      if (has(SYSTEM_ID))
          accum.append(" \"").append(attr(SYSTEM_ID)).append('"');
      accum.append('>');
  }
64
  @Override
…lines 66–73 unchanged (8 lines)

After…lines 1–8 unchanged (8 lines)
* A {@code <!DOCTYPE>} node.
*/
11public class DocumentType extends Node {
  public static final String PUBLIC_KEY = "PUBLIC";
  public static final String SYSTEM_KEY = "SYSTEM";
  private static final String NAME = "name";
  private static final String PUB_SYS_KEY = "pubSysKey"; // PUBLIC or SYSTEM
  private static final String PUBLIC_ID = "publicId";
  private static final String SYSTEM_ID = "systemId";
  // todo: quirk mode from publicId and systemId
19
  /**
   * Create a new doctype element.
…lines 22–25 unchanged (4 lines)
   */
  public DocumentType(String name, String publicId, String systemId, String baseUri) {
      super(baseUri);
29
      attr(NAME, name);
      attr(PUBLIC_ID, publicId);
      if (has(PUBLIC_ID)) {
          attr(PUB_SYS_KEY, PUBLIC_KEY);
      }
      attr(SYSTEM_ID, systemId);
  }
37
  /**
   * Create a new doctype element.
   * @param name the doctype's name
   * @param publicId the doctype's public ID
   * @param systemId the doctype's system ID
   * @param baseUri the doctype's base URI
   */
  public DocumentType(String name, String pubSysKey, String publicId, String systemId, String baseUri) {
      super(baseUri);
47
      attr(NAME, name);
      if (pubSysKey != null) {
          attr(PUB_SYS_KEY, pubSysKey);
      }
      attr(PUBLIC_ID, publicId);
      attr(SYSTEM_ID, systemId);
  }
55
  @Override
  public String nodeName() {
      return "#doctype";
  }
60
…lines 61–64 unchanged (4 lines)
          accum.append("<!doctype");
      } else {
          accum.append("<!DOCTYPE");
      }
      if (has(NAME))
          accum.append(" ").append(attr(NAME));
      if (has(PUB_SYS_KEY))
          accum.append(" ").append(attr(PUB_SYS_KEY));
      if (has(PUBLIC_ID))
          accum.append(" \"").append(attr(PUBLIC_ID)).append('"');
      if (has(SYSTEM_ID))
          accum.append(" \"").append(attr(SYSTEM_ID)).append('"');
      accum.append('>');
  }
79
  @Override
…lines 81–88 unchanged (8 lines)

Before…lines 1–8 unchanged (8 lines)
* A {@code <!DOCTYPE>} node.
*/
11public class DocumentType extends Node {
  public static final String PUBLIC_KEY = "PUBLIC";
  public static final String SYSTEM_KEY = "SYSTEM";
  private static final String NAME = "name";
  private static final String PUBLIC_ID = "publicId";
  private static final String SYSTEM_ID = "systemId";
  // todo: quirk mode from publicId and systemId
18
  /**
   * Create a new doctype element.
   * @param name the doctype's name
   * @param publicId the doctype's public ID
   * @param systemId the doctype's system ID
   * @param baseUri the doctype's base URI
   */
  public DocumentType(String name, String publicId, String systemId, String baseUri) {
      super(baseUri);
28
      attr(NAME, name);
      attr(PUBLIC_ID, publicId);
      attr(SYSTEM_ID, systemId);
  }
33
  /**
   * Create a new doctype element.
   * @param name the doctype's name
   * @param publicId the doctype's public ID
   * @param systemId the doctype's system ID
   * @param baseUri the doctype's base URI
   */
41
42
  @Override
  public String nodeName() {
      return "#doctype";
  }
47
…lines 48–51 unchanged (4 lines)
          accum.append("<!doctype");
      } else {
          accum.append("<!DOCTYPE");
      }
      if (has(NAME))
          accum.append(" ").append(attr(NAME));
      if (has(PUBLIC_ID))
          accum.append(" PUBLIC \"").append(attr(PUBLIC_ID)).append('"');
      if (has(SYSTEM_ID))
          accum.append(" \"").append(attr(SYSTEM_ID)).append('"');
      accum.append('>');
  }
64
  @Override
…lines 66–73 unchanged (8 lines)

After…lines 1–8 unchanged (8 lines)
* A {@code <!DOCTYPE>} node.
*/
11public class DocumentType extends Node {
  public static final String PUBLIC_KEY = "PUBLIC";
  public static final String SYSTEM_KEY = "SYSTEM";
  private static final String NAME = "name";
  private static final String PUB_SYS_KEY = "pubSysKey"; // PUBLIC or SYSTEM
  private static final String PUBLIC_ID = "publicId";
  private static final String SYSTEM_ID = "systemId";
  // todo: quirk mode from publicId and systemId
19
  /**
   * Create a new doctype element.
…lines 22–25 unchanged (4 lines)
   */
  public DocumentType(String name, String publicId, String systemId, String baseUri) {
      super(baseUri);
29
      attr(NAME, name);
      attr(PUBLIC_ID, publicId);
      if (has(PUBLIC_ID)) {
          attr(PUB_SYS_KEY, PUBLIC_KEY);
      }
      attr(SYSTEM_ID, systemId);
  }
37
  /**
   * Create a new doctype element.
   * @param name the doctype's name
   * @param publicId the doctype's public ID
   * @param systemId the doctype's system ID
   * @param baseUri the doctype's base URI
   */
  public DocumentType(String name, String pubSysKey, String publicId, String systemId, String baseUri) {
      super(baseUri);
47
      attr(NAME, name);
      if (pubSysKey != null) {
          attr(PUB_SYS_KEY, pubSysKey);
      }
      attr(PUBLIC_ID, publicId);
      attr(SYSTEM_ID, systemId);
  }
55
  @Override
  public String nodeName() {
      return "#doctype";
  }
60
…lines 61–64 unchanged (4 lines)
          accum.append("<!doctype");
      } else {
          accum.append("<!DOCTYPE");
      }
      if (has(NAME))
          accum.append(" ").append(attr(NAME));
      if (has(PUB_SYS_KEY))
          accum.append(" ").append(attr(PUB_SYS_KEY));
      if (has(PUBLIC_ID))
          accum.append(" \"").append(attr(PUBLIC_ID)).append('"');
      if (has(SYSTEM_ID))
          accum.append(" \"").append(attr(SYSTEM_ID)).append('"');
      accum.append('>');
  }
79
  @Override
…lines 81–88 unchanged (8 lines)

Before

program

package_declaration

package "package"

scoped_identifier

identifier "org"

. "."

identifier "jsoup"

. "."

identifier "nodes"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "io"

. "."

identifier "IOException"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "org"

. "."

identifier "jsoup"

. "."

identifier "helper"

. "."

identifier "StringUtil"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "org"

. "."

identifier "jsoup"

. "."

identifier "nodes"

. "."

identifier "Document"

. "."

identifier "OutputSettings"

. "."

asterisk

* "*"

; ";"

block_comment "/**\n * A {@code <!DOCTYPE>} node.\n */"

class_declaration

modifiers

public "public"

class "class"

identifier "DocumentType"

superclass

extends "extends"

type_identifier "Node"

class_body

{ "{"

field_declaration

modifiers

public "public"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "PUBLIC_KEY"

= "="

string_literal

" "\""

string_fragment "PUBLIC"

" "\""

; ";"

field_declaration

modifiers

public "public"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "SYSTEM_KEY"

= "="

string_literal

" "\""

string_fragment "SYSTEM"

" "\""

; ";"

field_declaration

modifiers

private "private"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "NAME"

= "="

string_literal

" "\""

string_fragment "name"

" "\""

; ";"

field_declaration

modifiers

private "private"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "PUBLIC_ID"

= "="

string_literal

" "\""

string_fragment "publicId"

" "\""

; ";"

field_declaration

modifiers

private "private"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "SYSTEM_ID"

= "="

string_literal

" "\""

string_fragment "systemId"

" "\""

; ";"

line_comment "// todo: quirk mode from publicId and systemId"

block_comment "/**\n * Create a new doctype element.\n * @param name "...

constructor_declaration

modifiers

public "public"

identifier "DocumentType"

formal_parameters

( "("

formal_parameter

type_identifier "String"

identifier "name"

, ","

formal_parameter

type_identifier "String"

identifier "publicId"

, ","

formal_parameter

type_identifier "String"

identifier "systemId"

, ","

formal_parameter

type_identifier "String"

identifier "baseUri"

) ")"

constructor_body

{ "{"

explicit_constructor_invocation

super "super"

argument_list

( "("

identifier "baseUri"

) ")"

; ";"

expression_statement

method_invocation

identifier "attr"

argument_list

( "("

identifier "NAME"

, ","

identifier "name"

) ")"

; ";"

expression_statement

method_invocation

identifier "attr"

argument_list

( "("

identifier "PUBLIC_ID"

, ","

identifier "publicId"

) ")"

; ";"

expression_statement

method_invocation

identifier "attr"

argument_list

( "("

identifier "SYSTEM_ID"

, ","

identifier "systemId"

) ")"

; ";"

} "}"

block_comment "/**\n * Create a new doctype element.\n * @param name "...

method_declaration (+21 nodes collapsed)

method_declaration

modifiers

marker_annotation

@ "@"

identifier "Override"

void_type "void"

identifier "outerHtmlHead"

formal_parameters

( "("

formal_parameter

type_identifier "Appendable"

identifier "accum"

, ","

formal_parameter

integral_type

int "int"

identifier "depth"

, ","

formal_parameter

scoped_type_identifier

type_identifier "Document"

. "."

type_identifier "OutputSettings"

identifier "out"

) ")"

throws

throws "throws"

type_identifier "IOException"

block

{ "{"

if_statement (+72 nodes collapsed)

if_statement (+36 nodes collapsed)

if_statement

if "if"

parenthesized_expression

( "("

method_invocation

identifier "has"

argument_list

( "("

identifier "PUBLIC_ID"

) ")"

expression_statement

method_invocation

identifier "accum"

. "."

identifier "append"

argument_list

( "("

string_literal

" "\""

string_fragment " PUBLIC "

escape_sequence "\\\""

" "\""

) ")"

. "."

identifier "append"

argument_list

( "("

method_invocation

identifier "attr"

argument_list

( "("

identifier "PUBLIC_ID"

) ")"

. "."

identifier "append"

argument_list

( "("

character_literal "'\"'"

) ")"

; ";"

if_statement (+44 nodes collapsed)

expression_statement

method_invocation

identifier "accum"

. "."

identifier "append"

argument_list

( "("

character_literal "'>'"

) ")"

; ";"

} "}"

method_declaration (+28 nodes collapsed)

method_declaration (+34 nodes collapsed)

} "}"

After

program

package_declaration

package "package"

scoped_identifier

identifier "org"

. "."

identifier "jsoup"

. "."

identifier "nodes"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "java"

. "."

identifier "io"

. "."

identifier "IOException"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "org"

. "."

identifier "jsoup"

. "."

identifier "helper"

. "."

identifier "StringUtil"

; ";"

import_declaration

import "import"

scoped_identifier

identifier "org"

. "."

identifier "jsoup"

. "."

identifier "nodes"

. "."

identifier "Document"

. "."

identifier "OutputSettings"

. "."

asterisk

* "*"

; ";"

block_comment "/**\n * A {@code <!DOCTYPE>} node.\n */"

class_declaration

modifiers

public "public"

class "class"

identifier "DocumentType"

superclass

extends "extends"

type_identifier "Node"

class_body

{ "{"

field_declaration

modifiers

public "public"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "PUBLIC_KEY"

= "="

string_literal

" "\""

string_fragment "PUBLIC"

" "\""

; ";"

field_declaration

modifiers

public "public"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "SYSTEM_KEY"

= "="

string_literal

" "\""

string_fragment "SYSTEM"

" "\""

; ";"

field_declaration

modifiers

private "private"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "NAME"

= "="

string_literal

" "\""

string_fragment "name"

" "\""

; ";"

field_declaration

modifiers

private "private"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "PUB_SYS_KEY"

= "="

string_literal

" "\""

string_fragment "pubSysKey"

" "\""

; ";"

line_comment "// PUBLIC or SYSTEM"

field_declaration

modifiers

private "private"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "PUBLIC_ID"

= "="

string_literal

" "\""

string_fragment "publicId"

" "\""

; ";"

field_declaration

modifiers

private "private"

static "static"

final "final"

type_identifier "String"

variable_declarator

identifier "SYSTEM_ID"

= "="

string_literal

" "\""

string_fragment "systemId"

" "\""

; ";"

line_comment "// todo: quirk mode from publicId and systemId"

block_comment "/**\n * Create a new doctype element.\n * @param name "...

constructor_declaration

modifiers

public "public"

identifier "DocumentType"

formal_parameters

( "("

formal_parameter

type_identifier "String"

identifier "name"

, ","

formal_parameter

type_identifier "String"

identifier "publicId"

, ","

formal_parameter

type_identifier "String"

identifier "systemId"

, ","

formal_parameter

type_identifier "String"

identifier "baseUri"

) ")"

constructor_body

{ "{"

explicit_constructor_invocation

super "super"

argument_list

( "("

identifier "baseUri"

) ")"

; ";"

expression_statement

method_invocation

identifier "attr"

argument_list

( "("

identifier "NAME"

, ","

identifier "name"

) ")"

; ";"

expression_statement

method_invocation

identifier "attr"

argument_list

( "("

identifier "PUBLIC_ID"

, ","

identifier "publicId"

) ")"

; ";"

if_statement

if "if"

parenthesized_expression

( "("

method_invocation

identifier "has"

argument_list

( "("

identifier "PUBLIC_ID"

) ")"

block

{ "{"

expression_statement

method_invocation

identifier "attr"

argument_list

( "("

identifier "PUB_SYS_KEY"

, ","

identifier "PUBLIC_KEY"

) ")"

; ";"

} "}"

expression_statement

method_invocation

identifier "attr"

argument_list

( "("

identifier "SYSTEM_ID"

, ","

identifier "systemId"

) ")"

; ";"

} "}"

block_comment "/**\n * Create a new doctype element.\n * @param name "...

constructor_declaration

modifiers

public "public"

identifier "DocumentType"

formal_parameters

( "("

formal_parameter

type_identifier "String"

identifier "name"

, ","

formal_parameter

type_identifier "String"

identifier "pubSysKey"

, ","

formal_parameter

type_identifier "String"

identifier "publicId"

, ","

formal_parameter

type_identifier "String"

identifier "systemId"

, ","

formal_parameter

type_identifier "String"

identifier "baseUri"

) ")"

constructor_body

{ "{"

explicit_constructor_invocation

super "super"

argument_list

( "("

identifier "baseUri"

) ")"

; ";"

expression_statement

method_invocation

identifier "attr"

argument_list

( "("

identifier "NAME"

, ","

identifier "name"

) ")"

; ";"

if_statement

if "if"

parenthesized_expression

( "("

binary_expression

identifier "pubSysKey"

!= "!="

null_literal "null"

) ")"

block

{ "{"

expression_statement

method_invocation

identifier "attr"

argument_list

( "("

identifier "PUB_SYS_KEY"

, ","

identifier "pubSysKey"

) ")"

; ";"

} "}"

expression_statement

method_invocation

identifier "attr"

argument_list

( "("

identifier "PUBLIC_ID"

, ","

identifier "publicId"

) ")"

; ";"

expression_statement

method_invocation

identifier "attr"

argument_list

( "("

identifier "SYSTEM_ID"

, ","

identifier "systemId"

) ")"

; ";"

} "}"

method_declaration (+21 nodes collapsed)

method_declaration

modifiers

marker_annotation

@ "@"

identifier "Override"

void_type "void"

identifier "outerHtmlHead"

formal_parameters

( "("

formal_parameter

type_identifier "Appendable"

identifier "accum"

, ","

formal_parameter

integral_type

int "int"

identifier "depth"

, ","

formal_parameter

scoped_type_identifier

type_identifier "Document"

. "."

type_identifier "OutputSettings"

identifier "out"

) ")"

throws

throws "throws"

type_identifier "IOException"

block

{ "{"

if_statement (+72 nodes collapsed)

if_statement (+36 nodes collapsed)

if_statement

if "if"

parenthesized_expression

( "("

method_invocation

identifier "has"

argument_list

( "("

identifier "PUB_SYS_KEY"

) ")"

expression_statement

method_invocation

identifier "accum"

. "."

identifier "append"

argument_list

( "("

string_literal

" "\""

string_fragment " "

" "\""

) ")"

. "."

identifier "append"

argument_list

( "("

method_invocation

identifier "attr"

argument_list

( "("

identifier "PUB_SYS_KEY"

) ")"

; ";"

if_statement

if "if"

parenthesized_expression

( "("

method_invocation

identifier "has"

argument_list

( "("

identifier "PUBLIC_ID"

) ")"

expression_statement

method_invocation

identifier "accum"

. "."

identifier "append"

argument_list

( "("

string_literal

" "\""

string_fragment " "

escape_sequence "\\\""

" "\""

) ")"

. "."

identifier "append"

argument_list

( "("

method_invocation

identifier "attr"

argument_list

( "("

identifier "PUBLIC_ID"

) ")"

. "."

identifier "append"

argument_list

( "("

character_literal "'\"'"

) ")"

; ";"

if_statement (+44 nodes collapsed)

expression_statement

method_invocation

identifier "accum"

. "."

identifier "append"

argument_list

( "("

character_literal "'>'"

) ")"

; ";"

} "}"

method_declaration (+28 nodes collapsed)

method_declaration (+34 nodes collapsed)

} "}"