__init__.py File Reference

Namespaces
	frontEnd
	DISc Frontend Selector.

Functions
def	frontEnd.setUp
	Set up the front end from the command line arguments. More...
def	frontEnd.set
	Select a frontend to use. More...
def	frontEnd.fromString
	Convert the given string to IGR. More...
def	frontEnd.fromFile
	Convert the contents of a file to IGR. More...

Variables
tuple	frontEnd.log = logging.getLogger(__name__)
	frontEnd.frontEnd = None
	Store the currently selected front end. More...
dictionary	frontEnd.frontEnds
	Store the file extensions and the front ends they map to. More...