il.ac.bgu.cs.bp.bpjs.eventsets.ComposableEventSet Maven / Gradle / Ivy

Go to download
package il.ac.bgu.cs.bp.bpjs.eventsets;

import il.ac.bgu.cs.bp.bpjs.events.BEvent;
import java.util.Arrays;
import java.util.Collection;


/**
 * A wrapper class for {@link EventSet} that allows natural style logical
 * compositions of event set interfaces. Unary operators are static methods to be statically 
 * imported, and binary operators are methods of the class. 

 * So, assuming that A,B,C and D are {@code EventSet}s, one could write:
 * 
 * 
 * import static bp.contrib.eventsetbooleanops.EventSetBooleanOp.*;
 * ...
 * is(A).and( not( is(B).or(C) ).xor( is(A).nand(c) ) ).contains( evt );
 * anyOf( A, B, is(C).and(not(d)) );
 * etc etc.	
 * 
 * 
 * 
 * @author michaelbar-sinai
 */
public abstract class ComposableEventSet implements EventSet {
	
	public static ComposableEventSet theEventSet( final EventSet ifce ) {
        if ( ifce==null ) throw new IllegalArgumentException("eventset cannot be null");
		if ( ifce instanceof ComposableEventSet ) {
			return (ComposableEventSet) ifce;
		} else {
			return new ComposableEventSet() {
				@Override
				public boolean contains(BEvent event) {
					return ifce.contains(event);
				}

				@Override
				public String toString() {
					return "theEventSet(" + ifce.toString() +")";
				}};
		}
	}
	
	public static ComposableEventSet not( final EventSet ifce ) {
        if ( ifce==null ) throw new IllegalArgumentException("eventset cannot be null");
		return new ComposableEventSet() {
			@Override
			public boolean contains(BEvent event) {
				return ! ifce.contains(event);
			}
			@Override
			public String toString() {
				return "not(" + ifce.toString() +")";
			}};
	}
	
    public static ComposableEventSet anyOf( final Collection ifces) {
        if ( ifces==null ) throw new IllegalArgumentException("eventset collection cannot be null");
		return new ComposableEventSet() {
			@Override
			public boolean contains(BEvent event) {
                return ifces.stream().anyMatch(ifce->ifce.contains(event) );
			}
			@Override
			public String toString() {
				return "anyOf(" + Arrays.asList(ifces).toString() +")";
			}};
	}
    
	public static ComposableEventSet anyOf( final EventSet... ifces) {
        if ( ifces==null ) throw new IllegalArgumentException("eventset collection cannot be null");
		return new ComposableEventSet() {
			@Override
			public boolean contains(BEvent event) {
				for ( EventSet ifce : ifces ) {
					if ( ifce.contains(event) ) return true;
				}
				return false;
			}
			@Override
			public String toString() {
				return "anyOf(" + Arrays.asList(ifces).toString() +")";
			}};
	}
	
	public static ComposableEventSet allOf( final EventSet... ifces) {
        if ( ifces==null ) throw new IllegalArgumentException("eventset collection cannot be null");
		return new ComposableEventSet() {
			@Override
			public boolean contains(BEvent event) {
				for ( EventSet ifce : ifces ) {
					if ( ! ifce.contains(event) ) return false;
				}
				return true;
			}
			@Override
			public String toString() {
				return "allOf(" + Arrays.asList(ifces).toString() +")";
			}};
	}
	
	public ComposableEventSet and( final EventSet ifce ) {
        if ( ifce==null ) throw new IllegalArgumentException("eventset cannot be null");
		return new ComposableEventSet() {
			@Override
			public boolean contains(BEvent event) {
				return ifce.contains(event) && ComposableEventSet.this.contains(event);
			}
			
			@Override
			public String toString() {
				return "(" + ifce.toString() +") and (" + ComposableEventSet.this.toString() +")";
			}
		
		};
	}
	
	public ComposableEventSet or( final EventSet ifce ) {
        if ( ifce==null ) throw new IllegalArgumentException("eventset cannot be null");
		return new ComposableEventSet() {
			@Override
			public boolean contains(BEvent event) {
				return ifce.contains(event) || ComposableEventSet.this.contains(event);
			}
			
			@Override
			public String toString() {
				return "(" + ifce.toString() +") or (" + ComposableEventSet.this.toString() +")";
			}};
	}
	
	public ComposableEventSet xor( final EventSet ifce ) {
        if ( ifce==null ) throw new IllegalArgumentException("eventset cannot be null");
		return new ComposableEventSet() {
			@Override
			public boolean contains(BEvent event) {
				return ifce.contains(event) ^ ComposableEventSet.this.contains(event);
			}
			
			@Override
			public String toString() {
				return "(" + ifce.toString() +") xor (" + ComposableEventSet.this.toString() +")";
			}};
	}
	
	public ComposableEventSet nor( final EventSet ifce ) {
        if ( ifce==null ) throw new IllegalArgumentException("eventset cannot be null");
		return new ComposableEventSet() {
			@Override
			public boolean contains(BEvent event) {
				return !(ifce.contains(event) || ComposableEventSet.this.contains(event));
			}
			
			@Override
			public String toString() {
				return "(" + ifce.toString() +") nor (" + ComposableEventSet.this.toString() +")";
			}};
	}
	
	public ComposableEventSet nand( final EventSet ifce ) {
        if ( ifce==null ) throw new IllegalArgumentException("eventset cannot be null");
		return new ComposableEventSet() {
			@Override
			public boolean contains(BEvent event) {
				return !(ifce.contains(event) && ComposableEventSet.this.contains(event));
			}
			
			@Override
			public String toString() {
				return "(" + ifce.toString() +") nand (" + ComposableEventSet.this.toString() +")";
			}};
	}

}