source: fedd/abac-src/rtml/src/edu/stanford/rt/Test1.java @ eec716b

package edu.stanford.rt;

import java.io.FileInputStream;
import java.io.File;

import edu.stanford.rt.credential.RTContext;
import edu.stanford.rt.credential.CredentialStore;
import edu.stanford.rt.credential.DomainSpecification;
import edu.stanford.rt.parser.RTParser;
import edu.stanford.rt.util.*;

/**
 * @author Ninghui Li, Sandra Qiu <br>
 * 
 */
public class Test1
{

        public static void main(String argv[])
        {
                if (argv.length != 1)
                {
                        System.out.println("java edu.stanford.rt.Main file_name");
                        System.exit(1);
                }

                try
                {
                        RTParser rt = new RTParser();
            // System domain is created here.
                        RTContext context = new RTContext(rt);
                        CredentialStore store = new CredentialStore(rt);

                        rt.parseCredentialStore(
                                new FileInputStream(new File(argv[0])),
                                context,
                                store);

            System.out.println(context.toString("  "));
            System.out.println(store.toString("  "));
                }
                catch (Exception ex)
                {
                        ex.printStackTrace();
                }

        }
}