[Javapathfinder-svn] SF.net SVN: javapathfinder:[1746] branches/mango/Mango/ javapathfinder-mango-bridge

[<fra...@us...>]

Revision: 1746
          http://javapathfinder.svn.sourceforge.net/javapathfinder/?rev=1746&view=rev
Author:   frankrimlinger
Date:     2009-07-10 21:21:15 +0000 (Fri, 10 Jul 2009)

Log Message:
-----------
OK, the CHECKCAST instruction in jpf uses something called "canonical" type, which is like stripped regular type except it used the Lxxx; notation for arrays.  Hmmm...  this is probably ok, just weird.  However, jpf INSTANCEOF explicitly changes "." back to "/".  This feels a little buggy to me, but oh well.  In my version of jpf version of INSTANCEOF, I introduce an explicit canonicalType field, which the mango version of INSTANCEOF uses in buildFormalPeer.  

Hopefully this clears up my problem.  SUN is no more, so can't them for internal format.

Modified Paths:
--------------
    branches/mango/Mango/javapathfinder-mango-bridge/gov/nasa/jpf/jvm/bytecode_mango_formal_language/INSTANCEOF.java
    branches/mango/Mango/javapathfinder-mango-bridge/mango/scanner/bytecode/INSTANCEOF.java


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.