org.eclipse.mofscript.parser
Class MofScriptParserFactory

java.lang.Object
  extended by org.eclipse.mofscript.parser.MofScriptParserFactory

public class MofScriptParserFactory
extends java.lang.Object

Factory class for model checker.

Author:
jol

Constructor Summary
MofScriptParserFactory()
           
 
Method Summary
static MofScriptModelChecker createModelChecker(ExecutionManager execMgr)
          Creates an instance of the ModelChecker
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MofScriptParserFactory

public MofScriptParserFactory()
Method Detail

createModelChecker

public static MofScriptModelChecker createModelChecker(ExecutionManager execMgr)
Creates an instance of the ModelChecker

Parameters:
execMgr -
Returns: