frege.runtime

Class CompilerSupport

java.lang.Object

frege.runtime.CompilerSupport

public class CompilerSupport
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
CompilerSupport()

Method Summary

Methods

Modifier and Type	Method and Description
static Meta.FregePackage	getFrege(java.lang.ClassLoader loader, java.lang.String pack)
static Meta.FunctionPointers	getFunctions(java.lang.ClassLoader loader, java.lang.String pack)
static java.lang.String	slurp(java.lang.String filename, java.lang.String encoding) Reads the named (text) file in the given encoding.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CompilerSupport

public CompilerSupport()

Method Detail

getFrege

public static Meta.FregePackage getFrege(java.lang.ClassLoader loader,
                         java.lang.String pack)
                                  throws java.lang.ClassNotFoundException

Throws:

java.lang.ClassNotFoundException

getFunctions

public static Meta.FunctionPointers getFunctions(java.lang.ClassLoader loader,
                                 java.lang.String pack)
                                          throws java.lang.ClassNotFoundException

Throws:

java.lang.ClassNotFoundException

slurp

public static java.lang.String slurp(java.lang.String filename,
                     java.lang.String encoding)
                              throws java.io.UnsupportedEncodingException,
                                     java.io.IOException

Reads the named (text) file in the given encoding.

Returns:

a String representing the contents of the file

Throws:

UnsupportedEncodingException, - IOException

java.io.UnsupportedEncodingException

java.io.IOException