org.sintef.mofscript.parser
Class MofScriptParserFactory

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

public class MofScriptParserFactory
extends java.lang.Object

Factory class that creates variants of model checker.

Author:
jol

Field Summary
protected static java.lang.String umlCheckerClass
           
 
Constructor Summary
MofScriptParserFactory()
           
 
Method Summary
static MofScriptModelChecker createModelChecker(ExecutionManager execMgr)
           
 
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)