001    package AST;
002    
003    import java.util.HashSet;
004    import java.io.File;
005    import java.util.*;
006    import beaver.*;
007    import java.util.ArrayList;
008    import java.util.zip.*;
009    import java.io.*;
010    import java.io.FileNotFoundException;
011    import java.util.Collection;
012    /**
013      * @ast interface
014     * 
015     */
016    public interface FinallyHost {
017    
018        //public Block getFinally();
019         
020        //public Block getFinally();
021        public boolean isDUafterFinally(Variable v);
022    
023         
024        public boolean isDAafterFinally(Variable v);
025      /**
026       * @attribute syn
027       * @aspect CreateBCode
028       * @declaredat /home/jesper/svn/JastAddJ/Java1.4Backend/CreateBCode.jrag:1474
029       */
030      @SuppressWarnings({"unchecked", "cast"})
031      public int label_finally_block();
032    }