Predicate.java Source File

00001 package edu.ksu.cis.bandera.abstraction.predicate.parser;
00002 
00003 /**
00004  * Insert the type's description here.
00005  * Creation date: (4/23/01 9:42:38 PM)
00006  * @author: Administrator
00007  */
00008 import ca.mcgill.sable.soot.*;
00009 import ca.mcgill.sable.soot.jimple.*;
00010 public interface Predicate {
00011     public SootClass  getClassContext();
00012     public Value getExpr();
00013     public SootMethod getMethodContext();
00014     public String getName();
00015 }