public class CompileFile
extends java.lang.Object
| Constructor and Description |
|---|
CompileFile() |
| Modifier and Type | Method and Description |
|---|---|
static Compilation |
read(gnu.kawa.io.InPort port,
SourceMessages messages) |
static Compilation |
read(java.lang.String name,
SourceMessages messages) |
public static final Compilation read(java.lang.String name, SourceMessages messages) throws java.io.IOException, SyntaxException
java.io.IOExceptionSyntaxExceptionpublic static final Compilation read(gnu.kawa.io.InPort port, SourceMessages messages) throws java.io.IOException, SyntaxException
java.io.IOExceptionSyntaxException