cvs commit: jakarta-bcel TODO.JustIce

enver       2002/11/19 04:24:11

  Modified:    .        TODO.JustIce
  Log:
  Repaired two references.
  
  Revision  Changes    Path
  1.4       +8 -7      jakarta-bcel/TODO.JustIce
  
  Index: TODO.JustIce
  ===================================================================
  RCS file: /home/cvs/jakarta-bcel/TODO.JustIce,v
  retrieving revision 1.3
  retrieving revision 1.4
  diff -u -r1.3 -r1.4
  --- TODO.JustIce	9 Mar 2002 22:30:15 -0000	1.3
  +++ TODO.JustIce	19 Nov 2002 12:24:11 -0000	1.4
  @@ -8,12 +8,13 @@
   Staerk et al.: using sets of object types.  JustIce  may  reject  code
   that is not rejected by traditional JVM-internal  verifiers  for  this
   reason. The corresponding checks all have  some  "TODO"  tag  with  an
  -explanation; they're all  in  the  'InstConstraint.java'  file.  Users
  -encountering problems should simply comment  them  out  (or  uncomment
  -them) as they like. The  default  is  some  setting  that  works  well
  -when using  'java org.apache.bcel.verifier.TransHull java.lang.String'
  -- that is, there are no rejects caused by the above problem in  a  lot
  -of usual classes.
  +explanation; they're all in the 'InstConstraintVisitor.java' file.
  +Users  encountering  problems  should  simply  comment  them  out  (or
  +uncomment them) as they like. The default is some setting  that  works
  +well when using
  +$ java org.apache.bcel.verifier.TransitiveHull java.lang.String
  +meaning there are no rejects caused by the above problem in a  lot  of
  +usual classes.
   
   - There are a few bugs concerning access rights of referenced  methods
   and  probably  fields.  The  tests  for access rights that Sun defines