BadRPLParam.java

/**
 * Bad RPL Param
 * 
 * @author Rob Bocchino
 */
public class BadRPLParam<region P> {

    region r;

    // P not in first position
    int x in r : P;

}