Main Page | Namespace List | Class Hierarchy | Class List | File List | Namespace Members | Class Members | File Members

ltlparse/position.hh File Reference

#include <iostream>
#include <string>

Include dependency graph for position.hh:

Include dependency graph

This graph shows which files directly or indirectly include this file:

Included by dependency graph

Go to the source code of this file.

Namespaces

namespace  yy

Classes

class  yy::Position
 Abstract a Position. More...

Functions

const Position & operator+= (Position &res, const int width)
 Add and assign a Position.
const Position operator+ (const Position &begin, const int width)
 Add two Position objects.
const Position & operator-= (Position &res, const int width)
 Add and assign a Position.
const Position operator- (const Position &begin, const int width)
 Add two Position objects.
std::ostream & operator<< (std::ostream &ostr, const Position &pos)
 Intercept output stream redirection.


Detailed Description

Define the Location class.

Function Documentation

const Position operator+ const Position &  begin,
const int  width
[inline]
 

Add two Position objects.

const Position& operator+= Position &  res,
const int  width
[inline]
 

Add and assign a Position.

const Position operator- const Position &  begin,
const int  width
[inline]
 

Add two Position objects.

const Position& operator-= Position &  res,
const int  width
[inline]
 

Add and assign a Position.

std::ostream& operator<< std::ostream &  ostr,
const Position &  pos
[inline]
 

Intercept output stream redirection.

Parameters:
ostr the destination output stream
pos a reference to the Position to redirect


Please comment this page and report errors about it on the RefDocComments page.
Generated on Fri Aug 13 14:42:32 2004 for spot by doxygen 1.3.8