---

/home/pauldt/projects/IDEA/IDEA-ALL/IDEA-DEV/Core/PlanServer/Includes/PslTokenImpl.hh

Go to the documentation of this file.

// -*- Mode: c++ -*-
//      CVS: $Id: PslTokenImpl.hh,v 1.25 2005/11/16 21:42:04 rijsman Exp $
//      Tag: $name$
//     Info: $CVSROOT/IDEA-DEV/COPYRIGHT
#ifndef PSL_TOKEN_IMPL_HEADER_
#define PSL_TOKEN_IMPL_HEADER_

#include "TimeBasics.hh"

#include "PslContainers.hh"
#include "TokenLocation.hh"

namespace IDEA
{
  class PslDatabase;
  class PslVariable;

  class PslTokenImpl
  {
    friend class PslToken;
  public:
    virtual ~PslTokenImpl();

    void endAt( const Time& time );

    virtual void commit() = 0;
    virtual bool isCommitted() const = 0;
    virtual bool canBeCommitted() const = 0;
    const std::string& getComRelayName() const;
    const PslDatabase* getDatabase() const;
    virtual Time getEarliestEndTime() const = 0;
    virtual Time getEarliestStartTime() const = 0;
    virtual Time getMaximumDuration() const = 0;
    virtual Time getMinimumDuration() const = 0;
    unsigned int getExternalTokenId( bool externalize );
    virtual int getId() const = 0;
    virtual Time getLatestEndTime() const = 0;
    virtual Time getLatestStartTime() const = 0;
    const std::string& getName() const;
    const PslParameter* getParameter( const std::string& compareString) const;
    const PslParameter* getParameter( int index ) const;
    PslParameterList getParameters() const;
    const PslPredicate* getPredicate() const;
    const PslParameter* getReturnStatusParameter() const;
    const PslParameter* getReturnStatusFlagParameter() const;
    const TokenLocation& getSourceLocation() const;
    const TokenLocation& getTargetLocation();
    const PslTimeline* getTimeline();
    bool hasDirectSuccessor( const PslTimeline* tl  ) const;
    virtual bool endsAtStart( const PslToken* token ) const = 0;
    virtual void setSuccessor( const PslToken* token ) const = 0;
    bool isControllable();
    bool isExecutable();
    bool isExecuting( const Time& t ) const;
    bool isGoal();
    bool isEnabled() const;
    void setEnabled( bool value );
    virtual void print( std::ostream& os ) const;
    bool returnsStatus() const;
    bool isAuthorized() const;
    virtual void setEarliestEndTime( const Time& value ) = 0;
    void constrainEndTime( const PslToken* token, const Time& value, int authority );
    void constrainStartTime( const PslToken* token, const Time& value, int authority );
    virtual void setLatestEndTime( const Time& value ) = 0;
    virtual void setLatestStartTime( const Time& value ) = 0;
    virtual void setEarliestStartTime( const Time& value ) = 0;
    void startAt( const Time& time );
    bool usesCPU() const;
    const PslVariable* getStartVariable();
    const PslVariable* getEndVariable();
    virtual void finalize();
    bool isFinalized() const;
    int getExternalId( const PslToken* token );
    virtual bool endsNoEarlierThanEnd(const PslToken * token) const = 0; 
  protected:
    PslTokenImpl( const PslDatabase* database, 
                  const PslTimeline* timeline,
                  const PslPredicate* predicate );

    PslTokenImpl( const PslDatabase* database, 
                  const PslTimeline* timeline,
                  const PslPredicate* predicate,
                  int tokenId,
                  const TokenLocation& source,
                  const std::string& comRelayName);

    PslTokenImpl( const PslDatabase* database, 
                  const PslPredicate* predicate,
                  int tokenId,
                  const TokenLocation& source,
                  const std::string& comRelayName);
    Int2PslParameterMap m_Parameters;
  private:
    virtual const PslTimeline* retrieveTimelineAllocation() const = 0;

    void activateActiveConstraints( const PslToken* token, int authority );
    void activateTimelineAssignedConstraints( int authority );
    void activateTimeConstraint( const PslToken* token, int authority );

    void deActivateActiveConstraints();
    void deActivateTimelineAssignedConstraints();
    void deActivateTimeConstraint();

    void createConstraints( const PslToken* token ); 

    void initialize( const PslToken* token );

    virtual void initializeExtended( const PslToken* token );
    
    virtual void createParameters( const PslToken* token ) = 0;

    virtual const PslVariable* createEndVariable() = 0;

    virtual const PslVariable* createStartVariable() = 0;

    const PslDatabase* m_Database;
    TokenLocation m_SourceLocation;
    std::string m_ComRelayName;
    const PslTimeline* m_Timeline; // see remarks in getTimeline application about this attribute
    const PslPredicate* m_Predicate;
    PslConstraint* m_TimeConstraint;
    PslConstraint* m_StartTimeConstraint;
    PslConstraint* m_EndTimeConstraint;

    const PslVariable* m_Start;
    const PslVariable* m_End;

    int m_ExternalId;

    //m_ParametersInitialized;

    bool m_Finalized;
    bool m_Enabled;
  };
}



#endif //PSL_TOKEN_IMPL_HEADER_

---

Contact information © IDEA