impliesexploreritem.java

一个agent 工具包,可以开发移动设备应用,考虑了安全措施

package SOMA.utility;

import java.io.*;
import java.util.*;
import SOMA.agent.mobility.PlaceAccessPermission;

public class ImpliesExplorerItem extends SOMA.explorer.ExplorerItem
{
  public ImpliesExplorerItem()
  {
    super( "<A> <B>" );
  }

  public Object Execute( Collection Parameters, PrintStream out )
  {
    if( Parameters.size() == 2 )
    {
      Iterator i = Parameters.iterator();
      PlaceAccessPermission A = new  PlaceAccessPermission( (String)i.next() );
      PlaceAccessPermission B = new  PlaceAccessPermission( (String)i.next() );

      out.println( A + " ===> " + B + "  is  " + A.implies( B ) );
      out.println( B + " ===> " + A + "  is  " + B.implies( A ) );
      out.println( A + " equals " + B + "  is  " + A.equals( B ) );
    }
    return null;
  }
}