Agent System POND 1.2 (28.2.2002)

PkgAgentSystem
Class CreateAgentPermission

java.lang.Object
  |
  +--java.security.Permission
        |
        +--java.security.BasicPermission
              |
              +--PkgAgentSystem.CreateAgentPermission
All Implemented Interfaces:
Guard, Serializable

public class CreateAgentPermission
extends BasicPermission

Permission to create agents of a certain class. Parameters have the same style as a BasicPermission (wildcards at the end possible, ...).

Version:
1.0, 1.7.2000
Author:
Michael Sonntag
See Also:
Serialized Form

Constructor Summary
CreateAgentPermission(String name)
          Creates a new permission allowing to create agents with the provided name.
 
Methods inherited from class java.security.BasicPermission
equals, getActions, hashCode, implies, newPermissionCollection
 
Methods inherited from class java.security.Permission
checkGuard, getName, toString
 
Methods inherited from class java.lang.Object
, clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CreateAgentPermission

public CreateAgentPermission(String name)
Creates a new permission allowing to create agents with the provided name.
Parameters:
name - of the class of agents allowed to create

Agent System POND 1.2 (28.2.2002)

Submit a bug

Copyright 2001,2002 Michael Sonntag & Institute for Information Processing and Microprocessor Technology (FIM), Johannes-Kepler-University Linz, Altenbergerstr. 69, A-4040 Linz, Austria.