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

ltlparse/location.hh File Reference

#include <iostream>
#include <string>
#include "position.hh"

Include dependency graph for location.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::Location
 Abstract a Location. More...

Functions

const Location operator+ (const Location &begin, const Location &end)
 Join two Location objects to create a Location.
const Location operator+ (const Location &begin, unsigned width)
 Add two Location objects.
Location & operator+= (Location &res, unsigned width)
 Add and assign a Location.
std::ostream & operator<< (std::ostream &ostr, const Location &loc)
 Intercept output stream redirection.


Detailed Description

Define the Location class.

Function Documentation

const Location operator+ const Location &  begin,
unsigned  width
[inline]
 

Add two Location objects.

const Location operator+ const Location &  begin,
const Location &  end
[inline]
 

Join two Location objects to create a Location.

Location& operator+= Location &  res,
unsigned  width
[inline]
 

Add and assign a Location.

std::ostream& operator<< std::ostream &  ostr,
const Location &  loc
[inline]
 

Intercept output stream redirection.

Parameters:
ostr the destination output stream
loc a reference to the Location to redirect
Avoid duplicate information.


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