Package org.processmining.servicelevelagreements.model.predicate

Class PredicateParser

  • public class PredicateParser
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      PredicateParser()  

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method 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.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • PredicateParser

        public PredicateParser()

    • Method Detail

      • parseInitiatedAt

        public static java.lang.String[] parseInitiatedAt​(java.lang.String predicate)
        Parses a String containing a initiatedAt(F(A)=V,T) RTEC predicate.
        Parameters:
        predicate - The initiatedAt RTEC line initiatedAt(F(A)=V,T)
        Returns:
        new String[]{F,A,V,T}

      • parseTerminatedAt

        public static java.lang.String[] parseTerminatedAt​(java.lang.String predicate)
        Parses a String containing a terminatedAt(F(A)=V,T) RTEC predicate.
        Parameters:
        predicate - The terminatedAt RTEC line terminatedAt(F(A)=V,T)
        Returns:
        new String[]{F,A,V,T}

      • parseHappensAt

        public 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. TODO [low] handle empty A in parsing regex.
        Parameters:
        predicate - The happensAt RTEC line happensAt(ET(A),T)
        Returns:
        new String[]{ET(A),T}

      • parseHoldsAt

        public static java.lang.String[] parseHoldsAt​(java.lang.String predicate)
        Parses a String containing a holdsAt(F(A)=V,T) RTEC predicate.
        Parameters:
        predicate - The happensAt RTEC line holdsAt(F(A)=V,T)
        Returns:
        new String[]{F,A,V,T}

      • parseHoldsFor

        public static java.lang.String[] parseHoldsFor​(java.lang.String predicate)
        Parses a String containing a holdsFor(F(A)=V, I) RTEC predicate. TODO [medium] make it possible to parse I into an interval object
        Parameters:
        predicate - The holdsFor RTEC line holdsFor(F(A)=V,I)
        Returns:
        new String[]{F,A,V,I}

      • parseRelativeComplementAll

        public static java.lang.String[] parseRelativeComplementAll​(java.lang.String predicate)
        Parses a String containing a relative_complement_all(I',L,I) RTEC predicate.
        Parameters:
        predicate - The relative_complement_all RTEC line relative_complement_all(I',L,I)
        Returns:
        new String[]{I',L,I}

      • parseUnionAll

        public static java.lang.String[] parseUnionAll​(java.lang.String predicate)
        Parses a String containing a union_all(L,I) RTEC predicate.
        Parameters:
        predicate - The union_all RTEC line union_all(L,I)
        Returns:
        new String[]{L,I}

      • parseIntersectAll

        public static java.lang.String[] parseIntersectAll​(java.lang.String predicate)
        Parses a String containing a intersect_all(L,I) RTEC predicate.
        Parameters:
        predicate - The union_all RTEC line intersect_all(L,I)
        Returns:
        new String[]{L,I}

      • parseListofLists

        public static java.lang.String[] parseListofLists​(java.lang.String predicate)
        Parses a String containing a list of lists L=[A,B,C,...].
        Parameters:
        predicate - The list of lists L=[A,B,C,...]
        Returns:
        new String[]{A,B,C,...}