public final class SourceFile extends Object
Modifier and Type | Field and Description |
---|---|
String |
contents |
LineNumberTable |
lineNumberTable |
String |
name |
Constructor and Description |
---|
SourceFile(String name,
String contents) |
public final String name
public final String contents
public final LineNumberTable lineNumberTable
public String getSnippet(SourcePosition position)
Copyright © 2009-2014 Google. All Rights Reserved.