SafeBlock.java Source File

00001 package gov.nasa.arc.ase.jpf;
00002 
00003 import gov.nasa.arc.ase.util.Debug;
00004 
00005 public class SafeBlock {
00006   int beginLine;
00007   int endLine;
00008 
00009   public SafeBlock(int x, int y) {
00010 // ifdef DEBUG
00011 
00012 //#endif DEBUG
00013     beginLine = x;
00014     endLine = y;
00015   }  
00016   public boolean isSafe(int line) {
00017     return ((line >= beginLine) && (line <= endLine));
00018   }  
00019 }