|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.irisa.genouest.logol.types.AbstractVariable
org.irisa.genouest.logol.types.ViewVariable
public class ViewVariable
Class managing a view type
Field Summary | |
---|---|
static java.util.Vector<java.lang.String> |
predicates
|
Constructor Summary | |
---|---|
ViewVariable(int varID)
|
Method Summary | |
---|---|
static void |
addPredicate(java.lang.String pred)
Adds an internal predicate |
java.lang.String |
content(org.irisa.genouest.logol.LogolVariable lvar)
Set the prolog content for the view. |
static int |
getPredCount()
|
static java.lang.String |
getPredicate(int predId)
Gets the definition of a prolog internal predicate |
static int |
getPredicateArraySize()
Gets the number of internal predicates return number of internal predicates |
static java.lang.String |
map2predicate(java.lang.String predicate,
int id)
Same as map2predicate(String predicate,int id, String plist,boolean overlap) with overlap set to false and no postponed list |
static java.lang.String |
map2predicate(java.lang.String predicate,
int id,
java.lang.String plist)
Same as map2predicate(String predicate,int id, String plist,boolean overlap) with overlap set to false |
static java.lang.String |
map2predicate(java.lang.String predicate,
int id,
java.lang.String plist,
boolean overlap)
From a predicate or a list of predicate, create a new predicate and add it to a list of predicates. |
static java.lang.String |
map2predicate(java.lang.String predicate,
int id,
java.lang.String plist,
boolean overlap,
java.lang.String min,
java.lang.String max,
java.lang.String afterpos)
From a predicate or a list of predicate, create a new predicate and add it to a list of predicates. |
static void |
reset()
Reset static variables |
static void |
setPredCount(int predCount)
|
Methods inherited from class org.irisa.genouest.logol.types.AbstractVariable |
---|
externalPredicate, getProlog |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static java.util.Vector<java.lang.String> predicates
Constructor Detail |
---|
public ViewVariable(int varID)
Method Detail |
---|
public static void addPredicate(java.lang.String pred)
pred
- String containing the prolog predicate definitionpublic static java.lang.String getPredicate(int predId)
predId
-
public static int getPredicateArraySize()
public static void reset()
public java.lang.String content(org.irisa.genouest.logol.LogolVariable lvar) throws org.irisa.genouest.logol.GrammarException
lvar
- variable describing the view
org.irisa.genouest.logol.GrammarException
public static java.lang.String map2predicate(java.lang.String predicate, int id)
predicate
- progol sentence to map to an internal predicateid
- identifier of the current variable
public static java.lang.String map2predicate(java.lang.String predicate, int id, java.lang.String plist)
predicate
- progol sentence to map to an internal predicateid
- identifier of the current variableplist
- List of postponed variables
public static java.lang.String map2predicate(java.lang.String predicate, int id, java.lang.String plist, boolean overlap)
predicate
- progol sentence to map to an internal predicateid
- identifier of the current variableplist
- List of postponed variablesoverlap
- specific tag for management of overlaps
public static java.lang.String map2predicate(java.lang.String predicate, int id, java.lang.String plist, boolean overlap, java.lang.String min, java.lang.String max, java.lang.String afterpos)
predicate
- progol sentence to map to an internal predicateid
- identifier of the current variableplist
- List of postponed variablesoverlap
- specific tag for management of overlapsmin
- size to use in cas of negative constraint, null if positive constraintmax
- size to use in cas of negative constraint, null if positive constraintafterpos
- Variable name to use to store output position. If null, use standard name.
public static int getPredCount()
public static void setPredCount(int predCount)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |