se.chalmers.cs.gf.gfcutil
Class GFCMModules

java.lang.Object
  se.chalmers.cs.gf.gfcutil.GFCMModules

public class GFCMModules
extends java.lang.Object

Contains a collection of GFC modules which share an abstract syntax.

Constructor Summary

GFCMModules(se.chalmers.cs.gf.GFC.Absyn.Canon gfc)

Method Summary

GFCModule	getMainAbstractModule() Gets the main abstract module.
java.util.List<GFCModule>	getMainConcreteModules() Gets the main concrete modules, i.e.
GFCModule	getModule(java.lang.String name) Gets a module by name.
static GFCMModules	loadGFCM(java.io.Reader input) Load a GFCM grammar from a Reader.
static GFCMModules	loadGFCM(java.lang.String file) Load a GFCM grammar from a file.

Methods inherited from class java.lang.Object

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

Constructor Detail

GFCMModules

public GFCMModules(se.chalmers.cs.gf.GFC.Absyn.Canon gfc)

Method Detail

getModule

public GFCModule getModule(java.lang.String name)

Gets a module by name.

getMainAbstractModule

public GFCModule getMainAbstractModule()

Gets the main abstract module.

getMainConcreteModules

public java.util.List<GFCModule> getMainConcreteModules()

Gets the main concrete modules, i.e. those that are concrete syntaxes for the main abstract module.

loadGFCM

public static GFCMModules loadGFCM(java.lang.String file)
                            throws java.io.FileNotFoundException,
                                   java.io.IOException

Load a GFCM grammar from a file.

Parameters:

file - Filename.

Throws:

java.io.FileNotFoundException

java.io.IOException

loadGFCM

public static GFCMModules loadGFCM(java.io.Reader input)
                            throws java.io.IOException

Load a GFCM grammar from a Reader.

Throws:

java.io.IOException