Bug fix, sometimes an edge matches except it has a different type of source node...
authorjjenista <jjenista>
Thu, 13 Oct 2011 02:34:32 +0000 (02:34 +0000)
committerjjenista <jjenista>
Thu, 13 Oct 2011 02:34:32 +0000 (02:34 +0000)
commit3325a4b573d65f7b8e2e7b5e610abd312e399b19
tree485a1792702f01c743b1c2c38bc34efe8c9429c5
parent7ff9564b74df0ad2a176b8bc925f8c6425039916
Bug fix, sometimes an edge matches except it has a different type of source node, so check for that instead of blindly casting and causing an exception
Robust/src/Analysis/Disjoint/RefEdge.java