role.h

Go to the documentation of this file.

/*
 | Author: Michael Schmidt;
 |         Gunnar Jehl 
 |
 | ************************* SOFTWARE LICENSE AGREEMENT ***********************
 | This source code is published under the BSD License.
 |
 | See file 'LICENSE.txt' that comes with this distribution or
 | http://dbis.informatik.uni-freiburg.de/index.php?project=GCX/license.php
 | for the full license agreement.
 |
 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 | AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 | IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 | ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
 | LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 | CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 | SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 | INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 | CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 | ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 | POSSIBILITY OF SUCH DAMAGE.
 | ****************************************************************************
*/

#ifndef ROLE_H
#define ROLE_H

#include "typeenums.h"

// forward declarations
class PathExpression;
class SignOffExpression;
class OutputStream;

using namespace std;

class Role {

  public:
    Role(unsigned _id, ROLE_TYPE _type, unsigned _basing_var,
         unsigned _basing_fsa, PathExpression * _rel_path,
         PathExpression * _var_path);

     virtual ~ Role();

    void print(OutputStream & dos) const;

    virtual void printExtended(OutputStream & dos);

    inline unsigned getId() {
        return id;
    } inline void setId(unsigned _id) {
        id = _id;
    }

    inline ROLE_TYPE getType() {
        return type;
    }

    inline unsigned getBasingVar() {
        return basing_var;
    }

    inline unsigned getBasingFSA() {
        return basing_fsa;
    }

    inline PathExpression *getConcatenationPath() {
        return concat_path;
    }

    SignOffExpression *getSignOffExpression();

    bool isPosRole();

    bool isDosRole();

  private:
    unsigned id;

    ROLE_TYPE type;

    unsigned basing_var;

    unsigned basing_fsa;

    PathExpression *rel_path;

    PathExpression *var_path;

    PathExpression *concat_path;
};

#endif // ROLE_H

---