law(Monitor,language(java))
portal(DirectorLaw,lawURL(http://www.cs.rutgers.edu/~phari/547/law.java))
portal(BuyerLaw,lawURL(http://www.cs.rutgers.edu/~phari/547/buyerlaw.java))
portal(VendorLaw,lawURL(http://www.cs.rutgers.edu/~phari/547/VendorLaw.java))

 import java.util.*;
 import java.io.*;
 public class Monitor extends Law{


	
	public void adopted(String arg)
	{
		System.out.println("ADOPTED: " + Self);
	}

	public void certified(String source, String issuer, String subject, String attributes)
	{
	}



	public void sent(String source, String message, String dest, String destlaw)
	{
		System.out.println("SENT: " + source + "->" + dest + "[" +destlaw+  "]: " 
+ message);
		doForward(source, message, dest, destlaw);
	}

	public void arrived(String source, String sourcelaw, String message, String dest)
	{
		System.out.println("ARRIVED: " + source + "[" + sourcelaw + "]->" + dest + ": " + message);
		doDeliver(source, sourcelaw, message, dest);
	}

 public void disconnected() {
 doQuit(); 
} 

}