org.sintef.mofscript.uml2Extensions.parser
Class MofScriptUMLModelChecker

java.lang.Object
  extended by org.sintef.mofscript.parser.MofScriptModelChecker
      extended by org.sintef.mofscript.uml2Extensions.parser.MofScriptUMLModelChecker

public class MofScriptUMLModelChecker
extends MofScriptModelChecker

Extension class for semantic check of UML2 models

Author:
jol

Field Summary
 
Fields inherited from class org.sintef.mofscript.parser.MofScriptModelChecker
_currentCreatedTypes, _currentRule, _currentRuleType, _errorMgr, _execMgr, _fileDeclarations, _importedTransformations, _metamodelsOk, _postCheckReferences, _ruleDeclarations, _transformation, _transformationProxy, _transformationSpec, _variableStack, SOURCE_METAMODEL, TARGET_METAMODEL
 
Constructor Summary
MofScriptUMLModelChecker()
          Default constructor
 
Method Summary
protected  void postCheckFunctionCall(FunctionCall fc)
          Post check a function call
 
Methods inherited from class org.sintef.mofscript.parser.MofScriptModelChecker
addImportedTransformation, addSourceMetaModel, booleanFunctionOk, checkExpression, checkMetaModels, checkParameter, checkParameterUsage, checkParameterUsage, checkReference, checkReferenceName, checkRuleContext, checkStatement, checkTransformationRule, checkType, checkVariableDeclaration, checkVariableUsage, clear, findGlobalParameter, findGlobalVariables, findVariable, getErrorCount, getErrorManager, getErrors, getMetaModelClassifier, getMetaModelReference, getMetaModelsOK, getTempVar, getTransformationModel, getTransformationProxy, getTransformationSpecification, hashtableFunctionOk, integerFunctionOk, isSuperTransformation, listFunctionOk, postCheck, postCheckExpression, postCheckUnresolvedReferences, printErrors, realFunctionOk, setExtendsRelation, setTargetMetaModel, setTransformationModel, setTransformationSpecification, stringFunctionOk, systemFunctionOk
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MofScriptUMLModelChecker

public MofScriptUMLModelChecker()
Default constructor

Method Detail

postCheckFunctionCall

protected void postCheckFunctionCall(FunctionCall fc)
Post check a function call

Overrides:
postCheckFunctionCall in class MofScriptModelChecker
Parameters:
fc - Uml specific function call