Package org.eclipse.epsilon.flock.model.checker

Class TypedConstructCheckerTests

java.lang.Object

org.eclipse.epsilon.flock.model.checker.TypedConstructCheckerTests

public class TypedConstructCheckerTests
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
TypedConstructCheckerTests()

Method Summary

Modifier and Type	Method	Description
void	ruleForTypeKnownToOriginalMetamodelDoesNotProduceWarning()
void	ruleForTypeNotKnownToOriginalMetamodelProducesAWarning()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypedConstructCheckerTests

public TypedConstructCheckerTests()

Method Detail

ruleForTypeNotKnownToOriginalMetamodelProducesAWarning

public void ruleForTypeNotKnownToOriginalMetamodelProducesAWarning()

ruleForTypeKnownToOriginalMetamodelDoesNotProduceWarning

public void ruleForTypeKnownToOriginalMetamodelDoesNotProduceWarning()