|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.irisa.genouest.logol.View
public class View
Field Summary | |
---|---|
(package private) static int |
analysisPredCount
|
static java.util.Vector<java.lang.String> |
analysisPredicates
|
java.lang.String |
currentModel
|
private static java.lang.String |
EMPTYSTRING
|
private static org.apache.log4j.Logger |
logger
|
static java.lang.String |
OP_AND
|
static java.lang.String |
OP_OR
|
static java.lang.String |
OP_OVERLAP
|
(package private) static int |
predCount
|
static java.util.Vector<java.lang.String> |
predicates
|
Constructor Summary | |
---|---|
View()
|
Method Summary | |
---|---|
java.lang.String |
analysispredicate(java.lang.String predicate,
int id,
boolean useDummy)
|
java.lang.String |
execute(java.lang.String pred,
java.lang.String operator,
int type,
int id)
|
private java.util.HashSet<java.lang.String> |
getAllUsedVariables(java.lang.String predicate)
Looks for variable references to know which variables are used in a predicate |
private java.util.HashSet<java.lang.String> |
getAllUserVariables(java.lang.String predicate)
Used by pre-analysis to get variables |
java.util.HashSet<java.lang.String> |
getErrorVariables(java.lang.String predicate)
Looks for variable errors to know which variables are used in a predicate |
java.lang.String |
getPredicateInput(java.lang.String predicate)
Get the first Before reference to get first intput |
java.lang.String |
getPredicateOutput(java.lang.String predicate)
Get the last After reference to get last output |
java.lang.String |
getSavedVariables(java.lang.String data,
int id)
Gets the saved variable reference for the input data string |
java.lang.String |
map2predicate(java.lang.String predicate,
int id)
|
java.lang.String |
map2predicate(java.lang.String predicate,
int id,
java.lang.String plist)
|
java.lang.String |
map2predicate(java.lang.String predicate,
int id,
java.lang.String plist,
boolean overlap)
|
static void |
reset()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private static final org.apache.log4j.Logger logger
public static java.util.Vector<java.lang.String> predicates
public static java.util.Vector<java.lang.String> analysisPredicates
static int analysisPredCount
static int predCount
public static final java.lang.String OP_AND
public static final java.lang.String OP_OR
public static final java.lang.String OP_OVERLAP
private static final java.lang.String EMPTYSTRING
public java.lang.String currentModel
Constructor Detail |
---|
public View()
Method Detail |
---|
public static void reset()
public java.lang.String execute(java.lang.String pred, java.lang.String operator, int type, int id)
public java.lang.String analysispredicate(java.lang.String predicate, int id, boolean useDummy)
private java.util.HashSet<java.lang.String> getAllUserVariables(java.lang.String predicate)
predicate
-
public java.lang.String map2predicate(java.lang.String predicate, int id)
public java.lang.String map2predicate(java.lang.String predicate, int id, java.lang.String plist)
public java.lang.String map2predicate(java.lang.String predicate, int id, java.lang.String plist, boolean overlap)
public java.lang.String getSavedVariables(java.lang.String data, int id)
data
- id
- current id of variable, -1 if not applicable
public java.util.HashSet<java.lang.String> getErrorVariables(java.lang.String predicate)
predicate
- predicate string to analyse to get used variables
private java.util.HashSet<java.lang.String> getAllUsedVariables(java.lang.String predicate)
predicate
- predicate string to analyse to get used variables
public java.lang.String getPredicateInput(java.lang.String predicate)
predicate
- Predicate to analyse
public java.lang.String getPredicateOutput(java.lang.String predicate)
predicate
- Predicate to analyse
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |