|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object net.sf.magicproject.test.Test net.sf.magicproject.test.TestObject net.sf.magicproject.test.TestCard net.sf.magicproject.test.HasIdCard
public class HasIdCard
Test the type of a given component. The type expression is a
Expression
instance whereas HasIdCard's idCard a simple value.
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 |
---|
public void extractTriggeredEvents(java.util.List<MEventListener> res, MCard source, Test globalTest)
Test
extractTriggeredEvents
in class Test
res
- is the list of events to fillsource
- is the card source of eventglobalTest
- the optional global test to include in the event test.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |