NotationGenerator.cpp File Reference

Generate a notation file from an interface. More...

#include "NotationGenerator.hpp"

Include dependency graph for NotationGenerator.cpp:

Go to the source code of this file.

Functions
std::ostream &	indt (std::ostream &os)
	Output a new line and indent appropriatly.
std::ostream &	pushIndt (std::ostream &os)
	Increase the indentation on all following lines.
std::ostream &	popIndt (std::ostream &os)
	Decrease the indentation on all following lines.
Variables
int	gIndentLevel = 0

---

Detailed Description

Generate a notation file from an interface.

Authors:

Andy Stone

Definition in file NotationGenerator.cpp.

---

Function Documentation

std::ostream& indt

(

std::ostream &

os

)

Output a new line and indent appropriatly.

Definition at line 11 of file NotationGenerator.cpp.

References gIndentLevel.

Referenced by NotationGenerator::outputCallSites(), NotationGenerator::outputFormals(), NotationGenerator::outputLocation(), NotationGenerator::outputMemRefExprs(), NotationGenerator::outputParamBindPtrAssignPairs(), NotationGenerator::outputProcedure(), and NotationGenerator::outputPtrAssignPairs().

std::ostream& popIndt

(

std::ostream &

os

)

Decrease the indentation on all following lines.

Definition at line 26 of file NotationGenerator.cpp.

References gIndentLevel.

Referenced by NotationGenerator::generate(), NotationGenerator::outputCallSites(), NotationGenerator::outputFormals(), NotationGenerator::outputMemRefExprs(), NotationGenerator::outputParamBindPtrAssignPairs(), and NotationGenerator::outputPtrAssignPairs().

std::ostream& pushIndt

(

std::ostream &

os

)

Increase the indentation on all following lines.

Definition at line 20 of file NotationGenerator.cpp.

References gIndentLevel.

Referenced by NotationGenerator::outputCallSites(), NotationGenerator::outputFormals(), NotationGenerator::outputMemRefExprs(), NotationGenerator::outputParamBindPtrAssignPairs(), NotationGenerator::outputProcedure(), and NotationGenerator::outputPtrAssignPairs().

---

Variable Documentation

int gIndentLevel = 0

Definition at line 10 of file NotationGenerator.cpp.

Referenced by indt(), popIndt(), and pushIndt().