|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.eclipse.mofscript.parser.MofScriptModelChecker
public class MofScriptModelChecker
Semantic checker for MOFScript
Field Summary | |
---|---|
static int |
SOURCE_METAMODEL
|
static int |
TARGET_METAMODEL
|
Constructor Summary | |
---|---|
MofScriptModelChecker()
Default constructor |
Method Summary | |
---|---|
void |
addImportedTransformation(java.lang.String importName,
java.lang.String importUri,
MOFScriptTransformation importedTr)
Add imported transformations |
boolean |
addSourceMetaModel(MOFScriptParameter param)
|
boolean |
addTargetMetaModel(MOFScriptParameter param)
|
void |
checkExpression(Expression exp)
Checks an expression |
void |
checkMetaModels()
sets the source and target metamodels from transformation objects |
void |
checkParameter(MOFScriptParameter parameter)
Checks a domain (a parameter) to the rule |
void |
checkReference(Reference ref)
Checks the refrence |
void |
checkReferenceName(java.lang.String refName,
MOFScriptObject checkObj)
Checks the refrence name |
void |
checkStatement(MOFScriptStatement statement,
boolean postCheck)
Checks a statement within a rule |
void |
checkTransformationRule(TransformationRule rule,
boolean postCheck)
Checks a transformation rule for type usages, rule invocations etc |
void |
checkVariableDeclaration(VariableDeclaration varDecl)
Checks properties of the transformation |
void |
clear()
Clears all stored values |
java.lang.String |
findGlobalParameter(java.lang.String name)
Returns the type name of the parameter if it exists |
VariableDeclaration |
findGlobalVariables(MOFScriptTransformation transformation,
java.lang.String name)
Finds global variables |
java.lang.Object |
findVariable(java.lang.String name)
Find a variable either globally or locally |
int |
getErrorCount()
Gets the error count |
MofScriptErrorManager |
getErrorManager()
Gets the error manager |
java.util.Iterator |
getErrors()
Gets the errors |
boolean |
getMetaModelsOK()
|
MOFScriptTransformation |
getTransformationModel()
|
TransformationProxy |
getTransformationProxy()
returns the current transformation model |
MOFScriptSpecification |
getTransformationSpecification()
|
boolean |
isSuperTransformation(MOFScriptTransformation transformation,
MOFScriptTransformation possibleSuper)
|
void |
postCheck()
Semantic checks of the complete model |
void |
printErrors()
Prints the errors to system.out |
void |
setTransformationModel(MOFScriptTransformation transformation)
|
void |
setTransformationSpecification(MOFScriptSpecification trModel)
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static int SOURCE_METAMODEL
public static int TARGET_METAMODEL
Constructor Detail |
---|
public MofScriptModelChecker()
Method Detail |
---|
public TransformationProxy getTransformationProxy()
public void setTransformationSpecification(MOFScriptSpecification trModel)
trModel
- public MOFScriptSpecification getTransformationSpecification()
public void setTransformationModel(MOFScriptTransformation transformation)
transformation
- public MOFScriptTransformation getTransformationModel()
public void clear()
public boolean getMetaModelsOK()
public void checkMetaModels()
public boolean addSourceMetaModel(MOFScriptParameter param)
param
-
public boolean addTargetMetaModel(MOFScriptParameter param)
public void checkVariableDeclaration(VariableDeclaration varDecl)
public void checkTransformationRule(TransformationRule rule, boolean postCheck)
public void checkParameter(MOFScriptParameter parameter)
domain
- public void checkStatement(MOFScriptStatement statement, boolean postCheck)
statement
- public java.lang.String findGlobalParameter(java.lang.String name)
exp
- public VariableDeclaration findGlobalVariables(MOFScriptTransformation transformation, java.lang.String name)
name
-
public java.lang.Object findVariable(java.lang.String name)
exp
- public void checkExpression(Expression exp)
exp
- public void checkReference(Reference ref)
ref
- public void checkReferenceName(java.lang.String refName, MOFScriptObject checkObj)
refName
- checkObj
- public void postCheck() throws MofScriptModelException
MofScriptModelException
public boolean isSuperTransformation(MOFScriptTransformation transformation, MOFScriptTransformation possibleSuper)
transformation
- possibleSuper
-
public void addImportedTransformation(java.lang.String importName, java.lang.String importUri, MOFScriptTransformation importedTr)
importName
- importUri
- importedTr
- public void printErrors()
public MofScriptErrorManager getErrorManager()
public int getErrorCount()
public java.util.Iterator getErrors()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |