net.sf.magicproject.test
Class HasPropertyIntersectionIdCard

java.lang.Object
  net.sf.magicproject.test.Test
      net.sf.magicproject.test.TestObject
          net.sf.magicproject.test.TestCard
              net.sf.magicproject.test.HasPropertyIntersectionIdCard

public class HasPropertyIntersectionIdCard
extends TestCard

Since:

0.85

Author:

Fabrice Daugan

Method Summary

void	extractTriggeredEvents(java.util.List<MEventListener> res, MCard source, Test globalTest) Add to the specified list, the events modifying the result of this test.

Methods inherited from class net.sf.magicproject.test.TestCard

test

Methods inherited from class net.sf.magicproject.test.Test

getConstraintTest, getOptimizedController, testPreemption

Methods inherited from class java.lang.Object

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

Method Detail

extractTriggeredEvents

public final void extractTriggeredEvents(java.util.List<MEventListener> res,
                                         MCard source,
                                         Test globalTest)

Description copied from class: Test

Add to the specified list, the events modifying the result of this test.

Overrides:

extractTriggeredEvents in class Test

Parameters:

res - is the list of events to fill

source - is the card source of event

globalTest - the optional global test to include in the event test.