se.chalmers.cs.gf.translate
Class GFCMTranslator

java.lang.Object
  se.chalmers.cs.gf.translate.Translator
      se.chalmers.cs.gf.translate.GFCMTranslator

public class GFCMTranslator
extends Translator

A Translator which also provides access to the set of GF modules which it uses.

Constructor Summary

GFCMTranslator(java.lang.String name, Parsers parsers, TypeAnnotator annotator, Linearizers linearizers, Unlexers unlexers, GFCMModules modules)

Method Summary

GFCMModules

getModules() Gets the GF modules used by this translator.

Methods inherited from class se.chalmers.cs.gf.translate.Translator

getLinearizer, getName, getParser, linearize, linearizeWithAll, linearizeWithRanges, listLinearizers, listParsers, parse, parse, parseWithAll, translate, translateFromAll, translateFromAllToAll, translateToAll

Methods inherited from class java.lang.Object

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

Constructor Detail

GFCMTranslator

public GFCMTranslator(java.lang.String name,
                      Parsers parsers,
                      TypeAnnotator annotator,
                      Linearizers linearizers,
                      Unlexers unlexers,
                      GFCMModules modules)

Parameters:

name - The name to use for the translator.

parsers - The parsers that this translator should use.

annotator - A type annotator.

linearizers - The linearizers that this translator should use.

Method Detail

getModules

public GFCMModules getModules()

Gets the GF modules used by this translator.