source: fedd/abac-src/rbtm/test/EPub.java @ 0b4e272

package edu.stanford.peer.rbtm.test;

import edu.stanford.peer.rbtm.engine.*;
import edu.stanford.peer.rbtm.credential.*;
import edu.stanford.peer.rbtm.util.*;

public class EPub 
{
    static GraphEngine mgr = new GraphEngine();
    static Entity alice = new SimpleEntity("Alice");
    static Entity bob = new SimpleEntity("Bob");
    static EntityExpression[] parts;

    public static void main(String arg[]) {
        loadCredentials();
        performSearches();
    }

    public static void performSearches() {
        System.out.println("Credential Manager contains:");
        System.out.println(mgr);
        System.out.println("Forward search on " + alice + ":");
        System.out.println(mgr.forwardSearch(alice));
        System.out.println("------------------------------------");
        System.out.println("Backward search on EPub.student:\n");
        System.out.println(mgr.backwardSearch(new Role("EPub", "student")));
        System.out.println("Backward search on EOrg.preferred:\n ");
        System.out.println(mgr.backwardSearch(new Role("EOrg", "preferred")));

        parts = loadRoles();
        Intersection i = new Intersection();
        i.and(parts[0]).and(parts[1]);
        System.out.println("Backward search on " + i + ":\n ");
        System.out.println(mgr.backwardSearch(i));
    }

    public static EntityExpression[] loadRoles() {
        EntityExpression[] parts = new EntityExpression[2];
        parts[0] = new Role("EPub", "student");
        parts[1] = new Role("EOrg", "preferred");
        return parts;
    }
    
    public static void loadCredentials() {
        SimpleEntity abu  = new SimpleEntity("ABU"),
            acm  = new SimpleEntity("ACM"),
            bbb  = new SimpleEntity("BBB"),
            eOrg = new SimpleEntity("EOrg"),
            ePub = new SimpleEntity("EPub"),
            stateU = new SimpleEntity("StateU");
        SimpleRoleName stuID = new SimpleRoleName("stuID"),
            accredited = new SimpleRoleName("accredited"),
            student = new SimpleRoleName("student"),
            univ = new SimpleRoleName("university"),
            member = new SimpleRoleName("member"),
            preferred = new SimpleRoleName("preferred"),
                 sale = new SimpleRoleName("sale"), 
            discount = new SimpleRoleName("spdiscount");
        Role ePubUniv = new Role(ePub, univ),
            acmMember = new Role(acm, member),
            abuAccredited = new Role(abu, accredited);
        LinkedRole ePubUnivStuID = new LinkedRole(ePubUniv, stuID);
        Intersection u = new Intersection();
        u.and(new Role(eOrg, preferred)).and(new Role(ePub, student));
        mgr.addCredential(new StaticCredential(new Role(ePub, sale),
                                                                                                                new Role(ePub, discount)));
        mgr.addCredential(new StaticCredential(ePub, discount, u));
        mgr.addCredential(new StaticCredential(eOrg, preferred, acmMember));
        mgr.addCredential(new StaticCredential(acmMember, alice));
        mgr.addCredential(new StaticCredential(acmMember, bob));
        mgr.addCredential(new StaticCredential(ePub, student, ePubUnivStuID));
        mgr.addCredential(new StaticCredential(ePubUniv, abuAccredited));
        mgr.addCredential(new StaticCredential(abuAccredited, stateU));
        mgr.addCredential(new StaticCredential(stateU, stuID, alice));
        mgr.addCredential(new StaticCredential(stateU, stuID, bob));
        //mgr.addCredential(new StaticCredential());
    }

}