CallDescr.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm.runtime;
00002 
00003 import gov.nasa.arc.ase.jpf.*;
00004 import java.util.*;
00005 import gov.nasa.arc.ase.util.Debug;
00006 
00007 public class CallDescr implements DESCR{
00008 // ifdef RACE
00009   private String className;
00010   private String methodName;
00011   private int    linenr;
00012 
00013 //#endif RACE
00014   public CallDescr(String className,String methodName,int linenr){
00015     this.className = className;
00016     this.methodName = methodName;
00017     this.linenr = linenr;
00018   }  
00019   public void print(){
00020     Analyze.println(className + "." + methodName + 
00021                     " line " + linenr);
00022   }  
00023 }