frontEnd Namespace Reference

DISc Frontend Selector. More...

Namespaces
	IF1
	DISc IF1 Parser.
	Sisal
	DISc Sisal FrontEnd.

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

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

Detailed Description

DISc Frontend Selector.

This module serves as an interface to any frontend that the user may choose. Any frontEnd module should define a fromString function that is reachable from it's package. (defined in the init file of this package).

Function Documentation

def frontEnd.setUp	(		extension,
			flagVal
	)

Set up the front end from the command line arguments.

Parameters

extension	The extension of the input file.
flagVal	The value of the front end flag.

def frontEnd.set

(

name

)

Select a frontend to use.

Parameters

name	A name that matches a package in the frontEnd package.

def frontEnd.fromString

(

str

)

Convert the given string to IGR.

This simply calls the same method on the selected frontend.

Parameters

str	The string to convert to IGR.

def frontEnd.fromFile

(

path

)

Convert the contents of a file to IGR.

This simply calls fromString() on the contents of the file.

Parameters

path	The path of the file.

Variable Documentation

tuple frontEnd.log = logging.getLogger(__name__)

frontEnd.frontEnd = None

Store the currently selected front end.

dictionary frontEnd.frontEnds

Initial value:

= {
    '.sis' : 'Sisal',
    '.if1' : 'IF1'
}

Store the file extensions and the front ends they map to.