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.IOException
SyntaxException
public static final Compilation read(gnu.kawa.io.InPort port, SourceMessages messages) throws java.io.IOException, SyntaxException
java.io.IOException
SyntaxException