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

Class IgnoredPropertiesCheckerTests

java.lang.Object

org.eclipse.epsilon.flock.model.checker.IgnoredPropertiesCheckerTests

public class IgnoredPropertiesCheckerTests
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
IgnoredPropertiesCheckerTests()

Method Summary

Modifier and Type	Method	Description
void	ignoringAnKnownPropertyDoesNotProduceAWarning()
void	ignoringAnUnknownPropertyProducesAWarning()

Methods inherited from class java.lang.Object

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

Constructor Detail

IgnoredPropertiesCheckerTests

public IgnoredPropertiesCheckerTests()

Method Detail

ignoringAnUnknownPropertyProducesAWarning

public void ignoringAnUnknownPropertyProducesAWarning()
                                               throws FlockRuntimeException

Throws:

FlockRuntimeException

ignoringAnKnownPropertyDoesNotProduceAWarning

public void ignoringAnKnownPropertyDoesNotProduceAWarning()
                                                   throws FlockRuntimeException

Throws:

FlockRuntimeException