public static final class FrameDisplayer.DisplayedFrame extends Object
Modifier and Type | Class and Description |
---|---|
static class |
FrameDisplayer.DisplayedFrame.Builder
Builder of the
FrameDisplayer.DisplayedFrame . |
Modifier and Type | Method and Description |
---|---|
String |
getDescription()
Get a description of the frame.
|
String |
getDisplayName()
Get a display name of the frame.
|
int |
getLine()
Get a 1-based line number of the frame.
|
URI |
getSourceURI()
Get URI of the source file associated with the frame.
|
static FrameDisplayer.DisplayedFrame.Builder |
newBuilder(String displayName)
Creates a new builder with a user visible display name of the frame.
|
public static FrameDisplayer.DisplayedFrame.Builder newBuilder(String displayName)
public String getDisplayName()
public String getDescription()
public int getLine()
@CheckForNull public URI getSourceURI()
null
when unknown.