public class SourceContext
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
org.eclipse.jdt.core.dom.CompilationUnit |
getCompilationUnit() |
Mercury |
getMercury() |
java.lang.String |
getPackageName() |
java.lang.String |
getPrimaryType() |
java.lang.String |
getQualifiedPrimaryType() |
java.nio.file.Path |
getSourceFile() |
org.eclipse.jface.text.Document |
loadDocument() |
public final Mercury getMercury()
public final java.nio.file.Path getSourceFile()
public final org.eclipse.jdt.core.dom.CompilationUnit getCompilationUnit()
public final java.lang.String getPackageName()
public final java.lang.String getPrimaryType()
public final java.lang.String getQualifiedPrimaryType()
public final org.eclipse.jface.text.Document loadDocument()
throws java.io.IOException
java.io.IOException