ujf.verimag.bip.parser.actions
Class Parser

java.lang.Object
  ujf.verimag.bip.parser.actions.Parser

public class Parser
extends java.lang.Object

Constructor Summary

Parser()

Method Summary

static Module[]	doFile(java.io.File f, java.lang.String args, java.util.List<java.lang.String> includeDirectories, java.util.Map<java.lang.String,java.lang.String> libFullNames, ErrorMessage msg)
Module	getModel()
static java.lang.String	modelFileName(java.lang.String sourceFileName)
static Module[]	parse(java.lang.String args, java.util.List<java.lang.String> includeDirectories, java.util.Map<java.lang.String,java.lang.String> libFullNames, ErrorMessage msg)
static Module	parseFile(CharStream s, java.lang.String args, java.util.List<java.lang.String> includeDirectories, java.util.Map<java.lang.String,java.lang.String> libFullNames, ErrorMessage msg)
static Module	readModel(java.lang.String modelName, java.util.List<java.lang.String> includeDirectories, java.util.Map<java.lang.String,java.lang.String> libFullNames)
static java.lang.String	timedModelFileName(java.lang.String sourceFileName)

Methods inherited from class java.lang.Object

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

Constructor Detail

Parser

public Parser()

Method Detail

parse

public static Module[] parse(java.lang.String args,
                             java.util.List<java.lang.String> includeDirectories,
                             java.util.Map<java.lang.String,java.lang.String> libFullNames,
                             ErrorMessage msg)

getModel

public Module getModel()

doFile

public static Module[] doFile(java.io.File f,
                              java.lang.String args,
                              java.util.List<java.lang.String> includeDirectories,
                              java.util.Map<java.lang.String,java.lang.String> libFullNames,
                              ErrorMessage msg)
                       throws java.lang.Exception

Throws:

java.lang.Exception

parseFile

public static Module parseFile(CharStream s,
                               java.lang.String args,
                               java.util.List<java.lang.String> includeDirectories,
                               java.util.Map<java.lang.String,java.lang.String> libFullNames,
                               ErrorMessage msg)

modelFileName

public static java.lang.String modelFileName(java.lang.String sourceFileName)
                                      throws java.io.IOException

Throws:

java.io.IOException

timedModelFileName

public static java.lang.String timedModelFileName(java.lang.String sourceFileName)
                                           throws java.io.IOException

Throws:

java.io.IOException

readModel

public static Module readModel(java.lang.String modelName,
                               java.util.List<java.lang.String> includeDirectories,
                               java.util.Map<java.lang.String,java.lang.String> libFullNames)