public class PredicateParser
extends java.lang.Object
Constructor and Description |
---|
PredicateParser() |
Modifier and Type | Method and Description |
---|---|
static java.lang.String[] |
parseHappensAt(java.lang.String predicate)
Parses a String containing a happensAt(ET(A),T) RTEC predicate, where ET
is the event type and A are arguments of ET.
|
static java.lang.String[] |
parseHoldsAt(java.lang.String predicate)
Parses a String containing a holdsAt(F(A)=V,T) RTEC predicate.
|
static java.lang.String[] |
parseHoldsFor(java.lang.String predicate)
Parses a String containing a holdsFor(F(A)=V, I) RTEC predicate.
|
static java.lang.String[] |
parseInitiatedAt(java.lang.String predicate)
Parses a String containing a initiatedAt(F(A)=V,T) RTEC predicate.
|
static java.lang.String[] |
parseIntersectAll(java.lang.String predicate)
Parses a String containing a intersect_all(L,I) RTEC predicate.
|
static java.lang.String[] |
parseListofLists(java.lang.String predicate)
Parses a String containing a list of lists L=[A,B,C,...].
|
static java.lang.String[] |
parseRelativeComplementAll(java.lang.String predicate)
Parses a String containing a relative_complement_all(I',L,I) RTEC
predicate.
|
static java.lang.String[] |
parseTerminatedAt(java.lang.String predicate)
Parses a String containing a terminatedAt(F(A)=V,T) RTEC predicate.
|
static java.lang.String[] |
parseUnionAll(java.lang.String predicate)
Parses a String containing a union_all(L,I) RTEC predicate.
|
public static java.lang.String[] parseInitiatedAt(java.lang.String predicate)
predicate
- The initiatedAt RTEC line initiatedAt(F(A)=V,T)public static java.lang.String[] parseTerminatedAt(java.lang.String predicate)
predicate
- The terminatedAt RTEC line terminatedAt(F(A)=V,T)public static java.lang.String[] parseHappensAt(java.lang.String predicate)
predicate
- The happensAt RTEC line happensAt(ET(A),T)public static java.lang.String[] parseHoldsAt(java.lang.String predicate)
predicate
- The happensAt RTEC line holdsAt(F(A)=V,T)public static java.lang.String[] parseHoldsFor(java.lang.String predicate)
predicate
- The holdsFor RTEC line holdsFor(F(A)=V,I)public static java.lang.String[] parseRelativeComplementAll(java.lang.String predicate)
predicate
- The relative_complement_all RTEC line
relative_complement_all(I',L,I)public static java.lang.String[] parseUnionAll(java.lang.String predicate)
predicate
- The union_all RTEC line union_all(L,I)public static java.lang.String[] parseIntersectAll(java.lang.String predicate)
predicate
- The union_all RTEC line intersect_all(L,I)public static java.lang.String[] parseListofLists(java.lang.String predicate)
predicate
- The list of lists L=[A,B,C,...]