opennwa::NestedWord::Position Struct Reference

Each position in the nested word has a symbol and a type. More...

List of all members.

Public Types
enum	Type {   CallType,   InternalType,   ReturnType }
	The type of a position: either a call position, internal position, or return position. More...
Public Member Functions
	Position (Symbol sym, Type ty)
	Constructs a Position object with the given symbol and type.
bool	operator== (Position const &p) const
	Returns whether two positions are equal.
Public Attributes
Symbol	symbol
	The symbol at this position.
Type	type
	The type (call/internal/return) of this position.

---

Detailed Description

Each position in the nested word has a symbol and a type.

---

Member Enumeration Documentation

enum opennwa::NestedWord::Position::Type

The type of a position: either a call position, internal position, or return position.

Enumerator:

CallType
InternalType
ReturnType

---

Constructor & Destructor Documentation

opennwa::NestedWord::Position::Position	(	Symbol	sym,
		Type	ty
	)

Constructs a Position object with the given symbol and type.

---

Member Function Documentation

bool opennwa::NestedWord::Position::operator==

(

Position const &

p

)

const

Returns whether two positions are equal.

References symbol, and type.

---

Member Data Documentation

Symbol opennwa::NestedWord::Position::symbol

The symbol at this position.

Referenced by operator==().

Type opennwa::NestedWord::Position::type

The type (call/internal/return) of this position.

Referenced by operator==().

---

The documentation for this struct was generated from the following file:

• Source/opennwa/NestedWord.hpp