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

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

Field Detail

umlCheckerClass

protected static final java.lang.String umlCheckerClass
See Also:
Constant Field Values
Constructor Detail

MofScriptParserFactory

public MofScriptParserFactory()
Method Detail

createModelChecker

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

Parameters:
execMgr -
Returns: