All Packages Class Hierarchy This Package Previous Next Index
Class ncsa.habanero.tickets.TicketGranter
java.lang.Object
|
+----ncsa.habanero.tickets.TicketGranter
- public class TicketGranter
- extends Object
- implements Serializable
This class grants a ticket to an ActionGranted object, which the
Serializer uses to determine the order in which to execute actions
it receives. Tickets also contain the allowed target, which is
given to the Action as a parameter when it is executed.
-
TicketGranter()
- Default constructor, used for marshalling.
-
getNumber()
-
-
grant_ticket(Specifiable)
- Grant a ticket, increment the internal counter.
-
setNumber(int)
-
TicketGranter
public TicketGranter()
- Default constructor, used for marshalling.
grant_ticket
public synchronized Ticket grant_ticket(Specifiable target)
- Grant a ticket, increment the internal counter.
- Parameters:
- target - The ticket is only good for this target
setNumber
public void setNumber(int nNext)
- Parameters:
- nNext - the next index
- Returns:
- updates the last ticket number - should only be called in
Distributed arbitrator under local mode
getNumber
public int getNumber()
- Returns:
- returns the last ticket number
All Packages Class Hierarchy This Package Previous Next Index